runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3712854-1338187853/watcher-3712854-1338187853 -o /tmp/evaluation-result-3712854-1338187853/solver-3712854-1338187853 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712854-1338187853.wbo
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 1.99 1.93 3/178 1590
/proc/meminfo: memFree=31386340/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=5228 CPUtime=0 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) R 1588 1590 1215 0 -1 4202496 755 0 0 0 0 0 0 0 20 0 1 0 284910981 5353472 697 33554432000 4194304 5964318 140733552713056 140733921541736 4297148 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 1307 708 170 433 0 871 0
[pid=1590/tid=1593] ppid=1588 vsize=84324 CPUtime=0 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 2 0 284910982 86347776 942 33554432000 4194304 5964318 140733552713056 140733921541736 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.089395 s]
/proc/loadavg: 1.94 1.99 1.93 3/178 1590
/proc/meminfo: memFree=31386340/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=84324 CPUtime=0.08 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 1408 0 0 0 8 0 0 0 20 0 2 0 284910981 86347776 1350 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 21081 1351 194 433 0 20645 0
[pid=1590/tid=1593] ppid=1588 vsize=84324 CPUtime=0.07 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 533 0 0 0 7 0 0 0 20 0 2 0 284910982 86347776 1351 33554432000 4194304 5964318 140733552713056 140733921541736 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 84324
[startup+0.10029 s]
/proc/loadavg: 1.94 1.99 1.93 3/178 1590
/proc/meminfo: memFree=31386340/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=84324 CPUtime=0.09 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 1437 0 0 0 9 0 0 0 20 0 2 0 284910981 86347776 1379 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 21081 1379 194 433 0 20645 0
[pid=1590/tid=1593] ppid=1588 vsize=84324 CPUtime=0.08 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 561 0 0 0 8 0 0 0 20 0 2 0 284910982 86347776 1379 33554432000 4194304 5964318 140733552713056 140733921541736 5136394 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84324
[startup+0.300255 s]
/proc/loadavg: 1.94 1.99 1.93 3/178 1590
/proc/meminfo: memFree=31386340/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=84324 CPUtime=0.29 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 1943 0 0 0 29 0 0 0 20 0 2 0 284910981 86347776 1885 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 21081 1885 194 433 0 20645 0
[pid=1590/tid=1593] ppid=1588 vsize=84324 CPUtime=0.28 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 1067 0 0 0 28 0 0 0 20 0 2 0 284910982 86347776 1885 33554432000 4194304 5964318 140733552713056 140733921541736 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84324
[startup+0.700251 s]
/proc/loadavg: 1.94 1.99 1.93 3/178 1590
/proc/meminfo: memFree=31386340/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=84324 CPUtime=0.68 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 2801 0 0 0 68 0 0 0 20 0 2 0 284910981 86347776 2743 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 21081 2743 194 433 0 20645 0
[pid=1590/tid=1593] ppid=1588 vsize=84324 CPUtime=0.68 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 1925 0 0 0 68 0 0 0 20 0 2 0 284910982 86347776 2743 33554432000 4194304 5964318 140733552713056 140733921541736 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 84324
[startup+1.50021 s]
/proc/loadavg: 1.94 1.99 1.93 3/180 1594
/proc/meminfo: memFree=31364592/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=84324 CPUtime=1.49 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 4096 0 0 0 148 1 0 0 20 0 2 0 284910981 86347776 4038 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 21081 4038 194 433 0 20645 0
[pid=1590/tid=1593] ppid=1588 vsize=84324 CPUtime=1.48 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 3220 0 0 0 146 2 0 0 20 0 2 0 284910982 86347776 4038 33554432000 4194304 5964318 140733552713056 140396836783928 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84324
[startup+3.1002 s]
/proc/loadavg: 1.94 1.99 1.93 3/180 1594
/proc/meminfo: memFree=31351944/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=84468 CPUtime=3.09 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 5276 0 0 0 307 2 0 0 20 0 2 0 284910981 86495232 5218 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 21117 5218 194 433 0 20681 0
[pid=1590/tid=1593] ppid=1588 vsize=84468 CPUtime=3.08 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 4400 0 0 0 306 2 0 0 20 0 2 0 284910982 86495232 5218 33554432000 4194304 5964318 140733552713056 140396836784168 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84468
[startup+6.30021 s]
/proc/loadavg: 2.03 2.01 1.94 3/180 1594
/proc/meminfo: memFree=31336072/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=84540 CPUtime=6.29 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 7273 0 0 0 627 2 0 0 20 0 2 0 284910981 86568960 7215 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 21135 7215 194 433 0 20699 0
[pid=1590/tid=1593] ppid=1588 vsize=84540 CPUtime=6.26 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 6397 0 0 0 624 2 0 0 20 0 2 0 284910982 86568960 7215 33554432000 4194304 5964318 140733552713056 140396836784120 4399995 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84540
[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 1594
/proc/meminfo: memFree=31302108/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=84540 CPUtime=12.69 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 11086 0 0 0 1266 3 0 0 20 0 2 0 284910981 86568960 11028 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 21135 11028 194 433 0 20699 0
[pid=1590/tid=1593] ppid=1588 vsize=84540 CPUtime=12.65 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 10210 0 0 0 1262 3 0 0 20 0 2 0 284910982 86568960 11028 33554432000 4194304 5964318 140733552713056 140396836784120 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84540
[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 1594
/proc/meminfo: memFree=31255748/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=84648 CPUtime=25.48 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 15763 0 0 0 2544 4 0 0 20 0 2 0 284910981 86679552 15705 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 21162 15705 194 433 0 20726 0
[pid=1590/tid=1593] ppid=1588 vsize=84648 CPUtime=25.41 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 14887 0 0 0 2537 4 0 0 20 0 2 0 284910982 86679552 15705 33554432000 4194304 5964318 140733552713056 140396836784120 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84648
[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 1594
/proc/meminfo: memFree=31199908/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=150344 CPUtime=51.08 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 24974 0 0 0 5100 8 0 0 20 0 2 0 284910981 153952256 24916 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 37586 24916 194 433 0 37150 0
[pid=1590/tid=1593] ppid=1588 vsize=150344 CPUtime=50.95 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 24098 0 0 0 5087 8 0 0 20 0 2 0 284910982 153952256 24916 33554432000 4194304 5964318 140733552713056 140396836783928 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 150344
[startup+102.307 s]
/proc/loadavg: 2.04 2.02 1.94 3/179 1594
/proc/meminfo: memFree=31112232/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=150584 CPUtime=102.26 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 31630 0 0 0 10216 10 0 0 20 0 2 0 284910981 154198016 31861 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 37646 31861 194 433 0 37210 0
[pid=1590/tid=1593] ppid=1588 vsize=150584 CPUtime=102.01 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 30754 0 0 0 10190 11 0 0 20 0 2 0 284910982 154198016 31861 33554432000 4194304 5964318 140733552713056 140396836783928 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 150584
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 1594
/proc/meminfo: memFree=31000856/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=216120 CPUtime=162.21 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 42169 0 0 0 16206 15 0 0 20 0 2 0 284910981 221306880 42849 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 54030 42849 194 433 0 53594 0
[pid=1590/tid=1593] ppid=1588 vsize=216120 CPUtime=161.81 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 41293 0 0 0 16164 17 0 0 20 0 2 0 284910982 221306880 42849 33554432000 4194304 5964318 140733552713056 140396836784120 4399995 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 216120
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/179 1594
/proc/meminfo: memFree=30916872/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=216552 CPUtime=222.2 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 45212 0 0 0 22204 16 0 0 20 0 2 0 284910981 221749248 45892 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 54138 45892 194 433 0 53702 0
[pid=1590/tid=1593] ppid=1588 vsize=216552 CPUtime=221.66 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 44336 0 0 0 22147 19 0 0 20 0 2 0 284910982 221749248 45892 33554432000 4194304 5964318 140733552713056 140396836784120 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 216552
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 1595
/proc/meminfo: memFree=30792408/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=347624 CPUtime=282.19 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 68295 0 0 0 28194 25 0 0 20 0 2 0 284910981 355966976 68975 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 86906 68975 194 433 0 86470 0
[pid=1590/tid=1593] ppid=1588 vsize=347624 CPUtime=281.5 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 67419 0 0 0 28121 29 0 0 20 0 2 0 284910982 355966976 68975 33554432000 4194304 5964318 140733552713056 140396836784120 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 347624
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 1595
/proc/meminfo: memFree=30728640/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=416760 CPUtime=342.17 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 84091 0 0 0 34184 33 0 0 20 0 2 0 284910981 426762240 84760 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 104190 84760 194 433 0 103754 0
[pid=1590/tid=1593] ppid=1588 vsize=416760 CPUtime=341.35 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 83215 0 0 0 34097 38 0 0 20 0 2 0 284910982 426762240 84760 33554432000 4194304 5964318 140733552713056 140396836784120 4400532 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 416760
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 1595
/proc/meminfo: memFree=30670404/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=417696 CPUtime=402.17 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 98405 0 0 0 40177 40 0 0 20 0 2 0 284910981 427720704 99074 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 1629
/proc/meminfo: memFree=30178192/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=488468 CPUtime=1421.97 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 105024 0 0 0 142150 47 0 0 20 0 2 0 284910981 500191232 106322 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 122117 106322 194 433 0 121681 0
[pid=1590/tid=1593] ppid=1588 vsize=488468 CPUtime=1418.54 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 104148 0 0 0 141786 68 0 0 20 0 2 0 284910982 500191232 106322 33554432000 4194304 5964318 140733552713056 140396836784120 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 488468
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 1629
/proc/meminfo: memFree=30178224/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=488468 CPUtime=1481.95 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 105024 0 0 0 148148 47 0 0 20 0 2 0 284910981 500191232 106322 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 122117 106322 194 433 0 121681 0
[pid=1590/tid=1593] ppid=1588 vsize=488468 CPUtime=1478.38 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 104148 0 0 0 147769 69 0 0 20 0 2 0 284910982 500191232 106322 33554432000 4194304 5964318 140733552713056 140396836784120 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 488468
[startup+1542.3 s]
/proc/loadavg: 2.09 2.03 1.96 3/179 1630
/proc/meminfo: memFree=30177852/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=488648 CPUtime=1541.94 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 105077 0 0 0 154147 47 0 0 20 0 2 0 284910981 500375552 106375 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 122162 106375 194 433 0 121726 0
[pid=1590/tid=1593] ppid=1588 vsize=488648 CPUtime=1538.23 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 104201 0 0 0 153753 70 0 0 20 0 2 0 284910982 500375552 106375 33554432000 4194304 5964318 140733552713056 140396836784168 4400400 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 488648
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/179 1630
/proc/meminfo: memFree=30177728/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=488648 CPUtime=1601.93 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 105087 0 0 0 160146 47 0 0 20 0 2 0 284910981 500375552 106385 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 122162 106385 194 433 0 121726 0
[pid=1590/tid=1593] ppid=1588 vsize=488648 CPUtime=1598.08 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 104211 0 0 0 159737 71 0 0 20 0 2 0 284910982 500375552 106385 33554432000 4194304 5964318 140733552713056 140396836784168 4220675 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 488648
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/179 1630
/proc/meminfo: memFree=30177728/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=488720 CPUtime=1661.92 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 105095 0 0 0 166145 47 0 0 20 0 2 0 284910981 500449280 106393 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 122180 106393 194 433 0 121744 0
[pid=1590/tid=1593] ppid=1588 vsize=488720 CPUtime=1657.92 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 104219 0 0 0 165720 72 0 0 20 0 2 0 284910982 500449280 106393 33554432000 4194304 5964318 140733552713056 140396836784168 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 488720
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 1630
/proc/meminfo: memFree=30177604/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=488988 CPUtime=1721.91 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 105155 0 0 0 172144 47 0 0 20 0 2 0 284910981 500723712 106453 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 122247 106453 194 433 0 121811 0
[pid=1590/tid=1593] ppid=1588 vsize=488988 CPUtime=1717.77 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 104279 0 0 0 171704 73 0 0 20 0 2 0 284910982 500723712 106453 33554432000 4194304 5964318 140733552713056 140396836784168 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 488988
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 1633
/proc/meminfo: memFree=30125992/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=490784 CPUtime=1781.89 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 107868 0 0 0 178140 49 0 0 20 0 2 0 284910981 502562816 109161 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 122696 109161 194 433 0 122260 0
[pid=1590/tid=1593] ppid=1588 vsize=490784 CPUtime=1777.61 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 106992 0 0 0 177685 76 0 0 20 0 2 0 284910982 502562816 109161 33554432000 4194304 5964318 140733552713056 140396836784120 4399995 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 490784
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 1633
/proc/meminfo: memFree=30108008/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=490784 CPUtime=1791.5 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 108388 0 0 0 179100 50 0 0 20 0 2 0 284910981 502562816 109682 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 122696 109682 194 433 0 122260 0
[pid=1590/tid=1593] ppid=1588 vsize=490784 CPUtime=1787.19 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 107512 0 0 0 178642 77 0 0 20 0 2 0 284910982 502562816 109682 33554432000 4194304 5964318 140733552713056 140396836784120 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 490784
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 1633
/proc/meminfo: memFree=30102188/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=490784 CPUtime=1794.7 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 108493 0 0 0 179420 50 0 0 20 0 2 0 284910981 502562816 109787 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 122696 109787 194 433 0 122260 0
[pid=1590/tid=1593] ppid=1588 vsize=490784 CPUtime=1790.38 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 107617 0 0 0 178961 77 0 0 20 0 2 0 284910982 502562816 109787 33554432000 4194304 5964318 140733552713056 140396836784120 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 490784
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 1634
/proc/meminfo: memFree=30097344/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=490784 CPUtime=1797.89 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 108738 0 0 0 179739 50 0 0 20 0 2 0 284910981 502562816 110032 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 122696 110032 194 433 0 122260 0
[pid=1590/tid=1593] ppid=1588 vsize=490784 CPUtime=1793.57 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 107862 0 0 0 179280 77 0 0 20 0 2 0 284910982 502562816 110032 33554432000 4194304 5964318 140733552713056 140396836784120 4410781 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 490784
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 1634
/proc/meminfo: memFree=30095980/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=490784 CPUtime=1798.69 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 108794 0 0 0 179819 50 0 0 20 0 2 0 284910981 502562816 110088 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 122696 110088 194 433 0 122260 0
[pid=1590/tid=1593] ppid=1588 vsize=490784 CPUtime=1794.36 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 107918 0 0 0 179359 77 0 0 20 0 2 0 284910982 502562816 110088 33554432000 4194304 5964318 140733552713056 140396836784120 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (KiB) 490784
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 1634
/proc/meminfo: memFree=30093376/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=490784 CPUtime=1799.09 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 108823 0 0 0 179859 50 0 0 20 0 2 0 284910981 502562816 110117 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 122696 110117 194 433 0 122260 0
[pid=1590/tid=1593] ppid=1588 vsize=490784 CPUtime=1794.77 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 107947 0 0 0 179400 77 0 0 20 0 2 0 284910982 502562816 110117 33554432000 4194304 5964318 140733552713056 140396836784120 4400019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 490784
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 1634
/proc/meminfo: memFree=30093376/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=490784 CPUtime=1799.49 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 108862 0 0 0 179899 50 0 0 20 0 2 0 284910981 502562816 110156 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 122696 110156 194 433 0 122260 0
[pid=1590/tid=1593] ppid=1588 vsize=490784 CPUtime=1795.16 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 107986 0 0 0 179439 77 0 0 20 0 2 0 284910982 502562816 110156 33554432000 4194304 5964318 140733552713056 140396836784120 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 490784
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 1634
/proc/meminfo: memFree=30093376/32873844 swapFree=7112/7112
[pid=1590] ppid=1588 vsize=490784 CPUtime=1799.59 cores=1,3,5,7
/proc/1590/stat : 1590 (wbo1.71) S 1588 1590 1215 0 -1 4202496 108878 0 0 0 179909 50 0 0 20 0 2 0 284910981 502562816 110172 33554432000 4194304 5964318 140733552713056 140733552712576 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1590/statm: 122696 110172 194 433 0 122260 0
[pid=1590/tid=1593] ppid=1588 vsize=490784 CPUtime=1795.26 cores=1,3,5,7
/proc/1590/task/1593/stat : 1593 (wbo1.71) R 1588 1590 1215 0 -1 4202560 108002 0 0 0 179449 77 0 0 20 0 2 0 284910982 502562816 110172 33554432000 4194304 5964318 140733552713056 140396836784120 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 490784
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1590 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=500194
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=783880
# CPU time returned by wait4() is 1795.28
# while last known CPU time is 1799.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800
CPU time (s): 1799.59
CPU user time (s): 1799.09
CPU system time (s): 0.5
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 490784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.5
system time used= 0.78388
maximum resident set size= 440700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108881
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= 135
involuntary context switches= 1964
runsolver used 3.11753 second user time and 8.72867 second system time
The end