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-3725851-1338653327/watcher-3725851-1338653327 -o /tmp/evaluation-result-3725851-1338653327/solver-3725851-1338653327 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725851-1338653327.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: 3.84 3.96 3.66 4/178 32553
/proc/meminfo: memFree=29108384/32873844 swapFree=7644/7644
[pid=32553] ppid=32551 vsize=162484 CPUtime=0 cores=1,3,5,7
/proc/32553/stat : 32553 (pwbo2.02) S 32551 32553 30509 0 -1 4202496 943 0 0 0 0 0 0 0 20 0 3 0 331457141 166383616 889 33554432000 4194304 5964478 140733505440784 140733505440304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32553/statm: 40621 889 195 433 0 40185 0
[pid=32553/tid=32554] ppid=32551 vsize=162484 CPUtime=0 cores=1,3,5,7
/proc/32553/task/32554/stat : 32554 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 3 0 331457141 166383616 889 33554432000 4194304 5964478 140733505440784 139764123314744 4395199 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32553/tid=32555] ppid=32551 vsize=162484 CPUtime=0 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 3 0 331457141 166383616 889 33554432000 4194304 5964478 140733505440784 139764112824776 4327474 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.0815931 s]
/proc/loadavg: 3.84 3.96 3.66 4/178 32553
/proc/meminfo: memFree=29108384/32873844 swapFree=7644/7644
[pid=32553] ppid=32551 vsize=162484 CPUtime=0.14 cores=1,3,5,7
/proc/32553/stat : 32553 (pwbo2.02) S 32551 32553 30509 0 -1 4202496 1472 0 0 0 14 0 0 0 20 0 3 0 331457141 166383616 1411 33554432000 4194304 5964478 140733505440784 140733505440304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32553/statm: 40621 1411 198 433 0 40185 0
[pid=32553/tid=32554] ppid=32551 vsize=162484 CPUtime=0.06 cores=1,3,5,7
/proc/32553/task/32554/stat : 32554 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 394 0 0 0 6 0 0 0 20 0 3 0 331457141 166383616 1411 33554432000 4194304 5964478 140733505440784 139764123314520 4395511 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32553/tid=32555] ppid=32551 vsize=162484 CPUtime=0.06 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 291 0 0 0 6 0 0 0 20 0 3 0 331457141 166383616 1411 33554432000 4194304 5964478 140733505440784 139764112824632 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 162484
[startup+0.100331 s]
/proc/loadavg: 3.84 3.96 3.66 4/178 32553
/proc/meminfo: memFree=29108384/32873844 swapFree=7644/7644
[pid=32553] ppid=32551 vsize=162484 CPUtime=0.18 cores=1,3,5,7
/proc/32553/stat : 32553 (pwbo2.02) S 32551 32553 30509 0 -1 4202496 1602 0 0 0 18 0 0 0 20 0 3 0 331457141 166383616 1523 33554432000 4194304 5964478 140733505440784 140733505440304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32553/statm: 40621 1523 198 433 0 40185 0
[pid=32553/tid=32554] ppid=32551 vsize=162484 CPUtime=0.08 cores=1,3,5,7
/proc/32553/task/32554/stat : 32554 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 478 0 0 0 8 0 0 0 20 0 3 0 331457141 166383616 1523 33554432000 4194304 5964478 140733505440784 139764123314520 5122424 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32553/tid=32555] ppid=32551 vsize=162484 CPUtime=0.08 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 337 0 0 0 8 0 0 0 20 0 3 0 331457141 166383616 1523 33554432000 4194304 5964478 140733505440784 139764112824568 4389170 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162484
[startup+0.300301 s]
/proc/loadavg: 3.84 3.96 3.66 4/178 32553
/proc/meminfo: memFree=29108384/32873844 swapFree=7644/7644
[pid=32553] ppid=32551 vsize=162616 CPUtime=0.59 cores=1,3,5,7
/proc/32553/stat : 32553 (pwbo2.02) S 32551 32553 30509 0 -1 4202496 2398 0 0 0 58 1 0 0 20 0 3 0 331457141 166518784 2319 33554432000 4194304 5964478 140733505440784 140733505440304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32553/statm: 40654 2319 198 433 0 40218 0
[pid=32553/tid=32554] ppid=32551 vsize=162616 CPUtime=0.28 cores=1,3,5,7
/proc/32553/task/32554/stat : 32554 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 801 0 0 0 28 0 0 0 20 0 3 0 331457141 166518784 2320 33554432000 4194304 5964478 140733505440784 139764123314536 4403708 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32553/tid=32555] ppid=32551 vsize=162616 CPUtime=0.28 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 811 0 0 0 28 0 0 0 20 0 3 0 331457141 166518784 2320 33554432000 4194304 5964478 140733505440784 139764112824632 5136420 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) 162616
[startup+0.700288 s]
/proc/loadavg: 3.84 3.96 3.66 4/178 32553
/proc/meminfo: memFree=29108384/32873844 swapFree=7644/7644
[pid=32553] ppid=32551 vsize=162892 CPUtime=1.38 cores=1,3,5,7
/proc/32553/stat : 32553 (pwbo2.02) S 32551 32553 30509 0 -1 4202496 2781 0 0 0 137 1 0 0 20 0 3 0 331457141 166801408 2702 33554432000 4194304 5964478 140733505440784 140733505440304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32553/statm: 40723 2702 198 433 0 40287 0
[pid=32553/tid=32554] ppid=32551 vsize=162892 CPUtime=0.68 cores=1,3,5,7
/proc/32553/task/32554/stat : 32554 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 1024 0 0 0 68 0 0 0 20 0 3 0 331457141 166801408 2702 33554432000 4194304 5964478 140733505440784 139764123314536 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32553/tid=32555] ppid=32551 vsize=162892 CPUtime=0.68 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 970 0 0 0 68 0 0 0 20 0 3 0 331457141 166801408 2702 33554432000 4194304 5964478 140733505440784 139764112824632 4403708 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162892
[startup+1.50032 s]
/proc/loadavg: 3.84 3.96 3.66 5/181 32556
/proc/meminfo: memFree=29093720/32873844 swapFree=7644/7644
[pid=32553] ppid=32551 vsize=163024 CPUtime=2.99 cores=1,3,5,7
/proc/32553/stat : 32553 (pwbo2.02) S 32551 32553 30509 0 -1 4202496 3750 0 0 0 296 3 0 0 20 0 3 0 331457141 166936576 3671 33554432000 4194304 5964478 140733505440784 140733505440304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32553/statm: 40756 3671 198 433 0 40320 0
[pid=32553/tid=32554] ppid=32551 vsize=163024 CPUtime=1.48 cores=1,3,5,7
/proc/32553/task/32554/stat : 32554 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 1615 0 0 0 146 2 0 0 20 0 3 0 331457141 166936576 3671 33554432000 4194304 5964478 140733505440784 139764123313976 4392985 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32553/tid=32555] ppid=32551 vsize=163024 CPUtime=1.48 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 1348 0 0 0 147 1 0 0 20 0 3 0 331457141 166936576 3671 33554432000 4194304 5964478 140733505440784 139764112824440 4393451 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) 163024
[startup+3.10033 s]
/proc/loadavg: 3.85 3.96 3.66 5/181 32556
/proc/meminfo: memFree=29085288/32873844 swapFree=7644/7644
[pid=32553] ppid=32551 vsize=163764 CPUtime=6.19 cores=1,3,5,7
/proc/32553/stat : 32553 (pwbo2.02) S 32551 32553 30509 0 -1 4202496 4845 0 0 0 615 4 0 0 20 0 3 0 331457141 167694336 4740 33554432000 4194304 5964478 140733505440784 140733505440304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32553/statm: 40941 4740 198 433 0 40505 0
[pid=32553/tid=32554] ppid=32551 vsize=163764 CPUtime=3.07 cores=1,3,5,7
/proc/32553/task/32554/stat : 32554 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 2033 0 0 0 305 2 0 0 20 0 3 0 331457141 167694336 4740 33554432000 4194304 5964478 140733505440784 139764123315128 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32553/tid=32555] ppid=32551 vsize=163764 CPUtime=3.08 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 2025 0 0 0 306 2 0 0 20 0 3 0 331457141 167694336 4740 33554432000 4194304 5964478 140733505440784 139764112824392 4403695 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) 163764
[startup+6.3003 s]
/proc/loadavg: 3.85 3.96 3.66 5/181 32556
/proc/meminfo: memFree=29060040/32873844 swapFree=7644/7644
[pid=32553] ppid=32551 vsize=164984 CPUtime=12.59 cores=1,3,5,7
/proc/32553/stat : 32553 (pwbo2.02) S 32551 32553 30509 0 -1 4202496 8880 0 0 0 1250 9 0 0 20 0 3 0 331457141 168943616 8775 33554432000 4194304 5964478 140733505440784 140733505440304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32553/statm: 41246 8775 198 433 0 40810 0
[pid=32553/tid=32554] ppid=32551 vsize=164984 CPUtime=6.26 cores=1,3,5,7
/proc/32553/task/32554/stat : 32554 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 4461 0 0 0 620 6 0 0 20 0 3 0 331457141 168943616 8775 33554432000 4194304 5964478 140733505440784 139764123313976 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32553/tid=32555] ppid=32551 vsize=164984 CPUtime=6.26 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 3632 0 0 0 624 2 0 0 20 0 3 0 331457141 168943616 8775 33554432000 4194304 5964478 140733505440784 139764112824440 4403677 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) 164984
[startup+12.7003 s]
/proc/loadavg: 3.87 3.96 3.67 5/181 32556
/proc/meminfo: memFree=29027904/32873844 swapFree=7644/7644
[pid=32553] ppid=32551 vsize=166208 CPUtime=25.38 cores=1,3,5,7
/proc/32553/stat : 32553 (pwbo2.02) S 32551 32553 30509 0 -1 4202496 13256 0 0 0 2523 15 0 0 20 0 3 0 331457141 170196992 13151 33554432000 4194304 5964478 140733505440784 140733505440304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32553/statm: 41552 13151 198 433 0 41116 0
[pid=32553/tid=32554] ppid=32551 vsize=166208 CPUtime=12.65 cores=1,3,5,7
/proc/32553/task/32554/stat : 32554 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 7568 0 0 0 1253 12 0 0 20 0 3 0 331457141 170196992 13151 33554432000 4194304 5964478 140733505440784 139764123313976 4400632 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32553/tid=32555] ppid=32551 vsize=166208 CPUtime=12.65 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 4901 0 0 0 1263 2 0 0 20 0 3 0 331457141 170196992 13151 33554432000 4194304 5964478 140733505440784 139764112824632 4220672 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) 166208
[startup+25.5003 s]
/proc/loadavg: 3.89 3.96 3.67 5/181 32556
/proc/meminfo: memFree=28991340/32873844 swapFree=7644/7644
[pid=32553] ppid=32551 vsize=168556 CPUtime=50.97 cores=1,3,5,7
/proc/32553/stat : 32553 (pwbo2.02) S 32551 32553 30509 0 -1 4202496 19582 0 0 0 5070 27 0 0 20 0 3 0 331457141 172601344 19540 33554432000 4194304 5964478 140733505440784 140733505440304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32553/statm: 42139 19540 198 433 0 41703 0
[pid=32553/tid=32554] ppid=32551 vsize=168556 CPUtime=25.41 cores=1,3,5,7
/proc/32553/task/32554/stat : 32554 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 12239 0 0 0 2518 23 0 0 20 0 3 0 331457141 172601344 19540 33554432000 4194304 5964478 140733505440784 139764123313976 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32553/tid=32555] ppid=32551 vsize=168556 CPUtime=25.41 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 6556 0 0 0 2538 3 0 0 20 0 3 0 331457141 172601344 19540 33554432000 4194304 5964478 140733505440784 139764112824664 4399975 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 168556
[startup+51.1003 s]
/proc/loadavg: 3.93 3.97 3.68 5/181 32556
/proc/meminfo: memFree=28935508/32873844 swapFree=7644/7644
[pid=32553] ppid=32551 vsize=170556 CPUtime=102.15 cores=1,3,5,7
/proc/32553/stat : 32553 (pwbo2.02) S 32551 32553 30509 0 -1 4202496 26411 0 0 0 10182 33 0 0 20 0 3 0 331457141 174649344 26434 33554432000 4194304 5964478 140733505440784 140733505440304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32553/statm: 42639 26434 198 433 0 42203 0
[pid=32553/tid=32554] ppid=32551 vsize=170556 CPUtime=50.93 cores=1,3,5,7
/proc/32553/task/32554/stat : 32554 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 16477 0 0 0 5066 27 0 0 20 0 3 0 331457141 174649344 26434 33554432000 4194304 5964478 140733505440784 139764123313976 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32553/tid=32555] ppid=32551 vsize=170556 CPUtime=50.95 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 9147 0 0 0 5090 5 0 0 20 0 3 0 331457141 174649344 26434 33554432000 4194304 5964478 140733505440784 139764112824392 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 170556
[startup+102.307 s]
/proc/loadavg: 3.97 3.97 3.69 5/182 32559
/proc/meminfo: memFree=28866992/32873844 swapFree=7644/7644
[pid=32553] ppid=32551 vsize=236420 CPUtime=204.51 cores=1,3,5,7
/proc/32553/stat : 32553 (pwbo2.02) S 32551 32553 30509 0 -1 4202496 30852 0 0 0 20417 34 0 0 20 0 3 0 331457141 242094080 31768 33554432000 4194304 5964478 140733505440784 140733505440304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32553/statm: 59105 31768 198 433 0 58669 0
[pid=32553/tid=32554] ppid=32551 vsize=236420 CPUtime=101.98 cores=1,3,5,7
/proc/32553/task/32554/stat : 32554 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 20173 0 0 0 10169 29 0 0 20 0 3 0 331457141 242094080 31768 33554432000 4194304 5964478 140733505440784 139764123315128 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32553/tid=32555] ppid=32551 vsize=236420 CPUtime=102.01 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 9892 0 0 0 10194 7 0 0 20 0 3 0 331457141 242094080 31768 33554432000 4194304 5964478 140733505440784 139764112824392 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.51
Current children cumulated vsize (KiB) 236420
[startup+162.3 s]
/proc/loadavg: 4.03 3.99 3.72 5/181 32559
/proc/meminfo: memFree=28793148/32873844 swapFree=7644/7644
[pid=32553] ppid=32551 vsize=241812 CPUtime=324.48 cores=1,3,5,7
/proc/32553/stat : 32553 (pwbo2.02) S 32551 32553 30509 0 -1 4202496 39818 0 0 0 32406 42 0 0 20 0 3 0 331457141 247615488 40314 33554432000 4194304 5964478 140733505440784 140733505440304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32553/statm: 60453 40314 198 433 0 60017 0
[pid=32553/tid=32554] ppid=32551 vsize=241812 CPUtime=161.82 cores=1,3,5,7
/proc/32553/task/32554/stat : 32554 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 24896 0 0 0 16148 34 0 0 20 0 3 0 331457141 247615488 40314 33554432000 4194304 5964478 140733505440784 139764123314168 4378992 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32553/tid=32555] ppid=32551 vsize=241812 CPUtime=161.85 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 14135 0 0 0 16174 11 0 0 20 0 3 0 331457141 247615488 40314 33554432000 4194304 5964478 140733505440784 139764112824392 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 241812
[startup+222.3 s]
/proc/loadavg: 4.01 3.99 3.73 5/181 32559
/proc/meminfo: memFree=28719796/32873844 swapFree=7644/7644
[pid=32553] ppid=32551 vsize=310816 CPUtime=444.46 cores=1,3,5,7
/proc/32553/stat : 32553 (pwbo2.02) S 32551 32553 30509 0 -1 4202496 51229 0 0 0 44390 56 0 0 20 0 3 0 331457141 318275584 51697 33554432000 4194304 5964478 140733505440784 140733505440304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32553/statm: 77704 51697 198 433 0 77268 0
[pid=32553/tid=32554] ppid=32551 vsize=310816 CPUtime=221.66 cores=1,3,5,7
/proc/32553/task/32554/stat : 32554 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 34386 0 0 0 22119 47 0 0 20 0 3 0 331457141 318275584 51697 33554432000 4194304 5964478 140733505440784 139764123314216 4432001 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32553/tid=32555] ppid=32551 vsize=310816 CPUtime=221.69 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 16056 0 0 0 22155 14 0 0 20 0 3 0 331457141 318275584 51697 33554432000 4194304 5964478 140733505440784 139764112824632 4389584 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 310816
[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.74 5/180 32559
/proc/meminfo: memFree=28649836/32873844 swapFree=7644/7644
[pid=32553] ppid=32551 vsize=312504 CPUtime=564.43 cores=1,3,5,7
/proc/32553/stat : 32553 (pwbo2.02) S 32551 32553 30509 0 -1 4202496 57486 0 0 0 56379 64 0 0 20 0 3 0 331457141 320004096 57804 33554432000 4194304 5964478 140733505440784 140733505440304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32553/statm: 78126 57804 198 433 0 77690 0
[pid=32553/tid=32554] ppid=32551 vsize=312504 CPUtime=281.49 cores=1,3,5,7
/proc/32553/task/32554/stat : 32554 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 38089 0 0 0 28095 54 0 0 20 0 3 0 331457141 320004096 57804 33554432000 4194304 5964478 140733505440784 139764123313976 4403531 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32553/tid=32555] ppid=32551 vsize=312504 CPUtime=281.54 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 18610 0 0 0 28137 17 0 0 20 0 3 0 331457141 320004096 57804 33554432000 4194304 5964478 140733505440784 139764112824392 18446744073699066235 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.43
Current children cumulated vsize (KiB) 312504
Solver just ended. Dumping a history of the last processes samples
[startup+282.5 s]
/proc/loadavg: 4.00 3.99 3.74 5/180 32559
/proc/meminfo: memFree=28649836/32873844 swapFree=7644/7644
[pid=32553] ppid=32551 vsize=312504 CPUtime=564.83 cores=1,3,5,7
/proc/32553/stat : 32553 (pwbo2.02) S 32551 32553 30509 0 -1 4202496 57521 0 0 0 56419 64 0 0 20 0 3 0 331457141 320004096 57839 33554432000 4194304 5964478 140733505440784 140733505440304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32553/statm: 78126 57839 198 433 0 77690 0
[pid=32553/tid=32554] ppid=32551 vsize=312504 CPUtime=281.69 cores=1,3,5,7
/proc/32553/task/32554/stat : 32554 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 38124 0 0 0 28115 54 0 0 20 0 3 0 331457141 320004096 57839 33554432000 4194304 5964478 140733505440784 139764123313976 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32553/tid=32555] ppid=32551 vsize=312504 CPUtime=281.73 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 18610 0 0 0 28156 17 0 0 20 0 3 0 331457141 320004096 57839 33554432000 4194304 5964478 140733505440784 139764112824392 4400042 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.83
Current children cumulated vsize (KiB) 312504
[startup+282.6 s]
/proc/loadavg: 4.00 3.99 3.74 5/180 32559
/proc/meminfo: memFree=28648720/32873844 swapFree=7644/7644
[pid=32553] ppid=32551 vsize=312504 CPUtime=565.04 cores=1,3,5,7
/proc/32553/stat : 32553 (pwbo2.02) S 32551 32553 30509 0 -1 4202496 57535 0 0 0 56440 64 0 0 20 0 3 0 331457141 320004096 57853 33554432000 4194304 5964478 140733505440784 140733505440304 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32553/statm: 78126 57853 198 433 0 77690 0
[pid=32553/tid=32554] ppid=32551 vsize=312504 CPUtime=281.8 cores=1,3,5,7
/proc/32553/task/32554/stat : 32554 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 38137 0 0 0 28126 54 0 0 20 0 3 0 331457141 320004096 57853 33554432000 4194304 5964478 140733505440784 139764123313976 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=32553/tid=32555] ppid=32551 vsize=312504 CPUtime=281.84 cores=1,3,5,7
/proc/32553/task/32555/stat : 32555 (pwbo2.02) R 32551 32553 30509 0 -1 4202560 18611 0 0 0 28167 17 0 0 20 0 3 0 331457141 320004096 57853 33554432000 4194304 5964478 140733505440784 139764112824392 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 565.04
Current children cumulated vsize (KiB) 312504
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32553 and gives
# childrusage.ru_utime.tv_sec=562
# childrusage.ru_utime.tv_usec=986413
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=741887
# CPU time returned by wait4() is 563.728
# while last known CPU time is 565.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 282.632
CPU time (s): 565.04
CPU user time (s): 564.4
CPU system time (s): 0.64
CPU usage (%): 199.921
Max. virtual memory (cumulated for all children) (KiB): 312504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 562.986
system time used= 0.741887
maximum resident set size= 231448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57544
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= 130
involuntary context switches= 580
runsolver used 0.828873 second user time and 1.61575 second system time
The end