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-3748220-1339179340/watcher-3748220-1339179340 -o /tmp/evaluation-result-3748220-1339179340/solver-3748220-1339179340 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748220-1339179340.opb 1272168036 HOME HOME
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: 2.02 2.01 2.00 3/178 28339
/proc/meminfo: memFree=29054296/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[startup+0.0576281 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 28339
/proc/meminfo: memFree=29054296/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100214 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 28339
/proc/meminfo: memFree=29054296/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300231 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 28339
/proc/meminfo: memFree=29054296/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700228 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 28339
/proc/meminfo: memFree=29054296/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 28341
/proc/meminfo: memFree=28939268/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=217060 CPUtime=1.49 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) R 28339 28339 27509 0 -1 4202496 24944 0 0 0 142 7 0 0 20 0 1 0 384059666 222269440 42719 33554432000 4194304 6004724 140733923296832 140733923292408 5190736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28340/statm: 54265 42720 130 442 0 53819 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 226208
[startup+3.10026 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 28341
/proc/meminfo: memFree=28810928/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=438156 CPUtime=3.08 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) R 28339 28339 27509 0 -1 4202496 48070 0 0 0 293 15 0 0 20 0 1 0 384059666 448671744 88775 33554432000 4194304 6004724 140733923296832 140733923292856 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28340/statm: 109539 88775 130 442 0 109093 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 447304
[startup+6.30022 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 28341
/proc/meminfo: memFree=28417660/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=1470084 CPUtime=6.28 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) R 28339 28339 27509 0 -1 4202496 161058 0 0 0 586 42 0 0 20 0 1 0 384059666 1505366016 317082 33554432000 4194304 6004724 140733923296832 140733923293272 4962671 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28340/statm: 367521 317082 131 442 0 367075 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1479232
[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 28341
/proc/meminfo: memFree=27734440/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=1470080 CPUtime=12.69 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) R 28339 28339 27509 0 -1 4202496 162403 0 0 0 1216 53 0 0 20 0 1 0 384059666 1505361920 338423 33554432000 4194304 6004724 140733923296832 140733923291448 4536014 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28340/statm: 367520 338423 147 442 0 367074 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1479228
[startup+25.5065 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 28345
/proc/meminfo: memFree=26804848/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=3042948 CPUtime=25.49 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) R 28339 28339 27509 0 -1 4202496 164668 0 0 0 2459 90 0 0 20 0 1 0 384059666 3115978752 568848 33554432000 4194304 6004724 140733923296832 140733923291432 4617898 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28340/statm: 760737 568848 154 442 0 760291 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3052096
[startup+51.1003 s]
/proc/loadavg: 2.43 2.10 2.03 3/182 28347
/proc/meminfo: memFree=22463096/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=3042964 CPUtime=30.53 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) S 28339 28339 27509 0 -1 4202496 165741 0 0 0 2739 314 0 0 20 0 1 0 384059666 3115995136 619037 33554432000 4194304 6004724 140733923296832 140733923291296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/28340/statm: 760741 619037 163 442 0 760295 0
[pid=28346] ppid=28340 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/28346/stat : 28346 (cp2_pre.sh) S 28340 28339 27509 0 -1 4202496 607 0 0 0 0 1 0 0 20 0 1 0 384062722 9367552 276 33554432000 4194304 5064252 140734214228912 140734214227616 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28346/statm: 2287 276 234 213 0 72 0
[pid=28347] ppid=28346 vsize=3112984 CPUtime=20.5 cores=1,3,5,7
/proc/28347/stat : 28347 (coprocessor) R 28346 28339 27509 0 -1 4202496 27360 0 0 0 1959 91 0 0 20 0 1 0 384062724 3187695616 631324 33554432000 4194304 6586260 140734500970128 140734500965880 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/28347/statm: 778246 631324 158 584 0 777658 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 6174244
[startup+102.3 s]
/proc/loadavg: 2.19 2.08 2.03 3/181 28350
/proc/meminfo: memFree=23648176/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=3042964 CPUtime=93.99 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) S 28339 28339 27509 0 -1 4202496 165759 28261 0 0 2739 315 6020 325 20 0 1 0 384059666 3115995136 619041 33554432000 4194304 6004724 140733923296832 140733923283112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/28340/statm: 760741 619041 167 442 0 760295 0
[pid=28350] ppid=28340 vsize=2351228 CPUtime=7.15 cores=1,3,5,7
/proc/28350/stat : 28350 (glucosInc) R 28340 28339 27509 0 -1 4202496 246987 0 0 0 639 76 0 0 20 0 1 0 384069179 2407657472 511718 33554432000 4194304 5654031 140735561457088 140735560406440 4240724 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28350/statm: 587807 511718 108 357 0 587447 0
Current children cumulated CPU time (s) 101.14
Current children cumulated vsize (KiB) 5403340
[startup+162.3 s]
/proc/loadavg: 2.06 2.06 2.02 3/181 28350
/proc/meminfo: memFree=22252404/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=3042964 CPUtime=93.99 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) S 28339 28339 27509 0 -1 4202496 165759 28261 0 0 2739 315 6020 325 20 0 1 0 384059666 3115995136 619041 33554432000 4194304 6004724 140733923296832 140733923283112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/28340/statm: 760741 619041 167 442 0 760295 0
[pid=28350] ppid=28340 vsize=3527224 CPUtime=67.13 cores=1,3,5,7
/proc/28350/stat : 28350 (glucosInc) R 28340 28339 27509 0 -1 4202496 375130 0 0 0 6592 121 0 0 20 0 1 0 384069179 3611877376 792593 33554432000 4194304 5654031 140735561457088 140735561455160 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28350/statm: 881806 792593 140 357 0 881446 0
Current children cumulated CPU time (s) 161.12
Current children cumulated vsize (KiB) 6579336
[startup+222.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/181 28350
/proc/meminfo: memFree=22221900/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=3042964 CPUtime=93.99 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) S 28339 28339 27509 0 -1 4202496 165759 28261 0 0 2739 315 6020 325 20 0 1 0 384059666 3115995136 619041 33554432000 4194304 6004724 140733923296832 140733923283112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/28340/statm: 760741 619041 167 442 0 760295 0
[pid=28350] ppid=28340 vsize=3536828 CPUtime=127.13 cores=1,3,5,7
/proc/28350/stat : 28350 (glucosInc) R 28340 28339 27509 0 -1 4202496 389989 0 0 0 12588 125 0 0 20 0 1 0 384069179 3621711872 795249 33554432000 4194304 5654031 140735561457088 140735561454872 4232675 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28350/statm: 884207 795249 140 357 0 883847 0
Current children cumulated CPU time (s) 221.12
Current children cumulated vsize (KiB) 6588940
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/182 28355
/proc/meminfo: memFree=22269988/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=3042964 CPUtime=93.99 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) S 28339 28339 27509 0 -1 4202496 165759 28261 0 0 2739 315 6020 325 20 0 1 0 384059666 3115995136 619041 33554432000 4194304 6004724 140733923296832 140733923283112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/28340/statm: 760741 619041 167 442 0 760295 0
[pid=28350] ppid=28340 vsize=3542656 CPUtime=187.1 cores=1,3,5,7
/proc/28350/stat : 28350 (glucosInc) R 28340 28339 27509 0 -1 4202496 403786 0 0 0 18582 128 0 0 20 0 1 0 384069179 3627679744 796848 33554432000 4194304 5654031 140735561457088 140735561454872 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28350/statm: 885664 796848 140 357 0 885304 0
Current children cumulated CPU time (s) 281.09
################
# More data... #
################
/proc/meminfo: memFree=22203488/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=3042964 CPUtime=93.99 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) S 28339 28339 27509 0 -1 4202496 165759 28261 0 0 2739 315 6020 325 20 0 1 0 384059666 3115995136 619041 33554432000 4194304 6004724 140733923296832 140733923283112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/28340/statm: 760741 619041 167 442 0 760295 0
[pid=28350] ppid=28340 vsize=3559752 CPUtime=1266.92 cores=1,3,5,7
/proc/28350/stat : 28350 (glucosInc) R 28340 28339 27509 0 -1 4202496 627780 0 0 0 126493 199 0 0 20 0 1 0 384069179 3645186048 801932 33554432000 4194304 5654031 140735561457088 140735561455160 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28350/statm: 889938 801932 141 357 0 889578 0
Current children cumulated CPU time (s) 1360.91
Current children cumulated vsize (KiB) 6611864
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28372
/proc/meminfo: memFree=22244528/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=3042964 CPUtime=93.99 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) S 28339 28339 27509 0 -1 4202496 165759 28261 0 0 2739 315 6020 325 20 0 1 0 384059666 3115995136 619041 33554432000 4194304 6004724 140733923296832 140733923283112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/28340/statm: 760741 619041 167 442 0 760295 0
[pid=28350] ppid=28340 vsize=3559964 CPUtime=1326.91 cores=1,3,5,7
/proc/28350/stat : 28350 (glucosInc) R 28340 28339 27509 0 -1 4202496 640056 0 0 0 132489 202 0 0 20 0 1 0 384069179 3645403136 801989 33554432000 4194304 5654031 140735561457088 140735561455160 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28350/statm: 889991 801989 141 357 0 889631 0
Current children cumulated CPU time (s) 1420.9
Current children cumulated vsize (KiB) 6612076
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 28375
/proc/meminfo: memFree=22230092/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=3042964 CPUtime=93.99 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) S 28339 28339 27509 0 -1 4202496 165759 28261 0 0 2739 315 6020 325 20 0 1 0 384059666 3115995136 619041 33554432000 4194304 6004724 140733923296832 140733923283112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/28340/statm: 760741 619041 167 442 0 760295 0
[pid=28350] ppid=28340 vsize=3560484 CPUtime=1386.9 cores=1,3,5,7
/proc/28350/stat : 28350 (glucosInc) R 28340 28339 27509 0 -1 4202496 652425 0 0 0 138485 205 0 0 20 0 1 0 384069179 3645935616 802158 33554432000 4194304 5654031 140735561457088 140735561455160 4232625 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28350/statm: 890121 802158 141 357 0 889761 0
Current children cumulated CPU time (s) 1480.89
Current children cumulated vsize (KiB) 6612596
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 28375
/proc/meminfo: memFree=22230080/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=3042964 CPUtime=93.99 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) S 28339 28339 27509 0 -1 4202496 165759 28261 0 0 2739 315 6020 325 20 0 1 0 384059666 3115995136 619041 33554432000 4194304 6004724 140733923296832 140733923283112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/28340/statm: 760741 619041 167 442 0 760295 0
[pid=28350] ppid=28340 vsize=3560596 CPUtime=1446.89 cores=1,3,5,7
/proc/28350/stat : 28350 (glucosInc) R 28340 28339 27509 0 -1 4202496 660611 0 0 0 144481 208 0 0 20 0 1 0 384069179 3646050304 802186 33554432000 4194304 5654031 140735561457088 140735561455160 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28350/statm: 890149 802186 141 357 0 889789 0
Current children cumulated CPU time (s) 1540.88
Current children cumulated vsize (KiB) 6612708
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28375
/proc/meminfo: memFree=22217760/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=3042964 CPUtime=93.99 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) S 28339 28339 27509 0 -1 4202496 165759 28261 0 0 2739 315 6020 325 20 0 1 0 384059666 3115995136 619041 33554432000 4194304 6004724 140733923296832 140733923283112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/28340/statm: 760741 619041 167 442 0 760295 0
[pid=28350] ppid=28340 vsize=3560660 CPUtime=1506.88 cores=1,3,5,7
/proc/28350/stat : 28350 (glucosInc) R 28340 28339 27509 0 -1 4202496 672822 0 0 0 150477 211 0 0 20 0 1 0 384069179 3646115840 802202 33554432000 4194304 5654031 140735561457088 140735561455160 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28350/statm: 890165 802202 141 357 0 889805 0
Current children cumulated CPU time (s) 1600.87
Current children cumulated vsize (KiB) 6612772
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28376
/proc/meminfo: memFree=22195024/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=3042964 CPUtime=93.99 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) S 28339 28339 27509 0 -1 4202496 165759 28261 0 0 2739 315 6020 325 20 0 1 0 384059666 3115995136 619041 33554432000 4194304 6004724 140733923296832 140733923283112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/28340/statm: 760741 619041 167 442 0 760295 0
[pid=28350] ppid=28340 vsize=3560736 CPUtime=1566.88 cores=1,3,5,7
/proc/28350/stat : 28350 (glucosInc) R 28340 28339 27509 0 -1 4202496 680960 0 0 0 156474 214 0 0 20 0 1 0 384069179 3646193664 802221 33554432000 4194304 5654031 140735561457088 140735561455160 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28350/statm: 890184 802221 141 357 0 889824 0
Current children cumulated CPU time (s) 1660.87
Current children cumulated vsize (KiB) 6612848
[startup+1722.3 s]
/proc/loadavg: 1.92 1.98 1.99 2/173 28401
/proc/meminfo: memFree=22301040/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=3042964 CPUtime=93.99 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) S 28339 28339 27509 0 -1 4202496 165759 28261 0 0 2739 315 6020 325 20 0 1 0 384059666 3115995136 619041 33554432000 4194304 6004724 140733923296832 140733923283112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/28340/statm: 760741 619041 167 442 0 760295 0
[pid=28350] ppid=28340 vsize=3561608 CPUtime=1626.87 cores=1,3,5,7
/proc/28350/stat : 28350 (glucosInc) R 28340 28339 27509 0 -1 4202496 693330 0 0 0 162469 218 0 0 20 0 1 0 384069179 3647086592 802409 33554432000 4194304 5654031 140735561457088 140735561454872 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28350/statm: 890402 802409 141 357 0 890042 0
Current children cumulated CPU time (s) 1720.86
Current children cumulated vsize (KiB) 6613720
[startup+1782.3 s]
/proc/loadavg: 1.31 1.79 1.92 2/173 28401
/proc/meminfo: memFree=22300204/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=3042964 CPUtime=93.99 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) S 28339 28339 27509 0 -1 4202496 165759 28261 0 0 2739 315 6020 325 20 0 1 0 384059666 3115995136 619041 33554432000 4194304 6004724 140733923296832 140733923283112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/28340/statm: 760741 619041 167 442 0 760295 0
[pid=28350] ppid=28340 vsize=3561856 CPUtime=1686.85 cores=1,3,5,7
/proc/28350/stat : 28350 (glucosInc) R 28340 28339 27509 0 -1 4202496 705607 0 0 0 168463 222 0 0 20 0 1 0 384069179 3647340544 802508 33554432000 4194304 5654031 140735561457088 140735561455160 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28350/statm: 890464 802508 141 357 0 890104 0
Current children cumulated CPU time (s) 1780.84
Current children cumulated vsize (KiB) 6613968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.5 s]
/proc/loadavg: 1.24 1.75 1.91 2/173 28401
/proc/meminfo: memFree=22300204/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=3042964 CPUtime=93.99 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) S 28339 28339 27509 0 -1 4202496 165759 28261 0 0 2739 315 6020 325 20 0 1 0 384059666 3115995136 619041 33554432000 4194304 6004724 140733923296832 140733923283112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/28340/statm: 760741 619041 167 442 0 760295 0
[pid=28350] ppid=28340 vsize=3561856 CPUtime=1706.06 cores=1,3,5,7
/proc/28350/stat : 28350 (glucosInc) R 28340 28339 27509 0 -1 4202496 705607 0 0 0 170384 222 0 0 20 0 1 0 384069179 3647340544 802508 33554432000 4194304 5654031 140735561457088 140735561455160 4233306 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28350/statm: 890464 802508 141 357 0 890104 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 6613968
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 1.24 1.75 1.91 2/173 28401
/proc/meminfo: memFree=22300204/32873648 swapFree=7376/7376
[pid=28339] ppid=28337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28339/stat : 28339 (npSolver-pbo-I.) S 28337 28339 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384059665 9367552 275 33554432000 4194304 5064252 140736409405552 140736409404464 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28339/statm: 2287 275 233 213 0 72 0
[pid=28340] ppid=28339 vsize=3042964 CPUtime=93.99 cores=1,3,5,7
/proc/28340/stat : 28340 (npSolver-pbo) S 28339 28339 27509 0 -1 4202496 165759 28261 0 0 2739 315 6020 325 20 0 1 0 384059666 3115995136 619041 33554432000 4194304 6004724 140733923296832 140733923283112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/28340/statm: 760741 619041 167 442 0 760295 0
[pid=28350] ppid=28340 vsize=3561856 CPUtime=1706.06 cores=1,3,5,7
/proc/28350/stat : 28350 (glucosInc) R 28340 28339 27509 0 -1 4202496 705607 0 0 0 170384 222 0 0 20 0 1 0 384069179 3647340544 802508 33554432000 4194304 5654031 140735561457088 140735561455160 4233306 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28350/statm: 890464 802508 141 357 0 890104 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 6613968
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28339 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.001998
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.52
CPU time (s): 1800.05
CPU user time (s): 1791.43
CPU system time (s): 8.62
CPU usage (%): 99.9184
Max. virtual memory (cumulated for all children) (KiB): 6655492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
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= 4
involuntary context switches= 1
runsolver used 4.39133 second user time and 10.0725 second system time
The end