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-3702800-1338052435/watcher-3702800-1338052435 -o /tmp/evaluation-result-3702800-1338052435/solver-3702800-1338052435 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702800-1338052435.opb 797022658 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.05 1.91 3/175 3765
/proc/meminfo: memFree=29800208/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[startup+0.380256 s]
/proc/loadavg: 2.04 2.05 1.91 3/175 3765
/proc/meminfo: memFree=29800208/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.670813 s]
/proc/loadavg: 2.04 2.05 1.91 3/175 3765
/proc/meminfo: memFree=29800208/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.849862 s]
/proc/loadavg: 2.04 2.05 1.91 3/175 3765
/proc/meminfo: memFree=29800208/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.900243 s]
/proc/loadavg: 2.04 2.05 1.91 3/175 3765
/proc/meminfo: memFree=29800208/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50017 s]
/proc/loadavg: 2.04 2.05 1.91 3/175 3765
/proc/meminfo: memFree=29800208/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+3.48331 s]
/proc/loadavg: 1.88 2.02 1.89 3/181 3791
/proc/meminfo: memFree=29751616/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=1.89 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 4049 16028 0 0 43 14 123 9 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817050880 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 18400
heavy processes:
[startup+6.30037 s]
/proc/loadavg: 1.88 2.02 1.89 4/181 3801
/proc/meminfo: memFree=29754512/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=3.48 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 4702 20307 0 0 45 14 277 12 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3801] ppid=3766 vsize=16612 CPUtime=1.04 cores=1,3,5,7
/proc/3801/stat : 3801 (glucosInc) R 3766 3765 3390 0 -1 4202496 3018 0 0 0 104 0 0 0 20 0 1 0 271369680 17010688 3439 33554432000 4194304 5654031 140735258780032 140735258767848 4233236 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3801/statm: 4153 3439 141 357 0 3793 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 35012
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 1.89 2.01 1.90 4/181 3807
/proc/meminfo: memFree=29746296/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=8.93 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 5746 29324 0 0 47 14 816 16 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3807] ppid=3766 vsize=16984 CPUtime=1.98 cores=1,3,5,7
/proc/3807/stat : 3807 (glucosInc) R 3766 3765 3390 0 -1 4202496 3237 0 0 0 197 1 0 0 20 0 1 0 271370226 17391616 3659 33554432000 4194304 5654031 140733298173024 140733298160840 4232729 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3807/statm: 4246 3659 141 357 0 3886 0
Current children cumulated CPU time (s) 10.91
Current children cumulated vsize (KiB) 35384
[startup+25.5003 s]
/proc/loadavg: 1.91 2.01 1.90 4/181 3811
/proc/meminfo: memFree=29718512/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=13.81 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 6271 34187 0 0 49 15 1299 18 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3811] ppid=3766 vsize=33216 CPUtime=9.9 cores=1,3,5,7
/proc/3811/stat : 3811 (glucosInc) R 3766 3765 3390 0 -1 4202496 5976 0 0 0 989 1 0 0 20 0 1 0 271370713 34013184 7726 33554432000 4194304 5654031 140735025580000 140735025567816 4216456 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3811/statm: 8304 7726 142 357 0 7944 0
Current children cumulated CPU time (s) 23.71
Current children cumulated vsize (KiB) 51616
[startup+51.1003 s]
/proc/loadavg: 1.94 2.01 1.90 4/181 3817
/proc/meminfo: memFree=29724592/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=32.17 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 6794 41577 0 0 50 15 3131 21 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3815] ppid=3766 vsize=33196 CPUtime=17.13 cores=1,3,5,7
/proc/3815/stat : 3815 (glucosInc) R 3766 3765 3390 0 -1 4202496 5851 0 0 0 1712 1 0 0 20 0 1 0 271372550 33992704 7735 33554432000 4194304 5654031 140735732021680 140735732009496 4232408 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3815/statm: 8299 7735 142 357 0 7939 0
Current children cumulated CPU time (s) 49.3
Current children cumulated vsize (KiB) 51596
[startup+102.3 s]
/proc/loadavg: 1.97 2.01 1.90 4/181 3821
/proc/meminfo: memFree=29706472/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=98.88 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 7841 57990 0 0 52 15 9792 29 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3821] ppid=3766 vsize=16820 CPUtime=1.59 cores=1,3,5,7
/proc/3821/stat : 3821 (glucosInc) R 3766 3765 3390 0 -1 4202496 3092 0 0 0 159 0 0 0 20 0 1 0 271379225 17223680 3520 33554432000 4194304 5654031 140736870713424 140736870701240 4233181 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3821/statm: 4205 3520 141 357 0 3845 0
Current children cumulated CPU time (s) 100.47
Current children cumulated vsize (KiB) 35220
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.91 4/181 3821
/proc/meminfo: memFree=29613500/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=98.88 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 7841 57990 0 0 52 15 9792 29 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3821] ppid=3766 vsize=74156 CPUtime=61.58 cores=1,3,5,7
/proc/3821/stat : 3821 (glucosInc) R 3766 3765 3390 0 -1 4202496 10311 0 0 0 6153 5 0 0 20 0 1 0 271379225 75935744 17192 33554432000 4194304 5654031 140736870713424 140736870701240 4233187 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3821/statm: 18539 17192 142 357 0 18179 0
Current children cumulated CPU time (s) 160.46
Current children cumulated vsize (KiB) 92556
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.91 4/180 3823
/proc/meminfo: memFree=29621464/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=184.71 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 8359 68838 0 0 54 15 18367 35 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3823] ppid=3766 vsize=77852 CPUtime=35.73 cores=1,3,5,7
/proc/3823/stat : 3823 (glucosInc) R 3766 3765 3390 0 -1 4202496 7777 0 0 0 3570 3 0 0 20 0 1 0 271387810 79720448 18008 33554432000 4194304 5654031 140733414391360 140733414389288 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3823/statm: 19463 18008 142 357 0 19103 0
Current children cumulated CPU time (s) 220.44
Current children cumulated vsize (KiB) 96252
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.91 4/181 3824
/proc/meminfo: memFree=29619116/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=184.71 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 8359 68838 0 0 54 15 18367 35 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=29529836/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=184.71 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 8359 68838 0 0 54 15 18367 35 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3823] ppid=3766 vsize=109700 CPUtime=1115.56 cores=1,3,5,7
/proc/3823/stat : 3823 (glucosInc) R 3766 3765 3390 0 -1 4202496 50338 0 0 0 111459 97 0 0 20 0 1 0 271387810 112332800 26880 33554432000 4194304 5654031 140733414391360 140733414389384 4215097 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3823/statm: 27425 26880 142 357 0 27065 0
Current children cumulated CPU time (s) 1300.27
Current children cumulated vsize (KiB) 128100
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.93 4/181 3838
/proc/meminfo: memFree=29394712/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=184.71 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 8359 68838 0 0 54 15 18367 35 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3823] ppid=3766 vsize=321316 CPUtime=1175.54 cores=1,3,5,7
/proc/3823/stat : 3823 (glucosInc) R 3766 3765 3390 0 -1 4202496 52482 0 0 0 117453 101 0 0 20 0 1 0 271387810 329027584 66831 33554432000 4194304 5654031 140733414391360 140733414389448 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3823/statm: 80329 66831 142 357 0 79969 0
Current children cumulated CPU time (s) 1360.25
Current children cumulated vsize (KiB) 339716
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/181 3838
/proc/meminfo: memFree=29376864/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=184.71 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 8359 68838 0 0 54 15 18367 35 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3823] ppid=3766 vsize=239928 CPUtime=1235.52 cores=1,3,5,7
/proc/3823/stat : 3823 (glucosInc) R 3766 3765 3390 0 -1 4202496 54109 0 0 0 123448 104 0 0 20 0 1 0 271387810 245686272 54543 33554432000 4194304 5654031 140733414391360 140733414389448 4214977 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3823/statm: 59982 54543 142 357 0 59622 0
Current children cumulated CPU time (s) 1420.23
Current children cumulated vsize (KiB) 258328
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/181 3839
/proc/meminfo: memFree=29479408/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=184.71 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 8359 68838 0 0 54 15 18367 35 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3823] ppid=3766 vsize=162152 CPUtime=1295.52 cores=1,3,5,7
/proc/3823/stat : 3823 (glucosInc) R 3766 3765 3390 0 -1 4202496 55126 0 0 0 129445 107 0 0 20 0 1 0 271387810 166043648 38571 33554432000 4194304 5654031 140733414391360 140733414389288 4215040 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3823/statm: 40538 38571 142 357 0 40178 0
Current children cumulated CPU time (s) 1480.23
Current children cumulated vsize (KiB) 180552
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/181 3839
/proc/meminfo: memFree=29337056/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=184.71 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 8359 68838 0 0 54 15 18367 35 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3823] ppid=3766 vsize=324448 CPUtime=1355.51 cores=1,3,5,7
/proc/3823/stat : 3823 (glucosInc) R 3766 3765 3390 0 -1 4202496 57088 0 0 0 135441 110 0 0 20 0 1 0 271387810 332234752 66587 33554432000 4194304 5654031 140733414391360 140733414389448 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3823/statm: 81112 66587 142 357 0 80752 0
Current children cumulated CPU time (s) 1540.22
Current children cumulated vsize (KiB) 342848
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/182 3842
/proc/meminfo: memFree=29383168/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=184.71 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 8359 68838 0 0 54 15 18367 35 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3823] ppid=3766 vsize=197412 CPUtime=1415.49 cores=1,3,5,7
/proc/3823/stat : 3823 (glucosInc) R 3766 3765 3390 0 -1 4202496 58973 0 0 0 141433 116 0 0 20 0 1 0 271387810 202149888 48452 33554432000 4194304 5654031 140733414391360 140733414389448 4215344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3823/statm: 49353 48452 142 357 0 48993 0
Current children cumulated CPU time (s) 1600.2
Current children cumulated vsize (KiB) 215812
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/181 3844
/proc/meminfo: memFree=29443652/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=184.71 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 8359 68838 0 0 54 15 18367 35 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3823] ppid=3766 vsize=328888 CPUtime=1475.48 cores=1,3,5,7
/proc/3823/stat : 3823 (glucosInc) R 3766 3765 3390 0 -1 4202496 60351 0 0 0 147429 119 0 0 20 0 1 0 271387810 336781312 75377 33554432000 4194304 5654031 140733414391360 140733414389448 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3823/statm: 82222 75377 142 357 0 81862 0
Current children cumulated CPU time (s) 1660.19
Current children cumulated vsize (KiB) 347288
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/181 3844
/proc/meminfo: memFree=29501172/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=184.71 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 8359 68838 0 0 54 15 18367 35 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3823] ppid=3766 vsize=251128 CPUtime=1535.47 cores=1,3,5,7
/proc/3823/stat : 3823 (glucosInc) R 3766 3765 3390 0 -1 4202496 62836 0 0 0 153422 125 0 0 20 0 1 0 271387810 257155072 54780 33554432000 4194304 5654031 140733414391360 140733414389448 4232763 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3823/statm: 62782 54780 142 357 0 62422 0
Current children cumulated CPU time (s) 1720.18
Current children cumulated vsize (KiB) 269528
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/181 3845
/proc/meminfo: memFree=29376992/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=184.71 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 8359 68838 0 0 54 15 18367 35 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3823] ppid=3766 vsize=464776 CPUtime=1595.44 cores=1,3,5,7
/proc/3823/stat : 3823 (glucosInc) R 3766 3765 3390 0 -1 4202496 63900 0 0 0 159416 128 0 0 20 0 1 0 271387810 475930624 83405 33554432000 4194304 5654031 140733414391360 140733414389448 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3823/statm: 116194 83405 142 357 0 115834 0
Current children cumulated CPU time (s) 1780.15
Current children cumulated vsize (KiB) 483176
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 3892
/proc/meminfo: memFree=29572140/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=184.71 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 8359 68838 0 0 54 15 18367 35 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3823] ppid=3766 vsize=202548 CPUtime=1615.35 cores=1,3,5,7
/proc/3823/stat : 3823 (glucosInc) R 3766 3765 3390 0 -1 4202496 65054 0 0 0 161403 132 0 0 20 0 1 0 271387810 207409152 44616 33554432000 4194304 5654031 140733414391360 140733414389448 4218498 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3823/statm: 50637 44616 142 357 0 50277 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 220948
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 3892
/proc/meminfo: memFree=29572140/32873844 swapFree=7112/7112
[pid=3765] ppid=3761 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3765/stat : 3765 (npSolver-pbo-It) S 3761 3765 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271369155 9367552 275 33554432000 4194304 5064252 140736960759568 140736960758480 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3765/statm: 2287 275 233 213 0 72 0
[pid=3766] ppid=3765 vsize=9252 CPUtime=184.71 cores=1,3,5,7
/proc/3766/stat : 3766 (npSolver-pbo) S 3765 3765 3390 0 -1 4202496 8359 68838 0 0 54 15 18367 35 20 0 1 0 271369156 9474048 1505 33554432000 4194304 5992684 140733817057376 140733817043208 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3766/statm: 2313 1505 194 440 0 1869 0
[pid=3823] ppid=3766 vsize=202548 CPUtime=1615.35 cores=1,3,5,7
/proc/3823/stat : 3823 (glucosInc) R 3766 3765 3390 0 -1 4202496 65054 0 0 0 161403 132 0 0 20 0 1 0 271387810 207409152 44616 33554432000 4194304 5654031 140733414391360 140733414389448 4218498 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3823/statm: 50637 44616 142 357 0 50277 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 220948
Child status: 0
Real time (s): 1802.21
CPU time (s): 1800.11
CPU user time (s): 1798.26
CPU system time (s): 1.84872
CPU usage (%): 99.8831
Max. virtual memory (cumulated for all children) (KiB): 484684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.26
system time used= 1.84872
maximum resident set size= 347960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 71528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 699
involuntary context switches= 2091
runsolver used 3.04054 second user time and 8.64968 second system time
The end