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-3698552-1338075115/watcher-3698552-1338075115 -o /tmp/evaluation-result-3698552-1338075115/solver-3698552-1338075115 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698552-1338075115.opb 1732706159 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.04 2.01 2.09 3/180 13446
/proc/meminfo: memFree=28290660/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[startup+0.058764 s]
/proc/loadavg: 2.04 2.01 2.09 3/180 13446
/proc/meminfo: memFree=28290660/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.266257 s]
/proc/loadavg: 2.04 2.01 2.09 3/180 13446
/proc/meminfo: memFree=28290660/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300333 s]
/proc/loadavg: 2.04 2.01 2.09 3/180 13446
/proc/meminfo: memFree=28290660/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700304 s]
/proc/loadavg: 2.04 2.01 2.09 3/180 13446
/proc/meminfo: memFree=28290660/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.04 2.01 2.09 3/183 13455
/proc/meminfo: memFree=28269404/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=1.07 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 4997 16503 0 0 15 14 66 12 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13455] ppid=13447 vsize=30136 CPUtime=0.39 cores=1,3,5,7
/proc/13455/stat : 13455 (glucosInc) R 13447 13446 9054 0 -1 4202496 6116 0 0 0 38 1 0 0 20 0 1 0 273636444 30859264 6342 33554432000 4194304 5654031 140734527413088 140734527410872 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13455/statm: 7534 6342 131 357 0 7174 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 54628
[startup+3.10041 s]
/proc/loadavg: 2.04 2.01 2.09 3/183 13455
/proc/meminfo: memFree=28245780/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=1.07 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 4997 16503 0 0 15 14 66 12 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13455] ppid=13447 vsize=30400 CPUtime=1.99 cores=1,3,5,7
/proc/13455/stat : 13455 (glucosInc) R 13447 13446 9054 0 -1 4202496 6257 0 0 0 198 1 0 0 20 0 1 0 273636444 31129600 6481 33554432000 4194304 5654031 140734527413088 140734527410872 4232675 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13455/statm: 7600 6481 131 357 0 7240 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 54892
[startup+6.3004 s]
/proc/loadavg: 2.04 2.01 2.09 3/183 13457
/proc/meminfo: memFree=28249252/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=4.02 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 6502 23496 0 0 19 14 354 15 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13457] ppid=13447 vsize=29260 CPUtime=2.24 cores=1,3,5,7
/proc/13457/stat : 13457 (glucosInc) R 13447 13446 9054 0 -1 4202496 5516 0 0 0 223 1 0 0 20 0 1 0 273636739 29962240 5783 33554432000 4194304 5654031 140737255290656 140737255278472 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13457/statm: 7315 5783 140 357 0 6955 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 53752
[startup+12.7004 s]
/proc/loadavg: 2.04 2.01 2.09 3/183 13461
/proc/meminfo: memFree=28247408/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=10.99 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 9378 36033 0 0 27 15 1039 18 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13461] ppid=13447 vsize=29256 CPUtime=1.66 cores=1,3,5,7
/proc/13461/stat : 13461 (glucosInc) R 13447 13446 9054 0 -1 4202496 5727 0 0 0 166 0 0 0 20 0 1 0 273637437 29958144 5929 33554432000 4194304 5654031 140733307051936 140733307049720 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13461/statm: 7314 5929 131 357 0 6954 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 53748
[startup+25.5004 s]
/proc/loadavg: 2.03 2.01 2.09 3/183 13520
/proc/meminfo: memFree=29881340/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=12.97 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 10816 42413 0 0 30 15 1232 20 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13463] ppid=13447 vsize=37864 CPUtime=12.47 cores=1,3,5,7
/proc/13463/stat : 13463 (glucosInc) R 13447 13446 9054 0 -1 4202496 7734 0 0 0 1246 1 0 0 20 0 1 0 273637635 38772736 8033 33554432000 4194304 5654031 140736680164256 140736680152072 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13463/statm: 9466 8033 142 357 0 9106 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 62356
[startup+51.1005 s]
/proc/loadavg: 2.02 2.01 2.09 3/183 13526
/proc/meminfo: memFree=29867572/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=33.85 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 13692 58174 0 0 38 16 3306 25 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13526] ppid=13447 vsize=37860 CPUtime=17.19 cores=1,3,5,7
/proc/13526/stat : 13526 (glucosInc) R 13447 13446 9054 0 -1 4202496 8188 0 0 0 1716 3 0 0 20 0 1 0 273639724 38768640 8215 33554432000 4194304 5654031 140733262475968 140733262463784 4233173 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13526/statm: 9465 8215 142 357 0 9105 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 62352
[startup+102.3 s]
/proc/loadavg: 2.01 2.00 2.08 3/183 13528
/proc/meminfo: memFree=29822264/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=65.62 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 15130 67574 0 0 42 16 6475 29 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13528] ppid=13447 vsize=53644 CPUtime=36.6 cores=1,3,5,7
/proc/13528/stat : 13528 (glucosInc) R 13447 13446 9054 0 -1 4202496 9110 0 0 0 3658 2 0 0 20 0 1 0 273642903 54931456 12172 33554432000 4194304 5654031 140733552381232 140733552369048 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13528/statm: 13411 12172 142 357 0 13051 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 78136
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/183 13528
/proc/meminfo: memFree=29794020/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=65.62 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 15130 67574 0 0 42 16 6475 29 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13528] ppid=13447 vsize=68200 CPUtime=96.58 cores=1,3,5,7
/proc/13528/stat : 13528 (glucosInc) R 13447 13446 9054 0 -1 4202496 10967 0 0 0 9654 4 0 0 20 0 1 0 273642903 69836800 16016 33554432000 4194304 5654031 140733552381232 140733552379032 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13528/statm: 17050 16016 142 357 0 16690 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 92692
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.07 3/184 13529
/proc/meminfo: memFree=29740824/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=65.62 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 15130 67574 0 0 42 16 6475 29 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13528] ppid=13447 vsize=91472 CPUtime=156.58 cores=1,3,5,7
/proc/13528/stat : 13528 (glucosInc) R 13447 13446 9054 0 -1 4202496 11575 0 0 0 15653 5 0 0 20 0 1 0 273642903 93667328 21222 33554432000 4194304 5654031 140733552381232 140733552369048 4232794 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13528/statm: 22868 21222 142 357 0 22508 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 115964
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29540120/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=65.62 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 15130 67574 0 0 42 16 6475 29 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13528] ppid=13447 vsize=258892 CPUtime=1236.4 cores=1,3,5,7
/proc/13528/stat : 13528 (glucosInc) R 13447 13446 9054 0 -1 4202496 32121 0 0 0 123598 42 0 0 20 0 1 0 273642903 265105408 55801 33554432000 4194304 5654031 140733552381232 140733552369048 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13528/statm: 64723 55801 142 357 0 64363 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 283384
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13539
/proc/meminfo: memFree=29571692/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=65.62 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 15130 67574 0 0 42 16 6475 29 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13528] ppid=13447 vsize=178752 CPUtime=1296.38 cores=1,3,5,7
/proc/13528/stat : 13528 (glucosInc) R 13447 13446 9054 0 -1 4202496 33158 0 0 0 129594 44 0 0 20 0 1 0 273642903 183042048 39445 33554432000 4194304 5654031 140733552381232 140733552379256 4233213 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13528/statm: 44688 39445 142 357 0 44328 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 203244
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13541
/proc/meminfo: memFree=29675916/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=65.62 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 15130 67574 0 0 42 16 6475 29 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13528] ppid=13447 vsize=258892 CPUtime=1356.39 cores=1,3,5,7
/proc/13528/stat : 13528 (glucosInc) R 13447 13446 9054 0 -1 4202496 34189 0 0 0 135593 46 0 0 20 0 1 0 273642903 265105408 52729 33554432000 4194304 5654031 140733552381232 140733552379320 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13528/statm: 64723 52729 142 357 0 64363 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 283384
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13541
/proc/meminfo: memFree=29704344/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=65.62 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 15130 67574 0 0 42 16 6475 29 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13528] ppid=13447 vsize=178752 CPUtime=1416.37 cores=1,3,5,7
/proc/13528/stat : 13528 (glucosInc) R 13447 13446 9054 0 -1 4202496 34628 0 0 0 141590 47 0 0 20 0 1 0 273642903 183042048 39445 33554432000 4194304 5654031 140733552381232 140733552379256 4215040 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13528/statm: 44688 39445 142 357 0 44328 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 203244
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13542
/proc/meminfo: memFree=29625464/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=65.62 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 15130 67574 0 0 42 16 6475 29 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13528] ppid=13447 vsize=258892 CPUtime=1476.37 cores=1,3,5,7
/proc/13528/stat : 13528 (glucosInc) R 13447 13446 9054 0 -1 4202496 35657 0 0 0 147588 49 0 0 20 0 1 0 273642903 265105408 56825 33554432000 4194304 5654031 140733552381232 140733552379320 4232581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13528/statm: 64723 56825 142 357 0 64363 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 283384
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13542
/proc/meminfo: memFree=29614248/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=65.62 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 15130 67574 0 0 42 16 6475 29 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13528] ppid=13447 vsize=308980 CPUtime=1536.35 cores=1,3,5,7
/proc/13528/stat : 13528 (glucosInc) R 13447 13446 9054 0 -1 4202496 37000 0 0 0 153582 53 0 0 20 0 1 0 273642903 316395520 60198 33554432000 4194304 5654031 140733552381232 140733552379320 4218819 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13528/statm: 77245 60198 142 357 0 76885 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 333472
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13542
/proc/meminfo: memFree=29681384/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=65.62 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 15130 67574 0 0 42 16 6475 29 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13528] ppid=13447 vsize=178752 CPUtime=1596.33 cores=1,3,5,7
/proc/13528/stat : 13528 (glucosInc) R 13447 13446 9054 0 -1 4202496 37031 0 0 0 159579 54 0 0 20 0 1 0 273642903 183042048 39445 33554432000 4194304 5654031 140733552381232 140733552379256 4232767 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13528/statm: 44688 39445 142 357 0 44328 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 203244
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 13547
/proc/meminfo: memFree=29718700/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=65.62 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 15130 67574 0 0 42 16 6475 29 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13528] ppid=13447 vsize=178752 CPUtime=1656.32 cores=1,3,5,7
/proc/13528/stat : 13528 (glucosInc) R 13447 13446 9054 0 -1 4202496 38067 0 0 0 165576 56 0 0 20 0 1 0 273642903 183042048 39445 33554432000 4194304 5654031 140733552381232 140733552379256 4232703 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13528/statm: 44688 39445 142 357 0 44328 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 203244
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 13570
/proc/meminfo: memFree=29692032/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=65.62 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 15130 67574 0 0 42 16 6475 29 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13528] ppid=13447 vsize=178752 CPUtime=1716.31 cores=1,3,5,7
/proc/13528/stat : 13528 (glucosInc) R 13447 13446 9054 0 -1 4202496 39096 0 0 0 171573 58 0 0 20 0 1 0 273642903 183042048 39445 33554432000 4194304 5654031 140733552381232 140733552379256 4233204 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13528/statm: 44688 39445 142 357 0 44328 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 203244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 13570
/proc/meminfo: memFree=29660320/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=65.62 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 15130 67574 0 0 42 16 6475 29 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13528] ppid=13447 vsize=228072 CPUtime=1734.41 cores=1,3,5,7
/proc/13528/stat : 13528 (glucosInc) R 13447 13446 9054 0 -1 4202496 39528 0 0 0 173383 58 0 0 20 0 1 0 273642903 233545728 47542 33554432000 4194304 5654031 140733552381232 140733552379160 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13528/statm: 57018 47542 142 357 0 56658 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 252564
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 13570
/proc/meminfo: memFree=29660320/32873844 swapFree=7372/7372
[pid=13446] ppid=13444 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13446/stat : 13446 (npSolver-pbo-It) S 13444 13446 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273636334 9367552 275 33554432000 4194304 5064252 140736473628112 140736473627024 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13446/statm: 2287 275 233 213 0 72 0
[pid=13447] ppid=13446 vsize=15344 CPUtime=65.62 cores=1,3,5,7
/proc/13447/stat : 13447 (npSolver-pbo) S 13446 13446 9054 0 -1 4202496 15130 67574 0 0 42 16 6475 29 20 0 1 0 273636334 15712256 3198 33554432000 4194304 5992684 140734863267440 140734863253272 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13447/statm: 3836 3198 180 440 0 3392 0
[pid=13528] ppid=13447 vsize=228072 CPUtime=1734.41 cores=1,3,5,7
/proc/13528/stat : 13528 (glucosInc) R 13447 13446 9054 0 -1 4202496 39528 0 0 0 173383 58 0 0 20 0 1 0 273642903 233545728 47542 33554432000 4194304 5654031 140733552381232 140733552379160 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13528/statm: 57018 47542 142 357 0 56658 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 252564
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.01
CPU system time (s): 1.05584
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 333472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.05584
maximum resident set size= 279704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 54432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1348
involuntary context switches= 2014
runsolver used 2.80657 second user time and 8.65868 second system time
The end