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-3703653-1338090559/watcher-3703653-1338090559 -o /tmp/evaluation-result-3703653-1338090559/solver-3703653-1338090559 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703653-1338090559.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: 4.01 4.00 3.92 4/178 7699
/proc/meminfo: memFree=28360468/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=4324 CPUtime=0 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) R 7697 7699 7065 0 -1 4202496 432 0 0 0 0 0 0 0 20 0 1 0 275181891 4427776 376 33554432000 4194304 5965102 140736266623552 140736957453528 5064064 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 1205 384 169 433 0 769 0
[startup+0.0546371 s]
/proc/loadavg: 4.01 4.00 3.92 4/178 7699
/proc/meminfo: memFree=28360468/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=175348 CPUtime=0.08 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 6343 0 0 0 7 1 0 0 20 0 3 0 275181891 179556352 6227 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 43837 6233 205 433 0 43401 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 175348
[startup+0.100226 s]
/proc/loadavg: 4.01 4.00 3.92 4/178 7699
/proc/meminfo: memFree=28360468/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=184672 CPUtime=0.17 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 10388 0 0 0 15 2 0 0 20 0 3 0 275181891 189104128 10229 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46168 10229 205 433 0 45732 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 184672
[startup+0.300177 s]
/proc/loadavg: 4.01 4.00 3.92 4/178 7699
/proc/meminfo: memFree=28360468/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=185484 CPUtime=0.57 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 11694 0 0 0 55 2 0 0 20 0 3 0 275181891 189935616 11077 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46371 11077 206 433 0 45935 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 185484
[startup+0.70018 s]
/proc/loadavg: 4.01 4.00 3.92 4/178 7699
/proc/meminfo: memFree=28360468/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=185484 CPUtime=1.37 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 12888 0 0 0 135 2 0 0 20 0 3 0 275181891 189935616 11942 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46371 11942 208 433 0 45935 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 185484
[startup+1.50031 s]
/proc/loadavg: 4.01 4.00 3.92 5/181 7702
/proc/meminfo: memFree=28311720/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=185484 CPUtime=2.98 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 13619 0 0 0 295 3 0 0 20 0 3 0 275181891 189935616 12673 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46371 12673 208 433 0 45935 0
[pid=7699/tid=7701] ppid=7697 vsize=185484 CPUtime=1.47 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 3500 0 0 0 147 0 0 0 20 0 3 0 275181891 189935616 12673 33554432000 4194304 5965102 140736266623552 140457215100728 18446744073699066186 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=185484 CPUtime=1.48 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 9208 0 0 0 145 3 0 0 20 0 3 0 275181891 189935616 12673 33554432000 4194304 5965102 140736266623552 140457204611320 4374463 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 185484
[startup+3.1003 s]
/proc/loadavg: 4.01 4.00 3.92 5/181 7702
/proc/meminfo: memFree=28305768/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=185484 CPUtime=6.18 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 14145 0 0 0 615 3 0 0 20 0 3 0 275181891 189935616 13199 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46371 13199 208 433 0 45935 0
[pid=7699/tid=7701] ppid=7697 vsize=185484 CPUtime=3.07 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 3907 0 0 0 307 0 0 0 20 0 3 0 275181891 189935616 13199 33554432000 4194304 5965102 140736266623552 140457215101464 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=185484 CPUtime=3.08 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 9327 0 0 0 305 3 0 0 20 0 3 0 275181891 189935616 13199 33554432000 4194304 5965102 140736266623552 140457204611320 4401058 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 185484
[startup+6.3003 s]
/proc/loadavg: 4.01 4.00 3.92 5/181 7702
/proc/meminfo: memFree=28297708/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=185700 CPUtime=12.58 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 16010 0 0 0 1254 4 0 0 20 0 3 0 275181891 190156800 15064 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46425 15064 208 433 0 45989 0
[pid=7699/tid=7701] ppid=7697 vsize=185700 CPUtime=6.27 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 5512 0 0 0 626 1 0 0 20 0 3 0 275181891 190156800 15064 33554432000 4194304 5965102 140736266623552 140457215100920 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=185700 CPUtime=6.28 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 9587 0 0 0 625 3 0 0 20 0 3 0 275181891 190156800 15064 33554432000 4194304 5965102 140736266623552 140457204610904 4401050 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 185700
[startup+12.7003 s]
/proc/loadavg: 4.00 4.00 3.92 5/180 7702
/proc/meminfo: memFree=28272304/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=186024 CPUtime=25.37 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 19508 0 0 0 2531 6 0 0 20 0 3 0 275181891 190488576 18562 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46506 18562 208 433 0 46070 0
[pid=7699/tid=7701] ppid=7697 vsize=186024 CPUtime=12.67 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 8450 0 0 0 1264 3 0 0 20 0 3 0 275181891 190488576 18562 33554432000 4194304 5965102 140736266623552 140457215100920 5179915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=186024 CPUtime=12.68 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 10147 0 0 0 1264 4 0 0 20 0 3 0 275181891 190488576 18562 33554432000 4194304 5965102 140736266623552 140457204611320 4401056 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 186024
[startup+25.5003 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7703
/proc/meminfo: memFree=28242124/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=185940 CPUtime=50.97 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 22364 0 0 0 5088 9 0 0 20 0 3 0 275181891 190402560 21247 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46485 21247 208 433 0 46049 0
[pid=7699/tid=7701] ppid=7697 vsize=185940 CPUtime=25.48 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 10220 0 0 0 2543 5 0 0 20 0 3 0 275181891 190402560 21247 33554432000 4194304 5965102 140736266623552 140457215101464 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=185940 CPUtime=25.48 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 11233 0 0 0 2543 5 0 0 20 0 3 0 275181891 190402560 21247 33554432000 4194304 5965102 140736266623552 140457204611432 4400927 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 185940
[startup+51.1003 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 7706
/proc/meminfo: memFree=28213336/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=187224 CPUtime=102.16 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 27994 0 0 0 10202 14 0 0 20 0 3 0 275181891 191717376 26877 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 46806 26877 208 433 0 46370 0
[pid=7699/tid=7701] ppid=7697 vsize=187224 CPUtime=51.07 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 13808 0 0 0 5100 7 0 0 20 0 3 0 275181891 191717376 26877 33554432000 4194304 5965102 140736266623552 140457215100728 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=187224 CPUtime=51.08 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 13275 0 0 0 5100 8 0 0 20 0 3 0 275181891 191717376 26877 33554432000 4194304 5965102 140736266623552 140457204611384 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 187224
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7706
/proc/meminfo: memFree=28151952/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=254040 CPUtime=204.56 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 42788 0 0 0 20428 28 0 0 20 0 3 0 275181891 260136960 41670 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 63510 41670 208 433 0 63074 0
[pid=7699/tid=7701] ppid=7697 vsize=254040 CPUtime=102.28 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 24292 0 0 0 10211 17 0 0 20 0 3 0 275181891 260136960 41670 33554432000 4194304 5965102 140736266623552 140457215100728 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=254040 CPUtime=102.28 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 17585 0 0 0 10214 14 0 0 20 0 3 0 275181891 260136960 41670 33554432000 4194304 5965102 140736266623552 140457204611384 4401050 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 254040
[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7706
/proc/meminfo: memFree=28106596/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=254308 CPUtime=324.52 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 51498 0 0 0 32416 36 0 0 20 0 3 0 275181891 260411392 50373 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 63577 50373 208 433 0 63141 0
[pid=7699/tid=7701] ppid=7697 vsize=254308 CPUtime=162.27 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 30784 0 0 0 16203 24 0 0 20 0 3 0 275181891 260411392 50373 33554432000 4194304 5965102 140736266623552 140457215100920 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=254308 CPUtime=162.28 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 19803 0 0 0 16210 18 0 0 20 0 3 0 275181891 260411392 50373 33554432000 4194304 5965102 140736266623552 140457204611256 4400894 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 254308
[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7706
/proc/meminfo: memFree=28047900/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=389988 CPUtime=444.51 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 62285 0 0 0 44406 45 0 0 20 0 3 0 275181891 399347712 60961 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 97497 60961 208 433 0 97061 0
[pid=7699/tid=7701] ppid=7697 vsize=389988 CPUtime=222.27 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 39546 0 0 0 22196 31 0 0 20 0 3 0 275181891 399347712 60961 33554432000 4194304 5965102 140736266623552 140457215100520 4401118 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=389988 CPUtime=222.28 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 21828 0 0 0 22207 21 0 0 20 0 3 0 275181891 399347712 60961 33554432000 4194304 5965102 140736266623552 140457204611384 4410251 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.51
Current children cumulated vsize (KiB) 389988
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7706
/proc/meminfo: memFree=27952776/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=391460 CPUtime=564.49 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 73934 0 0 0 56393 56 0 0 20 0 3 0 275181891 400855040 72562 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 97865 72562 208 433 0 97429 0
[pid=7699/tid=7701] ppid=7697 vsize=391460 CPUtime=282.27 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 43334 0 0 0 28191 36 0 0 20 0 3 0 275181891 400855040 72562 33554432000 4194304 5965102 140736266623552 140457215100920 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=391460 CPUtime=282.28 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 29689 0 0 0 28199 29 0 0 20 0 3 0 275181891 400855040 72562 33554432000 4194304 5965102 140736266623552 140457204611384 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.49
Current children cumulated vsize (KiB) 391460
[startup+342.3 s]
/proc/loadavg: 3.88 3.97 3.91 5/181 7748
/proc/meminfo: memFree=28369892/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=393256 CPUtime=684.45 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 85626 0 0 0 68376 69 0 0 20 0 3 0 275181891 402694144 84932 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 98314 84932 208 433 0 97878 0
[pid=7699/tid=7701] ppid=7697 vsize=393256 CPUtime=342.24 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 49165 0 0 0 34181 43 0 0 20 0 3 0 275181891 402694144 84932 33554432000 4194304 5965102 140736266623552 140457215100920 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=393256 CPUtime=342.27 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 35551 0 0 0 34191 36 0 0 20 0 3 0 275181891 402694144 84932 33554432000 4194304 5965102 140736266623552 140457204611384 5137076 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.45
Current children cumulated vsize (KiB) 393256
[startup+402.3 s]
/proc/loadavg: 3.95 3.97 3.91 5/181 7748
/proc/meminfo: memFree=27981876/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=527004 CPUtime=804.39 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 104070 0 0 0 80354 85 0 0 20 0 3 0 275181891 539652096 103500 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 131751 103500 208 433 0 131315 0
[pid=7699/tid=7701] ppid=7697 vsize=527004 CPUtime=402.22 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 55166 0 0 0 40172 50 0 0 20 0 3 0 275181891 539652096 103500 33554432000 4194304 5965102 140736266623552 140457215100968 4401058 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=527004 CPUtime=402.26 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 47993 0 0 0 40178 48 0 0 20 0 3 0 275181891 539652096 103500 33554432000 4194304 5965102 140736266623552 140457204611384 4404383 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.39
Current children cumulated vsize (KiB) 527004
[startup+462.3 s]
/proc/loadavg: 3.98 3.97 3.91 5/181 7748
/proc/meminfo: memFree=27896840/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=593104 CPUtime=924.34 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 121228 0 0 0 92333 101 0 0 20 0 3 0 275181891 607338496 120908 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 148276 120908 208 433 0 147840 0
[pid=7699/tid=7701] ppid=7697 vsize=593104 CPUtime=462.2 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 62529 0 0 0 46162 58 0 0 20 0 3 0 275181891 607338496 120908 33554432000 4194304 5965102 140736266623552 140457215100728 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=593104 CPUtime=462.25 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 57788 0 0 0 46166 59 0 0 20 0 3 0 275181891 607338496 120908 33554432000 4194304 5965102 140736266623552 140457204611384 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.34
Current children cumulated vsize (KiB) 593104
[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 7748
/proc/meminfo: memFree=27755484/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=661732 CPUtime=1044.3 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 138443 0 0 0 104313 117 0 0 20 0 3 0 275181891 677613568 139303 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 165433 139303 208 433 0 164997 0
[pid=7699/tid=7701] ppid=7697 vsize=661732 CPUtime=522.2 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 70712 0 0 0 52154 66 0 0 20 0 3 0 275181891 677613568 139303 33554432000 4194304 5965102 140736266623552 140457215100728 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=661732 CPUtime=522.24 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 66820 0 0 0 52158 66 0 0 20 0 3 0 275181891 677613568 139303 33554432000 4194304 5965102 140736266623552 140457204611384 4401131 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.3
Current children cumulated vsize (KiB) 661732
[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 7748
/proc/meminfo: memFree=27641896/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=727872 CPUtime=1164.28 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 153943 0 0 0 116297 131 0 0 20 0 3 0 275181891 745340928 154802 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 181968 154802 208 433 0 181532 0
[pid=7699/tid=7701] ppid=7697 vsize=727872 CPUtime=582.2 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 73413 0 0 0 58151 69 0 0 20 0 3 0 275181891 745340928 154802 33554432000 4194304 5965102 140736266623552 140457215100920 4401026 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=727872 CPUtime=582.24 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 79619 0 0 0 58144 80 0 0 20 0 3 0 275181891 745340928 154802 33554432000 4194304 5965102 140736266623552 140457204611384 4401472 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.28
Current children cumulated vsize (KiB) 727872
[startup+642.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 7752
/proc/meminfo: memFree=27518188/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=729512 CPUtime=1284.27 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 164598 0 0 0 128284 143 0 0 20 0 3 0 275181891 747020288 165457 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 182378 165457 208 433 0 181942 0
[pid=7699/tid=7701] ppid=7697 vsize=729512 CPUtime=642.21 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 77329 0 0 0 64146 75 0 0 20 0 3 0 275181891 747020288 165457 33554432000 4194304 5965102 140736266623552 140457215100920 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=729512 CPUtime=642.24 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 86358 0 0 0 64136 88 0 0 20 0 3 0 275181891 747020288 165457 33554432000 4194304 5965102 140736266623552 140457204611384 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.27
Current children cumulated vsize (KiB) 729512
[startup+702.3 s]
/proc/loadavg: 4.07 3.99 3.91 5/182 7752
/proc/meminfo: memFree=27416364/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=800464 CPUtime=1404.24 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 179144 0 0 0 140267 157 0 0 20 0 3 0 275181891 819675136 180003 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 200116 180003 208 433 0 199680 0
[pid=7699/tid=7701] ppid=7697 vsize=800464 CPUtime=702.21 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 84386 0 0 0 70138 83 0 0 20 0 3 0 275181891 819675136 180003 33554432000 4194304 5965102 140736266623552 140457215100728 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=800464 CPUtime=702.24 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 93847 0 0 0 70128 96 0 0 20 0 3 0 275181891 819675136 180003 33554432000 4194304 5965102 140736266623552 140457204611384 4404383 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404.24
Current children cumulated vsize (KiB) 800464
[startup+762.307 s]
/proc/loadavg: 4.02 3.99 3.91 5/182 7775
/proc/meminfo: memFree=27325780/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=869580 CPUtime=1524.25 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 194663 0 0 0 152251 174 0 0 20 0 3 0 275181891 890449920 195522 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 217395 195522 208 433 0 216959 0
[pid=7699/tid=7701] ppid=7697 vsize=869580 CPUtime=762.21 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 93587 0 0 0 76128 93 0 0 20 0 3 0 275181891 890449920 195522 33554432000 4194304 5965102 140736266623552 140457215100920 4380443 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=869580 CPUtime=762.24 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 100165 0 0 0 76120 104 0 0 20 0 3 0 275181891 890449920 195522 33554432000 4194304 5965102 140736266623552 140457204611384 4400978 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1524.25
Current children cumulated vsize (KiB) 869580
[startup+822.3 s]
/proc/loadavg: 4.01 3.99 3.91 5/181 7775
/proc/meminfo: memFree=27260096/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=937496 CPUtime=1644.21 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 201819 0 0 0 164240 181 0 0 20 0 3 0 275181891 959995904 202678 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 234374 202678 208 433 0 233938 0
[pid=7699/tid=7701] ppid=7697 vsize=937496 CPUtime=822.21 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 94182 0 0 0 82127 94 0 0 20 0 3 0 275181891 959995904 202678 33554432000 4194304 5965102 140736266623552 140457215100728 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=937496 CPUtime=822.24 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 106726 0 0 0 82112 112 0 0 20 0 3 0 275181891 959995904 202678 33554432000 4194304 5965102 140736266623552 140457204611384 4388991 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1644.21
Current children cumulated vsize (KiB) 937496
[startup+882.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 7775
/proc/meminfo: memFree=27096692/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=938412 CPUtime=1764.19 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 212787 0 0 0 176226 193 0 0 20 0 3 0 275181891 960933888 213646 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 234603 213646 208 433 0 234167 0
[pid=7699/tid=7701] ppid=7697 vsize=938412 CPUtime=882.21 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 97567 0 0 0 88122 99 0 0 20 0 3 0 275181891 960933888 213646 33554432000 4194304 5965102 140736266623552 140457215100728 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=938412 CPUtime=882.24 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 114309 0 0 0 88103 121 0 0 20 0 3 0 275181891 960933888 213646 33554432000 4194304 5965102 140736266623552 140457204611384 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1764.19
Current children cumulated vsize (KiB) 938412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 7775
/proc/meminfo: memFree=27089344/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=938412 CPUtime=1800.2 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 212879 0 0 0 179827 193 0 0 20 0 3 0 275181891 960933888 213738 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 234603 213738 208 433 0 234167 0
[pid=7699/tid=7701] ppid=7697 vsize=938412 CPUtime=900.22 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 97659 0 0 0 89923 99 0 0 20 0 3 0 275181891 960933888 213738 33554432000 4194304 5965102 140736266623552 140457215100728 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=938412 CPUtime=900.25 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 114309 0 0 0 89904 121 0 0 20 0 3 0 275181891 960933888 213738 33554432000 4194304 5965102 140736266623552 140457204611384 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 938412
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 7775
/proc/meminfo: memFree=27089344/32873648 swapFree=7372/7372
[pid=7699] ppid=7697 vsize=938412 CPUtime=1800.2 cores=0,2,4,6
/proc/7699/stat : 7699 (pwbo2.0) S 7697 7699 7065 0 -1 4202496 212879 0 0 0 179827 193 0 0 20 0 3 0 275181891 960933888 213738 33554432000 4194304 5965102 140736266623552 140736266623072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7699/statm: 234603 213738 208 433 0 234167 0
[pid=7699/tid=7701] ppid=7697 vsize=938412 CPUtime=900.22 cores=0,2,4,6
/proc/7699/task/7701/stat : 7701 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 97659 0 0 0 89923 99 0 0 20 0 3 0 275181891 960933888 213738 33554432000 4194304 5965102 140736266623552 140457215100728 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7699/tid=7702] ppid=7697 vsize=938412 CPUtime=900.25 cores=0,2,4,6
/proc/7699/task/7702/stat : 7702 (pwbo2.0) R 7697 7699 7065 0 -1 4202560 114309 0 0 0 89904 121 0 0 20 0 3 0 275181891 960933888 213738 33554432000 4194304 5965102 140736266623552 140457204611384 4400955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 938412
Child status: 0
Real time (s): 900.346
CPU time (s): 1800.55
CPU user time (s): 1798.29
CPU system time (s): 2.26166
CPU usage (%): 199.984
Max. virtual memory (cumulated for all children) (KiB): 938412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.29
system time used= 2.26166
maximum resident set size= 854960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212881
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= 462
involuntary context switches= 3871
runsolver used 1.72174 second user time and 5.2742 second system time
The end