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-3746542-1339106804/watcher-3746542-1339106804 -o /tmp/evaluation-result-3746542-1339106804/solver-3746542-1339106804 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746542-1339106804.opb 1294460749 HOME HOME
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: 2.00 2.00 2.00 3/177 13715
/proc/meminfo: memFree=29087740/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[startup+0.071863 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13715
/proc/meminfo: memFree=29087740/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100362 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13715
/proc/meminfo: memFree=29087740/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300141 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13715
/proc/meminfo: memFree=29087740/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13715
/proc/meminfo: memFree=29087740/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13721
/proc/meminfo: memFree=29056736/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=15972 CPUtime=0.91 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 2932 0 0 0 91 0 0 0 20 0 1 0 376806503 16355328 3325 33554432000 4194304 5654031 140733358167136 140733358165096 4214618 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 3993 3325 140 357 0 3633 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 42944
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13721
/proc/meminfo: memFree=29054812/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=19456 CPUtime=2.51 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 3820 0 0 0 251 0 0 0 20 0 1 0 376806503 19922944 3858 33554432000 4194304 5654031 140733358167136 140733358154952 4214632 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 4864 3858 141 357 0 4504 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 46428
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13721
/proc/meminfo: memFree=29044268/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=26880 CPUtime=5.71 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 5387 0 0 0 571 0 0 0 20 0 1 0 376806503 27525120 5560 33554432000 4194304 5654031 140733358167136 140733358154952 4208705 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 6720 5560 141 357 0 6360 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 53852
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13721
/proc/meminfo: memFree=29031032/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=34184 CPUtime=12.11 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 6597 0 0 0 1210 1 0 0 20 0 1 0 376806503 35004416 7607 33554432000 4194304 5654031 140733358167136 140733358154952 4232960 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 8546 7607 141 357 0 8186 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 61156
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13722
/proc/meminfo: memFree=29015164/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=76028 CPUtime=24.91 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 7908 0 0 0 2489 2 0 0 20 0 1 0 376806503 77852672 16580 33554432000 4194304 5654031 140733358167136 140733358154952 4232800 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 19007 16580 141 357 0 18647 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 103000
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13722
/proc/meminfo: memFree=28980360/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=76136 CPUtime=50.51 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 8403 0 0 0 5048 3 0 0 20 0 1 0 376806503 77963264 18628 33554432000 4194304 5654031 140733358167136 140733358154952 4208659 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 19034 18628 141 357 0 18674 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 103108
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13722
/proc/meminfo: memFree=28990892/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=106528 CPUtime=101.7 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 8855 0 0 0 10165 5 0 0 20 0 1 0 376806503 109084672 21943 33554432000 4194304 5654031 140733358167136 140733358154952 4232791 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 26632 21943 141 357 0 26272 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 133500
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13722
/proc/meminfo: memFree=28919256/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=186668 CPUtime=161.69 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 9269 0 0 0 16159 10 0 0 20 0 1 0 376806503 191148032 35876 33554432000 4194304 5654031 140733358167136 140733358154952 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 46667 35876 141 357 0 46307 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 213640
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 13725
/proc/meminfo: memFree=28895792/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=186668 CPUtime=221.67 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 9855 0 0 0 22153 14 0 0 20 0 1 0 376806503 191148032 37412 33554432000 4194304 5654031 140733358167136 140733358154952 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 46667 37412 141 357 0 46307 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 213640
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.19 2.08 2.01 3/181 13777
/proc/meminfo: memFree=28687372/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=452936 CPUtime=1301.48 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 33363 0 0 0 130071 77 0 0 20 0 1 0 376806503 463806464 84566 33554432000 4194304 5654031 140733358167136 140733358154952 4215290 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 113234 84566 141 357 0 112874 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 479908
[startup+1362.3 s]
/proc/loadavg: 2.21 2.09 2.02 3/181 13777
/proc/meminfo: memFree=28805068/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=320676 CPUtime=1361.47 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 34872 0 0 0 136065 82 0 0 20 0 1 0 376806503 328372224 64645 33554432000 4194304 5654031 140733358167136 140733358154952 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 80169 64645 141 357 0 79809 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 347648
[startup+1422.31 s]
/proc/loadavg: 2.11 2.09 2.02 3/182 13780
/proc/meminfo: memFree=28772768/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=452936 CPUtime=1421.46 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 35382 0 0 0 142062 84 0 0 20 0 1 0 376806503 463806464 87638 33554432000 4194304 5654031 140733358167136 140733358154952 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 113234 87638 141 357 0 112874 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 479908
[startup+1482.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/181 13781
/proc/meminfo: memFree=28754300/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=320676 CPUtime=1481.44 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 36897 0 0 0 148056 88 0 0 20 0 1 0 376806503 328372224 65669 33554432000 4194304 5654031 140733358167136 140733358154952 4233204 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 80169 65669 141 357 0 79809 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 347648
[startup+1542.3 s]
/proc/loadavg: 2.18 2.10 2.02 3/181 13781
/proc/meminfo: memFree=28719552/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=452936 CPUtime=1541.42 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 37431 0 0 0 154051 91 0 0 20 0 1 0 376806503 463806464 89174 33554432000 4194304 5654031 140733358167136 140733358154952 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 113234 89174 141 357 0 112874 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 479908
[startup+1602.3 s]
/proc/loadavg: 2.13 2.09 2.02 3/181 13781
/proc/meminfo: memFree=28727460/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=320676 CPUtime=1601.41 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 38943 0 0 0 160045 96 0 0 20 0 1 0 376806503 328372224 63621 33554432000 4194304 5654031 140733358167136 140733358154952 4233184 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 80169 63621 141 357 0 79809 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 347648
[startup+1662.3 s]
/proc/loadavg: 2.19 2.11 2.03 3/181 13781
/proc/meminfo: memFree=28711360/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=452936 CPUtime=1661.4 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 39452 0 0 0 166042 98 0 0 20 0 1 0 376806503 463806464 86614 33554432000 4194304 5654031 140733358167136 140733358154952 4232973 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 113234 86614 141 357 0 112874 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 479908
[startup+1722.3 s]
/proc/loadavg: 2.21 2.12 2.03 3/181 13781
/proc/meminfo: memFree=28925668/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=239288 CPUtime=1721.37 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 40696 0 0 0 172035 102 0 0 20 0 1 0 376806503 245030912 59240 33554432000 4194304 5654031 140733358167136 140733358154952 4215112 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 59822 59240 141 357 0 59462 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 266260
[startup+1782.3 s]
/proc/loadavg: 2.14 2.11 2.03 3/181 13782
/proc/meminfo: memFree=28708056/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=452936 CPUtime=1781.37 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 41494 0 0 0 178031 106 0 0 20 0 1 0 376806503 463806464 83542 33554432000 4194304 5654031 140733358167136 140733358154952 4214957 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 113234 83542 141 357 0 112874 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 479908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.10 2.10 2.03 3/181 13782
/proc/meminfo: memFree=28653328/32873648 swapFree=6860/6860
[pid=13715] ppid=13713 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13715/stat : 13715 (npSolver-pbo-It) S 13713 13715 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376806446 9367552 274 33554432000 4194304 5064252 140736219897936 140736219896848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13715/statm: 2287 274 233 213 0 72 0
[pid=13716] ppid=13715 vsize=17824 CPUtime=0.55 cores=0,2,4,6
/proc/13716/stat : 13716 (npSolver-pbo) S 13715 13715 12337 0 -1 4202496 6810 6775 0 0 15 2 37 1 20 0 1 0 376806446 18251776 4028 33554432000 4194304 6004724 140733602316608 140733602302888 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/13716/statm: 4456 4028 152 442 0 4010 0
[pid=13721] ppid=13716 vsize=452936 CPUtime=1799.47 cores=0,2,4,6
/proc/13721/stat : 13721 (glucosInc) R 13716 13715 12337 0 -1 4202496 41506 0 0 0 179841 106 0 0 20 0 1 0 376806503 463806464 89686 33554432000 4194304 5654031 140733358167136 140733358154952 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13721/statm: 113234 89686 141 357 0 112874 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 479908
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13715 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=534918
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=44993
# CPU time returned by wait4() is 0.579911
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1798.93
CPU system time (s): 1.09
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 529228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.534918
system time used= 0.044993
maximum resident set size= 43408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13959
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 13
runsolver used 6.77597 second user time and 19.1451 second system time
The end