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-3703314-1338082340/watcher-3703314-1338082340 -o /tmp/evaluation-result-3703314-1338082340/solver-3703314-1338082340 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703314-1338082340.opb 1814884543 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 25037
/proc/meminfo: memFree=31759292/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[startup+0.0389289 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 25037
/proc/meminfo: memFree=31759292/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10027 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 25037
/proc/meminfo: memFree=31759292/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300283 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 25037
/proc/meminfo: memFree=31759292/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700324 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 25037
/proc/meminfo: memFree=31759292/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50048 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 25041
/proc/meminfo: memFree=31559688/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=50164 CPUtime=0.62 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 7112 0 0 0 57 5 0 0 20 0 1 0 274301045 51367936 9177 33554432000 4194304 5992684 140737300747008 140737300741456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/25038/statm: 12541 9177 171 440 0 12097 0
[pid=25040] ppid=25038 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25040/stat : 25040 (cp2_pre.sh) S 25038 25037 8327 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 274301110 9367552 277 33554432000 4194304 5064252 140733243404960 140733243403664 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25040/statm: 2287 277 234 213 0 72 0
[pid=25041] ppid=25040 vsize=201940 CPUtime=0.84 cores=1,3,5,7
/proc/25041/stat : 25041 (coprocessor) R 25040 25037 8327 0 -1 4202496 29412 0 0 0 78 6 0 0 20 0 1 0 274301110 206786560 44788 33554432000 4194304 6586260 140734672629264 140734672625592 5511711 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/25041/statm: 50485 44789 166 584 0 49897 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 270400
[startup+3.10051 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 25041
/proc/meminfo: memFree=31496680/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=50164 CPUtime=0.62 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 7112 0 0 0 57 5 0 0 20 0 1 0 274301045 51367936 9177 33554432000 4194304 5992684 140737300747008 140737300741456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/25038/statm: 12541 9177 171 440 0 12097 0
[pid=25040] ppid=25038 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25040/stat : 25040 (cp2_pre.sh) S 25038 25037 8327 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 274301110 9367552 277 33554432000 4194304 5064252 140733243404960 140733243403664 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25040/statm: 2287 277 234 213 0 72 0
[pid=25041] ppid=25040 vsize=254316 CPUtime=2.44 cores=1,3,5,7
/proc/25041/stat : 25041 (coprocessor) R 25040 25037 8327 0 -1 4202496 38610 0 0 0 235 9 0 0 20 0 1 0 274301110 260419584 61651 33554432000 4194304 6586260 140734672629264 140734672624520 4676827 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/25041/statm: 63579 61651 191 584 0 62991 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 322776
[startup+6.30046 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 25043
/proc/meminfo: memFree=31565908/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=50164 CPUtime=4.52 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 7127 41477 0 0 57 5 362 28 20 0 1 0 274301045 51367936 9179 33554432000 4194304 5992684 140737300747008 140737300733272 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 1 0 0
/proc/25038/statm: 12541 9179 173 440 0 12097 0
[pid=25043] ppid=25038 vsize=125112 CPUtime=1.73 cores=1,3,5,7
/proc/25043/stat : 25043 (glucosInc) R 25038 25037 8327 0 -1 4202496 22959 0 0 0 168 5 0 0 20 0 1 0 274301501 128114688 25463 33554432000 4194304 5654031 140734563090336 140734563088232 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25043/statm: 31278 25463 139 357 0 30918 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 184424
[startup+12.7002 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 25043
/proc/meminfo: memFree=31536832/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=62564 CPUtime=12.64 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 10577 65603 0 0 99 156 970 39 20 0 1 0 274301045 64065536 12303 33554432000 4194304 5992684 140737300747008 140737300740512 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 15641 12303 197 440 0 15197 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 71712
[startup+25.5005 s]
/proc/loadavg: 2.09 2.04 2.00 3/181 25046
/proc/meminfo: memFree=31554172/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=62564 CPUtime=12.67 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 10947 66117 0 0 99 156 970 42 20 0 1 0 274301045 64065536 12303 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 15641 12303 197 440 0 15197 0
[pid=25046] ppid=25038 vsize=131888 CPUtime=12.77 cores=1,3,5,7
/proc/25046/stat : 25046 (glucosInc) R 25038 25037 8327 0 -1 4202496 25906 0 0 0 1272 5 0 0 20 0 1 0 274302316 135053312 28796 33554432000 4194304 5654031 140736687644272 140736687632088 4232581 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25046/statm: 32972 28796 140 357 0 32612 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 203600
[startup+51.1005 s]
/proc/loadavg: 2.06 2.04 2.00 3/181 25046
/proc/meminfo: memFree=31509800/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=62564 CPUtime=12.67 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 10947 66117 0 0 99 156 970 42 20 0 1 0 274301045 64065536 12303 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 15641 12303 197 440 0 15197 0
[pid=25046] ppid=25038 vsize=132708 CPUtime=38.37 cores=1,3,5,7
/proc/25046/stat : 25046 (glucosInc) R 25038 25037 8327 0 -1 4202496 26236 0 0 0 3832 5 0 0 20 0 1 0 274302316 135892992 29627 33554432000 4194304 5654031 140736687644272 140736687632088 4232438 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25046/statm: 33177 29627 141 357 0 32817 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 204420
[startup+102.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 25048
/proc/meminfo: memFree=31546540/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=67.1 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 14348 93191 0 0 111 157 6389 53 20 0 1 0 274301045 68546560 13090 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13090 197 440 0 16291 0
[pid=25048] ppid=25038 vsize=132908 CPUtime=35.12 cores=1,3,5,7
/proc/25048/stat : 25048 (glucosInc) R 25038 25037 8327 0 -1 4202496 26178 0 0 0 3508 4 0 0 20 0 1 0 274307761 136097792 29905 33554432000 4194304 5654031 140734587128656 140734587116472 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25048/statm: 33227 29905 141 357 0 32867 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 208996
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 25048
/proc/meminfo: memFree=31505380/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=67.1 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 14348 93191 0 0 111 157 6389 53 20 0 1 0 274301045 68546560 13090 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13090 197 440 0 16291 0
[pid=25048] ppid=25038 vsize=134720 CPUtime=95.1 cores=1,3,5,7
/proc/25048/stat : 25048 (glucosInc) R 25038 25037 8327 0 -1 4202496 26642 0 0 0 9505 5 0 0 20 0 1 0 274307761 137953280 30875 33554432000 4194304 5654031 140734587128656 140734587126440 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25048/statm: 33680 30875 141 357 0 33320 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 210808
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 25048
/proc/meminfo: memFree=31538972/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=67.1 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 14348 93191 0 0 111 157 6389 53 20 0 1 0 274301045 68546560 13090 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13090 197 440 0 16291 0
[pid=25048] ppid=25038 vsize=136356 CPUtime=155.08 cores=1,3,5,7
/proc/25048/stat : 25048 (glucosInc) R 25038 25037 8327 0 -1 4202496 27036 0 0 0 15503 5 0 0 20 0 1 0 274307761 139628544 31780 33554432000 4194304 5654031 140734587128656 140734587116472 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25048/statm: 34089 31780 141 357 0 33729 0
Current children cumulated CPU time (s) 222.18
################
# More data... #
################
/proc/loadavg: 2.05 2.08 2.02 3/181 25120
/proc/meminfo: memFree=31553820/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=967.25 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 20759 152368 0 0 137 158 96352 78 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25116] ppid=25038 vsize=140300 CPUtime=394.71 cores=1,3,5,7
/proc/25116/stat : 25116 (glucosInc) R 25038 25037 8327 0 -1 4202496 29186 0 0 0 39461 10 0 0 20 0 1 0 274397794 143667200 32126 33554432000 4194304 5654031 140735373163392 140735373151208 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 35075 32126 142 357 0 34715 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 216388
[startup+1422.31 s]
/proc/loadavg: 2.05 2.08 2.02 3/181 25120
/proc/meminfo: memFree=31549008/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=967.25 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 20759 152368 0 0 137 158 96352 78 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25116] ppid=25038 vsize=141552 CPUtime=454.7 cores=1,3,5,7
/proc/25116/stat : 25116 (glucosInc) R 25038 25037 8327 0 -1 4202496 29452 0 0 0 45459 11 0 0 20 0 1 0 274397794 144949248 33412 33554432000 4194304 5654031 140735373163392 140735373161176 4232566 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 35388 33412 142 357 0 35028 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 217640
[startup+1482.3 s]
/proc/loadavg: 2.05 2.08 2.02 3/181 25120
/proc/meminfo: memFree=31514784/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=967.25 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 20759 152368 0 0 137 158 96352 78 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25116] ppid=25038 vsize=191664 CPUtime=514.69 cores=1,3,5,7
/proc/25116/stat : 25116 (glucosInc) R 25038 25037 8327 0 -1 4202496 29951 0 0 0 51457 12 0 0 20 0 1 0 274397794 196263936 42004 33554432000 4194304 5654031 140735373163392 140735373151208 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 47916 42004 142 357 0 47556 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 267752
[startup+1542.3 s]
/proc/loadavg: 2.05 2.07 2.02 3/181 25121
/proc/meminfo: memFree=31464908/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=967.25 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 20759 152368 0 0 137 158 96352 78 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25116] ppid=25038 vsize=172804 CPUtime=574.68 cores=1,3,5,7
/proc/25116/stat : 25116 (glucosInc) R 25038 25037 8327 0 -1 4202496 30572 0 0 0 57456 12 0 0 20 0 1 0 274397794 176951296 41246 33554432000 4194304 5654031 140735373163392 140735373151208 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 43201 41246 142 357 0 42841 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 248892
[startup+1602.3 s]
/proc/loadavg: 2.12 2.09 2.03 3/181 25121
/proc/meminfo: memFree=31476420/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=967.25 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 20759 152368 0 0 137 158 96352 78 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25116] ppid=25038 vsize=222124 CPUtime=634.67 cores=1,3,5,7
/proc/25116/stat : 25116 (glucosInc) R 25038 25037 8327 0 -1 4202496 31297 0 0 0 63454 13 0 0 20 0 1 0 274397794 227454976 49623 33554432000 4194304 5654031 140735373163392 140735373161320 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 55531 49623 142 357 0 55171 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 298212
[startup+1662.3 s]
/proc/loadavg: 2.08 2.08 2.03 3/182 25124
/proc/meminfo: memFree=31481840/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=967.25 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 20759 152368 0 0 137 158 96352 78 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25116] ppid=25038 vsize=222124 CPUtime=694.66 cores=1,3,5,7
/proc/25116/stat : 25116 (glucosInc) R 25038 25037 8327 0 -1 4202496 31299 0 0 0 69453 13 0 0 20 0 1 0 274397794 227454976 50136 33554432000 4194304 5654031 140735373163392 140735373151208 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 55531 50136 142 357 0 55171 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 298212
[startup+1722.3 s]
/proc/loadavg: 2.10 2.08 2.03 3/182 25149
/proc/meminfo: memFree=31528940/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=1707.3 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 23731 184280 0 0 149 159 170326 96 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25126] ppid=25038 vsize=132064 CPUtime=14.59 cores=1,3,5,7
/proc/25126/stat : 25126 (glucosInc) R 25038 25037 8327 0 -1 4202496 26183 0 0 0 1454 5 0 0 20 0 1 0 274471814 135233536 28970 33554432000 4194304 5654031 140733239457248 140733239455032 4232581 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25126/statm: 33016 28970 140 357 0 32656 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 208152
[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 2.02 3/181 25149
/proc/meminfo: memFree=31494372/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=1707.3 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 23731 184280 0 0 149 159 170326 96 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25126] ppid=25038 vsize=133808 CPUtime=74.59 cores=1,3,5,7
/proc/25126/stat : 25126 (glucosInc) R 25038 25037 8327 0 -1 4202496 26616 0 0 0 7453 6 0 0 20 0 1 0 274471814 137019392 29914 33554432000 4194304 5654031 140733239457248 140733239455144 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25126/statm: 33452 29914 141 357 0 33092 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 209896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.17 2.09 2.03 3/180 25149
/proc/meminfo: memFree=31518320/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=1707.3 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 23731 184280 0 0 149 159 170326 96 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25126] ppid=25038 vsize=134204 CPUtime=92.78 cores=1,3,5,7
/proc/25126/stat : 25126 (glucosInc) R 25038 25037 8327 0 -1 4202496 26760 0 0 0 9272 6 0 0 20 0 1 0 274471814 137424896 30558 33554432000 4194304 5654031 140733239457248 140733239445064 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25126/statm: 33551 30558 141 357 0 33191 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 210292
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.17 2.09 2.03 3/180 25149
/proc/meminfo: memFree=31518320/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=1707.3 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 23731 184280 0 0 149 159 170326 96 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25126] ppid=25038 vsize=134204 CPUtime=92.78 cores=1,3,5,7
/proc/25126/stat : 25126 (glucosInc) R 25038 25037 8327 0 -1 4202496 26760 0 0 0 9272 6 0 0 20 0 1 0 274471814 137424896 30558 33554432000 4194304 5654031 140733239457248 140733239445064 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25126/statm: 33551 30558 141 357 0 33191 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 210292
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25037 and gives
# childrusage.ru_utime.tv_sec=1704
# childrusage.ru_utime.tv_usec=767835
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=561610
# CPU time returned by wait4() is 1707.33
# 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): 1800.52
CPU time (s): 1800.08
CPU user time (s): 1797.47
CPU system time (s): 2.61
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 336672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1704.77
system time used= 2.56161
maximum resident set size= 266704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208385
page faults= 0
swaps= 0
block input operations= 8
block output operations= 362424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3526
involuntary context switches= 1793
runsolver used 6.12607 second user time and 20.002 second system time
The end