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-3702524-1338136179/watcher-3702524-1338136179 -o /tmp/evaluation-result-3702524-1338136179/solver-3702524-1338136179 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702524-1338136179.opb 662022885 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.01 2.02 2.00 2/180 5505
/proc/meminfo: memFree=31294400/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[startup+0.0733411 s]
/proc/loadavg: 2.01 2.02 2.00 2/180 5505
/proc/meminfo: memFree=31294400/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100297 s]
/proc/loadavg: 2.01 2.02 2.00 2/180 5505
/proc/meminfo: memFree=31294400/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300153 s]
/proc/loadavg: 2.01 2.02 2.00 2/180 5505
/proc/meminfo: memFree=31294400/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700175 s]
/proc/loadavg: 2.01 2.02 2.00 2/180 5505
/proc/meminfo: memFree=31294400/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 2.01 2.02 2.00 3/184 5509
/proc/meminfo: memFree=31196520/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=18248 CPUtime=1.32 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) R 5505 5505 4091 0 -1 4202496 4431 17903 0 0 19 22 79 12 20 0 1 0 279743262 18685952 3611 33554432000 4194304 5992684 140734345107616 140734345093880 5179696 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5506/statm: 4562 3611 181 440 0 4118 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 27396
[startup+3.10031 s]
/proc/loadavg: 2.01 2.02 2.00 3/185 5514
/proc/meminfo: memFree=31145344/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=55104 CPUtime=3.06 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) R 5505 5505 4091 0 -1 4202496 10675 47497 0 0 65 35 187 19 20 0 1 0 279743262 56426496 11216 33554432000 4194304 5992684 140734345107616 140734345100328 4523497 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5506/statm: 13776 11216 205 440 0 13332 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 64252
[startup+6.3003 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 5521
/proc/meminfo: memFree=31179144/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=26072 CPUtime=6.14 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 17550 80798 0 0 183 54 345 32 20 0 1 0 279743262 26697728 5624 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5506/statm: 6518 5624 206 440 0 6074 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 35220
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 5523
/proc/meminfo: memFree=31073540/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=26072 CPUtime=6.14 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 17550 80798 0 0 183 54 345 32 20 0 1 0 279743262 26697728 5624 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5506/statm: 6518 5624 206 440 0 6074 0
[pid=5523] ppid=5506 vsize=176656 CPUtime=6.53 cores=0,2,4,6
/proc/5523/stat : 5523 (glucosInc) R 5506 5505 4091 0 -1 4202496 33381 0 0 0 646 7 0 0 20 0 1 0 279743879 180895744 37684 33554432000 4194304 5654031 140734585514400 140734585502216 4232431 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5523/statm: 44164 37684 140 357 0 43804 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 211876
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 5528
/proc/meminfo: memFree=31068332/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=25824 CPUtime=15.98 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 23989 114901 0 0 258 64 1234 42 20 0 1 0 279743262 26443776 5562 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5506/statm: 6456 5562 206 440 0 6012 0
[pid=5525] ppid=5506 vsize=175828 CPUtime=9.49 cores=0,2,4,6
/proc/5525/stat : 5525 (glucosInc) R 5506 5505 4091 0 -1 4202496 31072 0 0 0 943 6 0 0 20 0 1 0 279744862 180047872 37726 33554432000 4194304 5654031 140734404622784 140734404610600 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5525/statm: 43957 37726 140 357 0 43597 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 210800
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 5532
/proc/meminfo: memFree=31093656/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=25352 CPUtime=47 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 36961 178177 0 0 396 83 4157 64 20 0 1 0 279743262 25960448 5444 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5506/statm: 6338 5444 206 440 0 5894 0
[pid=5532] ppid=5506 vsize=150084 CPUtime=4.09 cores=0,2,4,6
/proc/5532/stat : 5532 (glucosInc) R 5506 5505 4091 0 -1 4202496 28900 0 0 0 401 8 0 0 20 0 1 0 279747962 153686016 32553 33554432000 4194304 5654031 140736207345728 140736207333544 4232925 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5532/statm: 37521 32553 140 357 0 37161 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 184584
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 5538
/proc/meminfo: memFree=31125072/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=23768 CPUtime=99.61 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 52593 264711 0 0 569 106 9190 96 20 0 1 0 279743262 24338432 5048 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5506/statm: 5942 5048 206 440 0 5498 0
[pid=5538] ppid=5506 vsize=117448 CPUtime=2.67 cores=0,2,4,6
/proc/5538/stat : 5538 (glucosInc) R 5506 5505 4091 0 -1 4202496 22913 0 0 0 262 5 0 0 20 0 1 0 279753224 120266752 26041 33554432000 4194304 5654031 140736735730080 140736735727768 4232939 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5538/statm: 29362 26041 141 357 0 29002 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 150364
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5540
/proc/meminfo: memFree=31051284/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=56252 CPUtime=129.16 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 57569 288964 0 0 618 112 12082 104 20 0 1 0 279743262 57602048 13156 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5506/statm: 14063 13156 206 440 0 13619 0
[pid=5540] ppid=5506 vsize=149432 CPUtime=33.09 cores=0,2,4,6
/proc/5540/stat : 5540 (glucosInc) R 5506 5505 4091 0 -1 4202496 23769 0 0 0 3301 8 0 0 20 0 1 0 279756180 153018368 35083 33554432000 4194304 5654031 140736677276960 140736677264776 4232939 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5540/statm: 37358 35083 141 357 0 36998 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 214832
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 5544
/proc/meminfo: memFree=31129152/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=56252 CPUtime=203.18 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 62548 314068 0 0 663 116 19424 115 20 0 1 0 279743262 57602048 13156 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5506/statm: 14063 13156 206 440 0 13619 0
[pid=5544] ppid=5506 vsize=117232 CPUtime=19.03 cores=0,2,4,6
/proc/5544/stat : 5544 (glucosInc) R 5506 5505 4091 0 -1 4202496 23645 0 0 0 1898 5 0 0 20 0 1 0 279763587 120045568 25333 33554432000 4194304 5654031 140736045229728 140736045217544 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5544/statm: 29308 25333 141 357 0 28948 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 182632
[startup+282.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 5546
/proc/meminfo: memFree=31027752/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=56252 CPUtime=203.18 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 62548 314068 0 0 663 116 19424 115 20 0 1 0 279743262 57602048 13156 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5506/statm: 14063 13156 206 440 0 13619 0
[pid=5544] ppid=5506 vsize=179800 CPUtime=79.01 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=30976044/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=56252 CPUtime=1026.06 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 77542 392839 0 0 800 131 101527 148 20 0 1 0 279743262 57602048 13156 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/5506/statm: 14063 13156 206 440 0 13619 0
[pid=5564] ppid=5506 vsize=197264 CPUtime=215.92 cores=0,2,4,6
/proc/5564/stat : 5564 (glucosInc) R 5506 5505 4091 0 -1 4202496 25114 0 0 0 21581 11 0 0 20 0 1 0 279845894 201998336 43232 33554432000 4194304 5654031 140733330144880 140733330132696 4232803 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5564/statm: 49316 43232 141 357 0 48956 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 262664
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5569
/proc/meminfo: memFree=31000704/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=56252 CPUtime=1026.06 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 77542 392839 0 0 800 131 101527 148 20 0 1 0 279743262 57602048 13156 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/5506/statm: 14063 13156 206 440 0 13619 0
[pid=5564] ppid=5506 vsize=197264 CPUtime=275.91 cores=0,2,4,6
/proc/5564/stat : 5564 (glucosInc) R 5506 5505 4091 0 -1 4202496 25812 0 0 0 27578 13 0 0 20 0 1 0 279845894 201998336 45280 33554432000 4194304 5654031 140733330144880 140733330132696 4232589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5564/statm: 49316 45280 141 357 0 48956 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 262664
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5569
/proc/meminfo: memFree=31000612/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=56252 CPUtime=1026.06 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 77542 392839 0 0 800 131 101527 148 20 0 1 0 279743262 57602048 13156 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/5506/statm: 14063 13156 206 440 0 13619 0
[pid=5564] ppid=5506 vsize=197264 CPUtime=335.9 cores=0,2,4,6
/proc/5564/stat : 5564 (glucosInc) R 5506 5505 4091 0 -1 4202496 26514 0 0 0 33576 14 0 0 20 0 1 0 279845894 201998336 45280 33554432000 4194304 5654031 140733330144880 140733330132696 4208595 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5564/statm: 49316 45280 141 357 0 48956 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 262664
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5569
/proc/meminfo: memFree=30945272/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=56252 CPUtime=1026.06 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 77542 392839 0 0 800 131 101527 148 20 0 1 0 279743262 57602048 13156 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/5506/statm: 14063 13156 206 440 0 13619 0
[pid=5564] ppid=5506 vsize=197264 CPUtime=395.89 cores=0,2,4,6
/proc/5564/stat : 5564 (glucosInc) R 5506 5505 4091 0 -1 4202496 27220 0 0 0 39573 16 0 0 20 0 1 0 279845894 201998336 46816 33554432000 4194304 5654031 140733330144880 140733330132696 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5564/statm: 49316 46816 141 357 0 48956 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 262664
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5569
/proc/meminfo: memFree=30934492/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=56252 CPUtime=1026.06 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 77542 392839 0 0 800 131 101527 148 20 0 1 0 279743262 57602048 13156 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/5506/statm: 14063 13156 206 440 0 13619 0
[pid=5564] ppid=5506 vsize=228084 CPUtime=455.89 cores=0,2,4,6
/proc/5564/stat : 5564 (glucosInc) R 5506 5505 4091 0 -1 4202496 28307 0 0 0 45571 18 0 0 20 0 1 0 279845894 233558016 48931 33554432000 4194304 5654031 140733330144880 140733330132696 4215009 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5564/statm: 57021 48931 141 357 0 56661 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 293484
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5570
/proc/meminfo: memFree=30946996/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=56252 CPUtime=1026.06 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 77542 392839 0 0 800 131 101527 148 20 0 1 0 279743262 57602048 13156 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/5506/statm: 14063 13156 206 440 0 13619 0
[pid=5564] ppid=5506 vsize=228084 CPUtime=515.87 cores=0,2,4,6
/proc/5564/stat : 5564 (glucosInc) R 5506 5505 4091 0 -1 4202496 29008 0 0 0 51568 19 0 0 20 0 1 0 279845894 233558016 48419 33554432000 4194304 5654031 140733330144880 140733330132696 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5564/statm: 57021 48419 141 357 0 56661 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 293484
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 5622
/proc/meminfo: memFree=31121736/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=56252 CPUtime=1026.06 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 77542 392839 0 0 800 131 101527 148 20 0 1 0 279743262 57602048 13156 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/5506/statm: 14063 13156 206 440 0 13619 0
[pid=5564] ppid=5506 vsize=228084 CPUtime=575.86 cores=0,2,4,6
/proc/5564/stat : 5564 (glucosInc) R 5506 5505 4091 0 -1 4202496 29709 0 0 0 57565 21 0 0 20 0 1 0 279845894 233558016 50979 33554432000 4194304 5654031 140733330144880 140733330132696 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5564/statm: 57021 50979 141 357 0 56661 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 293484
[startup+1662.3 s]
/proc/loadavg: 2.19 2.06 2.02 3/183 5630
/proc/meminfo: memFree=30751192/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=56252 CPUtime=1026.06 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 77542 392839 0 0 800 131 101527 148 20 0 1 0 279743262 57602048 13156 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/5506/statm: 14063 13156 206 440 0 13619 0
[pid=5564] ppid=5506 vsize=228084 CPUtime=635.87 cores=0,2,4,6
/proc/5564/stat : 5564 (glucosInc) R 5506 5505 4091 0 -1 4202496 30421 0 0 0 63564 23 0 0 20 0 1 0 279845894 233558016 49443 33554432000 4194304 5654031 140733330144880 140733330132696 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5564/statm: 57021 49443 141 357 0 56661 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 293484
[startup+1722.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/183 5632
/proc/meminfo: memFree=30762724/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=56252 CPUtime=1026.06 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 77542 392839 0 0 800 131 101527 148 20 0 1 0 279743262 57602048 13156 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/5506/statm: 14063 13156 206 440 0 13619 0
[pid=5564] ppid=5506 vsize=197264 CPUtime=695.85 cores=0,2,4,6
/proc/5564/stat : 5564 (glucosInc) R 5506 5505 4091 0 -1 4202496 30553 0 0 0 69561 24 0 0 20 0 1 0 279845894 201998336 46304 33554432000 4194304 5654031 140733330144880 140733330132696 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5564/statm: 49316 46304 141 357 0 48956 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 262664
[startup+1782.31 s]
/proc/loadavg: 2.09 2.06 2.02 3/183 5636
/proc/meminfo: memFree=30755540/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=56252 CPUtime=1026.06 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 77542 392839 0 0 800 131 101527 148 20 0 1 0 279743262 57602048 13156 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/5506/statm: 14063 13156 206 440 0 13619 0
[pid=5564] ppid=5506 vsize=228084 CPUtime=755.84 cores=0,2,4,6
/proc/5564/stat : 5564 (glucosInc) R 5506 5505 4091 0 -1 4202496 31150 0 0 0 75560 24 0 0 20 0 1 0 279845894 233558016 53539 33554432000 4194304 5654031 140733330144880 140733330132696 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5564/statm: 57021 53539 141 357 0 56661 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 293484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 5636
/proc/meminfo: memFree=30768264/32873844 swapFree=7112/7112
[pid=5505] ppid=5503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5505/stat : 5505 (npSolver-pbo-It) S 5503 5505 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279743262 9367552 275 33554432000 4194304 5064252 140735617948128 140735617947040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5505/statm: 2287 275 233 213 0 72 0
[pid=5506] ppid=5505 vsize=56252 CPUtime=1026.06 cores=0,2,4,6
/proc/5506/stat : 5506 (npSolver-pbo) S 5505 5505 4091 0 -1 4202496 77542 392839 0 0 800 131 101527 148 20 0 1 0 279743262 57602048 13156 33554432000 4194304 5992684 140734345107616 140734345093448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/5506/statm: 14063 13156 206 440 0 13619 0
[pid=5564] ppid=5506 vsize=197264 CPUtime=774.04 cores=0,2,4,6
/proc/5564/stat : 5564 (glucosInc) R 5506 5505 4091 0 -1 4202496 31264 0 0 0 77379 25 0 0 20 0 1 0 279845894 201998336 44768 33554432000 4194304 5654031 140733330144880 140733330132696 4232800 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5564/statm: 49316 44768 141 357 0 48956 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 262664
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.13
CPU user time (s): 1797.07
CPU system time (s): 3.06453
CPU usage (%): 99.9789
Max. virtual memory (cumulated for all children) (KiB): 342804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.07
system time used= 3.06453
maximum resident set size= 251380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 502025
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1170984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7205
involuntary context switches= 3221
runsolver used 12.5021 second user time and 13.095 second system time
The end