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-3698055-1338061966/watcher-3698055-1338061966 -o /tmp/evaluation-result-3698055-1338061966/solver-3698055-1338061966 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698055-1338061966.opb 1432315772 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.00 2.00 2.00 3/180 5349
/proc/meminfo: memFree=27950684/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[startup+0.0252061 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5349
/proc/meminfo: memFree=27950684/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100276 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5349
/proc/meminfo: memFree=27950684/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5349
/proc/meminfo: memFree=27950684/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70018 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5349
/proc/meminfo: memFree=27950684/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5362
/proc/meminfo: memFree=27928020/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=0.65 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 4506 12349 0 0 28 7 27 3 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5362] ppid=5350 vsize=19296 CPUtime=0.82 cores=1,3,5,7
/proc/5362/stat : 5362 (glucosInc) R 5350 5349 4265 0 -1 4202496 3853 0 0 0 82 0 0 0 20 0 1 0 272322092 19759104 4065 33554432000 4194304 5654031 140736553382912 140736553370728 4214616 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5362/statm: 4824 4065 140 357 0 4464 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 35972
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5364
/proc/meminfo: memFree=27928516/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=1.59 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 5840 16736 0 0 35 7 113 4 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5364] ppid=5350 vsize=19424 CPUtime=1.47 cores=1,3,5,7
/proc/5364/stat : 5364 (glucosInc) R 5350 5349 4265 0 -1 4202496 3720 0 0 0 147 0 0 0 20 0 1 0 272322187 19890176 3949 33554432000 4194304 5654031 140734271005152 140734270992968 4233204 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5364/statm: 4856 3949 140 357 0 4496 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 36100
[startup+6.30039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5366
/proc/meminfo: memFree=27926468/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=3.61 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 7174 21005 0 0 41 7 308 5 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5366] ppid=5350 vsize=19656 CPUtime=2.56 cores=1,3,5,7
/proc/5366/stat : 5366 (glucosInc) R 5350 5349 4265 0 -1 4202496 3442 0 0 0 255 1 0 0 20 0 1 0 272322398 20127744 4342 33554432000 4194304 5654031 140734789926224 140734789914040 4208584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5366/statm: 4914 4342 141 357 0 4554 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 36332
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5370
/proc/meminfo: memFree=27926968/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=11.16 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 9842 32256 0 0 55 8 1045 8 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5370] ppid=5350 vsize=19420 CPUtime=1.4 cores=1,3,5,7
/proc/5370/stat : 5370 (glucosInc) R 5350 5349 4265 0 -1 4202496 3905 0 0 0 140 0 0 0 20 0 1 0 272323154 19886080 4100 33554432000 4194304 5654031 140734598874384 140734598862200 4232611 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5370/statm: 4855 4100 140 357 0 4495 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 36096
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5374
/proc/meminfo: memFree=27928324/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=22.02 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 12510 44520 0 0 68 9 2114 11 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5374] ppid=5350 vsize=19868 CPUtime=3.32 cores=1,3,5,7
/proc/5374/stat : 5374 (glucosInc) R 5350 5349 4265 0 -1 4202496 4702 0 0 0 331 1 0 0 20 0 1 0 272324241 20344832 4032 33554432000 4194304 5654031 140736481779680 140736481767496 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5374/statm: 4967 4032 142 357 0 4607 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 36544
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5376
/proc/meminfo: memFree=27911924/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=36.73 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 13844 52433 0 0 74 9 3576 14 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5376] ppid=5350 vsize=34252 CPUtime=14.2 cores=1,3,5,7
/proc/5376/stat : 5376 (glucosInc) R 5350 5349 4265 0 -1 4202496 7318 0 0 0 1418 2 0 0 20 0 1 0 272325715 35074048 8014 33554432000 4194304 5654031 140736546485264 140736546473080 4216690 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5376/statm: 8563 8014 142 357 0 8203 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 50928
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5379
/proc/meminfo: memFree=27942928/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=80.26 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 15178 61865 0 0 81 10 7918 17 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5379] ppid=5350 vsize=45776 CPUtime=21.85 cores=1,3,5,7
/proc/5379/stat : 5379 (glucosInc) R 5350 5349 4265 0 -1 4202496 7670 0 0 0 2183 2 0 0 20 0 1 0 272330068 46874624 10354 33554432000 4194304 5654031 140736380508752 140736380496568 4216690 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5379/statm: 11444 10354 142 357 0 11084 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 62452
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 5379
/proc/meminfo: memFree=27911216/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=80.26 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 15178 61865 0 0 81 10 7918 17 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5379] ppid=5350 vsize=51432 CPUtime=81.84 cores=1,3,5,7
/proc/5379/stat : 5379 (glucosInc) R 5350 5349 4265 0 -1 4202496 8943 0 0 0 8181 3 0 0 20 0 1 0 272330068 52666368 12310 33554432000 4194304 5654031 140736380508752 140736380496568 4214603 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5379/statm: 12858 12310 142 357 0 12498 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 68108
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 5379
/proc/meminfo: memFree=27879372/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=80.26 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 15178 61865 0 0 81 10 7918 17 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5379] ppid=5350 vsize=94708 CPUtime=141.83 cores=1,3,5,7
/proc/5379/stat : 5379 (glucosInc) R 5350 5349 4265 0 -1 4202496 10048 0 0 0 14179 4 0 0 20 0 1 0 272330068 96980992 16824 33554432000 4194304 5654031 140736380508752 140736380496568 4232862 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5379/statm: 23677 16824 142 357 0 23317 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 111384
[startup+282.3 s]
################
# More data... #
################
/proc/5408/statm: 23726 23205 142 357 0 23366 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 111580
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 5414
/proc/meminfo: memFree=27709208/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=541.96 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 16512 72666 0 0 87 11 54075 23 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5408] ppid=5350 vsize=94904 CPUtime=699.93 cores=1,3,5,7
/proc/5408/stat : 5408 (glucosInc) R 5350 5349 4265 0 -1 4202496 16528 0 0 0 69980 13 0 0 20 0 1 0 272376248 97181696 23205 33554432000 4194304 5654031 140733317320976 140733317308792 4232434 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5408/statm: 23726 23205 142 357 0 23366 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 111580
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5415
/proc/meminfo: memFree=27686900/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=541.96 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 16512 72666 0 0 87 11 54075 23 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5408] ppid=5350 vsize=94904 CPUtime=759.93 cores=1,3,5,7
/proc/5408/stat : 5408 (glucosInc) R 5350 5349 4265 0 -1 4202496 17271 0 0 0 75978 15 0 0 20 0 1 0 272376248 97181696 23205 33554432000 4194304 5654031 140733317320976 140733317319000 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5408/statm: 23726 23205 142 357 0 23366 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 111580
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5415
/proc/meminfo: memFree=27671448/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=541.96 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 16512 72666 0 0 87 11 54075 23 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5408] ppid=5350 vsize=144224 CPUtime=819.92 cores=1,3,5,7
/proc/5408/stat : 5408 (glucosInc) R 5350 5349 4265 0 -1 4202496 18012 0 0 0 81975 17 0 0 20 0 1 0 272376248 147685376 32261 33554432000 4194304 5654031 140733317320976 140733317308792 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5408/statm: 36056 32261 142 357 0 35696 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 160900
Solver just ended. Dumping a history of the last processes samples
[startup+1369.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5415
/proc/meminfo: memFree=27659472/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=541.96 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 16512 72666 0 0 87 11 54075 23 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5408] ppid=5350 vsize=144224 CPUtime=827.13 cores=1,3,5,7
/proc/5408/stat : 5408 (glucosInc) R 5350 5349 4265 0 -1 4202496 18015 0 0 0 82696 17 0 0 20 0 1 0 272376248 147685376 33797 33554432000 4194304 5654031 140733317320976 140733317308792 4233201 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5408/statm: 36056 33797 142 357 0 35696 0
Current children cumulated CPU time (s) 1369.09
Current children cumulated vsize (KiB) 160900
[startup+1375.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5415
/proc/meminfo: memFree=27695032/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=541.96 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 16512 72666 0 0 87 11 54075 23 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5408] ppid=5350 vsize=94904 CPUtime=833.52 cores=1,3,5,7
/proc/5408/stat : 5408 (glucosInc) R 5350 5349 4265 0 -1 4202496 18015 0 0 0 83335 17 0 0 20 0 1 0 272376248 97181696 23205 33554432000 4194304 5654031 140733317320976 140733317319000 4232859 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5408/statm: 23726 23205 142 357 0 23366 0
Current children cumulated CPU time (s) 1375.48
Current children cumulated vsize (KiB) 111580
[startup+1382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5417
/proc/meminfo: memFree=27765352/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=1380.42 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 17846 91213 0 0 94 11 137896 41 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5417] ppid=5350 vsize=19408 CPUtime=1.45 cores=1,3,5,7
/proc/5417/stat : 5417 (glucosInc) R 5350 5349 4265 0 -1 4202496 3962 0 0 0 144 1 0 0 20 0 1 0 272460109 19873792 4145 33554432000 4194304 5654031 140734182096672 140734182084488 4232438 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5417/statm: 4852 4145 140 357 0 4492 0
Current children cumulated CPU time (s) 1381.87
Current children cumulated vsize (KiB) 36084
[startup+1383.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5417
/proc/meminfo: memFree=27763056/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=1380.42 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 17846 91213 0 0 94 11 137896 41 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5417] ppid=5350 vsize=18184 CPUtime=3.05 cores=1,3,5,7
/proc/5417/stat : 5417 (glucosInc) R 5350 5349 4265 0 -1 4202496 4138 0 0 0 304 1 0 0 20 0 1 0 272460109 18620416 3902 33554432000 4194304 5654031 140734182096672 140734182084488 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5417/statm: 4546 3902 142 357 0 4186 0
Current children cumulated CPU time (s) 1383.47
Current children cumulated vsize (KiB) 34860
[startup+1384.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5417
/proc/meminfo: memFree=27763056/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=1380.42 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 17846 91213 0 0 94 11 137896 41 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5417] ppid=5350 vsize=19992 CPUtime=3.85 cores=1,3,5,7
/proc/5417/stat : 5417 (glucosInc) R 5350 5349 4265 0 -1 4202496 4406 0 0 0 384 1 0 0 20 0 1 0 272460109 20471808 4164 33554432000 4194304 5654031 140734182096672 140734182084488 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5417/statm: 4998 4164 142 357 0 4638 0
Current children cumulated CPU time (s) 1384.27
Current children cumulated vsize (KiB) 36668
[startup+1385.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5417
/proc/meminfo: memFree=27763552/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=1380.42 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 17846 91213 0 0 94 11 137896 41 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5417] ppid=5350 vsize=18416 CPUtime=4.65 cores=1,3,5,7
/proc/5417/stat : 5417 (glucosInc) R 5350 5349 4265 0 -1 4202496 5313 0 0 0 464 1 0 0 20 0 1 0 272460109 18857984 4092 33554432000 4194304 5654031 140734182096672 140734182084488 4232518 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5417/statm: 4604 4092 142 357 0 4244 0
Current children cumulated CPU time (s) 1385.07
Current children cumulated vsize (KiB) 35092
[startup+1385.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5417
/proc/meminfo: memFree=27758712/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=1380.42 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 17846 91213 0 0 94 11 137896 41 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5417] ppid=5350 vsize=22808 CPUtime=5.05 cores=1,3,5,7
/proc/5417/stat : 5417 (glucosInc) R 5350 5349 4265 0 -1 4202496 5568 0 0 0 504 1 0 0 20 0 1 0 272460109 23355392 4852 33554432000 4194304 5654031 140734182096672 140734182084488 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5417/statm: 5702 4852 142 357 0 5342 0
Current children cumulated CPU time (s) 1385.47
Current children cumulated vsize (KiB) 39484
[startup+1386.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5417
/proc/meminfo: memFree=27758712/32873844 swapFree=7124/7124
[pid=5349] ppid=5347 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5349/stat : 5349 (npSolver-pbo-It) S 5347 5349 4265 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272322026 9367552 275 33554432000 4194304 5064252 140735731677584 140735731676496 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5349/statm: 2287 275 233 213 0 72 0
[pid=5350] ppid=5349 vsize=7528 CPUtime=1380.42 cores=1,3,5,7
/proc/5350/stat : 5350 (npSolver-pbo) S 5349 5349 4265 0 -1 4202496 17846 91213 0 0 94 11 137896 41 20 0 1 0 272322026 7708672 1330 33554432000 4194304 5992684 140735448345008 140735448330840 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5350/statm: 1882 1330 179 440 0 1438 0
[pid=5417] ppid=5350 vsize=22808 CPUtime=5.15 cores=1,3,5,7
/proc/5417/stat : 5417 (glucosInc) R 5350 5349 4265 0 -1 4202496 5583 0 0 0 514 1 0 0 20 0 1 0 272460109 23355392 4866 33554432000 4194304 5654031 140734182096672 140734182084488 4233213 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5417/statm: 5702 4866 142 357 0 5342 0
Current children cumulated CPU time (s) 1385.57
Current children cumulated vsize (KiB) 39484
Child status: 0
Real time (s): 1386.08
CPU time (s): 1385.63
CPU user time (s): 1385.08
CPU system time (s): 0.549916
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 160900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1385.08
system time used= 0.549916
maximum resident set size= 135188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115484
page faults= 0
swaps= 0
block input operations= 0
block output operations= 46952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1048
involuntary context switches= 1797
runsolver used 3.2845 second user time and 6.98894 second system time
The end