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-3712488-1338196697/watcher-3712488-1338196697 -o /tmp/evaluation-result-3712488-1338196697/solver-3712488-1338196697 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712488-1338196697.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.01 3.96 3.91 3/178 20998
/proc/meminfo: memFree=30874688/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=4316 CPUtime=0 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) R 20996 20998 20249 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 285794295 4419584 345 33554432000 4194304 5964478 140737357360576 140737206419896 4344675 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 1079 346 167 433 0 620 0
[startup+0.041302 s]
/proc/loadavg: 4.01 3.96 3.91 3/178 20998
/proc/meminfo: memFree=30874688/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=163768 CPUtime=0.06 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 2157 0 0 0 5 1 0 0 20 0 3 0 285794295 167698432 1817 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 40942 1817 198 433 0 40506 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 163768
[startup+0.100172 s]
/proc/loadavg: 4.01 3.96 3.91 3/178 20998
/proc/meminfo: memFree=30874688/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=163768 CPUtime=0.17 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 3103 0 0 0 16 1 0 0 20 0 3 0 285794295 167698432 2305 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 40942 2305 198 433 0 40506 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 163768
[startup+0.300127 s]
/proc/loadavg: 4.01 3.96 3.91 3/178 20998
/proc/meminfo: memFree=30874688/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=163768 CPUtime=0.57 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 4125 0 0 0 54 3 0 0 20 0 3 0 285794295 167698432 3037 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 40942 3037 198 433 0 40506 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 163768
[startup+0.700131 s]
/proc/loadavg: 4.01 3.96 3.91 3/178 20998
/proc/meminfo: memFree=30874688/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=163768 CPUtime=1.37 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 5230 0 0 0 133 4 0 0 20 0 3 0 285794295 167698432 3902 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 40942 3902 198 433 0 40506 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163768
[startup+1.50026 s]
/proc/loadavg: 4.01 3.96 3.91 5/181 21001
/proc/meminfo: memFree=30857932/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=163768 CPUtime=2.97 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 7070 0 0 0 290 7 0 0 20 0 3 0 285794295 167698432 5550 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 40942 5550 198 433 0 40506 0
[pid=20998/tid=21000] ppid=20996 vsize=163768 CPUtime=1.47 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 2958 0 0 0 141 6 0 0 20 0 3 0 285794297 167698432 5550 33554432000 4194304 5964478 140737357360576 140027162814456 4381563 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20998/tid=21001] ppid=20996 vsize=163768 CPUtime=1.46 cores=0,2,4,6
/proc/20998/task/21001/stat : 21001 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 3091 0 0 0 145 1 0 0 20 0 3 0 285794297 167698432 5550 33554432000 4194304 5964478 140737357360576 140027152325024 4389056 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 163768
[startup+3.10037 s]
/proc/loadavg: 4.01 3.96 3.91 5/181 21001
/proc/meminfo: memFree=30848632/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=164164 CPUtime=6.16 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 10288 0 0 0 605 11 0 0 20 0 3 0 285794295 168103936 8767 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 41041 8767 198 433 0 40605 0
[pid=20998/tid=21000] ppid=20996 vsize=164164 CPUtime=3.06 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 4883 0 0 0 297 9 0 0 20 0 3 0 285794297 168103936 8767 33554432000 4194304 5964478 140737357360576 140027162814456 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20998/tid=21001] ppid=20996 vsize=164164 CPUtime=3.06 cores=0,2,4,6
/proc/20998/task/21001/stat : 21001 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 4384 0 0 0 305 1 0 0 20 0 3 0 285794297 168103936 8767 33554432000 4194304 5964478 140737357360576 140027152324968 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 164164
[startup+6.30034 s]
/proc/loadavg: 4.01 3.97 3.91 5/181 21001
/proc/meminfo: memFree=30810812/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=164572 CPUtime=12.56 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 19342 0 0 0 1237 19 0 0 20 0 3 0 285794295 168521728 17821 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 41143 17821 198 433 0 40707 0
[pid=20998/tid=21000] ppid=20996 vsize=164572 CPUtime=6.25 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 9471 0 0 0 610 15 0 0 20 0 3 0 285794297 168521728 17821 33554432000 4194304 5964478 140737357360576 140027162814456 4400416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20998/tid=21001] ppid=20996 vsize=164572 CPUtime=6.25 cores=0,2,4,6
/proc/20998/task/21001/stat : 21001 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 8851 0 0 0 622 3 0 0 20 0 3 0 285794297 168521728 17822 33554432000 4194304 5964478 140737357360576 140027152324920 5244295 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) 164572
[startup+12.7003 s]
/proc/loadavg: 4.01 3.97 3.91 5/181 21001
/proc/meminfo: memFree=30736108/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=296436 CPUtime=25.36 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 37606 0 0 0 2511 25 0 0 20 0 3 0 285794295 303550464 36085 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 74109 36085 198 433 0 73673 0
[pid=20998/tid=21000] ppid=20996 vsize=296436 CPUtime=12.64 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 16865 0 0 0 1246 18 0 0 20 0 3 0 285794297 303550464 36085 33554432000 4194304 5964478 140737357360576 140027162814504 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20998/tid=21001] ppid=20996 vsize=296436 CPUtime=12.63 cores=0,2,4,6
/proc/20998/task/21001/stat : 21001 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 19720 0 0 0 1257 6 0 0 20 0 3 0 285794297 303550464 36085 33554432000 4194304 5964478 140737357360576 140027152324920 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 296436
[startup+25.5003 s]
/proc/loadavg: 4.01 3.97 3.91 5/181 21001
/proc/meminfo: memFree=30656376/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=297492 CPUtime=50.95 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 56102 0 0 0 5065 30 0 0 20 0 3 0 285794295 304631808 54581 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 74373 54581 198 433 0 73937 0
[pid=20998/tid=21000] ppid=20996 vsize=297492 CPUtime=25.4 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 27373 0 0 0 2519 21 0 0 20 0 3 0 285794297 304631808 54581 33554432000 4194304 5964478 140737357360576 140027162814368 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20998/tid=21001] ppid=20996 vsize=297492 CPUtime=25.4 cores=0,2,4,6
/proc/20998/task/21001/stat : 21001 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 27708 0 0 0 2532 8 0 0 20 0 3 0 285794297 304631808 54581 33554432000 4194304 5964478 140737357360576 140027152324832 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 297492
[startup+51.1004 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 21001
/proc/meminfo: memFree=30532592/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=428992 CPUtime=102.14 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 86967 0 0 0 10173 41 0 0 20 0 3 0 285794295 439287808 85078 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 107248 85078 200 433 0 106812 0
[pid=20998/tid=21000] ppid=20996 vsize=428992 CPUtime=50.94 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 46648 0 0 0 5066 28 0 0 20 0 3 0 285794297 439287808 85078 33554432000 4194304 5964478 140737357360576 140027162814448 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20998/tid=21001] ppid=20996 vsize=428992 CPUtime=50.93 cores=0,2,4,6
/proc/20998/task/21001/stat : 21001 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 39298 0 0 0 5081 12 0 0 20 0 3 0 285794297 439287808 85078 33554432000 4194304 5964478 140737357360576 140027152324832 4388674 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 428992
[startup+102.307 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 21002
/proc/meminfo: memFree=30425028/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=561308 CPUtime=204.54 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 107996 0 0 0 20394 60 0 0 20 0 3 0 285794295 574779392 106107 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 140327 106107 200 433 0 139891 0
[pid=20998/tid=21000] ppid=20996 vsize=561308 CPUtime=102.01 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 52221 0 0 0 10160 41 0 0 20 0 3 0 285794297 574779392 106107 33554432000 4194304 5964478 140737357360576 140027162814456 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20998/tid=21001] ppid=20996 vsize=561308 CPUtime=102 cores=0,2,4,6
/proc/20998/task/21001/stat : 21001 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 54754 0 0 0 10180 20 0 0 20 0 3 0 285794297 574779392 106107 33554432000 4194304 5964478 140737357360576 140027152325024 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 561308
[startup+162.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 21045
/proc/meminfo: memFree=30292080/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=760096 CPUtime=324.47 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 167905 0 0 0 32354 93 0 0 20 0 3 0 285794295 778338304 166447 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 190024 166447 200 433 0 189588 0
[pid=20998/tid=21000] ppid=20996 vsize=760096 CPUtime=161.83 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 91396 0 0 0 16119 64 0 0 20 0 3 0 285794297 778338304 166447 33554432000 4194304 5964478 140737357360576 140027162814456 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20998/tid=21001] ppid=20996 vsize=760096 CPUtime=161.83 cores=0,2,4,6
/proc/20998/task/21001/stat : 21001 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 75488 0 0 0 16150 33 0 0 20 0 3 0 285794297 778338304 166447 33554432000 4194304 5964478 140737357360576 140027152324920 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.47
Current children cumulated vsize (KiB) 760096
[startup+222.3 s]
/proc/loadavg: 4.04 3.99 3.92 5/181 21045
/proc/meminfo: memFree=30009768/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=826140 CPUtime=444.4 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 185003 0 0 0 44340 100 0 0 20 0 3 0 285794295 845967360 183593 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 206535 183593 200 433 0 206099 0
[pid=20998/tid=21000] ppid=20996 vsize=826140 CPUtime=221.63 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 97711 0 0 0 22096 67 0 0 20 0 3 0 285794297 845967360 183593 33554432000 4194304 5964478 140737357360576 140027162814456 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20998/tid=21001] ppid=20996 vsize=826140 CPUtime=221.66 cores=0,2,4,6
/proc/20998/task/21001/stat : 21001 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 86271 0 0 0 22128 38 0 0 20 0 3 0 285794297 845967360 183593 33554432000 4194304 5964478 140737357360576 140027152324920 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.4
Current children cumulated vsize (KiB) 826140
[startup+282.3 s]
/proc/loadavg: 4.01 3.99 3.92 5/181 21045
/proc/meminfo: memFree=29739972/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=1023332 CPUtime=564.33 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 242163 0 0 0 56304 129 0 0 20 0 3 0 285794295 1047891968 240723 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 255833 240723 200 433 0 255397 0
[pid=20998/tid=21000] ppid=20996 vsize=1023332 CPUtime=281.45 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 144512 0 0 0 28053 92 0 0 20 0 3 0 285794297 1047891968 240723 33554432000 4194304 5964478 140737357360576 140027162814456 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20998/tid=21001] ppid=20996 vsize=1023332 CPUtime=281.48 cores=0,2,4,6
/proc/20998/task/21001/stat : 21001 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 96630 0 0 0 28104 44 0 0 20 0 3 0 285794297 1047891968 240723 33554432000 4194304 5964478 140737357360576 140027152324920 4400000 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.33
Current children cumulated vsize (KiB) 1023332
############
# WARNING:
# current cumulated CPU time (608.38 s) is less than in the last sample (609.71 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1.33002 s) to the 'lost time'.
[startup+305 s]
/proc/loadavg: 4.01 3.99 3.92 5/181 21045
/proc/meminfo: memFree=29679180/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=1089724 CPUtime=609.71 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 256276 0 0 0 60833 138 0 0 20 0 3 0 285794295 1115877376 254822 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 272431 254822 200 433 0 271995 0
[pid=20998/tid=21000] ppid=20996 vsize=1089724 CPUtime=304.07 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 158547 0 0 0 30306 101 0 0 20 0 3 0 285794297 1115877376 254822 33554432000 4194304 5964478 140737357360576 140027162814456 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20998/tid=21001] ppid=20996 vsize=1089724 CPUtime=304.12 cores=0,2,4,6
/proc/20998/task/21001/stat : 21001 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 96708 0 0 0 30368 44 0 0 20 0 3 0 285794297 1115877376 254822 33554432000 4194304 5964478 140737357360576 140027152324680 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 609.71
Current children cumulated vsize (KiB) 1089724
[startup+305.1 s]
/proc/loadavg: 4.01 3.99 3.92 5/181 21045
/proc/meminfo: memFree=29679180/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=0 CPUtime=608.38 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) R 20996 20998 20249 0 -1 4203524 256281 0 0 0 60687 151 0 0 20 0 1 0 285794295 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 608.38
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+294.3 s]
/proc/loadavg: 4.01 3.99 3.92 5/181 21045
/proc/meminfo: memFree=29705236/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=1089724 CPUtime=588.32 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 250664 0 0 0 58698 134 0 0 20 0 3 0 285794295 1115877376 249218 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 272431 249218 200 433 0 271995 0
[pid=20998/tid=21000] ppid=20996 vsize=1089724 CPUtime=293.41 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 152959 0 0 0 29244 97 0 0 20 0 3 0 285794297 1115877376 249218 33554432000 4194304 5964478 140737357360576 140027162814456 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20998/tid=21001] ppid=20996 vsize=1089724 CPUtime=293.45 cores=0,2,4,6
/proc/20998/task/21001/stat : 21001 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 96684 0 0 0 29301 44 0 0 20 0 3 0 285794297 1115877376 249218 33554432000 4194304 5964478 140737357360576 140027152324680 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 588.32
Current children cumulated vsize (KiB) 1089724
[startup+300.7 s]
/proc/loadavg: 4.01 3.99 3.92 5/181 21045
/proc/meminfo: memFree=29688232/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=1089724 CPUtime=601.11 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 254979 0 0 0 59974 137 0 0 20 0 3 0 285794295 1115877376 253525 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 272431 253525 200 433 0 271995 0
[pid=20998/tid=21000] ppid=20996 vsize=1089724 CPUtime=299.78 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 157257 0 0 0 29878 100 0 0 20 0 3 0 285794297 1115877376 253525 33554432000 4194304 5964478 140737357360576 140027162814456 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20998/tid=21001] ppid=20996 vsize=1089724 CPUtime=299.83 cores=0,2,4,6
/proc/20998/task/21001/stat : 21001 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 96701 0 0 0 29939 44 0 0 20 0 3 0 285794297 1115877376 253525 33554432000 4194304 5964478 140737357360576 140027152324680 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 601.11
Current children cumulated vsize (KiB) 1089724
[startup+302.3 s]
/proc/loadavg: 4.01 3.99 3.92 5/181 21045
/proc/meminfo: memFree=29684140/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=1089724 CPUtime=604.31 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 256117 0 0 0 60293 138 0 0 20 0 3 0 285794295 1115877376 254663 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 272431 254663 200 433 0 271995 0
[pid=20998/tid=21000] ppid=20996 vsize=1089724 CPUtime=301.38 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 158389 0 0 0 30037 101 0 0 20 0 3 0 285794297 1115877376 254663 33554432000 4194304 5964478 140737357360576 140027162814456 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20998/tid=21001] ppid=20996 vsize=1089724 CPUtime=301.42 cores=0,2,4,6
/proc/20998/task/21001/stat : 21001 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 96707 0 0 0 30098 44 0 0 20 0 3 0 285794297 1115877376 254663 33554432000 4194304 5964478 140737357360576 140027152324680 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 604.31
Current children cumulated vsize (KiB) 1089724
[startup+303.9 s]
/proc/loadavg: 4.01 3.99 3.92 5/181 21045
/proc/meminfo: memFree=29681040/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=1089724 CPUtime=607.51 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 256275 0 0 0 60613 138 0 0 20 0 3 0 285794295 1115877376 254821 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 272431 254821 200 433 0 271995 0
[pid=20998/tid=21000] ppid=20996 vsize=1089724 CPUtime=302.97 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 158546 0 0 0 30196 101 0 0 20 0 3 0 285794297 1115877376 254821 33554432000 4194304 5964478 140737357360576 140027162814456 4378976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20998/tid=21001] ppid=20996 vsize=1089724 CPUtime=303.02 cores=0,2,4,6
/proc/20998/task/21001/stat : 21001 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 96708 0 0 0 30258 44 0 0 20 0 3 0 285794297 1115877376 254821 33554432000 4194304 5964478 140737357360576 140027152324680 4399936 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 607.51
Current children cumulated vsize (KiB) 1089724
[startup+304.707 s]
/proc/loadavg: 4.01 3.99 3.92 5/181 21045
/proc/meminfo: memFree=29679180/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=1089724 CPUtime=609.12 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) S 20996 20998 20249 0 -1 4202496 256276 0 0 0 60774 138 0 0 20 0 3 0 285794295 1115877376 254822 33554432000 4194304 5964478 140737357360576 140737357360096 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 272431 254822 200 433 0 271995 0
[pid=20998/tid=21000] ppid=20996 vsize=1089724 CPUtime=303.78 cores=0,2,4,6
/proc/20998/task/21000/stat : 21000 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 158547 0 0 0 30277 101 0 0 20 0 3 0 285794297 1115877376 254822 33554432000 4194304 5964478 140737357360576 140027162814456 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20998/tid=21001] ppid=20996 vsize=1089724 CPUtime=303.82 cores=0,2,4,6
/proc/20998/task/21001/stat : 21001 (pwbo2.01) R 20996 20998 20249 0 -1 4202560 96708 0 0 0 30338 44 0 0 20 0 3 0 285794297 1115877376 254822 33554432000 4194304 5964478 140737357360576 140027152324680 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 609.12
Current children cumulated vsize (KiB) 1089724
[startup+305.1 s]
/proc/loadavg: 4.01 3.99 3.92 5/181 21045
/proc/meminfo: memFree=29679180/32873844 swapFree=6080/6080
[pid=20998] ppid=20996 vsize=0 CPUtime=608.38 cores=0,2,4,6
/proc/20998/stat : 20998 (pwbo2.01) R 20996 20998 20249 0 -1 4203524 256281 0 0 0 60687 151 0 0 20 0 1 0 285794295 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20998/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 608.38
Current children cumulated vsize (KiB) 0
Child status: 255
# 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.33002
# lost CPU user time (s): 1.46002
# lost CPU system time (s): -0.13
Real time (s): 305.125
CPU time (s): 609.744
CPU user time (s): 608.337
CPU system time (s): 1.40677
CPU usage (%): 199.834
Max. virtual memory (cumulated for all children) (KiB): 1089724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 606.877
system time used= 1.53677
maximum resident set size= 1019308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256281
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= 914
involuntary context switches= 683
runsolver used 0.844871 second user time and 3.48447 second system time
The end