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-3752072-1339130598/watcher-3752072-1339130598 -o /tmp/evaluation-result-3752072-1339130598/solver-3752072-1339130598 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752072-1339130598.opb 2076725682 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 25854
/proc/meminfo: memFree=31581400/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[startup+0.079961 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25854
/proc/meminfo: memFree=31581400/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25854
/proc/meminfo: memFree=31581400/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300259 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25854
/proc/meminfo: memFree=31581400/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700263 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25854
/proc/meminfo: memFree=31581400/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25856
/proc/meminfo: memFree=31475580/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=215816 CPUtime=1.48 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) R 25854 25854 22322 0 -1 4202496 24645 0 0 0 143 5 0 0 20 0 1 0 379186010 220995584 39404 33554432000 4194304 6004724 140737433075792 140737433071304 4968639 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25855/statm: 53954 39404 130 442 0 53508 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 224964
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25857
/proc/meminfo: memFree=31358020/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=435196 CPUtime=3.09 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) R 25854 25854 22322 0 -1 4202496 47350 0 0 0 299 10 0 0 20 0 1 0 379186010 445640704 81462 33554432000 4194304 6004724 140737433075792 140737433071688 4968639 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25855/statm: 108799 81462 130 442 0 108353 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 444344
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25857
/proc/meminfo: memFree=30966772/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=778180 CPUtime=6.28 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) R 25854 25854 22322 0 -1 4202496 93682 0 0 0 606 22 0 0 20 0 1 0 379186010 796856320 169403 33554432000 4194304 6004724 140737433075792 140737433070072 4536215 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25855/statm: 194545 169403 147 442 0 194099 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 787328
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25857
/proc/meminfo: memFree=30500900/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=1564612 CPUtime=12.69 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) R 25854 25854 22322 0 -1 4202496 95310 0 0 0 1229 40 0 0 20 0 1 0 379186010 1602162688 283067 33554432000 4194304 6004724 140737433075792 140737433070600 4962640 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25855/statm: 391153 283067 147 442 0 390707 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1573760
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25857
/proc/meminfo: memFree=29528908/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=2613188 CPUtime=25.48 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) R 25854 25854 22322 0 -1 4202496 96792 0 0 0 2478 70 0 0 20 0 1 0 379186010 2675904512 518075 33554432000 4194304 6004724 140737433075792 140737433070600 4536215 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25855/statm: 653297 518075 147 442 0 652851 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2622336
[startup+51.1004 s]
/proc/loadavg: 2.28 2.06 2.02 3/182 25859
/proc/meminfo: memFree=25090616/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=2613188 CPUtime=30.18 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) S 25854 25854 22322 0 -1 4202496 98383 0 0 0 2702 316 0 0 20 0 1 0 379186010 2675904512 558033 33554432000 4194304 6004724 140737433075792 140737433070256 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0
/proc/25855/statm: 653297 558033 163 442 0 652851 0
[pid=25858] ppid=25855 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25858/stat : 25858 (cp2_pre.sh) S 25855 25854 22322 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 379189037 9367552 277 33554432000 4194304 5064252 140735267401216 140735267399920 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25858/statm: 2287 277 234 213 0 72 0
[pid=25859] ppid=25858 vsize=3159364 CPUtime=20.81 cores=0,2,4,6
/proc/25859/stat : 25859 (coprocessor) R 25858 25854 22322 0 -1 4202496 25550 0 0 0 1998 83 0 0 20 0 1 0 379189038 3235188736 608437 33554432000 4194304 6586260 140735283046176 140735283041928 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/25859/statm: 789841 608437 158 584 0 789253 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 5790848
[startup+102.3 s]
/proc/loadavg: 2.48 2.16 2.05 3/181 25861
/proc/meminfo: memFree=27117464/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=2613188 CPUtime=92.01 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) S 25854 25854 22322 0 -1 4202496 98401 26452 0 0 2702 317 5877 305 20 0 1 0 379186010 2675904512 558037 33554432000 4194304 6004724 140737433075792 140737433062072 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 7 0 0
/proc/25855/statm: 653297 558037 167 442 0 652851 0
[pid=25861] ppid=25855 vsize=1535380 CPUtime=4.64 cores=0,2,4,6
/proc/25861/stat : 25861 (glucosInc) R 25855 25854 22322 0 -1 4202496 174636 0 0 0 418 46 0 0 20 0 1 0 379195774 1572229120 337974 33554432000 4194304 5654031 140735291583952 140735290533304 4797458 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25861/statm: 383845 337974 108 357 0 383485 0
Current children cumulated CPU time (s) 96.65
Current children cumulated vsize (KiB) 4157716
[startup+162.3 s]
/proc/loadavg: 2.17 2.13 2.05 3/181 25861
/proc/meminfo: memFree=24763420/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=2613188 CPUtime=92.01 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) S 25854 25854 22322 0 -1 4202496 98401 26452 0 0 2702 317 5877 305 20 0 1 0 379186010 2675904512 558037 33554432000 4194304 6004724 140737433075792 140737433062072 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 7 0 0
/proc/25855/statm: 653297 558037 167 442 0 652851 0
[pid=25861] ppid=25855 vsize=4260176 CPUtime=64.63 cores=0,2,4,6
/proc/25861/stat : 25861 (glucosInc) R 25855 25854 22322 0 -1 4202496 417340 0 0 0 6334 129 0 0 20 0 1 0 379195774 4362420224 888359 33554432000 4194304 5654031 140735291583952 140735291581736 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25861/statm: 1065044 888359 144 357 0 1064684 0
Current children cumulated CPU time (s) 156.64
Current children cumulated vsize (KiB) 6882512
[startup+222.3 s]
/proc/loadavg: 2.19 2.14 2.06 3/181 25908
/proc/meminfo: memFree=23973620/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=2613188 CPUtime=92.01 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) S 25854 25854 22322 0 -1 4202496 98401 26452 0 0 2702 317 5877 305 20 0 1 0 379186010 2675904512 558037 33554432000 4194304 6004724 140737433075792 140737433062072 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 7 0 0
/proc/25855/statm: 653297 558037 167 442 0 652851 0
[pid=25861] ppid=25855 vsize=4268144 CPUtime=124.61 cores=0,2,4,6
/proc/25861/stat : 25861 (glucosInc) R 25855 25854 22322 0 -1 4202496 440233 0 0 0 12325 136 0 0 20 0 1 0 379195774 4370579456 891076 33554432000 4194304 5654031 140735291583952 140735291581736 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25861/statm: 1067036 891076 144 357 0 1066676 0
Current children cumulated CPU time (s) 216.62
Current children cumulated vsize (KiB) 6890480
[startup+282.307 s]
/proc/loadavg: 2.07 2.11 2.05 3/181 25908
/proc/meminfo: memFree=23967352/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=2613188 CPUtime=92.01 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) S 25854 25854 22322 0 -1 4202496 98401 26452 0 0 2702 317 5877 305 20 0 1 0 379186010 2675904512 558037 33554432000 4194304 6004724 140737433075792 140737433062072 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 7 0 0
/proc/25855/statm: 653297 558037 167 442 0 652851 0
[pid=25861] ppid=25855 vsize=4273064 CPUtime=184.61 cores=0,2,4,6
/proc/25861/stat : 25861 (glucosInc) R 25855 25854 22322 0 -1 4202496 462321 0 0 0 18317 144 0 0 20 0 1 0 379195774 4375617536 892445 33554432000 4194304 5654031 140735291583952 140735291582024 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25861/statm: 1068266 892445 144 357 0 1067906 0
Current children cumulated CPU time (s) 276.62
################
# More data... #
################
/proc/meminfo: memFree=23890100/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=2613188 CPUtime=92.01 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) S 25854 25854 22322 0 -1 4202496 98401 26452 0 0 2702 317 5877 305 20 0 1 0 379186010 2675904512 558037 33554432000 4194304 6004724 140737433075792 140737433062072 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 7 0 0
/proc/25855/statm: 653297 558037 167 442 0 652851 0
[pid=25861] ppid=25855 vsize=4327908 CPUtime=1264.44 cores=0,2,4,6
/proc/25861/stat : 25861 (glucosInc) R 25855 25854 22322 0 -1 4202496 807918 0 0 0 126161 283 0 0 20 0 1 0 379195774 4431777792 907107 33554432000 4194304 5654031 140735291583952 140735291582024 4214597 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25861/statm: 1081977 907107 145 357 0 1081617 0
Current children cumulated CPU time (s) 1356.45
Current children cumulated vsize (KiB) 6950244
[startup+1422.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 25940
/proc/meminfo: memFree=23887700/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=2613188 CPUtime=92.01 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) S 25854 25854 22322 0 -1 4202496 98401 26452 0 0 2702 317 5877 305 20 0 1 0 379186010 2675904512 558037 33554432000 4194304 6004724 140737433075792 140737433062072 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 7 0 0
/proc/25855/statm: 653297 558037 167 442 0 652851 0
[pid=25861] ppid=25855 vsize=4328176 CPUtime=1324.43 cores=0,2,4,6
/proc/25861/stat : 25861 (glucosInc) R 25855 25854 22322 0 -1 4202496 824543 0 0 0 132151 292 0 0 20 0 1 0 379195774 4432052224 907183 33554432000 4194304 5654031 140735291583952 140735291582024 4232625 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25861/statm: 1082044 907183 145 357 0 1081684 0
Current children cumulated CPU time (s) 1416.44
Current children cumulated vsize (KiB) 6950512
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 25940
/proc/meminfo: memFree=23878760/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=2613188 CPUtime=92.01 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) S 25854 25854 22322 0 -1 4202496 98401 26452 0 0 2702 317 5877 305 20 0 1 0 379186010 2675904512 558037 33554432000 4194304 6004724 140737433075792 140737433062072 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 7 0 0
/proc/25855/statm: 653297 558037 167 442 0 652851 0
[pid=25861] ppid=25855 vsize=4328780 CPUtime=1384.42 cores=0,2,4,6
/proc/25861/stat : 25861 (glucosInc) R 25855 25854 22322 0 -1 4202496 845457 0 0 0 138142 300 0 0 20 0 1 0 379195774 4432670720 907396 33554432000 4194304 5654031 140735291583952 140735291582024 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25861/statm: 1082195 907396 145 357 0 1081835 0
Current children cumulated CPU time (s) 1476.43
Current children cumulated vsize (KiB) 6951116
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25941
/proc/meminfo: memFree=23878036/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=2613188 CPUtime=92.01 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) S 25854 25854 22322 0 -1 4202496 98401 26452 0 0 2702 317 5877 305 20 0 1 0 379186010 2675904512 558037 33554432000 4194304 6004724 140737433075792 140737433062072 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 7 0 0
/proc/25855/statm: 653297 558037 167 442 0 652851 0
[pid=25861] ppid=25855 vsize=4329472 CPUtime=1444.41 cores=0,2,4,6
/proc/25861/stat : 25861 (glucosInc) R 25855 25854 22322 0 -1 4202496 862212 0 0 0 144132 309 0 0 20 0 1 0 379195774 4433379328 907600 33554432000 4194304 5654031 140735291583952 140735291582024 4232595 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25861/statm: 1082368 907600 145 357 0 1082008 0
Current children cumulated CPU time (s) 1536.42
Current children cumulated vsize (KiB) 6951808
[startup+1602.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 25944
/proc/meminfo: memFree=23877420/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=2613188 CPUtime=92.01 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) S 25854 25854 22322 0 -1 4202496 98401 26452 0 0 2702 317 5877 305 20 0 1 0 379186010 2675904512 558037 33554432000 4194304 6004724 140737433075792 140737433062072 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 7 0 0
/proc/25855/statm: 653297 558037 167 442 0 652851 0
[pid=25861] ppid=25855 vsize=4329848 CPUtime=1504.41 cores=0,2,4,6
/proc/25861/stat : 25861 (glucosInc) R 25855 25854 22322 0 -1 4202496 878817 0 0 0 150126 315 0 0 20 0 1 0 379195774 4433764352 907677 33554432000 4194304 5654031 140735291583952 140735291582024 4232625 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25861/statm: 1082462 907677 145 357 0 1082102 0
Current children cumulated CPU time (s) 1596.42
Current children cumulated vsize (KiB) 6952184
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 25944
/proc/meminfo: memFree=23877360/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=2613188 CPUtime=92.01 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) S 25854 25854 22322 0 -1 4202496 98401 26452 0 0 2702 317 5877 305 20 0 1 0 379186010 2675904512 558037 33554432000 4194304 6004724 140737433075792 140737433062072 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 7 0 0
/proc/25855/statm: 653297 558037 167 442 0 652851 0
[pid=25861] ppid=25855 vsize=4330112 CPUtime=1564.4 cores=0,2,4,6
/proc/25861/stat : 25861 (glucosInc) R 25855 25854 22322 0 -1 4202496 899596 0 0 0 156115 325 0 0 20 0 1 0 379195774 4434034688 907750 33554432000 4194304 5654031 140735291583952 140735291582024 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25861/statm: 1082528 907750 145 357 0 1082168 0
Current children cumulated CPU time (s) 1656.41
Current children cumulated vsize (KiB) 6952448
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25944
/proc/meminfo: memFree=23876328/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=2613188 CPUtime=92.01 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) S 25854 25854 22322 0 -1 4202496 98401 26452 0 0 2702 317 5877 305 20 0 1 0 379186010 2675904512 558037 33554432000 4194304 6004724 140737433075792 140737433062072 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 7 0 0
/proc/25855/statm: 653297 558037 167 442 0 652851 0
[pid=25861] ppid=25855 vsize=4330716 CPUtime=1624.39 cores=0,2,4,6
/proc/25861/stat : 25861 (glucosInc) R 25855 25854 22322 0 -1 4202496 916380 0 0 0 162107 332 0 0 20 0 1 0 379195774 4434653184 907966 33554432000 4194304 5654031 140735291583952 140735291582024 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25861/statm: 1082679 907966 145 357 0 1082319 0
Current children cumulated CPU time (s) 1716.4
Current children cumulated vsize (KiB) 6953052
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25944
/proc/meminfo: memFree=23876004/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=2613188 CPUtime=92.01 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) S 25854 25854 22322 0 -1 4202496 98401 26452 0 0 2702 317 5877 305 20 0 1 0 379186010 2675904512 558037 33554432000 4194304 6004724 140737433075792 140737433062072 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 7 0 0
/proc/25855/statm: 653297 558037 167 442 0 652851 0
[pid=25861] ppid=25855 vsize=4331124 CPUtime=1684.37 cores=0,2,4,6
/proc/25861/stat : 25861 (glucosInc) R 25855 25854 22322 0 -1 4202496 933038 0 0 0 168098 339 0 0 20 0 1 0 379195774 4435070976 908068 33554432000 4194304 5654031 140735291583952 140735291582024 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25861/statm: 1082781 908068 145 357 0 1082421 0
Current children cumulated CPU time (s) 1776.38
Current children cumulated vsize (KiB) 6953460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25944
/proc/meminfo: memFree=23876028/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=2613188 CPUtime=92.01 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) S 25854 25854 22322 0 -1 4202496 98401 26452 0 0 2702 317 5877 305 20 0 1 0 379186010 2675904512 558037 33554432000 4194304 6004724 140737433075792 140737433062072 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 7 0 0
/proc/25855/statm: 653297 558037 167 442 0 652851 0
[pid=25861] ppid=25855 vsize=4331124 CPUtime=1708.07 cores=0,2,4,6
/proc/25861/stat : 25861 (glucosInc) R 25855 25854 22322 0 -1 4202496 941304 0 0 0 170466 341 0 0 20 0 1 0 379195774 4435070976 908069 33554432000 4194304 5654031 140735291583952 140735291582024 4214612 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25861/statm: 1082781 908069 145 357 0 1082421 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 6953460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1806 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25944
/proc/meminfo: memFree=23876028/32873844 swapFree=7380/7380
[pid=25854] ppid=25852 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25854/stat : 25854 (npSolver-pbo-It) S 25852 25854 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379186009 9367552 275 33554432000 4194304 5064252 140737396065920 140737396064832 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25854/statm: 2287 275 233 213 0 72 0
[pid=25855] ppid=25854 vsize=2613188 CPUtime=92.01 cores=0,2,4,6
/proc/25855/stat : 25855 (npSolver-pbo) S 25854 25854 22322 0 -1 4202496 98401 26452 0 0 2702 317 5877 305 20 0 1 0 379186010 2675904512 558037 33554432000 4194304 6004724 140737433075792 140737433062072 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 7 0 0
/proc/25855/statm: 653297 558037 167 442 0 652851 0
[pid=25861] ppid=25855 vsize=4331124 CPUtime=1708.07 cores=0,2,4,6
/proc/25861/stat : 25861 (glucosInc) R 25855 25854 22322 0 -1 4202496 941304 0 0 0 170466 341 0 0 20 0 1 0 379195774 4435070976 908069 33554432000 4194304 5654031 140735291583952 140735291582024 4214612 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25861/statm: 1082781 908069 145 357 0 1082421 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 6953460
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25854 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.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1806.02
CPU time (s): 1800.08
CPU user time (s): 1790.45
CPU system time (s): 9.63
CPU usage (%): 99.6713
Max. virtual memory (cumulated for all children) (KiB): 7015748
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= 357
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.9414 second user time and 10.0955 second system time
The end