runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inesct-1.0/rand655e63.cudf.impossible.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/impossible//rand655e63.cudf /home/misc2010/tmp/201007051419/inesct-1.0/rand655e63.cudf.impossible.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.05 1.06 1.06 2/100 4482 /proc/meminfo: memFree=1018096/2097152 swapFree=2055676/2097144 [pid=4482] ppid=4481 vsize=2876 CPUtime=0 /proc/4482/stat : 4482 (runsolver) R 4481 4482 13759 34823 13904 4202560 73 0 0 0 0 0 0 0 25 0 1 0 415998196 2945024 92 1283457024 134512640 134586868 4293381712 18446744073709551615 4158072090 0 2147483391 0 24578 0 0 0 17 0 0 0 0 /proc/4482/statm: 719 92 62 19 0 51 0 [startup+0.170977 s] /proc/loadavg: 1.05 1.06 1.06 2/100 4482 /proc/meminfo: memFree=1018096/2097152 swapFree=2055676/2097144 [pid=4482] ppid=4481 vsize=2380 CPUtime=0 /proc/4482/stat : 4482 (inesct-1.0) S 4481 4482 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 415998196 2437120 259 1283457024 134512640 135191968 4288715424 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4482/statm: 595 259 221 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.208993 s] /proc/loadavg: 1.05 1.06 1.06 2/100 4482 /proc/meminfo: memFree=1018096/2097152 swapFree=2055676/2097144 [pid=4482] ppid=4481 vsize=2380 CPUtime=0 /proc/4482/stat : 4482 (inesct-1.0) S 4481 4482 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 415998196 2437120 259 1283457024 134512640 135191968 4288715424 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4482/statm: 595 259 221 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.308994 s] /proc/loadavg: 1.05 1.06 1.06 2/100 4482 /proc/meminfo: memFree=1018096/2097152 swapFree=2055676/2097144 [pid=4482] ppid=4481 vsize=2380 CPUtime=0 /proc/4482/stat : 4482 (inesct-1.0) S 4481 4482 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 415998196 2437120 259 1283457024 134512640 135191968 4288715424 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4482/statm: 595 259 221 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.827764 s] /proc/loadavg: 1.05 1.06 1.06 2/100 4482 /proc/meminfo: memFree=1018096/2097152 swapFree=2055676/2097144 [pid=4482] ppid=4481 vsize=2380 CPUtime=0 /proc/4482/stat : 4482 (inesct-1.0) S 4481 4482 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 415998196 2437120 259 1283457024 134512640 135191968 4288715424 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4482/statm: 595 259 221 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+1.54058 s] /proc/loadavg: 1.12 1.08 1.07 6/113 4496 /proc/meminfo: memFree=950544/2097152 swapFree=2055676/2097144 [pid=4482] ppid=4481 vsize=2380 CPUtime=0 /proc/4482/stat : 4482 (inesct-1.0) S 4481 4482 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 415998196 2437120 259 1283457024 134512640 135191968 4288715424 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4482/statm: 595 259 221 166 0 27 0 [pid=4484] ppid=4482 vsize=4000 CPUtime=0 /proc/4484/stat : 4484 (cudf-solver.py) S 4482 4482 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 415998196 4096000 642 1283457024 134512640 135539072 4294529072 18446744073709551615 4159421070 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4484/statm: 1000 642 346 251 0 301 0 [pid=4485] ppid=4484 vsize=893716 CPUtime=2.59 /proc/4485/stat : 4485 (java) S 4484 4482 13759 34823 13904 4202496 31180 0 0 0 249 10 0 0 25 0 12 0 415998198 915165184 26003 1283457024 134512640 134550932 4287135856 18446744073709551615 4159562898 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4485/statm: 223429 26004 1739 10 0 220516 0 [pid=4485/tid=4486] ppid=4484 vsize=893716 CPUtime=1.25 /proc/4485/task/4486/stat : 4486 (java) S 4484 4482 13759 34823 13904 4202560 9286 0 0 0 120 5 0 0 17 0 12 0 415998199 915165184 26005 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 18446612133743830144 0 0 -1 0 0 0 0 [pid=4485/tid=4487] ppid=4484 vsize=893716 CPUtime=0.04 /proc/4485/task/4487/stat : 4487 (java) R 4484 4482 13759 34823 13904 4202560 2106 0 0 0 4 0 0 0 16 0 12 0 415998200 915165184 26007 1283457024 134512640 134550932 4287135856 18446744073709551615 4152048296 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4485/tid=4488] ppid=4484 vsize=893716 CPUtime=0.15 /proc/4485/task/4488/stat : 4488 (java) R 4484 4482 13759 34823 13904 4202560 5467 0 0 0 14 1 0 0 16 0 12 0 415998200 915165184 26008 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4485/tid=4489] ppid=4484 vsize=893716 CPUtime=0 /proc/4485/task/4489/stat : 4489 (java) R 4484 4482 13759 34823 13904 4202560 15 0 0 0 0 0 0 0 17 0 12 0 415998201 915165184 26009 1283457024 134512640 134550932 4287135856 18446744073709551615 4159587015 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=4485/tid=4490] ppid=4484 vsize=893716 CPUtime=0 /proc/4485/task/4490/stat : 4490 (java) S 4484 4482 13759 34823 13904 4202560 15 0 0 0 0 0 0 0 18 0 12 0 415998201 915165184 26010 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 18446612133743830144 0 0 -1 0 0 0 0 [pid=4485/tid=4491] ppid=4484 vsize=893716 CPUtime=0 /proc/4485/task/4491/stat : 4491 (java) S 4484 4482 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 25 0 12 0 415998201 915165184 26012 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 18446612133743830144 0 0 -1 0 0 0 0 [pid=4485/tid=4492] ppid=4484 vsize=893716 CPUtime=0 /proc/4485/task/4492/stat : 4492 (java) S 4484 4482 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 415998204 915165184 26013 1283457024 134512640 134550932 4287135856 18446744073709551615 4159584592 0 4 0 16800975 18446612133743830144 0 0 -1 0 0 0 0 [pid=4485/tid=4493] ppid=4484 vsize=893716 CPUtime=0.19 /proc/4485/task/4493/stat : 4493 (java) R 4484 4482 13759 34823 13904 4202560 3748 0 0 0 19 0 0 0 18 0 12 0 415998204 915165184 26015 1283457024 134512640 134550932 4287135856 18446744073709551615 4148582853 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4485/tid=4494] ppid=4484 vsize=893716 CPUtime=0.93 /proc/4485/task/4494/stat : 4494 (java) R 4484 4482 13759 34823 13904 4202560 9155 0 0 0 90 3 0 0 17 0 12 0 415998204 915165184 26016 1283457024 134512640 134550932 4287135856 18446744073709551615 4158995220 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4485/tid=4495] ppid=4484 vsize=893716 CPUtime=0 /proc/4485/task/4495/stat : 4495 (java) S 4484 4482 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 415998204 915165184 26017 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 18446612133743830144 0 0 -1 0 0 0 0 [pid=4485/tid=4496] ppid=4484 vsize=893716 CPUtime=0 /proc/4485/task/4496/stat : 4496 (java) S 4484 4482 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 415998204 915165184 26019 1283457024 134512640 134550932 4287135856 18446744073709551615 4159577096 0 4 0 16800975 18446612133743830144 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.59 Current children cumulated vsize (KiB) 900096 [startup+3.1445 s] /proc/loadavg: 1.12 1.08 1.07 3/113 4496 /proc/meminfo: memFree=851964/2097152 swapFree=2055676/2097144 [pid=4482] ppid=4481 vsize=2380 CPUtime=0 /proc/4482/stat : 4482 (inesct-1.0) S 4481 4482 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 415998196 2437120 259 1283457024 134512640 135191968 4288715424 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4482/statm: 595 259 221 166 0 27 0 [pid=4484] ppid=4482 vsize=4000 CPUtime=0 /proc/4484/stat : 4484 (cudf-solver.py) S 4482 4482 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 415998196 4096000 642 1283457024 134512640 135539072 4294529072 18446744073709551615 4159421070 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4484/statm: 1000 642 346 251 0 301 0 [pid=4485] ppid=4484 vsize=890784 CPUtime=5.2 /proc/4485/stat : 4485 (java) S 4484 4482 13759 34823 13904 4202496 65895 0 0 0 502 18 0 0 25 0 12 0 415998198 912162816 58223 1283457024 134512640 134550932 4287135856 18446744073709551615 4159562898 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4485/statm: 222696 58225 1744 10 0 219783 0 [pid=4485/tid=4486] ppid=4484 vsize=890784 CPUtime=2.23 /proc/4485/task/4486/stat : 4486 (java) S 4484 4482 13759 34823 13904 4202560 18056 0 0 0 214 9 0 0 16 0 12 0 415998199 912162816 58226 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 18446612133743830144 0 0 -1 0 0 0 0 [pid=4485/tid=4487] ppid=4484 vsize=890784 CPUtime=0.31 /proc/4485/task/4487/stat : 4487 (java) R 4484 4482 13759 34823 13904 4202560 14152 0 0 0 30 1 0 0 15 0 12 0 415998200 912162816 58228 1283457024 134512640 134550932 4287135856 18446744073709551615 4152048296 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=4485/tid=4488] ppid=4484 vsize=890784 CPUtime=0.46 /proc/4485/task/4488/stat : 4488 (java) R 4484 4482 13759 34823 13904 4202560 16349 0 0 0 43 3 0 0 15 0 12 0 415998200 912162816 58230 1283457024 134512640 134550932 4287135856 18446744073709551615 4152048509 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4485/tid=4489] ppid=4484 vsize=890784 CPUtime=0.25 /proc/4485/task/4489/stat : 4489 (java) S 4484 4482 13759 34823 13904 4202560 1848 0 0 0 25 0 0 0 15 0 12 0 415998201 912162816 58231 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 0 0 16800975 18446612133743830144 0 0 -1 0 0 0 0 [pid=4485/tid=4490] ppid=4484 vsize=890784 CPUtime=0 /proc/4485/task/4490/stat : 4490 (java) S 4484 4482 13759 34823 13904 4202560 15 0 0 0 0 0 0 0 16 0 12 0 415998201 912162816 58233 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 18446612133743830144 0 0 -1 0 0 0 0 [pid=4485/tid=4491] ppid=4484 vsize=890784 CPUtime=0 /proc/4485/task/4491/stat : 4491 (java) S 4484 4482 13759 34823 13904 4202560 8 0 0 0 0 0 0 0 16 0 12 0 415998201 912162816 58235 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 18446612133743830144 0 0 -1 0 0 0 0 [pid=4485/tid=4492] ppid=4484 vsize=890784 CPUtime=0 /proc/4485/task/4492/stat : 4492 (java) S 4484 4482 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 415998204 912162816 58237 1283457024 134512640 134550932 4287135856 18446744073709551615 4159584592 0 4 0 16800975 18446612133743830144 0 0 -1 0 0 0 0 [pid=4485/tid=4493] ppid=4484 vsize=890784 CPUtime=0.45 /proc/4485/task/4493/stat : 4493 (java) S 4484 4482 13759 34823 13904 4202560 4581 0 0 0 45 0 0 0 18 0 12 0 415998204 912162816 58238 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 18446612133743830144 0 0 -1 0 0 0 0 [pid=4485/tid=4494] ppid=4484 vsize=890784 CPUtime=1.44 /proc/4485/task/4494/stat : 4494 (java) S 4484 4482 13759 34823 13904 4202560 9504 0 0 0 141 3 0 0 15 0 12 0 415998204 912162816 58240 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 18446612133743830144 0 0 -1 1 0 0 0 [pid=4485/tid=4495] ppid=4484 vsize=890784 CPUtime=0 /proc/4485/task/4495/stat : 4495 (java) S 4484 4482 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 415998204 912162816 58242 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 18446612133743830144 0 0 -1 0 0 0 0 [pid=4485/tid=4496] ppid=4484 vsize=890784 CPUtime=0 /proc/4485/task/4496/stat : 4496 (java) R 4484 4482 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 415998204 912162816 58243 1283457024 134512640 134550932 4287135856 18446744073709551615 4159577096 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.2 Current children cumulated vsize (KiB) 897164 [startup+6.33053 s] /proc/loadavg: 1.35 1.12 1.08 3/113 4496 /proc/meminfo: memFree=653564/2097152 swapFree=2055676/2097144 [pid=4482] ppid=4481 vsize=2380 CPUtime=0 /proc/4482/stat : 4482 (inesct-1.0) S 4481 4482 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 415998196 2437120 259 1283457024 134512640 135191968 4288715424 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4482/statm: 595 259 221 166 0 27 0 [pid=4484] ppid=4482 vsize=4000 CPUtime=0 /proc/4484/stat : 4484 (cudf-solver.py) S 4482 4482 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 25 0 1 0 415998196 4096000 642 1283457024 134512640 135539072 4294529072 18446744073709551615 4159421070 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4484/statm: 1000 642 346 251 0 301 0 [pid=4485] ppid=4484 vsize=892592 CPUtime=10.23 /proc/4485/stat : 4485 (java) S 4484 4482 13759 34823 13904 4202496 105834 0 0 0 994 29 0 0 25 0 12 0 415998198 914014208 92603 1283457024 134512640 134550932 4287135856 18446744073709551615 4159562898 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4485/statm: 223148 92603 1770 10 0 220235 0 [pid=4485/tid=4486] ppid=4484 vsize=892592 CPUtime=4.07 /proc/4485/task/4486/stat : 4486 (java) R 4484 4482 13759 34823 13904 4202560 18256 0 0 0 398 9 0 0 15 0 12 0 415998199 914014208 92603 1283457024 134512640 134550932 4287135856 18446744073709551615 4095853756 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4485/tid=4487] ppid=4484 vsize=892592 CPUtime=0.81 /proc/4485/task/4487/stat : 4487 (java) S 4484 4482 13759 34823 13904 4202560 33569 0 0 0 76 5 0 0 15 0 12 0 415998200 914014208 92603 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 18446612133743830144 0 0 -1 1 0 0 0 [pid=4485/tid=4488] ppid=4484 vsize=892592 CPUtime=0.97 /proc/4485/task/4488/stat : 4488 (java) S 4484 4482 13759 34823 13904 4202560 32585 0 0 0 90 7 0 0 16 0 12 0 415998200 914014208 92603 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 18446612133743830144 0 0 -1 0 0 0 0 [pid=4485/tid=4489] ppid=4484 vsize=892592 CPUtime=1.05 /proc/4485/task/4489/stat : 4489 (java) S 4484 4482 13759 34823 13904 4202560 3433 0 0 0 105 0 0 0 16 0 12 0 415998201 914014208 92603 1283457024 134512640 134550932 4287135856 18446744073709551615 4159577096 0 0 0 16800975 18446612133743830144 0 0 -1 1 0 0 0 [pid=4485/tid=4490] ppid=4484 vsize=892592 CPUtime=0 /proc/4485/task/4490/stat : 4490 (java) S 4484 4482 13759 34823 13904 4202560 15 0 0 0 0 0 0 0 15 0 12 0 415998201 914014208 92603 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 18446612133743830144 0 0 -1 1 0 0 0 [pid=4485/tid=4491] ppid=4484 vsize=892592 CPUtime=0 /proc/4485/task/4491/stat : 4491 (java) S 4484 4482 13759 34823 13904 4202560 8 0 0 0 0 0 0 0 15 0 12 0 415998201 914014208 92603 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 18446612133743830144 0 0 -1 1 0 0 0 [pid=4485/tid=4492] ppid=4484 vsize=892592 CPUtime=0 /proc/4485/task/4492/stat : 4492 (java) S 4484 4482 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 415998204 914014208 92603 1283457024 134512640 134550932 4287135856 18446744073709551615 4159584592 0 4 0 16800975 18446612133743830144 0 0 -1 0 0 0 0 [pid=4485/tid=4493] ppid=4484 vsize=892592 CPUtime=1.02 /proc/4485/task/4493/stat : 4493 (java) S 4484 4482 13759 34823 13904 4202560 4638 0 0 0 102 0 0 0 15 0 12 0 415998204 914014208 92603 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 18446612133743830144 0 0 -1 1 0 0 0 [pid=4485/tid=4494] ppid=4484 vsize=892592 CPUtime=2.25 /proc/4485/task/4494/stat : 4494 (java) S 4484 4482 13759 34823 13904 4202560 11943 0 0 0 220 5 0 0 15 0 12 0 415998204 914014208 92603 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 18446612133743830144 0 0 -1 1 0 0 0 [pid=4485/tid=4495] ppid=4484 vsize=892592 CPUtime=0 /proc/4485/task/4495/stat : 4495 (java) S 4484 4482 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 415998204 914014208 92603 1283457024 134512640 134550932 4287135856 18446744073709551615 4159576304 0 4 0 16800975 18446612133743830144 0 0 -1 0 0 0 0 [pid=4485/tid=4496] ppid=4484 vsize=892592 CPUtime=0 /proc/4485/task/4496/stat : 4496 (java) R 4484 4482 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 415998204 914014208 92603 1283457024 134512640 134550932 4287135856 18446744073709551615 4159577096 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 10.23 Current children cumulated vsize (KiB) 898972 [startup+12.7152 s] /proc/loadavg: 1.32 1.12 1.08 2/103 4502 /proc/meminfo: memFree=883028/2097152 swapFree=2055676/2097144 [pid=4482] ppid=4481 vsize=2380 CPUtime=0 /proc/4482/stat : 4482 (inesct-1.0) S 4481 4482 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 415998196 2437120 259 1283457024 134512640 135191968 4288715424 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4482/statm: 595 259 221 166 0 27 0 [pid=4484] ppid=4482 vsize=4000 CPUtime=15.45 /proc/4484/stat : 4484 (cudf-solver.py) S 4482 4482 13759 34823 13904 4202496 811 109491 0 0 0 0 1468 77 18 0 1 0 415998196 4096000 642 1283457024 134512640 135539072 4294529072 18446744073709551615 4159421070 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/4484/statm: 1000 642 346 251 0 301 0 [pid=4501] ppid=4484 vsize=2884 CPUtime=0 /proc/4501/stat : 4501 (sh) S 4484 4482 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 19 0 1 0 415999244 2953216 320 1283457024 134512640 135191968 4293793760 18446744073709551615 4159060622 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/4501/statm: 721 320 219 166 0 153 0 [pid=4502] ppid=4501 vsize=126292 CPUtime=2.22 /proc/4502/stat : 4502 (msuncore) R 4501 4482 13759 34823 13904 4202496 32391 0 0 0 214 8 0 0 25 0 1 0 415999244 129323008 31341 1283457024 134512640 135858300 4290598128 18446744073709551615 135336595 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/4502/statm: 31573 31341 115 329 0 31242 0 Current children cumulated CPU time (s) 17.67 Current children cumulated vsize (KiB) 135556 [startup+25.5088 s] /proc/loadavg: 1.33 1.13 1.09 2/103 4503 /proc/meminfo: memFree=871528/2097152 swapFree=2055676/2097144 [pid=4482] ppid=4481 vsize=2380 CPUtime=0 /proc/4482/stat : 4482 (inesct-1.0) S 4481 4482 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 415998196 2437120 259 1283457024 134512640 135191968 4288715424 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4482/statm: 595 259 221 166 0 27 0 [pid=4484] ppid=4482 vsize=4000 CPUtime=15.45 /proc/4484/stat : 4484 (cudf-solver.py) S 4482 4482 13759 34823 13904 4202496 811 109491 0 0 0 0 1468 77 18 0 1 0 415998196 4096000 642 1283457024 134512640 135539072 4294529072 18446744073709551615 4159421070 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/4484/statm: 1000 642 346 251 0 301 0 [pid=4501] ppid=4484 vsize=2884 CPUtime=0 /proc/4501/stat : 4501 (sh) S 4484 4482 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 19 0 1 0 415999244 2953216 320 1283457024 134512640 135191968 4293793760 18446744073709551615 4159060622 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/4501/statm: 721 320 219 166 0 153 0 [pid=4502] ppid=4501 vsize=126812 CPUtime=15 /proc/4502/stat : 4502 (msuncore) R 4501 4482 13759 34823 13904 4202496 35133 0 0 0 1490 10 0 0 25 0 1 0 415999244 129855488 31494 1283457024 134512640 135858300 4290598128 18446744073709551615 134658582 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/4502/statm: 31703 31494 137 329 0 31372 0 Current children cumulated CPU time (s) 30.45 Current children cumulated vsize (KiB) 136076 [startup+51.106 s] /proc/loadavg: 1.21 1.12 1.08 2/103 4504 /proc/meminfo: memFree=867808/2097152 swapFree=2055676/2097144 [pid=4482] ppid=4481 vsize=2380 CPUtime=0 /proc/4482/stat : 4482 (inesct-1.0) S 4481 4482 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 415998196 2437120 259 1283457024 134512640 135191968 4288715424 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4482/statm: 595 259 221 166 0 27 0 [pid=4484] ppid=4482 vsize=4000 CPUtime=15.45 /proc/4484/stat : 4484 (cudf-solver.py) S 4482 4482 13759 34823 13904 4202496 811 109491 0 0 0 0 1468 77 18 0 1 0 415998196 4096000 642 1283457024 134512640 135539072 4294529072 18446744073709551615 4159421070 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/4484/statm: 1000 642 346 251 0 301 0 [pid=4501] ppid=4484 vsize=2884 CPUtime=0 /proc/4501/stat : 4501 (sh) S 4484 4482 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 19 0 1 0 415999244 2953216 320 1283457024 134512640 135191968 4293793760 18446744073709551615 4159060622 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/4501/statm: 721 320 219 166 0 153 0 [pid=4502] ppid=4501 vsize=131028 CPUtime=40.59 /proc/4502/stat : 4502 (msuncore) R 4501 4482 13759 34823 13904 4202496 38172 0 0 0 4046 13 0 0 25 0 1 0 415999244 134172672 32548 1283457024 134512640 135858300 4290598128 18446744073709551615 135336867 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/4502/statm: 32757 32548 137 329 0 32426 0 Current children cumulated CPU time (s) 56.04 Current children cumulated vsize (KiB) 140292 [startup+102.307 s] /proc/loadavg: 1.09 1.10 1.08 2/98 4508 /proc/meminfo: memFree=869376/2097152 swapFree=2055676/2097144 [pid=4482] ppid=4481 vsize=2380 CPUtime=0 /proc/4482/stat : 4482 (inesct-1.0) S 4481 4482 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 415998196 2437120 259 1283457024 134512640 135191968 4288715424 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4482/statm: 595 259 221 166 0 27 0 [pid=4484] ppid=4482 vsize=4000 CPUtime=15.45 /proc/4484/stat : 4484 (cudf-solver.py) S 4482 4482 13759 34823 13904 4202496 811 109491 0 0 0 0 1468 77 18 0 1 0 415998196 4096000 642 1283457024 134512640 135539072 4294529072 18446744073709551615 4159421070 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/4484/statm: 1000 642 346 251 0 301 0 [pid=4501] ppid=4484 vsize=2884 CPUtime=0 /proc/4501/stat : 4501 (sh) S 4484 4482 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 19 0 1 0 415999244 2953216 320 1283457024 134512640 135191968 4293793760 18446744073709551615 4159060622 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/4501/statm: 721 320 219 166 0 153 0 [pid=4502] ppid=4501 vsize=131028 CPUtime=91.78 /proc/4502/stat : 4502 (msuncore) R 4501 4482 13759 34823 13904 4202496 38172 0 0 0 9161 17 0 0 25 0 1 0 415999244 134172672 32548 1283457024 134512640 135858300 4290598128 18446744073709551615 135336861 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/4502/statm: 32757 32548 137 329 0 32426 0 Current children cumulated CPU time (s) 107.23 Current children cumulated vsize (KiB) 140292 [startup+162.305 s] /proc/loadavg: 1.03 1.08 1.07 2/99 4993 /proc/meminfo: memFree=869336/2097152 swapFree=2055676/2097144 [pid=4482] ppid=4481 vsize=2380 CPUtime=0 /proc/4482/stat : 4482 (inesct-1.0) S 4481 4482 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 415998196 2437120 259 1283457024 134512640 135191968 4288715424 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4482/statm: 595 259 221 166 0 27 0 [pid=4484] ppid=4482 vsize=4000 CPUtime=15.45 /proc/4484/stat : 4484 (cudf-solver.py) S 4482 4482 13759 34823 13904 4202496 811 109491 0 0 0 0 1468 77 18 0 1 0 415998196 4096000 642 1283457024 134512640 135539072 4294529072 18446744073709551615 4159421070 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/4484/statm: 1000 642 346 251 0 301 0 [pid=4501] ppid=4484 vsize=2884 CPUtime=0 /proc/4501/stat : 4501 (sh) S 4484 4482 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 19 0 1 0 415999244 2953216 320 1283457024 134512640 135191968 4293793760 18446744073709551615 4159060622 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/4501/statm: 721 320 219 166 0 153 0 [pid=4502] ppid=4501 vsize=131028 CPUtime=151.38 /proc/4502/stat : 4502 (msuncore) R 4501 4482 13759 34823 13904 4202496 38172 0 0 0 15120 18 0 0 25 0 1 0 415999244 134172672 32548 1283457024 134512640 135858300 4290598128 18446744073709551615 134663155 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/4502/statm: 32757 32548 137 329 0 32426 0 Current children cumulated CPU time (s) 166.83 Current children cumulated vsize (KiB) 140292 [startup+222.304 s] /proc/loadavg: 1.01 1.06 1.07 2/98 4997 /proc/meminfo: memFree=869376/2097152 swapFree=2055676/2097144 [pid=4482] ppid=4481 vsize=2380 CPUtime=0 /proc/4482/stat : 4482 (inesct-1.0) S 4481 4482 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 415998196 2437120 259 1283457024 134512640 135191968 4288715424 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4482/statm: 595 259 221 166 0 27 0 [pid=4484] ppid=4482 vsize=4000 CPUtime=15.45 /proc/4484/stat : 4484 (cudf-solver.py) S 4482 4482 13759 34823 13904 4202496 811 109491 0 0 0 0 1468 77 18 0 1 0 415998196 4096000 642 1283457024 134512640 135539072 4294529072 18446744073709551615 4159421070 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/4484/statm: 1000 642 346 251 0 301 0 [pid=4501] ppid=4484 vsize=2884 CPUtime=0 /proc/4501/stat : 4501 (sh) S 4484 4482 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 19 0 1 0 415999244 2953216 320 1283457024 134512640 135191968 4293793760 18446744073709551615 4159060622 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/4501/statm: 721 320 219 166 0 153 0 [pid=4502] ppid=4501 vsize=131028 CPUtime=211.38 /proc/4502/stat : 4502 (msuncore) R 4501 4482 13759 34823 13904 4202496 38172 0 0 0 21119 19 0 0 25 0 1 0 415999244 134172672 32548 1283457024 134512640 135858300 4290598128 18446744073709551615 134658861 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/4502/statm: 32757 32548 137 329 0 32426 0 Current children cumulated CPU time (s) 226.83 Current children cumulated vsize (KiB) 140292 [startup+282.307 s] /proc/loadavg: 1.00 1.05 1.06 2/99 5003 /proc/meminfo: memFree=869368/2097152 swapFree=2055676/2097144 [pid=4482] ppid=4481 vsize=2380 CPUtime=0 /proc/4482/stat : 4482 (inesct-1.0) S 4481 4482 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 415998196 2437120 259 1283457024 134512640 135191968 4288715424 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4482/statm: 595 259 221 166 0 27 0 [pid=4484] ppid=4482 vsize=4000 CPUtime=15.45 /proc/4484/stat : 4484 (cudf-solver.py) S 4482 4482 13759 34823 13904 4202496 811 109491 0 0 0 0 1468 77 18 0 1 0 415998196 4096000 642 1283457024 134512640 135539072 4294529072 18446744073709551615 4159421070 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/4484/statm: 1000 642 346 251 0 301 0 [pid=4501] ppid=4484 vsize=2884 CPUtime=0 /proc/4501/stat : 4501 (sh) S 4484 4482 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 19 0 1 0 415999244 2953216 320 1283457024 134512640 135191968 4293793760 18446744073709551615 4159060622 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/4501/statm: 721 320 219 166 0 153 0 [pid=4502] ppid=4501 vsize=131028 CPUtime=271.37 /proc/4502/stat : 4502 (msuncore) R 4501 4482 13759 34823 13904 4202496 38172 0 0 0 27118 19 0 0 25 0 1 0 415999244 134172672 32548 1283457024 134512640 135858300 4290598128 18446744073709551615 134662423 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/4502/statm: 32757 32548 137 329 0 32426 0 Current children cumulated CPU time (s) 286.82 Current children cumulated vsize (KiB) 140292 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+285.507 s] /proc/loadavg: 1.00 1.05 1.06 2/99 5003 /proc/meminfo: memFree=869368/2097152 swapFree=2055676/2097144 [pid=4482] ppid=4481 vsize=2380 CPUtime=0 /proc/4482/stat : 4482 (inesct-1.0) S 4481 4482 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 415998196 2437120 259 1283457024 134512640 135191968 4288715424 18446744073709551615 4159175310 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4482/statm: 595 259 221 166 0 27 0 [pid=4484] ppid=4482 vsize=4000 CPUtime=15.45 /proc/4484/stat : 4484 (cudf-solver.py) S 4482 4482 13759 34823 13904 4202496 811 109491 0 0 0 0 1468 77 18 0 1 0 415998196 4096000 642 1283457024 134512640 135539072 4294529072 18446744073709551615 4159421070 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/4484/statm: 1000 642 346 251 0 301 0 [pid=4501] ppid=4484 vsize=2884 CPUtime=0 /proc/4501/stat : 4501 (sh) S 4484 4482 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 19 0 1 0 415999244 2953216 320 1283457024 134512640 135191968 4293793760 18446744073709551615 4159060622 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/4501/statm: 721 320 219 166 0 153 0 [pid=4502] ppid=4501 vsize=131028 CPUtime=274.57 /proc/4502/stat : 4502 (msuncore) R 4501 4482 13759 34823 13904 4202496 38172 0 0 0 27438 19 0 0 25 0 1 0 415999244 134172672 32548 1283457024 134512640 135858300 4290598128 18446744073709551615 135349965 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/4502/statm: 32757 32548 137 329 0 32426 0 Current children cumulated CPU time (s) 290.02 Current children cumulated vsize (KiB) 140292 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 4482 and gives # childrusage.ru_utime.tv_sec=14 # childrusage.ru_utime.tv_usec=708919 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=776048 # CPU time returned by wait4() is 15.485 # while last known CPU time is 290.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 285.54 CPU time (s): 290.02 CPU user time (s): 289.06 CPU system time (s): 0.96 CPU usage (%): 101.569 Max. virtual memory (cumulated for all children) (KiB): 900876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.7089 system time used= 0.776048 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 111482 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 552 involuntary context switches= 434 runsolver used 0.008 second user time and 0.048003 second system time The end