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-3728798-1338673567/watcher-3728798-1338673567 -o /tmp/evaluation-result-3728798-1338673567/solver-3728798-1338673567 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728798-1338673567.wbo 

running on 4 cores: 0,2,4,6

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: 3.91 3.98 3.92 4/178 21302
/proc/meminfo: memFree=27894712/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=4812 CPUtime=0 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) R 21300 21302 19426 0 -1 4202496 505 0 0 0 0 0 0 0 20 0 1 0 333481192 4927488 457 33554432000 4194304 5964478 140736220816656 140736220814440 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 1203 459 166 433 0 758 0

[startup+0.0066751 s]
/proc/loadavg: 3.91 3.98 3.92 4/178 21302
/proc/meminfo: memFree=27894712/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=5292 CPUtime=0 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) R 21300 21302 19426 0 -1 4202496 565 0 0 0 0 0 0 0 20 0 1 0 333481192 5419008 508 33554432000 4194304 5964478 140736220816656 140736220814440 4297174 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 1323 523 170 433 0 887 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5292

[startup+0.100136 s]
/proc/loadavg: 3.91 3.98 3.92 4/178 21302
/proc/meminfo: memFree=27894712/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=163360 CPUtime=0.18 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 2015 0 0 0 17 1 0 0 20 0 3 0 333481192 167280640 1953 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 40840 1953 198 433 0 40404 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163360

[startup+0.30012 s]
/proc/loadavg: 3.91 3.98 3.92 4/178 21302
/proc/meminfo: memFree=27894712/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=163360 CPUtime=0.58 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 3044 0 0 0 55 3 0 0 20 0 3 0 333481192 167280640 2982 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 40840 2982 198 433 0 40404 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163360

[startup+0.700132 s]
/proc/loadavg: 3.91 3.98 3.92 4/178 21302
/proc/meminfo: memFree=27894712/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=163360 CPUtime=1.38 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 4838 0 0 0 130 8 0 0 20 0 3 0 333481192 167280640 4776 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 40840 4776 198 433 0 40404 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 163360

[startup+1.50023 s]
/proc/loadavg: 3.91 3.98 3.92 5/181 21305
/proc/meminfo: memFree=27871956/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=163504 CPUtime=2.96 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 6849 0 0 0 287 9 0 0 20 0 3 0 333481192 167428096 6787 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 40876 6787 198 433 0 40440 0
[pid=21302/tid=21304] ppid=21300 vsize=163504 CPUtime=1.47 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 3365 0 0 0 145 2 0 0 20 0 3 0 333481193 167428096 6787 33554432000 4194304 5964478 140736220816656 140644147087352 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=163504 CPUtime=1.47 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 2471 0 0 0 139 8 0 0 20 0 3 0 333481193 167428096 6787 33554432000 4194304 5964478 140736220816656 140644136597864 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 163504

[startup+3.10027 s]
/proc/loadavg: 3.91 3.98 3.92 5/181 21305
/proc/meminfo: memFree=27864012/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=163648 CPUtime=6.16 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 9939 0 0 0 600 16 0 0 20 0 3 0 333481192 167575552 9877 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 40912 9877 198 433 0 40476 0
[pid=21302/tid=21304] ppid=21300 vsize=163648 CPUtime=3.07 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 4341 0 0 0 305 2 0 0 20 0 3 0 333481193 167575552 9877 33554432000 4194304 5964478 140736220816656 140644147087352 4381677 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=163648 CPUtime=3.07 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 4585 0 0 0 293 14 0 0 20 0 3 0 333481193 167575552 9877 33554432000 4194304 5964478 140736220816656 140644136597816 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 163648

[startup+6.30025 s]
/proc/loadavg: 3.92 3.98 3.92 5/181 21305
/proc/meminfo: memFree=27841484/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=163924 CPUtime=12.56 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 13546 0 0 0 1236 20 0 0 20 0 3 0 333481192 167858176 13484 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 40981 13484 198 433 0 40545 0
[pid=21302/tid=21304] ppid=21300 vsize=163924 CPUtime=6.25 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 6793 0 0 0 623 2 0 0 20 0 3 0 333481193 167858176 13484 33554432000 4194304 5964478 140736220816656 140644147087352 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=163924 CPUtime=6.26 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 5740 0 0 0 608 18 0 0 20 0 3 0 333481193 167858176 13484 33554432000 4194304 5964478 140736220816656 140644136597816 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 163924

[startup+12.7003 s]
/proc/loadavg: 3.93 3.98 3.92 5/181 21305
/proc/meminfo: memFree=27809640/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=164060 CPUtime=25.35 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 21708 0 0 0 2505 30 0 0 20 0 3 0 333481192 167997440 21646 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 41015 21646 198 433 0 40579 0
[pid=21302/tid=21304] ppid=21300 vsize=164060 CPUtime=12.63 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 11216 0 0 0 1260 3 0 0 20 0 3 0 333481193 167997440 21646 33554432000 4194304 5964478 140736220816656 140644147087352 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=164060 CPUtime=12.64 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 9479 0 0 0 1237 27 0 0 20 0 3 0 333481193 167997440 21646 33554432000 4194304 5964478 140736220816656 140644136597816 4400528 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 164060

[startup+25.5003 s]
/proc/loadavg: 3.94 3.98 3.92 5/181 21305
/proc/meminfo: memFree=27771936/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=164576 CPUtime=50.95 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 30821 0 0 0 5051 44 0 0 20 0 3 0 333481192 168525824 30759 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 41144 30759 198 433 0 40708 0
[pid=21302/tid=21304] ppid=21300 vsize=164576 CPUtime=25.39 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 16111 0 0 0 2534 5 0 0 20 0 3 0 333481193 168525824 30759 33554432000 4194304 5964478 140736220816656 140644147087352 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=164576 CPUtime=25.41 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 13697 0 0 0 2503 38 0 0 20 0 3 0 333481193 168525824 30759 33554432000 4194304 5964478 140736220816656 140644136597816 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 164576

[startup+51.1003 s]
/proc/loadavg: 3.96 3.98 3.92 5/181 21305
/proc/meminfo: memFree=27712616/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=296220 CPUtime=102.13 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 45851 0 0 0 10133 80 0 0 20 0 3 0 333481192 303329280 45789 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 74055 45789 198 433 0 73619 0
[pid=21302/tid=21304] ppid=21300 vsize=296220 CPUtime=50.92 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 24978 0 0 0 5067 25 0 0 20 0 3 0 333481193 303329280 45789 33554432000 4194304 5964478 140736220816656 140644147087352 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=296220 CPUtime=50.95 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 19860 0 0 0 5040 55 0 0 20 0 3 0 333481193 303329280 45789 33554432000 4194304 5964478 140736220816656 140644136597576 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 296220

[startup+102.306 s]
/proc/loadavg: 3.98 3.98 3.92 5/180 21305
/proc/meminfo: memFree=27628760/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=362544 CPUtime=204.53 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 61098 0 0 0 20319 134 0 0 20 0 3 0 333481192 371245056 61002 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 90636 61002 198 433 0 90200 0
[pid=21302/tid=21304] ppid=21300 vsize=362544 CPUtime=102 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 35467 0 0 0 10132 68 0 0 20 0 3 0 333481193 371245056 61002 33554432000 4194304 5964478 140736220816656 140644147087352 4391699 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=362544 CPUtime=102.02 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 24618 0 0 0 10134 68 0 0 20 0 3 0 333481193 371245056 61002 33554432000 4194304 5964478 140736220816656 140644136597816 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 362544

[startup+162.3 s]
/proc/loadavg: 3.99 3.98 3.92 5/181 21306
/proc/meminfo: memFree=27483472/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=363644 CPUtime=324.49 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 67610 0 0 0 32304 145 0 0 20 0 3 0 333481192 372371456 67514 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 90911 67514 198 433 0 90475 0
[pid=21302/tid=21304] ppid=21300 vsize=363644 CPUtime=161.84 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 35713 0 0 0 16115 69 0 0 20 0 3 0 333481193 372371456 67514 33554432000 4194304 5964478 140736220816656 140644147087160 4400018 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=363644 CPUtime=161.86 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 30884 0 0 0 16106 80 0 0 20 0 3 0 333481193 372371456 67514 33554432000 4194304 5964478 140736220816656 140644136597576 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.49
Current children cumulated vsize (KiB) 363644

[startup+222.3 s]
/proc/loadavg: 3.99 3.98 3.92 5/181 21306
/proc/meminfo: memFree=27341536/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=431624 CPUtime=444.47 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 87934 0 0 0 44240 207 0 0 20 0 3 0 333481192 441982976 87835 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 107906 87835 198 433 0 107470 0
[pid=21302/tid=21304] ppid=21300 vsize=431624 CPUtime=221.69 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 43233 0 0 0 22075 94 0 0 20 0 3 0 333481193 441982976 87835 33554432000 4194304 5964478 140736220816656 140644147087352 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=431624 CPUtime=221.71 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 43689 0 0 0 22052 119 0 0 20 0 3 0 333481193 441982976 87836 33554432000 4194304 5964478 140736220816656 140644136597816 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.47
Current children cumulated vsize (KiB) 431624

[startup+282.3 s]
/proc/loadavg: 3.99 3.98 3.92 6/182 21309
/proc/meminfo: memFree=27279020/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=498956 CPUtime=564.46 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 103321 0 0 0 56204 242 0 0 20 0 3 0 333481192 510930944 103222 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 124739 103222 198 433 0 124303 0
[pid=21302/tid=21304] ppid=21300 vsize=498956 CPUtime=281.53 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 53381 0 0 0 28032 121 0 0 20 0 3 0 333481193 510930944 103222 33554432000 4194304 5964478 140736220816656 140644147087352 4403343 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=498956 CPUtime=281.56 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 48927 0 0 0 28028 128 0 0 20 0 3 0 333481193 510930944 103222 33554432000 4194304 5964478 140736220816656 140644136597864 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.46
Current children cumulated vsize (KiB) 498956

[startup+342.3 s]
/proc/loadavg: 3.99 3.98 3.92 5/181 21309
/proc/meminfo: memFree=27173216/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=630532 CPUtime=684.43 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 125214 0 0 0 68141 302 0 0 20 0 3 0 333481192 645664768 125115 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 157633 125115 198 433 0 157197 0

################
# More data... #
################

[pid=21302/tid=21305] ppid=21300 vsize=630532 CPUtime=341.4 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 55603 0 0 0 33996 144 0 0 20 0 3 0 333481193 645664768 125115 33554432000 4194304 5964478 140736220816656 140644136597624 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.43
Current children cumulated vsize (KiB) 630532

[startup+402.3 s]
/proc/loadavg: 3.99 3.98 3.92 5/181 21309
/proc/meminfo: memFree=27095732/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=631936 CPUtime=804.4 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 136276 0 0 0 80107 333 0 0 20 0 3 0 333481192 647102464 136573 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 157984 136573 198 433 0 157548 0
[pid=21302/tid=21304] ppid=21300 vsize=631936 CPUtime=401.22 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 79651 0 0 0 39922 200 0 0 20 0 3 0 333481193 647102464 136573 33554432000 4194304 5964478 140736220816656 140644147087160 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=631936 CPUtime=401.25 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 55612 0 0 0 39980 145 0 0 20 0 3 0 333481193 647102464 136573 33554432000 4194304 5964478 140736220816656 140644136597624 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.4
Current children cumulated vsize (KiB) 631936

[startup+462.3 s]
/proc/loadavg: 3.99 3.98 3.92 5/182 21362
/proc/meminfo: memFree=27739180/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=702556 CPUtime=924.36 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 154905 0 0 0 92060 376 0 0 20 0 3 0 333481192 719417344 155322 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 175639 155322 198 433 0 175203 0
[pid=21302/tid=21304] ppid=21300 vsize=702556 CPUtime=461.05 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 88531 0 0 0 45884 221 0 0 20 0 3 0 333481193 719417344 155322 33554432000 4194304 5964478 140736220816656 140644147087352 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=702556 CPUtime=461.08 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 65361 0 0 0 45942 166 0 0 20 0 3 0 333481193 719417344 155322 33554432000 4194304 5964478 140736220816656 140644136597576 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.36
Current children cumulated vsize (KiB) 702556

[startup+522.3 s]
/proc/loadavg: 3.99 3.98 3.92 5/181 21362
/proc/meminfo: memFree=27642124/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=703340 CPUtime=1044.33 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 158590 0 0 0 104046 387 0 0 20 0 3 0 333481192 720220160 159150 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 175835 159150 198 433 0 175399 0
[pid=21302/tid=21304] ppid=21300 vsize=703340 CPUtime=520.88 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 92125 0 0 0 51855 233 0 0 20 0 3 0 333481193 720220160 159150 33554432000 4194304 5964478 140736220816656 140644147087160 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=703340 CPUtime=520.93 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 65452 0 0 0 51925 168 0 0 20 0 3 0 333481193 720220160 159150 33554432000 4194304 5964478 140736220816656 140644136597640 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.33
Current children cumulated vsize (KiB) 703340

[startup+582.3 s]
/proc/loadavg: 3.99 3.98 3.92 5/181 21362
/proc/meminfo: memFree=27526036/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=769524 CPUtime=1164.27 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 169602 0 0 0 116010 417 0 0 20 0 3 0 333481192 787992576 170231 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 192381 170231 198 433 0 191945 0
[pid=21302/tid=21304] ppid=21300 vsize=769524 CPUtime=580.7 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 92170 0 0 0 57836 234 0 0 20 0 3 0 333481193 787992576 170231 33554432000 4194304 5964478 140736220816656 140644147087160 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=769524 CPUtime=580.77 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 76419 0 0 0 57878 199 0 0 20 0 3 0 333481193 787992576 170231 33554432000 4194304 5964478 140736220816656 140644136597816 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.27
Current children cumulated vsize (KiB) 769524

[startup+642.3 s]
/proc/loadavg: 3.99 3.98 3.92 5/181 21362
/proc/meminfo: memFree=27456132/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=836012 CPUtime=1284.23 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 182436 0 0 0 127968 455 0 0 20 0 3 0 333481192 856076288 181667 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 209003 181667 198 433 0 208567 0
[pid=21302/tid=21304] ppid=21300 vsize=836012 CPUtime=640.55 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 92171 0 0 0 63820 235 0 0 20 0 3 0 333481193 856076288 181667 33554432000 4194304 5964478 140736220816656 140644147087384 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=836012 CPUtime=640.59 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 89252 0 0 0 63821 238 0 0 20 0 3 0 333481193 856076288 181667 33554432000 4194304 5964478 140736220816656 140644136597816 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.23
Current children cumulated vsize (KiB) 836012

[startup+702.3 s]
/proc/loadavg: 3.99 3.98 3.92 5/181 21362
/proc/meminfo: memFree=27379280/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=838088 CPUtime=1404.17 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 196684 0 0 0 139920 497 0 0 20 0 3 0 333481192 858202112 195938 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 209522 195938 198 433 0 209086 0
[pid=21302/tid=21304] ppid=21300 vsize=838088 CPUtime=700.39 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 95615 0 0 0 69795 244 0 0 20 0 3 0 333481193 858202112 195938 33554432000 4194304 5964478 140736220816656 140644147087352 4382008 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=838088 CPUtime=700.4 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 100056 0 0 0 69767 273 0 0 20 0 3 0 333481193 858202112 195938 33554432000 4194304 5964478 140736220816656 140644136597576 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.17
Current children cumulated vsize (KiB) 838088

[startup+762.307 s]
/proc/loadavg: 3.99 3.98 3.92 5/181 21363
/proc/meminfo: memFree=27371888/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=838240 CPUtime=1524.15 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 196768 0 0 0 151918 497 0 0 20 0 3 0 333481192 858357760 197075 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 209560 197075 198 433 0 209124 0
[pid=21302/tid=21304] ppid=21300 vsize=838240 CPUtime=760.23 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 95640 0 0 0 75778 245 0 0 20 0 3 0 333481193 858357760 197075 33554432000 4194304 5964478 140736220816656 140644147087352 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=838240 CPUtime=760.25 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 100115 0 0 0 75751 274 0 0 20 0 3 0 333481193 858357760 197075 33554432000 4194304 5964478 140736220816656 140644136597848 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.15
Current children cumulated vsize (KiB) 838240

[startup+822.3 s]
/proc/loadavg: 3.99 3.98 3.92 5/181 21363
/proc/meminfo: memFree=27346548/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=838392 CPUtime=1644.12 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 196802 0 0 0 163915 497 0 0 20 0 3 0 333481192 858513408 197109 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 209598 197109 198 433 0 209162 0
[pid=21302/tid=21304] ppid=21300 vsize=838392 CPUtime=820.07 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 95645 0 0 0 81761 246 0 0 20 0 3 0 333481193 858513408 197109 33554432000 4194304 5964478 140736220816656 140644147087352 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=838392 CPUtime=820.1 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 100144 0 0 0 81735 275 0 0 20 0 3 0 333481193 858513408 197109 33554432000 4194304 5964478 140736220816656 140644136597576 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.12
Current children cumulated vsize (KiB) 838392

[startup+882.3 s]
/proc/loadavg: 3.99 3.98 3.92 5/182 21366
/proc/meminfo: memFree=27331588/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=838464 CPUtime=1764.11 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 196811 0 0 0 175913 498 0 0 20 0 3 0 333481192 858587136 197118 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 209616 197118 198 433 0 209180 0
[pid=21302/tid=21304] ppid=21300 vsize=838464 CPUtime=879.92 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 95654 0 0 0 87745 247 0 0 20 0 3 0 333481193 858587136 197118 33554432000 4194304 5964478 140736220816656 140644147087400 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=838464 CPUtime=879.94 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 100144 0 0 0 87718 276 0 0 20 0 3 0 333481193 858587136 197118 33554432000 4194304 5964478 140736220816656 140644136597576 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.11
Current children cumulated vsize (KiB) 838464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 3.99 3.98 3.92 5/182 21389
/proc/meminfo: memFree=27318040/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=839148 CPUtime=1800.11 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 197077 0 0 0 179513 498 0 0 20 0 3 0 333481192 859287552 197384 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 209787 197384 198 433 0 209351 0
[pid=21302/tid=21304] ppid=21300 vsize=839148 CPUtime=897.88 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 95892 0 0 0 89541 247 0 0 20 0 3 0 333481193 859287552 197384 33554432000 4194304 5964478 140736220816656 140644147087352 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=839148 CPUtime=897.9 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 100172 0 0 0 89514 276 0 0 20 0 3 0 333481193 859287552 197384 33554432000 4194304 5964478 140736220816656 140644136597992 4379232 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 839148

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+900.3 s]
/proc/loadavg: 3.99 3.98 3.92 5/182 21389
/proc/meminfo: memFree=27318040/32873648 swapFree=7388/7388
[pid=21302] ppid=21300 vsize=839148 CPUtime=1800.11 cores=0,2,4,6
/proc/21302/stat : 21302 (pwbo2.02) S 21300 21302 19426 0 -1 4202496 197077 0 0 0 179513 498 0 0 20 0 3 0 333481192 859287552 197384 33554432000 4194304 5964478 140736220816656 140736220816176 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21302/statm: 209787 197384 198 433 0 209351 0
[pid=21302/tid=21304] ppid=21300 vsize=839148 CPUtime=897.88 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 95892 0 0 0 89541 247 0 0 20 0 3 0 333481193 859287552 197384 33554432000 4194304 5964478 140736220816656 140644147087352 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21305] ppid=21300 vsize=839148 CPUtime=897.9 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (pwbo2.02) R 21300 21302 19426 0 -1 4202560 100172 0 0 0 89514 276 0 0 20 0 3 0 333481193 859287552 197384 33554432000 4194304 5964478 140736220816656 140644136597992 4379232 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 839148

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21302 and gives
#  childrusage.ru_utime.tv_sec=1790
#  childrusage.ru_utime.tv_usec=571791
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=271198
# CPU time returned by wait4() is 1795.84
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.326
CPU time (s): 1800.11
CPU user time (s): 1795.13
CPU system time (s): 4.98
CPU usage (%): 199.94
Max. virtual memory (cumulated for all children) (KiB): 839148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.57
system time used= 5.2712
maximum resident set size= 789544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197079
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= 619
involuntary context switches= 2090

runsolver used 1.78173 second user time and 4.93425 second system time

The end