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-3705043-1338092746/watcher-3705043-1338092746 -o /tmp/evaluation-result-3705043-1338092746/solver-3705043-1338092746 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705043-1338092746.opb
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: 2.00 2.00 2.00 2/174 22691
/proc/meminfo: memFree=27590372/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=83676 CPUtime=0 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 789 0 0 0 0 0 0 0 20 0 2 0 275401914 85684224 729 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 20919 730 179 432 0 20484 0
[pid=22691/tid=22692] ppid=22689 vsize=83676 CPUtime=0 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 2 0 275401915 85684224 733 33554432000 4194304 5963574 140736052657168 140734172310920 4224389 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.0444539 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 22691
/proc/meminfo: memFree=27590372/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=83676 CPUtime=0.04 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 924 0 0 0 4 0 0 0 20 0 2 0 275401914 85684224 864 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 20919 864 190 432 0 20484 0
[pid=22691/tid=22692] ppid=22689 vsize=83676 CPUtime=0.02 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 187 0 0 0 2 0 0 0 20 0 2 0 275401915 85684224 864 33554432000 4194304 5963574 140736052657168 140734172310920 5142792 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 83676
[startup+0.100186 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 22691
/proc/meminfo: memFree=27590372/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=83676 CPUtime=0.09 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 1001 0 0 0 9 0 0 0 20 0 2 0 275401914 85684224 941 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 20919 941 192 432 0 20484 0
[pid=22691/tid=22692] ppid=22689 vsize=83676 CPUtime=0.08 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 264 0 0 0 8 0 0 0 20 0 2 0 275401915 85684224 941 33554432000 4194304 5963574 140736052657168 140734172310920 4390707 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83676
[startup+0.300255 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 22691
/proc/meminfo: memFree=27590372/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=83676 CPUtime=0.29 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 1320 0 0 0 29 0 0 0 20 0 2 0 275401914 85684224 1260 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 20919 1260 192 432 0 20484 0
[pid=22691/tid=22692] ppid=22689 vsize=83676 CPUtime=0.28 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 583 0 0 0 28 0 0 0 20 0 2 0 275401915 85684224 1260 33554432000 4194304 5963574 140736052657168 140734172310920 4399603 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83676
[startup+0.700251 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 22691
/proc/meminfo: memFree=27590372/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=83676 CPUtime=0.69 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 1504 0 0 0 69 0 0 0 20 0 2 0 275401914 85684224 1444 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 20919 1444 192 432 0 20484 0
[pid=22691/tid=22692] ppid=22689 vsize=83676 CPUtime=0.68 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 767 0 0 0 68 0 0 0 20 0 2 0 275401915 85684224 1444 33554432000 4194304 5963574 140736052657168 140181928798536 4403213 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83676
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22732
/proc/meminfo: memFree=27581372/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=83676 CPUtime=1.49 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 2122 0 0 0 149 0 0 0 20 0 2 0 275401914 85684224 2386 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 20919 2387 192 432 0 20484 0
[pid=22691/tid=22692] ppid=22689 vsize=83676 CPUtime=1.47 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 1386 0 0 0 147 0 0 0 20 0 2 0 275401915 85684224 2387 33554432000 4194304 5963574 140736052657168 140181928798248 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83676
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22732
/proc/meminfo: memFree=27575540/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=83820 CPUtime=3.09 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 2663 0 0 0 309 0 0 0 20 0 2 0 275401914 85831680 2927 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 20955 2927 192 432 0 20520 0
[pid=22691/tid=22692] ppid=22689 vsize=83820 CPUtime=3.07 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 1926 0 0 0 307 0 0 0 20 0 2 0 275401915 85831680 2927 33554432000 4194304 5963574 140736052657168 140181928798008 4400361 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83820
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22732
/proc/meminfo: memFree=27561288/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=83820 CPUtime=6.28 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 3743 0 0 0 628 0 0 0 20 0 2 0 275401914 85831680 4007 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 20955 4007 192 432 0 20520 0
[pid=22691/tid=22692] ppid=22689 vsize=83820 CPUtime=6.26 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 3007 0 0 0 626 0 0 0 20 0 2 0 275401915 85831680 4008 33554432000 4194304 5963574 140736052657168 140181928798008 4400074 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83820
[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 22733
/proc/meminfo: memFree=27543628/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=83676 CPUtime=12.68 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 4461 0 0 0 1268 0 0 0 20 0 2 0 275401914 85684224 4689 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 20919 4689 192 432 0 20484 0
[pid=22691/tid=22692] ppid=22689 vsize=83676 CPUtime=12.65 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 3724 0 0 0 1265 0 0 0 20 0 2 0 275401915 85684224 4689 33554432000 4194304 5963574 140736052657168 140181928798744 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 83676
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22733
/proc/meminfo: memFree=27525468/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=84000 CPUtime=25.48 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 7543 0 0 0 2547 1 0 0 20 0 2 0 275401914 86016000 7771 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 21000 7771 192 432 0 20565 0
[pid=22691/tid=22692] ppid=22689 vsize=84000 CPUtime=25.41 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 6806 0 0 0 2540 1 0 0 20 0 2 0 275401915 86016000 7771 33554432000 4194304 5963574 140736052657168 140181928798200 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84000
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 22733
/proc/meminfo: memFree=27485016/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=84160 CPUtime=51.08 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 11276 0 0 0 5105 3 0 0 20 0 2 0 275401914 86179840 11504 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 21040 11504 192 432 0 20605 0
[pid=22691/tid=22692] ppid=22689 vsize=84160 CPUtime=50.95 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 10539 0 0 0 5092 3 0 0 20 0 2 0 275401915 86179840 11504 33554432000 4194304 5963574 140736052657168 140181928798008 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84160
[startup+102.306 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 22733
/proc/meminfo: memFree=27437080/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=149936 CPUtime=102.25 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 18113 0 0 0 10221 4 0 0 20 0 2 0 275401914 153534464 18626 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 37484 18626 192 432 0 37049 0
[pid=22691/tid=22692] ppid=22689 vsize=149936 CPUtime=102 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 17376 0 0 0 10195 5 0 0 20 0 2 0 275401915 153534464 18626 33554432000 4194304 5963574 140736052657168 140181928798200 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 149936
[startup+162.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 22733
/proc/meminfo: memFree=27401500/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=149212 CPUtime=162.23 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 22245 0 0 0 16217 6 0 0 20 0 2 0 275401914 152793088 20800 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 37303 20800 192 432 0 36868 0
[pid=22691/tid=22692] ppid=22689 vsize=149212 CPUtime=161.84 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 21508 0 0 0 16176 8 0 0 20 0 2 0 275401915 152793088 20800 33554432000 4194304 5963574 140736052657168 140181928799160 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 149212
[startup+222.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 22733
/proc/meminfo: memFree=27351324/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=149212 CPUtime=222.22 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 22252 0 0 0 22216 6 0 0 20 0 2 0 275401914 152793088 20998 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 37303 20998 192 432 0 36868 0
[pid=22691/tid=22692] ppid=22689 vsize=149212 CPUtime=221.68 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 21515 0 0 0 22159 9 0 0 20 0 2 0 275401915 152793088 20998 33554432000 4194304 5963574 140736052657168 140181928799160 4399592 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 149212
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/180 22736
/proc/meminfo: memFree=27266684/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=149212 CPUtime=282.22 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 26891 0 0 0 28214 8 0 0 20 0 2 0 275401914 152793088 25634 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 37303 25634 192 432 0 36868 0
[pid=22691/tid=22692] ppid=22689 vsize=149212 CPUtime=281.52 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 26154 0 0 0 28140 12 0 0 20 0 2 0 275401915 152793088 25634 33554432000 4194304 5963574 140736052657168 140181928798200 4399474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 149212
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 22737
/proc/meminfo: memFree=27196776/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=149212 CPUtime=342.2 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 32248 0 0 0 34210 10 0 0 20 0 2 0 275401914 152793088 30988 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 37303 30988 192 432 0 36868 0
[pid=22691/tid=22692] ppid=22689 vsize=149212 CPUtime=341.37 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 31511 0 0 0 34122 15 0 0 20 0 2 0 275401915 152793088 30988 33554432000 4194304 5963574 140736052657168 140181928798072 4399466 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 149212
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 22737
/proc/meminfo: memFree=27138412/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=214748 CPUtime=402.18 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 37073 0 0 0 40205 13 0 0 20 0 2 0 275401914 219901952 35924 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22744
/proc/meminfo: memFree=26547876/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=280284 CPUtime=1422 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 58994 0 0 0 142172 28 0 0 20 0 2 0 275401914 287010816 58289 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 70071 58289 192 432 0 69636 0
[pid=22691/tid=22692] ppid=22689 vsize=280284 CPUtime=1418.56 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 58257 0 0 0 141807 49 0 0 20 0 2 0 275401915 287010816 58289 33554432000 4194304 5963574 140736052657168 140181928798200 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 280284
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22747
/proc/meminfo: memFree=26492520/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=280284 CPUtime=1481.98 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 62855 0 0 0 148168 30 0 0 20 0 2 0 275401914 287010816 62150 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 70071 62150 192 432 0 69636 0
[pid=22691/tid=22692] ppid=22689 vsize=280284 CPUtime=1478.4 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 62118 0 0 0 147788 52 0 0 20 0 2 0 275401915 287010816 62150 33554432000 4194304 5963574 140736052657168 140181928798200 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 280284
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22748
/proc/meminfo: memFree=26429316/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=280284 CPUtime=1541.98 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 66892 0 0 0 154165 33 0 0 20 0 2 0 275401914 287010816 66185 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 70071 66185 192 432 0 69636 0
[pid=22691/tid=22692] ppid=22689 vsize=280284 CPUtime=1538.25 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 66155 0 0 0 153769 56 0 0 20 0 2 0 275401915 287010816 66185 33554432000 4194304 5963574 140736052657168 140181928798008 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 280284
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22748
/proc/meminfo: memFree=26422412/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=345820 CPUtime=1601.96 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 68360 0 0 0 160163 33 0 0 20 0 2 0 275401914 354119680 67652 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 86455 67652 192 432 0 86020 0
[pid=22691/tid=22692] ppid=22689 vsize=345820 CPUtime=1598.1 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 67623 0 0 0 159753 57 0 0 20 0 2 0 275401915 354119680 67652 33554432000 4194304 5963574 140736052657168 140181928798200 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 345820
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 22748
/proc/meminfo: memFree=26421792/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=345820 CPUtime=1661.95 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 68555 0 0 0 166162 33 0 0 20 0 2 0 275401914 354119680 67847 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 86455 67847 192 432 0 86020 0
[pid=22691/tid=22692] ppid=22689 vsize=345820 CPUtime=1657.94 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 67818 0 0 0 165736 58 0 0 20 0 2 0 275401915 354119680 67847 33554432000 4194304 5963574 140736052657168 140181928798008 4399627 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 345820
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22748
/proc/meminfo: memFree=26407536/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=345820 CPUtime=1721.94 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 72186 0 0 0 172158 36 0 0 20 0 2 0 275401914 354119680 71476 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 86455 71476 192 432 0 86020 0
[pid=22691/tid=22692] ppid=22689 vsize=345820 CPUtime=1717.79 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 71449 0 0 0 171717 62 0 0 20 0 2 0 275401915 354119680 71476 33554432000 4194304 5963574 140736052657168 140181928798200 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 345820
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22748
/proc/meminfo: memFree=26368104/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=347444 CPUtime=1781.94 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 76847 0 0 0 178155 39 0 0 20 0 2 0 275401914 355782656 76133 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 86861 76133 192 432 0 86426 0
[pid=22691/tid=22692] ppid=22689 vsize=347444 CPUtime=1777.63 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 76110 0 0 0 177697 66 0 0 20 0 2 0 275401915 355782656 76133 33554432000 4194304 5963574 140736052657168 140181928798008 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 347444
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22748
/proc/meminfo: memFree=26363020/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=347444 CPUtime=1791.54 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 76858 0 0 0 179115 39 0 0 20 0 2 0 275401914 355782656 76144 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 86861 76144 192 432 0 86426 0
[pid=22691/tid=22692] ppid=22689 vsize=347444 CPUtime=1787.22 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 76121 0 0 0 178656 66 0 0 20 0 2 0 275401915 355782656 76144 33554432000 4194304 5963574 140736052657168 140181928798008 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (KiB) 347444
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22748
/proc/meminfo: memFree=26362276/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=347444 CPUtime=1794.74 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 76858 0 0 0 179435 39 0 0 20 0 2 0 275401914 355782656 76144 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 86861 76144 192 432 0 86426 0
[pid=22691/tid=22692] ppid=22689 vsize=347444 CPUtime=1790.41 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 76121 0 0 0 178975 66 0 0 20 0 2 0 275401915 355782656 76144 33554432000 4194304 5963574 140736052657168 140181928798008 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 347444
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22748
/proc/meminfo: memFree=26361160/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=347444 CPUtime=1797.93 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 76864 0 0 0 179754 39 0 0 20 0 2 0 275401914 355782656 76150 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 86861 76150 192 432 0 86426 0
[pid=22691/tid=22692] ppid=22689 vsize=347444 CPUtime=1793.59 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 76127 0 0 0 179293 66 0 0 20 0 2 0 275401915 355782656 76150 33554432000 4194304 5963574 140736052657168 140181928798008 4399592 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 347444
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22748
/proc/meminfo: memFree=26361036/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=347444 CPUtime=1798.73 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 76864 0 0 0 179834 39 0 0 20 0 2 0 275401914 355782656 76150 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 86861 76150 192 432 0 86426 0
[pid=22691/tid=22692] ppid=22689 vsize=347444 CPUtime=1794.39 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 76127 0 0 0 179373 66 0 0 20 0 2 0 275401915 355782656 76150 33554432000 4194304 5963574 140736052657168 140181928798008 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.73
Current children cumulated vsize (KiB) 347444
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22748
/proc/meminfo: memFree=26360664/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=347444 CPUtime=1799.14 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 76864 0 0 0 179875 39 0 0 20 0 2 0 275401914 355782656 76150 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 86861 76150 192 432 0 86426 0
[pid=22691/tid=22692] ppid=22689 vsize=347444 CPUtime=1794.8 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 76127 0 0 0 179414 66 0 0 20 0 2 0 275401915 355782656 76150 33554432000 4194304 5963574 140736052657168 140181928798008 4399639 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.14
Current children cumulated vsize (KiB) 347444
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22748
/proc/meminfo: memFree=26360664/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=347444 CPUtime=1799.53 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 76864 0 0 0 179914 39 0 0 20 0 2 0 275401914 355782656 76150 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 86861 76150 192 432 0 86426 0
[pid=22691/tid=22692] ppid=22689 vsize=347444 CPUtime=1795.19 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 76127 0 0 0 179453 66 0 0 20 0 2 0 275401915 355782656 76150 33554432000 4194304 5963574 140736052657168 140181928798008 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 347444
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22748
/proc/meminfo: memFree=26360664/32873648 swapFree=6336/6336
[pid=22691] ppid=22689 vsize=347444 CPUtime=1799.63 cores=0,2,4,6
/proc/22691/stat : 22691 (wbo1.7) S 22689 22691 22359 0 -1 4202496 76864 0 0 0 179924 39 0 0 20 0 2 0 275401914 355782656 76150 33554432000 4194304 5963574 140736052657168 140736052656688 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22691/statm: 86861 76150 192 432 0 86426 0
[pid=22691/tid=22692] ppid=22689 vsize=347444 CPUtime=1795.29 cores=0,2,4,6
/proc/22691/task/22692/stat : 22692 (wbo1.7) R 22689 22691 22359 0 -1 4202560 76127 0 0 0 179463 66 0 0 20 0 2 0 275401915 355782656 76150 33554432000 4194304 5963574 140736052657168 140181928798008 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (KiB) 347444
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22691 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=640173
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=677896
# CPU time returned by wait4() is 1795.32
# while last known CPU time is 1799.63
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.63
CPU user time (s): 1799.24
CPU system time (s): 0.39
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 347444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.64
system time used= 0.677896
maximum resident set size= 304600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76864
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= 106
involuntary context switches= 2014
runsolver used 4.09338 second user time and 9.8635 second system time
The end