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-3712470-1338198062/watcher-3712470-1338198062 -o /tmp/evaluation-result-3712470-1338198062/solver-3712470-1338198062 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712470-1338198062.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: 4.01 4.02 3.94 4/180 23384
/proc/meminfo: memFree=29890224/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=4312 CPUtime=0 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) R 23382 23384 22874 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 285931521 4415488 344 33554432000 4194304 5964478 140736455174544 140733712504552 4360528 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 1078 344 166 433 0 619 0
[startup+0.063901 s]
/proc/loadavg: 4.01 4.02 3.94 4/180 23384
/proc/meminfo: memFree=29890224/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=163768 CPUtime=0.1 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 2510 0 0 0 10 0 0 0 20 0 3 0 285931521 167698432 1996 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 40942 1996 198 433 0 40506 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 163768
[startup+0.100199 s]
/proc/loadavg: 4.01 4.02 3.94 4/180 23384
/proc/meminfo: memFree=29890224/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=163768 CPUtime=0.18 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 2818 0 0 0 17 1 0 0 20 0 3 0 285931521 167698432 2131 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 40942 2131 198 433 0 40506 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163768
[startup+0.30013 s]
/proc/loadavg: 4.01 4.02 3.94 4/180 23384
/proc/meminfo: memFree=29890224/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=163768 CPUtime=0.57 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 4051 0 0 0 56 1 0 0 20 0 3 0 285931521 167698432 2901 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 40942 2901 198 433 0 40506 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 163768
[startup+0.700152 s]
/proc/loadavg: 4.01 4.02 3.94 4/180 23384
/proc/meminfo: memFree=29890224/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=163768 CPUtime=1.37 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 5129 0 0 0 135 2 0 0 20 0 3 0 285931521 167698432 3757 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 40942 3757 198 433 0 40506 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163768
[startup+1.5003 s]
/proc/loadavg: 4.01 4.02 3.94 5/183 23387
/proc/meminfo: memFree=29873816/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=163768 CPUtime=2.96 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 6438 0 0 0 292 4 0 0 20 0 3 0 285931521 167698432 4943 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 40942 4943 198 433 0 40506 0
[pid=23384/tid=23386] ppid=23382 vsize=163768 CPUtime=1.46 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 2833 0 0 0 143 3 0 0 20 0 3 0 285931522 167698432 4943 33554432000 4194304 5964478 140736455174544 140293920347960 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=163768 CPUtime=1.47 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 2586 0 0 0 147 0 0 0 20 0 3 0 285931522 167698432 4943 33554432000 4194304 5964478 140736455174544 140293909858824 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 163768
[startup+3.10034 s]
/proc/loadavg: 4.01 4.02 3.94 5/183 23387
/proc/meminfo: memFree=29865260/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=163768 CPUtime=6.17 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 9172 0 0 0 609 8 0 0 20 0 3 0 285931521 167698432 7501 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 40942 7501 198 433 0 40506 0
[pid=23384/tid=23386] ppid=23382 vsize=163768 CPUtime=3.06 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 5135 0 0 0 299 7 0 0 20 0 3 0 285931522 167698432 7501 33554432000 4194304 5964478 140736455174544 140293920348144 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=163768 CPUtime=3.06 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 3018 0 0 0 306 0 0 0 20 0 3 0 285931522 167698432 7501 33554432000 4194304 5964478 140736455174544 140293909858528 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 163768
[startup+6.30034 s]
/proc/loadavg: 4.01 4.02 3.94 5/183 23387
/proc/meminfo: memFree=29841940/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=163900 CPUtime=12.57 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 14718 0 0 0 1242 15 0 0 20 0 3 0 285931521 167833600 12907 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 40975 12907 198 433 0 40539 0
[pid=23384/tid=23386] ppid=23382 vsize=163900 CPUtime=6.25 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 9972 0 0 0 611 14 0 0 20 0 3 0 285931522 167833600 12907 33554432000 4194304 5964478 140736455174544 140293920348152 4400062 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=163900 CPUtime=6.25 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 3727 0 0 0 624 1 0 0 20 0 3 0 285931522 167833600 12907 33554432000 4194304 5964478 140736455174544 140293909858376 4403682 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 163900
[startup+12.7004 s]
/proc/loadavg: 4.01 4.02 3.94 5/183 23387
/proc/meminfo: memFree=29810452/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=164444 CPUtime=25.36 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 22710 0 0 0 2510 26 0 0 20 0 3 0 285931521 168390656 20784 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 41111 20784 198 433 0 40675 0
[pid=23384/tid=23386] ppid=23382 vsize=164444 CPUtime=12.63 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 16231 0 0 0 1239 24 0 0 20 0 3 0 285931522 168390656 20784 33554432000 4194304 5964478 140736455174544 140293920348152 4400503 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=164444 CPUtime=12.64 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 5460 0 0 0 1262 2 0 0 20 0 3 0 285931522 168390656 20784 33554432000 4194304 5964478 140736455174544 140293909858616 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 164444
[startup+25.5004 s]
/proc/loadavg: 4.01 4.02 3.94 5/183 23387
/proc/meminfo: memFree=29720892/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=231624 CPUtime=50.96 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 44407 0 0 0 5055 41 0 0 20 0 3 0 285931521 237182976 42371 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 57906 42373 198 433 0 57470 0
[pid=23384/tid=23386] ppid=23382 vsize=231624 CPUtime=25.4 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 27829 0 0 0 2506 34 0 0 20 0 3 0 285931522 237182976 42373 33554432000 4194304 5964478 140736455174544 140293920348152 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=231624 CPUtime=25.4 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 15561 0 0 0 2534 6 0 0 20 0 3 0 285931522 237182976 42373 33554432000 4194304 5964478 140736455174544 140293909858968 4432077 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 231624
[startup+51.1005 s]
/proc/loadavg: 4.00 4.02 3.94 5/183 23388
/proc/meminfo: memFree=29644600/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=363400 CPUtime=102.15 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 62903 0 0 0 10156 59 0 0 20 0 3 0 285931521 372121600 60754 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 90850 60754 198 433 0 90414 0
[pid=23384/tid=23386] ppid=23382 vsize=363400 CPUtime=50.93 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 40795 0 0 0 5043 50 0 0 20 0 3 0 285931522 372121600 60754 33554432000 4194304 5964478 140736455174544 140293920348064 4400081 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=363400 CPUtime=50.93 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 21089 0 0 0 5085 8 0 0 20 0 3 0 285931522 372121600 60754 33554432000 4194304 5964478 140736455174544 140293909858376 4388330 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 363400
[startup+102.3 s]
/proc/loadavg: 4.00 4.01 3.94 5/183 23388
/proc/meminfo: memFree=29360064/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=627352 CPUtime=204.54 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 129493 0 0 0 20335 119 0 0 20 0 3 0 285931521 642408448 127050 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 156838 127050 198 433 0 156402 0
[pid=23384/tid=23386] ppid=23382 vsize=627352 CPUtime=102 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 86246 0 0 0 10096 104 0 0 20 0 3 0 285931522 642408448 127050 33554432000 4194304 5964478 140736455174544 140293920348152 4400099 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=627352 CPUtime=102 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 42228 0 0 0 10183 17 0 0 20 0 3 0 285931522 642408448 127050 33554432000 4194304 5964478 140736455174544 140293909858616 4400051 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 627352
[startup+162.3 s]
/proc/loadavg: 4.00 4.01 3.94 5/183 23388
/proc/meminfo: memFree=29219600/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=693940 CPUtime=324.51 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 146057 0 0 0 32323 128 0 0 20 0 3 0 285931521 710594560 143614 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 173485 143614 198 433 0 173049 0
[pid=23384/tid=23386] ppid=23382 vsize=693940 CPUtime=161.84 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 86283 0 0 0 16079 105 0 0 20 0 3 0 285931522 710594560 143614 33554432000 4194304 5964478 140736455174544 140293920348064 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=693940 CPUtime=161.84 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 58755 0 0 0 16158 26 0 0 20 0 3 0 285931522 710594560 143614 33554432000 4194304 5964478 140736455174544 140293909858720 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 693940
[startup+222.307 s]
/proc/loadavg: 4.00 4.00 3.94 5/183 23388
/proc/meminfo: memFree=29097364/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=759944 CPUtime=444.51 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 176581 0 0 0 44293 158 0 0 20 0 3 0 285931521 778182656 173910 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 189986 173910 200 433 0 189550 0
[pid=23384/tid=23386] ppid=23382 vsize=759944 CPUtime=221.69 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 108217 0 0 0 22037 132 0 0 20 0 3 0 285931522 778182656 173910 33554432000 4194304 5964478 140736455174544 140293920348144 4400040 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=759944 CPUtime=221.69 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 67345 0 0 0 22138 31 0 0 20 0 3 0 285931522 778182656 173910 33554432000 4194304 5964478 140736455174544 140293909858616 4388475 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.51
Current children cumulated vsize (KiB) 759944
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/183 23388
/proc/meminfo: memFree=29038120/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=761012 CPUtime=564.47 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 177309 0 0 0 56289 158 0 0 20 0 3 0 285931521 779276288 174143 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 190253 174143 200 433 0 189817 0
[pid=23384/tid=23386] ppid=23382 vsize=761012 CPUtime=281.53 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 108315 0 0 0 28020 133 0 0 20 0 3 0 285931522 779276288 174143 33554432000 4194304 5964478 140736455174544 140293920348064 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=761012 CPUtime=281.52 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 67975 0 0 0 28120 32 0 0 20 0 3 0 285931522 779276288 174143 33554432000 4194304 5964478 140736455174544 140293909858720 4400073 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.47
Current children cumulated vsize (KiB) 761012
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/183 23550
/proc/meminfo: memFree=30558692/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=761148 CPUtime=684.45 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 177353 0 0 0 68287 158 0 0 20 0 3 0 285931521 779415552 174187 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 190287 174187 200 433 0 189851 0
################
# More data... #
################
/proc/loadavg: 3.88 3.97 3.93 4/184 23991
/proc/meminfo: memFree=30503016/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=761296 CPUtime=804.41 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 180630 0 0 0 80277 164 0 0 20 0 3 0 285931521 779567104 177944 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 190324 177944 200 433 0 189888 0
[pid=23384/tid=23386] ppid=23382 vsize=761296 CPUtime=401.21 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 111562 0 0 0 39980 141 0 0 20 0 3 0 285931522 779567104 177944 33554432000 4194304 5964478 140736455174544 140293920348152 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=761296 CPUtime=401.19 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 68049 0 0 0 40085 34 0 0 20 0 3 0 285931522 779567104 177944 33554432000 4194304 5964478 140736455174544 140293909858720 4399925 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.41
Current children cumulated vsize (KiB) 761296
[startup+462.3 s]
/proc/loadavg: 3.96 3.97 3.93 5/183 24031
/proc/meminfo: memFree=30451376/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=826488 CPUtime=924.35 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 195206 0 0 0 92260 175 0 0 20 0 3 0 285931521 846323712 192322 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 206622 192322 200 433 0 206186 0
[pid=23384/tid=23386] ppid=23382 vsize=826488 CPUtime=461.04 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 126018 0 0 0 45952 152 0 0 20 0 3 0 285931522 846323712 192322 33554432000 4194304 5964478 140736455174544 140293920348256 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=826488 CPUtime=461 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 68169 0 0 0 46065 35 0 0 20 0 3 0 285931522 846323712 192322 33554432000 4194304 5964478 140736455174544 140293909858720 4400051 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.35
Current children cumulated vsize (KiB) 826488
[startup+522.3 s]
/proc/loadavg: 3.98 3.97 3.93 5/183 24031
/proc/meminfo: memFree=30385932/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=892592 CPUtime=1044.3 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 204127 0 0 0 104250 180 0 0 20 0 3 0 285931521 914014208 201222 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 223148 201222 200 433 0 222712 0
[pid=23384/tid=23386] ppid=23382 vsize=892592 CPUtime=520.86 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 126041 0 0 0 51933 153 0 0 20 0 3 0 285931522 914014208 201222 33554432000 4194304 5964478 140736455174544 140293920348256 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=892592 CPUtime=520.84 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 77067 0 0 0 52044 40 0 0 20 0 3 0 285931522 914014208 201222 33554432000 4194304 5964478 140736455174544 140293909858616 4400051 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.3
Current children cumulated vsize (KiB) 892592
[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.93 5/184 24034
/proc/meminfo: memFree=30327052/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=958288 CPUtime=1164.25 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 214092 0 0 0 116238 187 0 0 20 0 3 0 285931521 981286912 211149 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 239572 211149 200 433 0 239136 0
[pid=23384/tid=23386] ppid=23382 vsize=958288 CPUtime=580.7 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 126061 0 0 0 57916 154 0 0 20 0 3 0 285931522 981286912 211149 33554432000 4194304 5964478 140736455174544 140293920348256 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=958288 CPUtime=580.64 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 87012 0 0 0 58016 48 0 0 20 0 3 0 285931522 981286912 211149 33554432000 4194304 5964478 140736455174544 140293909858616 4400040 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.25
Current children cumulated vsize (KiB) 958288
[startup+642.3 s]
/proc/loadavg: 3.99 3.97 3.93 5/183 24035
/proc/meminfo: memFree=30311348/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=958856 CPUtime=1284.18 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 217161 0 0 0 128227 191 0 0 20 0 3 0 285931521 981868544 214151 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 239714 214151 200 433 0 239278 0
[pid=23384/tid=23386] ppid=23382 vsize=958856 CPUtime=640.5 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 129036 0 0 0 63892 158 0 0 20 0 3 0 285931522 981868544 214151 33554432000 4194304 5964478 140736455174544 140293920348152 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=958856 CPUtime=640.49 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 87106 0 0 0 63999 50 0 0 20 0 3 0 285931522 981868544 214151 33554432000 4194304 5964478 140736455174544 140293909858376 4400040 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.18
Current children cumulated vsize (KiB) 958856
Solver just ended. Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 3.99 3.97 3.93 5/183 24035
/proc/meminfo: memFree=30296568/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=1024532 CPUtime=1305.16 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 220135 0 0 0 130320 196 0 0 20 0 3 0 285931521 1049120768 217117 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 256133 217117 200 433 0 255697 0
[pid=23384/tid=23386] ppid=23382 vsize=1024532 CPUtime=650.97 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 131982 0 0 0 64933 164 0 0 20 0 3 0 285931522 1049120768 217117 33554432000 4194304 5964478 140736455174544 140293920348152 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=1024532 CPUtime=650.96 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 87134 0 0 0 65046 50 0 0 20 0 3 0 285931522 1049120768 217117 33554432000 4194304 5964478 140736455174544 140293909858376 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1305.16
Current children cumulated vsize (KiB) 1024532
[startup+656 s]
/proc/loadavg: 3.99 3.97 3.93 5/183 24035
/proc/meminfo: memFree=30295932/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=1024676 CPUtime=1311.55 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 220176 0 0 0 130959 196 0 0 20 0 3 0 285931521 1049268224 217150 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 256169 217150 200 433 0 255733 0
[pid=23384/tid=23386] ppid=23382 vsize=1024676 CPUtime=654.16 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 131982 0 0 0 65252 164 0 0 20 0 3 0 285931522 1049268224 217150 33554432000 4194304 5964478 140736455174544 140293920348152 4400051 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=1024676 CPUtime=654.14 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 87175 0 0 0 65364 50 0 0 20 0 3 0 285931522 1049268224 217150 33554432000 4194304 5964478 140736455174544 140293909858376 4400062 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1311.55
Current children cumulated vsize (KiB) 1024676
[startup+657.6 s]
/proc/loadavg: 3.99 3.97 3.93 5/183 24035
/proc/meminfo: memFree=30295932/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=1024676 CPUtime=1314.76 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 220505 0 0 0 131279 197 0 0 20 0 3 0 285931521 1049268224 217479 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 256169 217479 200 433 0 255733 0
[pid=23384/tid=23386] ppid=23382 vsize=1024676 CPUtime=655.76 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 131982 0 0 0 65412 164 0 0 20 0 3 0 285931522 1049268224 217479 33554432000 4194304 5964478 140736455174544 140293920348152 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=1024676 CPUtime=655.74 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 87504 0 0 0 65524 50 0 0 20 0 3 0 285931522 1049268224 217479 33554432000 4194304 5964478 140736455174544 140293909858616 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1314.76
Current children cumulated vsize (KiB) 1024676
[startup+659.2 s]
/proc/loadavg: 3.99 3.97 3.93 5/183 24035
/proc/meminfo: memFree=30290352/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=1024676 CPUtime=1317.95 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 221726 0 0 0 131598 197 0 0 20 0 3 0 285931521 1049268224 218700 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 256169 218700 200 433 0 255733 0
[pid=23384/tid=23386] ppid=23382 vsize=1024676 CPUtime=657.35 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 131982 0 0 0 65571 164 0 0 20 0 3 0 285931522 1049268224 218700 33554432000 4194304 5964478 140736455174544 140293920348152 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=1024676 CPUtime=657.33 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 88725 0 0 0 65682 51 0 0 20 0 3 0 285931522 1049268224 218700 33554432000 4194304 5964478 140736455174544 140293909858616 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1317.95
Current children cumulated vsize (KiB) 1024676
[startup+659.6 s]
/proc/loadavg: 3.99 3.97 3.93 5/183 24035
/proc/meminfo: memFree=30290352/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=1024676 CPUtime=1318.75 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 222021 0 0 0 131678 197 0 0 20 0 3 0 285931521 1049268224 218995 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 256169 218995 200 433 0 255733 0
[pid=23384/tid=23386] ppid=23382 vsize=1024676 CPUtime=657.75 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 131982 0 0 0 65611 164 0 0 20 0 3 0 285931522 1049268224 218995 33554432000 4194304 5964478 140736455174544 140293920348152 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=1024676 CPUtime=657.73 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 89020 0 0 0 65722 51 0 0 20 0 3 0 285931522 1049268224 218995 33554432000 4194304 5964478 140736455174544 140293909858616 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1318.75
Current children cumulated vsize (KiB) 1024676
[startup+660 s]
/proc/loadavg: 3.99 3.97 3.93 5/183 24035
/proc/meminfo: memFree=30286632/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=1024676 CPUtime=1319.57 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 222438 0 0 0 131759 198 0 0 20 0 3 0 285931521 1049268224 219412 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 256169 219412 200 433 0 255733 0
[pid=23384/tid=23386] ppid=23382 vsize=1024676 CPUtime=658.16 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 131982 0 0 0 65652 164 0 0 20 0 3 0 285931522 1049268224 219412 33554432000 4194304 5964478 140736455174544 140293920348152 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=1024676 CPUtime=658.14 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 89437 0 0 0 65763 51 0 0 20 0 3 0 285931522 1049268224 219412 33554432000 4194304 5964478 140736455174544 140293909858616 4399970 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1319.57
Current children cumulated vsize (KiB) 1024676
[startup+660.107 s]
/proc/loadavg: 3.99 3.97 3.93 5/183 24035
/proc/meminfo: memFree=30286632/32873844 swapFree=7112/7112
[pid=23384] ppid=23382 vsize=1024676 CPUtime=1319.77 cores=1,3,5,7
/proc/23384/stat : 23384 (pwbo2.01) S 23382 23384 22874 0 -1 4202496 222504 0 0 0 131779 198 0 0 20 0 3 0 285931521 1049268224 219478 33554432000 4194304 5964478 140736455174544 140736455174064 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23384/statm: 256169 219478 200 433 0 255733 0
[pid=23384/tid=23386] ppid=23382 vsize=1024676 CPUtime=658.26 cores=1,3,5,7
/proc/23384/task/23386/stat : 23386 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 131982 0 0 0 65662 164 0 0 20 0 3 0 285931522 1049268224 219480 33554432000 4194304 5964478 140736455174544 140293920348152 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23384/tid=23387] ppid=23382 vsize=1024676 CPUtime=658.24 cores=1,3,5,7
/proc/23384/task/23387/stat : 23387 (pwbo2.01) R 23382 23384 22874 0 -1 4202560 89505 0 0 0 65773 51 0 0 20 0 3 0 285931522 1049268224 219480 33554432000 4194304 5964478 140736455174544 140293909858616 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1319.77
Current children cumulated vsize (KiB) 1024676
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23384 and gives
# childrusage.ru_utime.tv_sec=1314
# childrusage.ru_utime.tv_usec=378184
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=201665
# CPU time returned by wait4() is 1316.58
# while last known CPU time is 1319.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 660.151
CPU time (s): 1319.77
CPU user time (s): 1317.79
CPU system time (s): 1.98
CPU usage (%): 199.92
Max. virtual memory (cumulated for all children) (KiB): 1024676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1314.38
system time used= 2.20167
maximum resident set size= 877956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222515
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= 616
involuntary context switches= 1616
runsolver used 1.06484 second user time and 3.14352 second system time
The end