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-3712753-1338205351/watcher-3712753-1338205351 -o /tmp/evaluation-result-3712753-1338205351/solver-3712753-1338205351 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712753-1338205351.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: 4.00 4.00 4.00 4/178 22775
/proc/meminfo: memFree=29339612/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=4572 CPUtime=0 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) R 22773 22775 20249 0 -1 4202496 435 0 0 0 0 0 0 0 20 0 1 0 286659613 4681728 387 33554432000 4194304 5964478 140737301692320 140735262593016 4360807 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 1143 387 168 433 0 683 0
[startup+0.0162681 s]
/proc/loadavg: 4.00 4.00 4.00 4/178 22775
/proc/meminfo: memFree=29339612/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=163728 CPUtime=0.01 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 1452 0 0 0 1 0 0 0 20 0 3 0 286659613 167657472 1380 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 40932 1380 178 433 0 40496 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 163728
[startup+0.100163 s]
/proc/loadavg: 4.00 4.00 4.00 4/178 22775
/proc/meminfo: memFree=29339612/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=164272 CPUtime=0.17 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 3132 0 0 0 17 0 0 0 20 0 3 0 286659613 168214528 2513 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 41068 2513 198 433 0 40632 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164272
[startup+0.300131 s]
/proc/loadavg: 4.00 4.00 4.00 4/178 22775
/proc/meminfo: memFree=29339612/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=164272 CPUtime=0.57 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 5318 0 0 0 57 0 0 0 20 0 3 0 286659613 168214528 3699 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 41068 3699 198 433 0 40632 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164272
[startup+0.700133 s]
/proc/loadavg: 4.00 4.00 4.00 4/178 22775
/proc/meminfo: memFree=29339612/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=164272 CPUtime=1.37 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 7070 0 0 0 136 1 0 0 20 0 3 0 286659613 168214528 4846 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 41068 4846 198 433 0 40632 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164272
[startup+1.50028 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22778
/proc/meminfo: memFree=29316896/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=164272 CPUtime=2.97 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 8993 0 0 0 295 2 0 0 20 0 3 0 286659613 168214528 6364 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 41068 6364 198 433 0 40632 0
[pid=22775/tid=22777] ppid=22773 vsize=164272 CPUtime=1.47 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 3554 0 0 0 146 1 0 0 20 0 3 0 286659614 168214528 6364 33554432000 4194304 5964478 140737301692320 140383305369592 4400075 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=164272 CPUtime=1.46 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 4347 0 0 0 146 0 0 0 20 0 3 0 286659614 168214528 6364 33554432000 4194304 5964478 140737301692320 140383294880408 4403682 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 164272
[startup+3.10027 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22778
/proc/meminfo: memFree=29308200/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=164272 CPUtime=6.17 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 12240 0 0 0 614 3 0 0 20 0 3 0 286659613 168214528 9207 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 41068 9207 198 433 0 40632 0
[pid=22775/tid=22777] ppid=22773 vsize=164272 CPUtime=3.06 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 5783 0 0 0 305 1 0 0 20 0 3 0 286659614 168214528 9207 33554432000 4194304 5964478 140737301692320 140383305369592 4400090 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=164272 CPUtime=3.06 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 5365 0 0 0 305 1 0 0 20 0 3 0 286659614 168214528 9207 33554432000 4194304 5964478 140737301692320 140383294880264 4403705 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164272
[startup+6.30028 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22778
/proc/meminfo: memFree=29276828/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=164272 CPUtime=12.56 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 18275 0 0 0 1251 5 0 0 20 0 3 0 286659613 168214528 14937 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 41068 14937 198 433 0 40632 0
[pid=22775/tid=22777] ppid=22773 vsize=164272 CPUtime=6.25 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 11076 0 0 0 622 3 0 0 20 0 3 0 286659614 168214528 14937 33554432000 4194304 5964478 140737301692320 140383305369640 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=164272 CPUtime=6.25 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 6107 0 0 0 624 1 0 0 20 0 3 0 286659614 168214528 14937 33554432000 4194304 5964478 140737301692320 140383294880048 4400062 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) 164272
[startup+12.7003 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22778
/proc/meminfo: memFree=29233668/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=164680 CPUtime=25.35 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 24323 0 0 0 2527 8 0 0 20 0 3 0 286659613 168632320 20777 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 41170 20777 198 433 0 40734 0
[pid=22775/tid=22777] ppid=22773 vsize=164680 CPUtime=12.63 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 15539 0 0 0 1258 5 0 0 20 0 3 0 286659614 168632320 20777 33554432000 4194304 5964478 140737301692320 140383305369400 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=164680 CPUtime=12.63 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 7692 0 0 0 1261 2 0 0 20 0 3 0 286659614 168632320 20777 33554432000 4194304 5964478 140737301692320 140383294880408 4221120 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) 164680
[startup+25.5003 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22778
/proc/meminfo: memFree=29123168/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=230912 CPUtime=50.96 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 47281 0 0 0 5080 16 0 0 20 0 3 0 286659613 236453888 43500 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 57728 43500 198 433 0 57292 0
[pid=22775/tid=22777] ppid=22773 vsize=230912 CPUtime=25.4 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 29914 0 0 0 2530 10 0 0 20 0 3 0 286659614 236453888 43500 33554432000 4194304 5964478 140737301692320 140383305369592 4403327 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=230912 CPUtime=25.4 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 16275 0 0 0 2535 5 0 0 20 0 3 0 286659614 236453888 43500 33554432000 4194304 5964478 140737301692320 140383294880160 4388189 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 230912
[startup+51.1003 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22778
/proc/meminfo: memFree=28884676/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=495440 CPUtime=102.15 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 101818 0 0 0 10182 33 0 0 20 0 3 0 286659613 507330560 97724 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 123860 97724 198 433 0 123424 0
[pid=22775/tid=22777] ppid=22773 vsize=495440 CPUtime=50.93 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 49675 0 0 0 5079 14 0 0 20 0 3 0 286659614 507330560 97724 33554432000 4194304 5964478 140737301692320 140383305369504 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=495440 CPUtime=50.93 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 51051 0 0 0 5075 18 0 0 20 0 3 0 286659614 507330560 97724 33554432000 4194304 5964478 140737301692320 140383294880056 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 495440
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22778
/proc/meminfo: memFree=28662644/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=694340 CPUtime=204.5 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 155193 0 0 0 20387 63 0 0 20 0 3 0 286659613 711004160 151412 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 173585 151412 198 433 0 173149 0
[pid=22775/tid=22777] ppid=22773 vsize=694340 CPUtime=102 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 74771 0 0 0 10172 28 0 0 20 0 3 0 286659614 711004160 151412 33554432000 4194304 5964478 140737301692320 140383305369592 4400073 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=694340 CPUtime=101.97 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 79330 0 0 0 10161 36 0 0 20 0 3 0 286659614 711004160 151412 33554432000 4194304 5964478 140737301692320 140383294880088 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 694340
[startup+162.3 s]
/proc/loadavg: 4.04 4.01 4.00 5/181 22778
/proc/meminfo: memFree=28397188/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=957868 CPUtime=324.41 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 221324 0 0 0 32351 90 0 0 20 0 3 0 286659613 980856832 217511 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 239467 217511 198 433 0 239031 0
[pid=22775/tid=22777] ppid=22773 vsize=957868 CPUtime=161.79 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 122286 0 0 0 16131 48 0 0 20 0 3 0 286659614 980856832 217511 33554432000 4194304 5964478 140737301692320 140383305369592 4399910 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=957868 CPUtime=161.79 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 97946 0 0 0 16134 45 0 0 20 0 3 0 286659614 980856832 217511 33554432000 4194304 5964478 140737301692320 140383294879816 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.41
Current children cumulated vsize (KiB) 957868
[startup+222.3 s]
/proc/loadavg: 4.01 4.01 4.00 5/181 22778
/proc/meminfo: memFree=28297644/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=958724 CPUtime=444.34 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 227207 0 0 0 44340 94 0 0 20 0 3 0 286659613 981733376 223319 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 239681 223319 198 433 0 239245 0
[pid=22775/tid=22777] ppid=22773 vsize=958724 CPUtime=221.63 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 122317 0 0 0 22114 49 0 0 20 0 3 0 286659614 981733376 223319 33554432000 4194304 5964478 140737301692320 140383305369624 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=958724 CPUtime=221.61 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 103798 0 0 0 22110 51 0 0 20 0 3 0 286659614 981733376 223319 33554432000 4194304 5964478 140737301692320 140383294880056 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.34
Current children cumulated vsize (KiB) 958724
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22819
/proc/meminfo: memFree=29770124/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=1353476 CPUtime=564.25 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 319336 0 0 0 56256 169 0 0 20 0 3 0 286659613 1385959424 315428 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 338369 315428 198 433 0 337933 0
[pid=22775/tid=22777] ppid=22773 vsize=1353476 CPUtime=281.43 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 180178 0 0 0 28043 100 0 0 20 0 3 0 286659614 1385959424 315428 33554432000 4194304 5964478 140737301692320 140383305369592 5136474 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=1353476 CPUtime=281.42 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 138066 0 0 0 28066 76 0 0 20 0 3 0 286659614 1385959424 315428 33554432000 4194304 5964478 140737301692320 140383294879816 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.25
Current children cumulated vsize (KiB) 1353476
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22820
/proc/meminfo: memFree=29295736/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=1616644 CPUtime=684.17 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 374412 0 0 0 68226 191 0 0 20 0 3 0 286659613 1655443456 370460 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 404161 370460 198 433 0 403725 0
################
# More data... #
################
[pid=22775] ppid=22773 vsize=2146348 CPUtime=1643.93 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 507943 0 0 0 164136 257 0 0 20 0 3 0 286659613 2197860352 504832 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 536587 504832 198 433 0 536151 0
[pid=22775/tid=22777] ppid=22773 vsize=2146348 CPUtime=819.96 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 315787 0 0 0 81819 177 0 0 20 0 3 0 286659614 2197860352 504832 33554432000 4194304 5964478 140737301692320 140383305369592 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=2146348 CPUtime=819.94 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 191064 0 0 0 81891 103 0 0 20 0 3 0 286659614 2197860352 504832 33554432000 4194304 5964478 140737301692320 140383294879816 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.93
Current children cumulated vsize (KiB) 2146348
############
# WARNING:
# current cumulated CPU time (1738.1 s) is less than in the last sample (1740.09 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1.98999 s) to the 'lost time'.
[startup+870.4 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22825
/proc/meminfo: memFree=27515280/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=2213428 CPUtime=1740.09 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 536069 0 0 0 173738 271 0 0 20 0 3 0 286659613 2266550272 532977 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 553357 532977 198 433 0 552921 0
[pid=22775/tid=22777] ppid=22773 vsize=2213428 CPUtime=867.9 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 337037 0 0 0 86600 190 0 0 20 0 3 0 286659614 2266550272 532977 33554432000 4194304 5964478 140737301692320 140383305369592 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=2213428 CPUtime=867.92 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 197940 0 0 0 86686 106 0 0 20 0 3 0 286659614 2266550272 532977 33554432000 4194304 5964478 140737301692320 140383294879816 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1740.09
Current children cumulated vsize (KiB) 2213428
[startup+870.5 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22825
/proc/meminfo: memFree=27515280/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=0 CPUtime=1738.1 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) Z 22773 22775 20249 0 -1 4203532 536116 0 0 0 173522 288 0 0 20 0 2 0 286659613 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 0 0 0 0 0 0 0
[pid=22775/tid=22777] ppid=22773 vsize=0 CPUtime=868 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4203588 337079 0 0 0 86606 194 0 0 20 0 2 0 286659614 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1738.1
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+844.7 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22825
/proc/meminfo: memFree=27610684/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=2147656 CPUtime=1688.72 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 524497 0 0 0 168608 264 0 0 20 0 3 0 286659613 2199199744 521391 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 536914 521391 198 433 0 536478 0
[pid=22775/tid=22777] ppid=22773 vsize=2147656 CPUtime=842.29 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 325976 0 0 0 84047 182 0 0 20 0 3 0 286659614 2199199744 521391 33554432000 4194304 5964478 140737301692320 140383305369592 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=2147656 CPUtime=842.29 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 197430 0 0 0 84124 105 0 0 20 0 3 0 286659614 2199199744 521392 33554432000 4194304 5964478 140737301692320 140383294880056 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1688.72
Current children cumulated vsize (KiB) 2147656
[startup+857.5 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22825
/proc/meminfo: memFree=27570988/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=2213192 CPUtime=1714.31 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 529892 0 0 0 171164 267 0 0 20 0 3 0 286659613 2266308608 526792 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 553298 526792 198 433 0 552862 0
[pid=22775/tid=22777] ppid=22773 vsize=2213192 CPUtime=855.05 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 330888 0 0 0 85320 185 0 0 20 0 3 0 286659614 2266308608 526792 33554432000 4194304 5964478 140737301692320 140383305369592 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=2213192 CPUtime=855.05 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 197912 0 0 0 85400 105 0 0 20 0 3 0 286659614 2266308608 526792 33554432000 4194304 5964478 140737301692320 140383294880056 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1714.31
Current children cumulated vsize (KiB) 2213192
[startup+863.9 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22825
/proc/meminfo: memFree=27544436/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=2213192 CPUtime=1727.09 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 532921 0 0 0 172441 268 0 0 20 0 3 0 286659613 2266308608 529827 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 553298 529827 198 433 0 552862 0
[pid=22775/tid=22777] ppid=22773 vsize=2213192 CPUtime=861.43 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 333917 0 0 0 85956 187 0 0 20 0 3 0 286659614 2266308608 529827 33554432000 4194304 5964478 140737301692320 140383305369592 4399930 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=2213192 CPUtime=861.43 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 197912 0 0 0 86037 106 0 0 20 0 3 0 286659614 2266308608 529827 33554432000 4194304 5964478 140737301692320 140383294880056 4400093 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1727.09
Current children cumulated vsize (KiB) 2213192
[startup+867.1 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22825
/proc/meminfo: memFree=27528936/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=2213192 CPUtime=1733.5 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 534425 0 0 0 173080 270 0 0 20 0 3 0 286659613 2266308608 531331 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 553298 531331 198 433 0 552862 0
[pid=22775/tid=22777] ppid=22773 vsize=2213192 CPUtime=864.62 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 335402 0 0 0 86273 189 0 0 20 0 3 0 286659614 2266308608 531331 33554432000 4194304 5964478 140737301692320 140383305369592 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=2213192 CPUtime=864.62 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 197931 0 0 0 86356 106 0 0 20 0 3 0 286659614 2266308608 531331 33554432000 4194304 5964478 140737301692320 140383294880056 4388218 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1733.5
Current children cumulated vsize (KiB) 2213192
[startup+868.7 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22825
/proc/meminfo: memFree=27524596/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=2213192 CPUtime=1736.69 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 535187 0 0 0 173399 270 0 0 20 0 3 0 286659613 2266308608 532093 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 553298 532093 198 433 0 552862 0
[pid=22775/tid=22777] ppid=22773 vsize=2213192 CPUtime=866.22 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 336161 0 0 0 86433 189 0 0 20 0 3 0 286659614 2266308608 532093 33554432000 4194304 5964478 140737301692320 140383305369592 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=2213192 CPUtime=866.22 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 197934 0 0 0 86516 106 0 0 20 0 3 0 286659614 2266308608 532093 33554432000 4194304 5964478 140737301692320 140383294880056 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1736.69
Current children cumulated vsize (KiB) 2213192
[startup+869.5 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22825
/proc/meminfo: memFree=27519636/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=2213428 CPUtime=1738.29 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 535557 0 0 0 173559 270 0 0 20 0 3 0 286659613 2266550272 532465 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 553357 532465 198 433 0 552921 0
[pid=22775/tid=22777] ppid=22773 vsize=2213428 CPUtime=867.01 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 336526 0 0 0 86512 189 0 0 20 0 3 0 286659614 2266550272 532465 33554432000 4194304 5964478 140737301692320 140383305369400 4400002 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=2213428 CPUtime=867.02 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 197939 0 0 0 86596 106 0 0 20 0 3 0 286659614 2266550272 532465 33554432000 4194304 5964478 140737301692320 140383294880056 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1738.29
Current children cumulated vsize (KiB) 2213428
[startup+870.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22825
/proc/meminfo: memFree=27515280/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=2213428 CPUtime=1739.89 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) S 22773 22775 20249 0 -1 4202496 536028 0 0 0 173718 271 0 0 20 0 3 0 286659613 2266550272 532936 33554432000 4194304 5964478 140737301692320 140737301691840 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 553357 532936 198 433 0 552921 0
[pid=22775/tid=22777] ppid=22773 vsize=2213428 CPUtime=867.8 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 336996 0 0 0 86590 190 0 0 20 0 3 0 286659614 2266550272 532936 33554432000 4194304 5964478 140737301692320 140383305369592 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22775/tid=22778] ppid=22773 vsize=2213428 CPUtime=867.82 cores=0,2,4,6
/proc/22775/task/22778/stat : 22778 (pwbo2.01) R 22773 22775 20249 0 -1 4202560 197940 0 0 0 86676 106 0 0 20 0 3 0 286659614 2266550272 532936 33554432000 4194304 5964478 140737301692320 140383294879816 4400073 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1739.89
Current children cumulated vsize (KiB) 2213428
[startup+870.5 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22825
/proc/meminfo: memFree=27515280/32873844 swapFree=6080/6080
[pid=22775] ppid=22773 vsize=0 CPUtime=1738.1 cores=0,2,4,6
/proc/22775/stat : 22775 (pwbo2.01) Z 22773 22775 20249 0 -1 4203532 536116 0 0 0 173522 288 0 0 20 0 2 0 286659613 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22775/statm: 0 0 0 0 0 0 0
[pid=22775/tid=22777] ppid=22773 vsize=0 CPUtime=868 cores=0,2,4,6
/proc/22775/task/22777/stat : 22777 (pwbo2.01) R 22773 22775 20249 0 -1 4203588 337079 0 0 0 86606 194 0 0 20 0 2 0 286659614 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1738.1
Current children cumulated vsize (KiB) 0
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22775 and gives
# childrusage.ru_utime.tv_sec=1733
# childrusage.ru_utime.tv_usec=5543
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=71533
# CPU time returned by wait4() is 1736.08
# while last known CPU time is 1738.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1.98999
# lost CPU user time (s): 2.16003
# lost CPU system time (s): -0.17
Real time (s): 870.554
CPU time (s): 1740.09
CPU user time (s): 1737.38
CPU system time (s): 2.71
CPU usage (%): 199.883
Max. virtual memory (cumulated for all children) (KiB): 2213428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1733.01
system time used= 3.07153
maximum resident set size= 2132096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536116
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= 1121
involuntary context switches= 1907
runsolver used 1.3018 second user time and 3.61745 second system time
The end