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-3726038-1338656285/watcher-3726038-1338656285 -o /tmp/evaluation-result-3726038-1338656285/solver-3726038-1338656285 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726038-1338656285.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: 3.90 3.96 3.90 4/178 23078
/proc/meminfo: memFree=27959084/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=162228 CPUtime=0 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 798 0 0 0 0 0 0 0 20 0 3 0 331755291 166121472 749 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 40557 749 189 433 0 40121 0
[pid=23078/tid=23079] ppid=23076 vsize=162228 CPUtime=0 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 3 0 331755291 166121472 749 33554432000 4194304 5964478 140734341738848 140148527184856 5136490 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=162228 CPUtime=0 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 3 0 331755291 166121472 749 33554432000 4194304 5964478 140734341738848 140148516694944 5136490 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[startup+0.046998 s]
/proc/loadavg: 3.90 3.96 3.90 4/178 23078
/proc/meminfo: memFree=27959084/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=162228 CPUtime=0.07 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 1087 0 0 0 7 0 0 0 20 0 3 0 331755291 166121472 1038 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 40557 1038 191 433 0 40121 0
[pid=23078/tid=23079] ppid=23076 vsize=162228 CPUtime=0.03 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) S 23076 23078 20635 0 -1 4202560 199 0 0 0 3 0 0 0 20 0 3 0 331755291 166121472 1038 33554432000 4194304 5964478 140734341738848 140148527183856 4570436 0 0 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=162228 CPUtime=0.03 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 152 0 0 0 3 0 0 0 20 0 3 0 331755291 166121472 1038 33554432000 4194304 5964478 140734341738848 140148516694320 5143768 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 162228
[startup+0.100282 s]
/proc/loadavg: 3.90 3.96 3.90 4/178 23078
/proc/meminfo: memFree=27959084/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=162228 CPUtime=0.18 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 1339 0 0 0 18 0 0 0 20 0 3 0 331755291 166121472 1290 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 40557 1290 191 433 0 40121 0
[pid=23078/tid=23079] ppid=23076 vsize=162228 CPUtime=0.08 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 336 0 0 0 8 0 0 0 20 0 3 0 331755291 166121472 1292 33554432000 4194304 5964478 140734341738848 140148527183856 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=162228 CPUtime=0.08 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 269 0 0 0 8 0 0 0 20 0 3 0 331755291 166121472 1292 33554432000 4194304 5964478 140734341738848 140148516694320 5142958 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162228
[startup+0.300235 s]
/proc/loadavg: 3.90 3.96 3.90 4/178 23078
/proc/meminfo: memFree=27959084/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=162228 CPUtime=0.56 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 1857 0 0 0 56 0 0 0 20 0 3 0 331755291 166121472 1808 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 40557 1808 191 433 0 40121 0
[pid=23078/tid=23079] ppid=23076 vsize=162228 CPUtime=0.27 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 730 0 0 0 27 0 0 0 20 0 3 0 331755291 166121472 1808 33554432000 4194304 5964478 140734341738848 140148527183856 4400538 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=162228 CPUtime=0.27 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 391 0 0 0 27 0 0 0 20 0 3 0 331755291 166121472 1808 33554432000 4194304 5964478 140734341738848 140148516694320 5130892 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 162228
[startup+0.700246 s]
/proc/loadavg: 3.90 3.96 3.90 4/178 23078
/proc/meminfo: memFree=27959084/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=162876 CPUtime=1.36 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 2479 0 0 0 135 1 0 0 20 0 3 0 331755291 166785024 2430 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 40719 2430 191 433 0 40283 0
[pid=23078/tid=23079] ppid=23076 vsize=162876 CPUtime=0.67 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 1212 0 0 0 67 0 0 0 20 0 3 0 331755291 166785024 2430 33554432000 4194304 5964478 140734341738848 140148527183856 4379296 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=162876 CPUtime=0.67 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 531 0 0 0 67 0 0 0 20 0 3 0 331755291 166785024 2430 33554432000 4194304 5964478 140734341738848 140148516694320 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 162876
[startup+1.50027 s]
/proc/loadavg: 3.75 3.92 3.89 5/181 23081
/proc/meminfo: memFree=27948876/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=163344 CPUtime=2.94 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 3213 0 0 0 293 1 0 0 20 0 3 0 331755291 167264256 3165 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 40836 3165 191 433 0 40400 0
[pid=23078/tid=23079] ppid=23076 vsize=163344 CPUtime=1.46 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 1706 0 0 0 146 0 0 0 20 0 3 0 331755291 167264256 3165 33554432000 4194304 5964478 140734341738848 140148527183856 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=163344 CPUtime=1.45 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 772 0 0 0 145 0 0 0 20 0 3 0 331755291 167264256 3165 33554432000 4194304 5964478 140734341738848 140148516694320 4399975 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 163344
[startup+3.10031 s]
/proc/loadavg: 3.75 3.92 3.89 5/181 23081
/proc/meminfo: memFree=27942892/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=165556 CPUtime=6.11 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 4659 0 0 0 610 1 0 0 20 0 3 0 331755291 169529344 4610 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 41389 4610 191 433 0 40953 0
[pid=23078/tid=23079] ppid=23076 vsize=165556 CPUtime=3.06 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 2851 0 0 0 304 2 0 0 20 0 3 0 331755291 169529344 4610 33554432000 4194304 5964478 140734341738848 140148527183856 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=165556 CPUtime=3.03 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 1072 0 0 0 303 0 0 0 20 0 3 0 331755291 169529344 4610 33554432000 4194304 5964478 140734341738848 140148516694320 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 165556
[startup+6.30031 s]
/proc/loadavg: 3.75 3.92 3.89 5/181 23081
/proc/meminfo: memFree=27932856/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=169068 CPUtime=12.48 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 6332 0 0 0 1246 2 0 0 20 0 3 0 331755291 173125632 6283 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 42267 6283 191 433 0 41831 0
[pid=23078/tid=23079] ppid=23076 vsize=169068 CPUtime=6.26 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 4064 0 0 0 624 2 0 0 20 0 3 0 331755291 173125632 6283 33554432000 4194304 5964478 140734341738848 140148527183856 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=169068 CPUtime=6.21 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 1532 0 0 0 621 0 0 0 20 0 3 0 331755291 173125632 6283 33554432000 4194304 5964478 140734341738848 140148516694320 4379008 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 169068
[startup+12.7004 s]
/proc/loadavg: 3.79 3.92 3.89 5/181 23081
/proc/meminfo: memFree=27918984/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=172432 CPUtime=25.23 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 8423 0 0 0 2520 3 0 0 20 0 3 0 331755291 176570368 8374 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 43108 8374 191 433 0 42672 0
[pid=23078/tid=23079] ppid=23076 vsize=172432 CPUtime=12.66 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 5777 0 0 0 1263 3 0 0 20 0 3 0 331755291 176570368 8374 33554432000 4194304 5964478 140734341738848 140148527183384 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=172432 CPUtime=12.57 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 1910 0 0 0 1256 1 0 0 20 0 3 0 331755291 176570368 8374 33554432000 4194304 5964478 140734341738848 140148516694320 4379248 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 172432
[startup+25.5004 s]
/proc/loadavg: 3.82 3.93 3.90 5/181 23081
/proc/meminfo: memFree=27895928/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=178232 CPUtime=50.73 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 12064 0 0 0 5068 5 0 0 20 0 3 0 331755291 182509568 12015 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 44558 12015 191 433 0 44122 0
[pid=23078/tid=23079] ppid=23076 vsize=178232 CPUtime=25.46 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 9016 0 0 0 2541 5 0 0 20 0 3 0 331755291 182509568 12015 33554432000 4194304 5964478 140734341738848 140148527183912 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=178232 CPUtime=25.27 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 2312 0 0 0 2525 2 0 0 20 0 3 0 331755291 182509568 12015 33554432000 4194304 5964478 140734341738848 140148516694320 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 178232
[startup+51.1004 s]
/proc/loadavg: 3.89 3.93 3.90 5/181 23081
/proc/meminfo: memFree=27862828/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=185340 CPUtime=101.81 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 16538 0 0 0 10173 8 0 0 20 0 3 0 331755291 189788160 16489 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 46335 16489 191 433 0 45899 0
[pid=23078/tid=23079] ppid=23076 vsize=185340 CPUtime=51.06 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 12975 0 0 0 5099 7 0 0 20 0 3 0 331755291 189788160 16489 33554432000 4194304 5964478 140734341738848 140148527183880 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=185340 CPUtime=50.76 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 2827 0 0 0 5074 2 0 0 20 0 3 0 331755291 189788160 16489 33554432000 4194304 5964478 140734341738848 140148516693848 4399941 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 185340
[startup+102.307 s]
/proc/loadavg: 3.95 3.94 3.90 5/181 23081
/proc/meminfo: memFree=27801928/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=200400 CPUtime=203.96 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 24684 0 0 0 20380 16 0 0 20 0 3 0 331755291 205209600 25804 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 50100 25804 191 433 0 49664 0
[pid=23078/tid=23079] ppid=23076 vsize=200400 CPUtime=102.25 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 20339 0 0 0 10211 14 0 0 20 0 3 0 331755291 205209600 25804 33554432000 4194304 5964478 140734341738848 140148527183912 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=200400 CPUtime=101.74 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 3609 0 0 0 10169 5 0 0 20 0 3 0 331755291 205209600 25804 33554432000 4194304 5964478 140734341738848 140148516694320 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 200400
[startup+162.3 s]
/proc/loadavg: 4.06 3.96 3.91 5/182 23084
/proc/meminfo: memFree=27747480/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=275684 CPUtime=323.72 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 31652 0 0 0 32352 20 0 0 20 0 3 0 331755291 282300416 32772 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 68921 32772 191 433 0 68485 0
[pid=23078/tid=23079] ppid=23076 vsize=275684 CPUtime=162.24 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 26775 0 0 0 16205 19 0 0 20 0 3 0 331755291 282300416 32772 33554432000 4194304 5964478 140734341738848 140148527183912 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=275684 CPUtime=161.53 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 4141 0 0 0 16146 7 0 0 20 0 3 0 331755291 282300416 32772 33554432000 4194304 5964478 140734341738848 140148516694432 4381677 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 323.72
Current children cumulated vsize (KiB) 275684
[startup+222.3 s]
/proc/loadavg: 4.02 3.97 3.91 5/181 23107
/proc/meminfo: memFree=27706100/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=284256 CPUtime=443.55 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 36825 0 0 0 44330 25 0 0 20 0 3 0 331755291 291078144 38276 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 71064 38276 191 433 0 70628 0
[pid=23078/tid=23079] ppid=23076 vsize=284256 CPUtime=222.23 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 31503 0 0 0 22200 23 0 0 20 0 3 0 331755291 291078144 38276 33554432000 4194304 5964478 140734341738848 140148527183880 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=284256 CPUtime=221.39 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 4586 0 0 0 22130 9 0 0 20 0 3 0 331755291 291078144 38276 33554432000 4194304 5964478 140734341738848 140148516694320 4400628 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 443.55
Current children cumulated vsize (KiB) 284256
[startup+282.3 s]
/proc/loadavg: 4.01 3.97 3.91 5/181 23108
/proc/meminfo: memFree=27668796/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=289828 CPUtime=563.34 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 41928 0 0 0 56306 28 0 0 20 0 3 0 331755291 296783872 43379 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 72457 43379 191 433 0 72021 0
[pid=23078/tid=23079] ppid=23076 vsize=289828 CPUtime=282.24 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 36273 0 0 0 28197 27 0 0 20 0 3 0 331755291 296783872 43379 33554432000 4194304 5964478 140734341738848 140148527183384 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=289828 CPUtime=281.2 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 4919 0 0 0 28110 10 0 0 20 0 3 0 331755291 296783872 43379 33554432000 4194304 5964478 140734341738848 140148516694432 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 563.34
Current children cumulated vsize (KiB) 289828
[startup+342.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 23108
/proc/meminfo: memFree=27637708/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=299880 CPUtime=683.18 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 46304 0 0 0 68287 31 0 0 20 0 3 0 331755291 307077120 47755 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 74970 47755 191 433 0 74534 0
[pid=23078/tid=23079] ppid=23076 vsize=299880 CPUtime=342.24 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 40168 0 0 0 34194 30 0 0 20 0 3 0 331755291 307077120 47755 33554432000 4194304 5964478 140734341738848 140148527183880 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=299880 CPUtime=341.06 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 5400 0 0 0 34094 12 0 0 20 0 3 0 331755291 307077120 47755 33554432000 4194304 5964478 140734341738848 140148516693848 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 683.18
Current children cumulated vsize (KiB) 299880
Solver just ended. Dumping a history of the last processes samples
[startup+345.5 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 23108
/proc/meminfo: memFree=27635972/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=300804 CPUtime=689.57 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 46702 0 0 0 68926 31 0 0 20 0 3 0 331755291 308023296 48153 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 75201 48153 191 433 0 74765 0
[pid=23078/tid=23079] ppid=23076 vsize=300804 CPUtime=345.44 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 40411 0 0 0 34513 31 0 0 20 0 3 0 331755291 308023296 48153 33554432000 4194304 5964478 140734341738848 140148527183912 4400628 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=300804 CPUtime=344.26 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 5555 0 0 0 34414 12 0 0 20 0 3 0 331755291 308023296 48153 33554432000 4194304 5964478 140734341738848 140148516693848 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 689.57
Current children cumulated vsize (KiB) 300804
[startup+358.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 23108
/proc/meminfo: memFree=27629456/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=302380 CPUtime=715.14 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 47721 0 0 0 71482 32 0 0 20 0 3 0 331755291 309637120 49169 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 75595 49169 191 433 0 75159 0
[pid=23078/tid=23079] ppid=23076 vsize=302380 CPUtime=358.24 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 41370 0 0 0 35793 31 0 0 20 0 3 0 331755291 309637120 49169 33554432000 4194304 5964478 140734341738848 140148527183880 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=302380 CPUtime=357.03 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 5615 0 0 0 35691 12 0 0 20 0 3 0 331755291 309637120 49169 33554432000 4194304 5964478 140734341738848 140148516694432 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 715.14
Current children cumulated vsize (KiB) 302380
[startup+364.7 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 23108
/proc/meminfo: memFree=27624480/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=303836 CPUtime=727.9 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 48582 0 0 0 72758 32 0 0 20 0 3 0 331755291 311128064 50033 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 75959 50033 191 433 0 75523 0
[pid=23078/tid=23079] ppid=23076 vsize=303836 CPUtime=364.63 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 42231 0 0 0 36432 31 0 0 20 0 3 0 331755291 311128064 50033 33554432000 4194304 5964478 140734341738848 140148527183880 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=303836 CPUtime=363.39 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 5615 0 0 0 36327 12 0 0 20 0 3 0 331755291 311128064 50033 33554432000 4194304 5964478 140734341738848 140148516694432 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 727.9
Current children cumulated vsize (KiB) 303836
[startup+366.307 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 23108
/proc/meminfo: memFree=27622372/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=303836 CPUtime=731.1 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 48787 0 0 0 73078 32 0 0 20 0 3 0 331755291 311128064 50238 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 75959 50238 191 433 0 75523 0
[pid=23078/tid=23079] ppid=23076 vsize=303836 CPUtime=366.24 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 42436 0 0 0 36592 32 0 0 20 0 3 0 331755291 311128064 50238 33554432000 4194304 5964478 140734341738848 140148527183672 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=303836 CPUtime=364.99 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 5615 0 0 0 36487 12 0 0 20 0 3 0 331755291 311128064 50238 33554432000 4194304 5964478 140734341738848 140148516694320 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 731.1
Current children cumulated vsize (KiB) 303836
[startup+367.1 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 23108
/proc/meminfo: memFree=27622372/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=303836 CPUtime=732.68 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 48813 0 0 0 73236 32 0 0 20 0 3 0 331755291 311128064 50264 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 75959 50264 191 433 0 75523 0
[pid=23078/tid=23079] ppid=23076 vsize=303836 CPUtime=367.03 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 42462 0 0 0 36671 32 0 0 20 0 3 0 331755291 311128064 50264 33554432000 4194304 5964478 140734341738848 140148527183384 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=303836 CPUtime=365.78 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 5615 0 0 0 36566 12 0 0 20 0 3 0 331755291 311128064 50264 33554432000 4194304 5964478 140734341738848 140148516694432 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 732.68
Current children cumulated vsize (KiB) 303836
[startup+367.5 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 23108
/proc/meminfo: memFree=27622248/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=303836 CPUtime=733.48 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 48818 0 0 0 73316 32 0 0 20 0 3 0 331755291 311128064 50269 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 75959 50269 191 433 0 75523 0
[pid=23078/tid=23079] ppid=23076 vsize=303836 CPUtime=367.43 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 42467 0 0 0 36711 32 0 0 20 0 3 0 331755291 311128064 50269 33554432000 4194304 5964478 140734341738848 140148527183384 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=303836 CPUtime=366.18 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 5615 0 0 0 36606 12 0 0 20 0 3 0 331755291 311128064 50269 33554432000 4194304 5964478 140734341738848 140148516694432 4400038 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 733.48
Current children cumulated vsize (KiB) 303836
[startup+367.7 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 23108
/proc/meminfo: memFree=27622248/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=303836 CPUtime=733.88 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 48819 0 0 0 73356 32 0 0 20 0 3 0 331755291 311128064 50270 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 75959 50270 191 433 0 75523 0
[pid=23078/tid=23079] ppid=23076 vsize=303836 CPUtime=367.63 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 42468 0 0 0 36731 32 0 0 20 0 3 0 331755291 311128064 50270 33554432000 4194304 5964478 140734341738848 140148527183384 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=303836 CPUtime=366.38 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 5615 0 0 0 36626 12 0 0 20 0 3 0 331755291 311128064 50270 33554432000 4194304 5964478 140734341738848 140148516694432 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 733.88
Current children cumulated vsize (KiB) 303836
[startup+367.8 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 23108
/proc/meminfo: memFree=27622248/32873648 swapFree=6852/6852
[pid=23078] ppid=23076 vsize=303836 CPUtime=734.08 cores=0,2,4,6
/proc/23078/stat : 23078 (pwbo2.02) S 23076 23078 20635 0 -1 4202496 48822 0 0 0 73376 32 0 0 20 0 3 0 331755291 311128064 50273 33554432000 4194304 5964478 140734341738848 140734341738368 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23078/statm: 75959 50273 191 433 0 75523 0
[pid=23078/tid=23079] ppid=23076 vsize=303836 CPUtime=367.73 cores=0,2,4,6
/proc/23078/task/23079/stat : 23079 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 42471 0 0 0 36741 32 0 0 20 0 3 0 331755291 311128064 50273 33554432000 4194304 5964478 140734341738848 140148527183384 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23078/tid=23080] ppid=23076 vsize=303836 CPUtime=366.48 cores=0,2,4,6
/proc/23078/task/23080/stat : 23080 (pwbo2.02) R 23076 23078 20635 0 -1 4202560 5615 0 0 0 36636 12 0 0 20 0 3 0 331755291 311128064 50273 33554432000 4194304 5964478 140734341738848 140148516694432 4399938 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 734.08
Current children cumulated vsize (KiB) 303836
Child status: 255
Real time (s): 367.858
CPU time (s): 734.347
CPU user time (s): 733.879
CPU system time (s): 0.467928
CPU usage (%): 199.628
Max. virtual memory (cumulated for all children) (KiB): 303836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 733.879
system time used= 0.467928
maximum resident set size= 201112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48827
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= 561
involuntary context switches= 800
runsolver used 0.52292 second user time and 1.82572 second system time
The end