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-3748825-1339120404/watcher-3748825-1339120404 -o /tmp/evaluation-result-3748825-1339120404/solver-3748825-1339120404 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748825-1339120404.opb 1487974789 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.02 2.01 2.00 3/178 31398
/proc/meminfo: memFree=31024560/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (runsolver) D 31396 31398 28222 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 378167725 12095488 51 33554432000 4194304 5436572 140735847215920 140735847212216 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/31398/statm: 2953 51 31 304 0 2645 0
[startup+0.0509941 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 31398
/proc/meminfo: memFree=31024560/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100259 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 31398
/proc/meminfo: memFree=31024560/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300214 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 31398
/proc/meminfo: memFree=31024560/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700196 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 31398
/proc/meminfo: memFree=31024560/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 31407
/proc/meminfo: memFree=30923780/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=0.86 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 12423 6440 0 0 46 18 20 2 20 0 1 0 378167726 68751360 16455 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16455 176 442 0 16339 0
[pid=31407] ppid=31400 vsize=37520 CPUtime=0.6 cores=0,2,4,6
/proc/31407/stat : 31407 (glucosInc) R 31400 31398 28222 0 -1 4202496 7838 0 0 0 60 0 0 0 20 0 1 0 378167813 38420480 7844 33554432000 4194304 5654031 140736841178512 140736841176280 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31407/statm: 9380 7844 131 357 0 9020 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 113808
[startup+3.10036 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 31407
/proc/meminfo: memFree=30922168/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=0.86 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 12423 6440 0 0 46 18 20 2 20 0 1 0 378167726 68751360 16455 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16455 176 442 0 16339 0
[pid=31407] ppid=31400 vsize=37520 CPUtime=2.2 cores=0,2,4,6
/proc/31407/stat : 31407 (glucosInc) R 31400 31398 28222 0 -1 4202496 7932 0 0 0 220 0 0 0 20 0 1 0 378167813 38420480 7937 33554432000 4194304 5654031 140736841178512 140736841176280 4232438 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31407/statm: 9380 7937 131 357 0 9020 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 113808
[startup+6.30031 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 31409
/proc/meminfo: memFree=30919936/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=4.09 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 15027 14941 0 0 52 19 335 3 20 0 1 0 378167726 68751360 16455 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/31400/statm: 16785 16455 176 442 0 16339 0
[pid=31409] ppid=31400 vsize=38756 CPUtime=2.16 cores=0,2,4,6
/proc/31409/stat : 31409 (glucosInc) R 31400 31398 28222 0 -1 4202496 8490 0 0 0 215 1 0 0 20 0 1 0 378168137 39686144 8366 33554432000 4194304 5654031 140734525011952 140734524999768 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31409/statm: 9689 8366 140 357 0 9329 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 115044
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 31411
/proc/meminfo: memFree=30919456/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=10.75 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 17632 24203 0 0 57 20 992 6 20 0 1 0 378167726 68751360 16455 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16455 176 442 0 16339 0
[pid=31411] ppid=31400 vsize=38984 CPUtime=1.9 cores=0,2,4,6
/proc/31411/stat : 31411 (glucosInc) R 31400 31398 28222 0 -1 4202496 8480 0 0 0 189 1 0 0 20 0 1 0 378168804 39919616 8352 33554432000 4194304 5654031 140734527189264 140734527187032 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31411/statm: 9746 8352 131 357 0 9386 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 115272
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 31413
/proc/meminfo: memFree=30919152/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=20.8 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 20235 34357 0 0 63 20 1988 9 20 0 1 0 378167726 68751360 16455 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16455 176 442 0 16339 0
[pid=31413] ppid=31400 vsize=39012 CPUtime=4.65 cores=0,2,4,6
/proc/31413/stat : 31413 (glucosInc) R 31400 31398 28222 0 -1 4202496 8427 0 0 0 465 0 0 0 20 0 1 0 378169809 39948288 8964 33554432000 4194304 5654031 140737135415520 140737135403336 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31413/statm: 9753 8964 140 357 0 9393 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 115300
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 31417
/proc/meminfo: memFree=30919532/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=46.17 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 25294 54287 0 0 85 22 4497 13 20 0 1 0 378167726 68751360 16456 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16456 177 442 0 16339 0
[pid=31417] ppid=31400 vsize=39020 CPUtime=4.87 cores=0,2,4,6
/proc/31417/stat : 31417 (glucosInc) R 31400 31398 28222 0 -1 4202496 8574 0 0 0 486 1 0 0 20 0 1 0 378172347 39956480 8442 33554432000 4194304 5654031 140734723191856 140734723189624 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31417/statm: 9755 8442 131 357 0 9395 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 115308
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31419
/proc/meminfo: memFree=30893344/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=69.13 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 27330 64842 0 0 91 23 6783 16 20 0 1 0 378167726 68751360 16456 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16456 177 442 0 16339 0
[pid=31419] ppid=31400 vsize=66296 CPUtime=33.1 cores=0,2,4,6
/proc/31419/stat : 31419 (glucosInc) R 31400 31398 28222 0 -1 4202496 12477 0 0 0 3307 3 0 0 20 0 1 0 378174644 67887104 14797 33554432000 4194304 5654031 140736331401584 140736331389400 4215112 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31419/statm: 16574 14797 142 357 0 16214 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 142584
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31420
/proc/meminfo: memFree=30868872/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=69.13 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 27330 64842 0 0 91 23 6783 16 20 0 1 0 378167726 68751360 16456 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16456 177 442 0 16339 0
[pid=31419] ppid=31400 vsize=89572 CPUtime=93.07 cores=0,2,4,6
/proc/31419/stat : 31419 (glucosInc) R 31400 31398 28222 0 -1 4202496 15234 0 0 0 9303 4 0 0 20 0 1 0 378174644 91721728 20788 33554432000 4194304 5654031 140736331401584 140736331389400 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31419/statm: 22393 20788 142 357 0 22033 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 165860
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 31420
/proc/meminfo: memFree=30854164/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=69.13 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 27330 64842 0 0 91 23 6783 16 20 0 1 0 378167726 68751360 16456 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16456 177 442 0 16339 0
[pid=31419] ppid=31400 vsize=119944 CPUtime=153.07 cores=0,2,4,6
/proc/31419/stat : 31419 (glucosInc) R 31400 31398 28222 0 -1 4202496 15346 0 0 0 15302 5 0 0 20 0 1 0 378174644 122822656 24473 33554432000 4194304 5654031 140736331401584 140736331389400 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31419/statm: 29986 24473 142 357 0 29626 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 196232
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30676164/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=69.13 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 27330 64842 0 0 91 23 6783 16 20 0 1 0 378167726 68751360 16456 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16456 177 442 0 16339 0
[pid=31419] ppid=31400 vsize=215684 CPUtime=1172.91 cores=0,2,4,6
/proc/31419/stat : 31419 (glucosInc) R 31400 31398 28222 0 -1 4202496 28925 0 0 0 117249 42 0 0 20 0 1 0 378174644 220860416 46237 33554432000 4194304 5654031 140736331401584 140736331399672 4215040 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31419/statm: 53921 46237 142 357 0 53561 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 291972
[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/181 31496
/proc/meminfo: memFree=30822844/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=69.13 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 27330 64842 0 0 91 23 6783 16 20 0 1 0 378167726 68751360 16456 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16456 177 442 0 16339 0
[pid=31419] ppid=31400 vsize=215684 CPUtime=1232.91 cores=0,2,4,6
/proc/31419/stat : 31419 (glucosInc) R 31400 31398 28222 0 -1 4202496 29610 0 0 0 123247 44 0 0 20 0 1 0 378174644 220860416 47261 33554432000 4194304 5654031 140736331401584 140736331399672 4233431 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31419/statm: 53921 47261 142 357 0 53561 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 291972
[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/181 31496
/proc/meminfo: memFree=30860592/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=69.13 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 27330 64842 0 0 91 23 6783 16 20 0 1 0 378167726 68751360 16456 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16456 177 442 0 16339 0
[pid=31419] ppid=31400 vsize=135544 CPUtime=1292.89 cores=0,2,4,6
/proc/31419/stat : 31419 (glucosInc) R 31400 31398 28222 0 -1 4202496 30293 0 0 0 129243 46 0 0 20 0 1 0 378174644 138797056 33305 33554432000 4194304 5654031 140736331401584 140736331399608 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31419/statm: 33886 33305 142 357 0 33526 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 211832
[startup+1422.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 31497
/proc/meminfo: memFree=30835172/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=69.13 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 27330 64842 0 0 91 23 6783 16 20 0 1 0 378167726 68751360 16456 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16456 177 442 0 16339 0
[pid=31419] ppid=31400 vsize=135544 CPUtime=1352.89 cores=0,2,4,6
/proc/31419/stat : 31419 (glucosInc) R 31400 31398 28222 0 -1 4202496 30976 0 0 0 135241 48 0 0 20 0 1 0 378174644 138797056 33305 33554432000 4194304 5654031 140736331401584 140736331399608 4232581 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31419/statm: 33886 33305 142 357 0 33526 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 211832
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 31497
/proc/meminfo: memFree=30771872/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=69.13 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 27330 64842 0 0 91 23 6783 16 20 0 1 0 378167726 68751360 16456 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16456 177 442 0 16339 0
[pid=31419] ppid=31400 vsize=215684 CPUtime=1412.87 cores=0,2,4,6
/proc/31419/stat : 31419 (glucosInc) R 31400 31398 28222 0 -1 4202496 31658 0 0 0 141238 49 0 0 20 0 1 0 378174644 220860416 49821 33554432000 4194304 5654031 140736331401584 140736331399672 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31419/statm: 53921 49821 142 357 0 53561 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 291972
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 31497
/proc/meminfo: memFree=30824224/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=69.13 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 27330 64842 0 0 91 23 6783 16 20 0 1 0 378167726 68751360 16456 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16456 177 442 0 16339 0
[pid=31419] ppid=31400 vsize=135544 CPUtime=1472.86 cores=0,2,4,6
/proc/31419/stat : 31419 (glucosInc) R 31400 31398 28222 0 -1 4202496 32335 0 0 0 147235 51 0 0 20 0 1 0 378174644 138797056 33305 33554432000 4194304 5654031 140736331401584 140736331399608 4215091 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31419/statm: 33886 33305 142 357 0 33526 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 211832
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 31500
/proc/meminfo: memFree=30823668/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=69.13 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 27330 64842 0 0 91 23 6783 16 20 0 1 0 378167726 68751360 16456 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16456 177 442 0 16339 0
[pid=31419] ppid=31400 vsize=135544 CPUtime=1532.86 cores=0,2,4,6
/proc/31419/stat : 31419 (glucosInc) R 31400 31398 28222 0 -1 4202496 33017 0 0 0 153233 53 0 0 20 0 1 0 378174644 138797056 33305 33554432000 4194304 5654031 140736331401584 140736331399608 4232448 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31419/statm: 33886 33305 142 357 0 33526 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 211832
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31500
/proc/meminfo: memFree=30756192/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=69.13 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 27330 64842 0 0 91 23 6783 16 20 0 1 0 378167726 68751360 16456 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16456 177 442 0 16339 0
[pid=31419] ppid=31400 vsize=135544 CPUtime=1592.85 cores=0,2,4,6
/proc/31419/stat : 31419 (glucosInc) R 31400 31398 28222 0 -1 4202496 33694 0 0 0 159230 55 0 0 20 0 1 0 378174644 138797056 33306 33554432000 4194304 5654031 140736331401584 140736331399672 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31419/statm: 33886 33306 142 357 0 33526 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 211832
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31501
/proc/meminfo: memFree=30755340/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=69.13 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 27330 64842 0 0 91 23 6783 16 20 0 1 0 378167726 68751360 16456 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16456 177 442 0 16339 0
[pid=31419] ppid=31400 vsize=215684 CPUtime=1652.83 cores=0,2,4,6
/proc/31419/stat : 31419 (glucosInc) R 31400 31398 28222 0 -1 4202496 34383 0 0 0 165227 56 0 0 20 0 1 0 378174644 220860416 48292 33554432000 4194304 5654031 140736331401584 140736331399672 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31419/statm: 53921 48292 142 357 0 53561 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 291972
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31501
/proc/meminfo: memFree=30740108/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=69.13 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 27330 64842 0 0 91 23 6783 16 20 0 1 0 378167726 68751360 16456 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16456 177 442 0 16339 0
[pid=31419] ppid=31400 vsize=215684 CPUtime=1712.83 cores=0,2,4,6
/proc/31419/stat : 31419 (glucosInc) R 31400 31398 28222 0 -1 4202496 35065 0 0 0 171225 58 0 0 20 0 1 0 378174644 220860416 48804 33554432000 4194304 5654031 140736331401584 140736331399672 4216272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31419/statm: 53921 48804 142 357 0 53561 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 291972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31501
/proc/meminfo: memFree=30724048/32873648 swapFree=7376/7376
[pid=31398] ppid=31396 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31398/stat : 31398 (npSolver-pbo-I.) S 31396 31398 28222 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378167725 9367552 275 33554432000 4194304 5064252 140733440965216 140733440964128 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31398/statm: 2287 275 233 213 0 72 0
[pid=31400] ppid=31398 vsize=67140 CPUtime=69.13 cores=0,2,4,6
/proc/31400/stat : 31400 (npSolver-pbo) S 31398 31398 28222 0 -1 4202496 27330 64842 0 0 91 23 6783 16 20 0 1 0 378167726 68751360 16456 33554432000 4194304 6004724 140735924648592 140735924633512 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31400/statm: 16785 16456 177 442 0 16339 0
[pid=31419] ppid=31400 vsize=185236 CPUtime=1730.93 cores=0,2,4,6
/proc/31419/stat : 31419 (glucosInc) R 31400 31398 28222 0 -1 4202496 35237 0 0 0 173034 59 0 0 20 0 1 0 378174644 189681664 42679 33554432000 4194304 5654031 140736331401584 140736331399512 4232767 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31419/statm: 46309 42679 142 357 0 45949 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 261524
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.1
CPU system time (s): 0.992849
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 291972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 0.992849
maximum resident set size= 199284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127788
page faults= 0
swaps= 0
block input operations= 0
block output operations= 70848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 264
involuntary context switches= 2089
runsolver used 2.77058 second user time and 7.05993 second system time
The end