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-3703712-1338093218/watcher-3703712-1338093218 -o /tmp/evaluation-result-3703712-1338093218/solver-3703712-1338093218 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703712-1338093218.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 3.99 3.92 3/180 17636
/proc/meminfo: memFree=29300788/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=162484 CPUtime=0 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 912 0 0 0 0 0 0 0 20 0 3 0 275446627 166383616 861 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 40621 861 200 433 0 40185 0
[pid=17636/tid=17637] ppid=17634 vsize=162484 CPUtime=0 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 3 0 275446627 166383616 861 33554432000 4194304 5965102 140736949706880 140416775506456 4389730 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=162484 CPUtime=0 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 3 0 275446627 166383616 861 33554432000 4194304 5965102 140736949706880 140416765015400 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.0869381 s]
/proc/loadavg: 4.00 3.99 3.92 3/180 17636
/proc/meminfo: memFree=29300788/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=162484 CPUtime=0.16 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 1276 0 0 0 16 0 0 0 20 0 3 0 275446627 166383616 1225 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 40621 1225 202 433 0 40185 0
[pid=17636/tid=17637] ppid=17634 vsize=162484 CPUtime=0.07 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 265 0 0 0 7 0 0 0 20 0 3 0 275446627 166383616 1225 33554432000 4194304 5965102 140736949706880 140416775505912 5134455 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=162484 CPUtime=0.07 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 269 0 0 0 7 0 0 0 20 0 3 0 275446627 166383616 1226 33554432000 4194304 5965102 140736949706880 140416765016376 4401009 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 162484
[startup+0.100321 s]
/proc/loadavg: 4.00 3.99 3.92 3/180 17636
/proc/meminfo: memFree=29300788/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=162484 CPUtime=0.19 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 1336 0 0 0 19 0 0 0 20 0 3 0 275446627 166383616 1285 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 40621 1285 202 433 0 40185 0
[pid=17636/tid=17637] ppid=17634 vsize=162484 CPUtime=0.08 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 299 0 0 0 8 0 0 0 20 0 3 0 275446627 166383616 1285 33554432000 4194304 5965102 140736949706880 140416775505912 4401827 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=162484 CPUtime=0.08 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 295 0 0 0 8 0 0 0 20 0 3 0 275446627 166383616 1285 33554432000 4194304 5965102 140736949706880 140416765016376 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162484
[startup+0.300277 s]
/proc/loadavg: 4.00 3.99 3.92 3/180 17636
/proc/meminfo: memFree=29300788/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=162484 CPUtime=0.59 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 1966 0 0 0 59 0 0 0 20 0 3 0 275446627 166383616 1915 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 40621 1915 202 433 0 40185 0
[pid=17636/tid=17637] ppid=17634 vsize=162484 CPUtime=0.28 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 659 0 0 0 28 0 0 0 20 0 3 0 275446627 166383616 1915 33554432000 4194304 5965102 140736949706880 140416775505960 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=162484 CPUtime=0.28 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 565 0 0 0 28 0 0 0 20 0 3 0 275446627 166383616 1915 33554432000 4194304 5965102 140736949706880 140416765016184 5137146 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 162484
[startup+0.700282 s]
/proc/loadavg: 4.00 3.99 3.92 3/180 17636
/proc/meminfo: memFree=29300788/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=162616 CPUtime=1.39 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 2618 0 0 0 138 1 0 0 20 0 3 0 275446627 166518784 2567 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 40654 2567 202 433 0 40218 0
[pid=17636/tid=17637] ppid=17634 vsize=162616 CPUtime=0.68 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 1024 0 0 0 68 0 0 0 20 0 3 0 275446627 166518784 2567 33554432000 4194304 5965102 140736949706880 140416775506264 4374065 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=162616 CPUtime=0.68 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 852 0 0 0 68 0 0 0 20 0 3 0 275446627 166518784 2567 33554432000 4194304 5965102 140736949706880 140416765016376 4389645 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 162616
[startup+1.50028 s]
/proc/loadavg: 4.00 3.99 3.92 5/183 17639
/proc/meminfo: memFree=29289216/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=163044 CPUtime=2.99 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 3788 0 0 0 298 1 0 0 20 0 3 0 275446627 166957056 3737 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 40761 3737 202 433 0 40325 0
[pid=17636/tid=17637] ppid=17634 vsize=163044 CPUtime=1.48 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 1759 0 0 0 148 0 0 0 20 0 3 0 275446627 166957056 3737 33554432000 4194304 5965102 140736949706880 140416775505720 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=163044 CPUtime=1.48 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 1287 0 0 0 148 0 0 0 20 0 3 0 275446627 166957056 3737 33554432000 4194304 5965102 140736949706880 140416765016376 4401780 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 163044
[startup+3.10029 s]
/proc/loadavg: 4.00 3.99 3.92 5/183 17639
/proc/meminfo: memFree=29282892/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=163116 CPUtime=6.19 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 5179 0 0 0 616 3 0 0 20 0 3 0 275446627 167030784 5128 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 40779 5128 202 433 0 40343 0
[pid=17636/tid=17637] ppid=17634 vsize=163116 CPUtime=3.08 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 2984 0 0 0 305 3 0 0 20 0 3 0 275446627 167030784 5128 33554432000 4194304 5965102 140736949706880 140416775505720 4380285 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=163116 CPUtime=3.08 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 1453 0 0 0 308 0 0 0 20 0 3 0 275446627 167030784 5128 33554432000 4194304 5965102 140736949706880 140416765016184 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 163116
[startup+6.30034 s]
/proc/loadavg: 4.00 3.99 3.92 5/183 17639
/proc/meminfo: memFree=29272368/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=163460 CPUtime=12.59 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 7012 0 0 0 1253 6 0 0 20 0 3 0 275446627 167383040 6961 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 40865 6961 202 433 0 40429 0
[pid=17636/tid=17637] ppid=17634 vsize=163460 CPUtime=6.28 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 4475 0 0 0 623 5 0 0 20 0 3 0 275446627 167383040 6961 33554432000 4194304 5965102 140736949706880 140416775505720 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=163460 CPUtime=6.28 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 1795 0 0 0 627 1 0 0 20 0 3 0 275446627 167383040 6961 33554432000 4194304 5965102 140736949706880 140416765016184 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 163460
[startup+12.7004 s]
/proc/loadavg: 4.00 3.99 3.92 5/183 17639
/proc/meminfo: memFree=29256684/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=164292 CPUtime=25.38 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 10663 0 0 0 2530 8 0 0 20 0 3 0 275446627 168235008 10612 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 41073 10612 202 433 0 40637 0
[pid=17636/tid=17637] ppid=17634 vsize=164292 CPUtime=12.68 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 7534 0 0 0 1261 7 0 0 20 0 3 0 275446627 168235008 10612 33554432000 4194304 5965102 140736949706880 140416775505912 4401015 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=164292 CPUtime=12.69 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 2390 0 0 0 1267 2 0 0 20 0 3 0 275446627 168235008 10615 33554432000 4194304 5965102 140736949706880 140416765016376 5179915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 164292
[startup+25.5004 s]
/proc/loadavg: 4.00 3.99 3.92 5/183 17639
/proc/meminfo: memFree=29226568/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=166868 CPUtime=50.98 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 15894 0 0 0 5084 14 0 0 20 0 3 0 275446627 170872832 15843 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 41717 15843 202 433 0 41281 0
[pid=17636/tid=17637] ppid=17634 vsize=166868 CPUtime=25.48 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 11273 0 0 0 2536 12 0 0 20 0 3 0 275446627 170872832 15843 33554432000 4194304 5965102 140736949706880 140416775505720 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=166868 CPUtime=25.48 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 3879 0 0 0 2545 3 0 0 20 0 3 0 275446627 170872832 15843 33554432000 4194304 5965102 140736949706880 140416765016376 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 166868
[startup+51.1003 s]
/proc/loadavg: 4.00 3.99 3.92 5/183 17639
/proc/meminfo: memFree=29162908/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=234704 CPUtime=102.17 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 22686 0 0 0 10193 24 0 0 20 0 3 0 275446627 240336896 22635 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 58676 22635 202 433 0 58240 0
[pid=17636/tid=17637] ppid=17634 vsize=234704 CPUtime=51.08 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 16993 0 0 0 5087 21 0 0 20 0 3 0 275446627 240336896 22635 33554432000 4194304 5965102 140736949706880 140416775505960 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=234704 CPUtime=51.08 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 4951 0 0 0 5104 4 0 0 20 0 3 0 275446627 240336896 22635 33554432000 4194304 5965102 140736949706880 140416765016184 4401056 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 234704
[startup+102.307 s]
/proc/loadavg: 4.00 3.99 3.92 3/180 17641
/proc/meminfo: memFree=29916668/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=232928 CPUtime=204.56 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 32267 0 0 0 20422 34 0 0 20 0 3 0 275446627 238518272 31319 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 58232 31319 202 433 0 57796 0
[pid=17636/tid=17637] ppid=17634 vsize=232928 CPUtime=102.29 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 24240 0 0 0 10199 30 0 0 20 0 3 0 275446627 238518272 31319 33554432000 4194304 5965102 140736949706880 140416775506872 4400963 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=232928 CPUtime=102.29 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 7285 0 0 0 10222 7 0 0 20 0 3 0 275446627 238518272 31319 33554432000 4194304 5965102 140736949706880 140416765016184 4400966 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 232928
[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/183 17681
/proc/meminfo: memFree=29820016/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=233308 CPUtime=324.49 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 35884 0 0 0 32410 39 0 0 20 0 3 0 275446627 238907392 35157 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 58327 35157 202 433 0 57891 0
[pid=17636/tid=17637] ppid=17634 vsize=233308 CPUtime=162.23 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 26858 0 0 0 16188 35 0 0 20 0 3 0 275446627 238907392 35157 33554432000 4194304 5965102 140736949706880 140416775505960 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=233308 CPUtime=162.29 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 8284 0 0 0 16220 9 0 0 20 0 3 0 275446627 238907392 35157 33554432000 4194304 5965102 140736949706880 140416765016184 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.49
Current children cumulated vsize (KiB) 233308
[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/183 17682
/proc/meminfo: memFree=29718272/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=299488 CPUtime=444.43 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 45495 0 0 0 44388 55 0 0 20 0 3 0 275446627 306675712 46189 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 74872 46189 202 433 0 74436 0
[pid=17636/tid=17637] ppid=17634 vsize=299488 CPUtime=222.23 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 34449 0 0 0 22173 50 0 0 20 0 3 0 275446627 306675712 46190 33554432000 4194304 5965102 140736949706880 140416775505720 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=299488 CPUtime=222.27 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 10305 0 0 0 22214 13 0 0 20 0 3 0 275446627 306675712 46190 33554432000 4194304 5965102 140736949706880 140416765016248 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.43
Current children cumulated vsize (KiB) 299488
################
# More data... #
################
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 41320 0 0 0 28158 65 0 0 20 0 3 0 275446627 309682176 53689 33554432000 4194304 5965102 140736949706880 140416775505720 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=302424 CPUtime=282.27 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 10935 0 0 0 28213 14 0 0 20 0 3 0 275446627 309682176 53689 33554432000 4194304 5965102 140736949706880 140416765016248 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.42
Current children cumulated vsize (KiB) 302424
[startup+342.3 s]
/proc/loadavg: 4.02 4.00 3.93 5/183 17682
/proc/meminfo: memFree=29579908/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=302604 CPUtime=684.4 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 58309 0 0 0 68360 80 0 0 20 0 3 0 275446627 309866496 59100 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 75651 59100 202 433 0 75215 0
[pid=17636/tid=17637] ppid=17634 vsize=302604 CPUtime=342.23 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 45861 0 0 0 34149 74 0 0 20 0 3 0 275446627 309866496 59100 33554432000 4194304 5965102 140736949706880 140416775505912 4401078 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=302604 CPUtime=342.28 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 11706 0 0 0 34212 16 0 0 20 0 3 0 275446627 309866496 59100 33554432000 4194304 5965102 140736949706880 140416765016184 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.4
Current children cumulated vsize (KiB) 302604
[startup+402.3 s]
/proc/loadavg: 4.01 4.00 3.93 5/184 17685
/proc/meminfo: memFree=29524108/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=368140 CPUtime=804.35 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 66436 0 0 0 80342 93 0 0 20 0 3 0 275446627 376975360 67800 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 92035 67800 202 433 0 91599 0
[pid=17636/tid=17637] ppid=17634 vsize=368140 CPUtime=402.2 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 53016 0 0 0 40132 88 0 0 20 0 3 0 275446627 376975360 67800 33554432000 4194304 5965102 140736949706880 140416775505720 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=368140 CPUtime=402.28 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 12678 0 0 0 40209 19 0 0 20 0 3 0 275446627 376975360 67800 33554432000 4194304 5965102 140736949706880 140416765016248 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.35
Current children cumulated vsize (KiB) 368140
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17685
/proc/meminfo: memFree=29468604/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=368620 CPUtime=924.32 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 72361 0 0 0 92330 102 0 0 20 0 3 0 275446627 377466880 73769 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 92155 73769 202 433 0 91719 0
[pid=17636/tid=17637] ppid=17634 vsize=368620 CPUtime=462.19 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 58081 0 0 0 46123 96 0 0 20 0 3 0 275446627 377466880 73769 33554432000 4194304 5965102 140736949706880 140416775505720 4401143 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=368620 CPUtime=462.28 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 13538 0 0 0 46207 21 0 0 20 0 3 0 275446627 377466880 73769 33554432000 4194304 5965102 140736949706880 140416765016376 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (KiB) 368620
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17686
/proc/meminfo: memFree=29421328/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=369372 CPUtime=1044.3 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 74630 0 0 0 104325 105 0 0 20 0 3 0 275446627 378236928 76220 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 92343 76220 202 433 0 91907 0
[pid=17636/tid=17637] ppid=17634 vsize=369372 CPUtime=522.19 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 59613 0 0 0 52122 97 0 0 20 0 3 0 275446627 378236928 76220 33554432000 4194304 5965102 140736949706880 140416775505720 4401131 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=369372 CPUtime=522.27 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 14275 0 0 0 52205 22 0 0 20 0 3 0 275446627 378236928 76220 33554432000 4194304 5965102 140736949706880 140416765016136 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.3
Current children cumulated vsize (KiB) 369372
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17686
/proc/meminfo: memFree=29359604/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=434908 CPUtime=1164.28 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 85960 0 0 0 116301 127 0 0 20 0 3 0 275446627 445345792 87545 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 108727 87545 202 433 0 108291 0
[pid=17636/tid=17637] ppid=17634 vsize=434908 CPUtime=582.19 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 69650 0 0 0 58101 118 0 0 20 0 3 0 275446627 445345792 87545 33554432000 4194304 5965102 140736949706880 140416775505960 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=434908 CPUtime=582.28 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 15568 0 0 0 58202 26 0 0 20 0 3 0 275446627 445345792 87545 33554432000 4194304 5965102 140736949706880 140416765016376 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.28
Current children cumulated vsize (KiB) 434908
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17686
/proc/meminfo: memFree=29313084/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=435448 CPUtime=1284.26 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 88625 0 0 0 128296 130 0 0 20 0 3 0 275446627 445898752 90204 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 108862 90204 202 433 0 108426 0
[pid=17636/tid=17637] ppid=17634 vsize=435448 CPUtime=642.2 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 71769 0 0 0 64099 121 0 0 20 0 3 0 275446627 445898752 90204 33554432000 4194304 5965102 140736949706880 140416775505784 4401050 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=435448 CPUtime=642.29 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 16114 0 0 0 64200 29 0 0 20 0 3 0 275446627 445898752 90204 33554432000 4194304 5965102 140736949706880 140416765016248 4401568 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.26
Current children cumulated vsize (KiB) 435448
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17686
/proc/meminfo: memFree=29257516/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=437284 CPUtime=1404.23 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 97899 0 0 0 140275 148 0 0 20 0 3 0 275446627 447778816 99477 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 109321 99477 202 433 0 108885 0
[pid=17636/tid=17637] ppid=17634 vsize=437284 CPUtime=702.19 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 80678 0 0 0 70079 140 0 0 20 0 3 0 275446627 447778816 99477 33554432000 4194304 5965102 140736949706880 140416775505912 4380160 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=437284 CPUtime=702.28 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 16479 0 0 0 70198 30 0 0 20 0 3 0 275446627 447778816 99477 33554432000 4194304 5965102 140736949706880 140416765016136 4400955 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.23
Current children cumulated vsize (KiB) 437284
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17686
/proc/meminfo: memFree=29215540/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=504280 CPUtime=1524.2 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 101016 0 0 0 152269 151 0 0 20 0 3 0 275446627 516382720 102956 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 126070 102956 202 433 0 125634 0
[pid=17636/tid=17637] ppid=17634 vsize=504280 CPUtime=762.17 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 83461 0 0 0 76073 144 0 0 20 0 3 0 275446627 516382720 102956 33554432000 4194304 5965102 140736949706880 140416775505912 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=504280 CPUtime=762.29 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 16813 0 0 0 76198 31 0 0 20 0 3 0 275446627 516382720 102956 33554432000 4194304 5965102 140736949706880 140416765016136 4401118 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.2
Current children cumulated vsize (KiB) 504280
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17687
/proc/meminfo: memFree=29204732/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=504280 CPUtime=1644.13 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 102023 0 0 0 164260 153 0 0 20 0 3 0 275446627 516382720 105093 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 126070 105093 202 433 0 125634 0
[pid=17636/tid=17637] ppid=17634 vsize=504280 CPUtime=822.13 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 84465 0 0 0 82067 146 0 0 20 0 3 0 275446627 516382720 105093 33554432000 4194304 5965102 140736949706880 140416775505720 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=504280 CPUtime=822.29 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 16816 0 0 0 82197 32 0 0 20 0 3 0 275446627 516382720 105093 33554432000 4194304 5965102 140736949706880 140416765016136 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.13
Current children cumulated vsize (KiB) 504280
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17687
/proc/meminfo: memFree=29185388/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=504788 CPUtime=1764.11 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 103511 0 0 0 176256 155 0 0 20 0 3 0 275446627 516902912 106577 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 126197 106577 202 433 0 125761 0
[pid=17636/tid=17637] ppid=17634 vsize=504788 CPUtime=882.13 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 85263 0 0 0 88065 148 0 0 20 0 3 0 275446627 516902912 106577 33554432000 4194304 5965102 140736949706880 140416775505912 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=504788 CPUtime=882.29 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 17506 0 0 0 88194 35 0 0 20 0 3 0 275446627 516902912 106577 33554432000 4194304 5965102 140736949706880 140416765016376 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.11
Current children cumulated vsize (KiB) 504788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/183 17687
/proc/meminfo: memFree=29165176/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=504788 CPUtime=1800.12 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 106476 0 0 0 179852 160 0 0 20 0 3 0 275446627 516902912 109541 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 126197 109541 202 433 0 125761 0
[pid=17636/tid=17637] ppid=17634 vsize=504788 CPUtime=900.14 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 87879 0 0 0 89862 152 0 0 20 0 3 0 275446627 516902912 109541 33554432000 4194304 5965102 140736949706880 140416775505912 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=504788 CPUtime=900.3 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 17855 0 0 0 89994 36 0 0 20 0 3 0 275446627 516902912 109541 33554432000 4194304 5965102 140736949706880 140416765016376 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 504788
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 4.00 3.93 5/183 17687
/proc/meminfo: memFree=29165176/32873844 swapFree=7372/7372
[pid=17636] ppid=17634 vsize=504788 CPUtime=1800.12 cores=1,3,5,7
/proc/17636/stat : 17636 (pwbo2.0) S 17634 17636 15889 0 -1 4202496 106476 0 0 0 179852 160 0 0 20 0 3 0 275446627 516902912 109541 33554432000 4194304 5965102 140736949706880 140736949706400 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17636/statm: 126197 109541 202 433 0 125761 0
[pid=17636/tid=17637] ppid=17634 vsize=504788 CPUtime=900.14 cores=1,3,5,7
/proc/17636/task/17637/stat : 17637 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 87879 0 0 0 89862 152 0 0 20 0 3 0 275446627 516902912 109541 33554432000 4194304 5965102 140736949706880 140416775505912 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17636/tid=17638] ppid=17634 vsize=504788 CPUtime=900.3 cores=1,3,5,7
/proc/17636/task/17638/stat : 17638 (pwbo2.0) R 17634 17636 15889 0 -1 4202560 17855 0 0 0 89994 36 0 0 20 0 3 0 275446627 516902912 109541 33554432000 4194304 5965102 140736949706880 140416765016376 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 504788
Child status: 0
Real time (s): 900.318
CPU time (s): 1800.48
CPU user time (s): 1798.58
CPU system time (s): 1.90171
CPU usage (%): 199.983
Max. virtual memory (cumulated for all children) (KiB): 504788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.58
system time used= 1.90171
maximum resident set size= 438172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106478
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= 256
involuntary context switches= 2154
runsolver used 1.9837 second user time and 5.85211 second system time
The end