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-3748855-1339127080/watcher-3748855-1339127080 -o /tmp/evaluation-result-3748855-1339127080/solver-3748855-1339127080 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748855-1339127080.opb 1710554682 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.01 2.01 2.00 2/180 11292
/proc/meminfo: memFree=30743340/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[startup+0.0252579 s]
/proc/loadavg: 2.01 2.01 2.00 2/180 11292
/proc/meminfo: memFree=30743340/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100264 s]
/proc/loadavg: 2.01 2.01 2.00 2/180 11292
/proc/meminfo: memFree=30743340/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300234 s]
/proc/loadavg: 2.01 2.01 2.00 2/180 11292
/proc/meminfo: memFree=30743340/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700207 s]
/proc/loadavg: 2.01 2.01 2.00 2/180 11292
/proc/meminfo: memFree=30743340/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 11294
/proc/meminfo: memFree=30637672/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=144716 CPUtime=1.49 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) R 11292 11292 8001 0 -1 4202496 16105 0 0 0 145 4 0 0 20 0 1 0 22674948 148189184 35080 33554432000 4194304 6004724 140735328726144 140735328720744 4582708 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11293/statm: 36179 35080 154 442 0 35733 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 153864
[startup+3.10029 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 11294
/proc/meminfo: memFree=30559352/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=341324 CPUtime=3.08 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) R 11292 11292 8001 0 -1 4202496 17279 0 0 0 300 8 0 0 20 0 1 0 22674948 349515776 63752 33554432000 4194304 6004724 140735328726144 140735328720744 4534738 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11293/statm: 85331 63752 154 442 0 84885 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 350472
[startup+6.30028 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 11294
/proc/meminfo: memFree=30310304/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=603468 CPUtime=6.28 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) R 11292 11292 8001 0 -1 4202496 18039 0 0 0 613 15 0 0 20 0 1 0 22674948 617951232 125704 33554432000 4194304 6004724 140735328726144 140735328720744 5055481 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11293/statm: 150867 125704 154 442 0 150421 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 612616
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 11294
/proc/meminfo: memFree=29801672/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=1127756 CPUtime=12.69 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) R 11292 11292 8001 0 -1 4202496 19046 0 0 0 1238 31 0 0 20 0 1 0 22674948 1154822144 248584 33554432000 4194304 6004724 140735328726144 140735328720744 4536049 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11293/statm: 281939 248584 154 442 0 281493 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1136904
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 11294
/proc/meminfo: memFree=28784524/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=2176332 CPUtime=25.48 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) R 11292 11292 8001 0 -1 4202496 20550 0 0 0 2488 60 0 0 20 0 1 0 22674948 2228563968 494856 33554432000 4194304 6004724 140735328726144 140735328720744 4579328 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11293/statm: 544083 494856 154 442 0 543637 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2185480
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 11296
/proc/meminfo: memFree=23718176/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=4246136 CPUtime=46.82 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) S 11292 11292 8001 0 -1 4202496 25177 0 0 0 4122 560 0 0 20 0 1 0 22674948 4348043264 814684 33554432000 4194304 6004724 140735328726144 140735328720608 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/11293/statm: 1061534 814684 163 442 0 1061088 0
[pid=11295] ppid=11293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11295/stat : 11295 (cp2_pre.sh) S 11293 11292 8001 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 22679634 9367552 276 33554432000 4194304 5064252 140735138422688 140735138421392 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11295/statm: 2287 276 234 213 0 72 0
[pid=11296] ppid=11295 vsize=502812 CPUtime=4.22 cores=0,2,4,6
/proc/11296/stat : 11296 (coprocessor) R 11295 11292 8001 0 -1 4202496 17058 0 0 0 404 18 0 0 20 0 1 0 22679635 514879488 120629 33554432000 4194304 6586260 140736576501760 140736576498520 4372739 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/11296/statm: 125703 120629 137 584 0 125115 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 4767244
[startup+102.307 s]
/proc/loadavg: 2.56 2.16 2.05 3/184 11296
/proc/meminfo: memFree=19082836/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=4246136 CPUtime=46.82 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) S 11292 11292 8001 0 -1 4202496 25177 0 0 0 4122 560 0 0 20 0 1 0 22674948 4348043264 814684 33554432000 4194304 6004724 140735328726144 140735328720608 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/11293/statm: 1061534 814684 163 442 0 1061088 0
[pid=11295] ppid=11293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11295/stat : 11295 (cp2_pre.sh) S 11293 11292 8001 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 22679634 9367552 276 33554432000 4194304 5064252 140735138422688 140735138421392 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11295/statm: 2287 276 234 213 0 72 0
[pid=11296] ppid=11295 vsize=5494628 CPUtime=55.01 cores=0,2,4,6
/proc/11296/stat : 11296 (coprocessor) R 11295 11292 8001 0 -1 4202496 30446 0 0 0 5241 260 0 0 20 0 1 0 22679635 5626499072 1163571 33554432000 4194304 6586260 140736576501760 140736576497512 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 41 0 0
/proc/11296/statm: 1373657 1163571 158 584 0 1373069 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 9759060
[startup+162.3 s]
/proc/loadavg: 2.80 2.29 2.10 3/184 11296
/proc/meminfo: memFree=17562432/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=4246136 CPUtime=46.82 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) S 11292 11292 8001 0 -1 4202496 25177 0 0 0 4122 560 0 0 20 0 1 0 22674948 4348043264 814684 33554432000 4194304 6004724 140735328726144 140735328720608 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/11293/statm: 1061534 814684 163 442 0 1061088 0
[pid=11295] ppid=11293 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11295/stat : 11295 (cp2_pre.sh) S 11293 11292 8001 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 22679634 9367552 276 33554432000 4194304 5064252 140735138422688 140735138421392 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11295/statm: 2287 276 234 213 0 72 0
[pid=11296] ppid=11295 vsize=5494628 CPUtime=110.95 cores=0,2,4,6
/proc/11296/stat : 11296 (coprocessor) R 11295 11292 8001 0 -1 4202496 30446 0 0 0 10527 568 0 0 20 0 1 0 22679635 5626499072 1163571 33554432000 4194304 6586260 140736576501760 140736576497512 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 444 0 0
/proc/11296/statm: 1373657 1163571 158 584 0 1373069 0
Current children cumulated CPU time (s) 157.77
Current children cumulated vsize (KiB) 9759060
[startup+222.3 s]
/proc/loadavg: 2.77 2.39 2.15 3/183 11298
/proc/meminfo: memFree=20876036/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=4246136 CPUtime=199.07 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) S 11292 11292 8001 0 -1 4202496 25195 31347 0 0 4122 560 14363 862 20 0 1 0 22674948 4348043264 814689 33554432000 4194304 6004724 140735328726144 140735328712424 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/11293/statm: 1061534 814689 167 442 0 1061088 0
[pid=11298] ppid=11293 vsize=4158524 CPUtime=15.79 cores=0,2,4,6
/proc/11298/stat : 11298 (glucosInc) R 11293 11292 8001 0 -1 4202496 375680 0 0 0 1448 131 0 0 20 0 1 0 22695597 4258328576 858808 33554432000 4194304 5654031 140734503959824 140734502909416 4204008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11298/statm: 1039631 858808 108 357 0 1039271 0
Current children cumulated CPU time (s) 214.86
Current children cumulated vsize (KiB) 8413808
[startup+282.3 s]
/proc/loadavg: 2.28 2.32 2.14 3/183 11299
/proc/meminfo: memFree=17727652/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=4246136 CPUtime=199.07 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=6095868/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=4246136 CPUtime=199.07 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) S 11292 11292 8001 0 -1 4202496 25195 31347 0 0 4122 560 14363 862 20 0 1 0 22674948 4348043264 814689 33554432000 4194304 6004724 140735328726144 140735328712424 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/11293/statm: 1061534 814689 167 442 0 1061088 0
[pid=11298] ppid=11293 vsize=7280884 CPUtime=1155.59 cores=0,2,4,6
/proc/11298/stat : 11298 (glucosInc) R 11293 11292 8001 0 -1 4202496 770272 0 0 0 115276 283 0 0 20 0 1 0 22695597 7455625216 1674265 33554432000 4194304 5654031 140734503959824 140734503947640 4797458 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11298/statm: 1820221 1674265 141 357 0 1819861 0
Current children cumulated CPU time (s) 1354.66
Current children cumulated vsize (KiB) 11536168
[startup+1422.31 s]
/proc/loadavg: 2.00 2.04 2.08 3/183 11376
/proc/meminfo: memFree=6079468/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=4246136 CPUtime=199.07 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) S 11292 11292 8001 0 -1 4202496 25195 31347 0 0 4122 560 14363 862 20 0 1 0 22674948 4348043264 814689 33554432000 4194304 6004724 140735328726144 140735328712424 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/11293/statm: 1061534 814689 167 442 0 1061088 0
[pid=11298] ppid=11293 vsize=7284048 CPUtime=1215.59 cores=0,2,4,6
/proc/11298/stat : 11298 (glucosInc) R 11293 11292 8001 0 -1 4202496 775135 0 0 0 121273 286 0 0 20 0 1 0 22695597 7458865152 1677588 33554432000 4194304 5654031 140734503959824 140734503957608 4232678 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11298/statm: 1821012 1677588 141 357 0 1820652 0
Current children cumulated CPU time (s) 1414.66
Current children cumulated vsize (KiB) 11539332
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/183 11377
/proc/meminfo: memFree=6068596/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=4246136 CPUtime=199.07 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) S 11292 11292 8001 0 -1 4202496 25195 31347 0 0 4122 560 14363 862 20 0 1 0 22674948 4348043264 814689 33554432000 4194304 6004724 140735328726144 140735328712424 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/11293/statm: 1061534 814689 167 442 0 1061088 0
[pid=11298] ppid=11293 vsize=7286436 CPUtime=1275.57 cores=0,2,4,6
/proc/11298/stat : 11298 (glucosInc) R 11293 11292 8001 0 -1 4202496 775753 0 0 0 127271 286 0 0 20 0 1 0 22695597 7461310464 1679228 33554432000 4194304 5654031 140734503959824 140734503947640 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11298/statm: 1821609 1679228 141 357 0 1821249 0
Current children cumulated CPU time (s) 1474.64
Current children cumulated vsize (KiB) 11541720
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/184 11380
/proc/meminfo: memFree=6058456/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=4246136 CPUtime=199.07 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) S 11292 11292 8001 0 -1 4202496 25195 31347 0 0 4122 560 14363 862 20 0 1 0 22674948 4348043264 814689 33554432000 4194304 6004724 140735328726144 140735328712424 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/11293/statm: 1061534 814689 167 442 0 1061088 0
[pid=11298] ppid=11293 vsize=7288204 CPUtime=1335.56 cores=0,2,4,6
/proc/11298/stat : 11298 (glucosInc) R 11293 11292 8001 0 -1 4202496 780297 0 0 0 133268 288 0 0 20 0 1 0 22695597 7463120896 1681211 33554432000 4194304 5654031 140734503959824 140734503947640 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11298/statm: 1822051 1681211 141 357 0 1821691 0
Current children cumulated CPU time (s) 1534.63
Current children cumulated vsize (KiB) 11543488
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/183 11380
/proc/meminfo: memFree=6051276/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=4246136 CPUtime=199.07 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) S 11292 11292 8001 0 -1 4202496 25195 31347 0 0 4122 560 14363 862 20 0 1 0 22674948 4348043264 814689 33554432000 4194304 6004724 140735328726144 140735328712424 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/11293/statm: 1061534 814689 167 442 0 1061088 0
[pid=11298] ppid=11293 vsize=7289392 CPUtime=1395.55 cores=0,2,4,6
/proc/11298/stat : 11298 (glucosInc) R 11293 11292 8001 0 -1 4202496 784688 0 0 0 139265 290 0 0 20 0 1 0 22695597 7464337408 1682022 33554432000 4194304 5654031 140734503959824 140734503947640 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11298/statm: 1822348 1682022 141 357 0 1821988 0
Current children cumulated CPU time (s) 1594.62
Current children cumulated vsize (KiB) 11544676
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/183 11380
/proc/meminfo: memFree=6042104/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=4246136 CPUtime=199.07 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) S 11292 11292 8001 0 -1 4202496 25195 31347 0 0 4122 560 14363 862 20 0 1 0 22674948 4348043264 814689 33554432000 4194304 6004724 140735328726144 140735328712424 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/11293/statm: 1061534 814689 167 442 0 1061088 0
[pid=11298] ppid=11293 vsize=7290840 CPUtime=1455.55 cores=0,2,4,6
/proc/11298/stat : 11298 (glucosInc) R 11293 11292 8001 0 -1 4202496 785031 0 0 0 145264 291 0 0 20 0 1 0 22695597 7465820160 1683898 33554432000 4194304 5654031 140734503959824 140734503947640 4214505 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11298/statm: 1822710 1683898 141 357 0 1822350 0
Current children cumulated CPU time (s) 1654.62
Current children cumulated vsize (KiB) 11546124
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.06 3/183 11380
/proc/meminfo: memFree=6034588/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=4246136 CPUtime=199.07 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) S 11292 11292 8001 0 -1 4202496 25195 31347 0 0 4122 560 14363 862 20 0 1 0 22674948 4348043264 814689 33554432000 4194304 6004724 140735328726144 140735328712424 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/11293/statm: 1061534 814689 167 442 0 1061088 0
[pid=11298] ppid=11293 vsize=7292548 CPUtime=1515.54 cores=0,2,4,6
/proc/11298/stat : 11298 (glucosInc) R 11293 11292 8001 0 -1 4202496 789574 0 0 0 151260 294 0 0 20 0 1 0 22695597 7467569152 1685351 33554432000 4194304 5654031 140734503959824 140734503957608 4797458 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11298/statm: 1823137 1685351 141 357 0 1822777 0
Current children cumulated CPU time (s) 1714.61
Current children cumulated vsize (KiB) 11547832
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 11380
/proc/meminfo: memFree=6025216/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=4246136 CPUtime=199.07 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) S 11292 11292 8001 0 -1 4202496 25195 31347 0 0 4122 560 14363 862 20 0 1 0 22674948 4348043264 814689 33554432000 4194304 6004724 140735328726144 140735328712424 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/11293/statm: 1061534 814689 167 442 0 1061088 0
[pid=11298] ppid=11293 vsize=7294008 CPUtime=1575.53 cores=0,2,4,6
/proc/11298/stat : 11298 (glucosInc) R 11293 11292 8001 0 -1 4202496 794030 0 0 0 157257 296 0 0 20 0 1 0 22695597 7469064192 1686734 33554432000 4194304 5654031 140734503959824 140734503947640 4976752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11298/statm: 1823502 1686734 141 357 0 1823142 0
Current children cumulated CPU time (s) 1774.6
Current children cumulated vsize (KiB) 11549292
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.7 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 11381
/proc/meminfo: memFree=6020568/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=4246136 CPUtime=199.07 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) S 11292 11292 8001 0 -1 4202496 25195 31347 0 0 4122 560 14363 862 20 0 1 0 22674948 4348043264 814689 33554432000 4194304 6004724 140735328726144 140735328712424 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/11293/statm: 1061534 814689 167 442 0 1061088 0
[pid=11298] ppid=11293 vsize=7294736 CPUtime=1600.93 cores=0,2,4,6
/proc/11298/stat : 11298 (glucosInc) R 11293 11292 8001 0 -1 4202496 794206 0 0 0 159797 296 0 0 20 0 1 0 22695597 7469809664 1687932 33554432000 4194304 5654031 140734503959824 140734503947640 4209202 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11298/statm: 1823684 1687932 141 357 0 1823324 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 11550020
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1807.7 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 11381
/proc/meminfo: memFree=6020568/32873844 swapFree=7124/7124
[pid=11292] ppid=11290 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11292/stat : 11292 (npSolver-pbo-I.) S 11290 11292 8001 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22674948 9367552 275 33554432000 4194304 5064252 140736686007632 140736686006544 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11292/statm: 2287 275 233 213 0 72 0
[pid=11293] ppid=11292 vsize=4246136 CPUtime=199.07 cores=0,2,4,6
/proc/11293/stat : 11293 (npSolver-pbo) S 11292 11292 8001 0 -1 4202496 25195 31347 0 0 4122 560 14363 862 20 0 1 0 22674948 4348043264 814689 33554432000 4194304 6004724 140735328726144 140735328712424 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/11293/statm: 1061534 814689 167 442 0 1061088 0
[pid=11298] ppid=11293 vsize=7294736 CPUtime=1600.93 cores=0,2,4,6
/proc/11298/stat : 11298 (glucosInc) R 11293 11292 8001 0 -1 4202496 794206 0 0 0 159797 296 0 0 20 0 1 0 22695597 7469809664 1687932 33554432000 4194304 5654031 140734503959824 140734503947640 4209202 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11298/statm: 1823684 1687932 141 357 0 1823324 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 11550020
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11292 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1807.73
CPU time (s): 1800
CPU user time (s): 1782.82
CPU system time (s): 17.18
CPU usage (%): 99.5726
Max. virtual memory (cumulated for all children) (KiB): 11611184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
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 3.69944 second user time and 10.8364 second system time
The end