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-3750168-1339178243/watcher-3750168-1339178243 -o /tmp/evaluation-result-3750168-1339178243/solver-3750168-1339178243 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750168-1339178243.opb 347338345 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: 4.90 4.09 3.17 4/179 10091
/proc/meminfo: memFree=17312836/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[startup+0.015697 s]
/proc/loadavg: 4.90 4.09 3.17 4/179 10091
/proc/meminfo: memFree=17312836/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100253 s]
/proc/loadavg: 4.90 4.09 3.17 4/179 10091
/proc/meminfo: memFree=17312836/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300219 s]
/proc/loadavg: 4.90 4.09 3.17 4/179 10091
/proc/meminfo: memFree=17312836/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700267 s]
/proc/loadavg: 4.90 4.09 3.17 4/179 10091
/proc/meminfo: memFree=17312836/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 4.75 4.08 3.17 4/183 10095
/proc/meminfo: memFree=21728076/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[pid=10092] ppid=10091 vsize=97188 CPUtime=0.68 cores=0,2,4,6
/proc/10092/stat : 10092 (npSolver-pbo) S 10091 10091 31309 0 -1 4202496 12885 0 0 0 62 6 0 0 20 0 1 0 383950257 99520512 22692 33554432000 4194304 6004724 140735171232544 140735171226592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10092/statm: 24297 22692 164 442 0 23851 0
[pid=10094] ppid=10092 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10094/stat : 10094 (cp2_pre.sh) S 10092 10091 31309 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 383950326 9367552 277 33554432000 4194304 5064252 140736604402768 140736604401472 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10094/statm: 2287 277 234 213 0 72 0
[pid=10095] ppid=10094 vsize=186968 CPUtime=0.78 cores=0,2,4,6
/proc/10095/stat : 10095 (coprocessor) R 10094 10091 31309 0 -1 4202496 30773 0 0 0 73 5 0 0 20 0 1 0 383950327 191455232 45168 33554432000 4194304 6586260 140735525111200 140735525107464 4774946 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/10095/statm: 46742 45168 175 584 0 46154 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 302452
[startup+3.10036 s]
/proc/loadavg: 4.75 4.08 3.17 3/182 10095
/proc/meminfo: memFree=24674716/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[pid=10092] ppid=10091 vsize=97188 CPUtime=0.68 cores=0,2,4,6
/proc/10092/stat : 10092 (npSolver-pbo) S 10091 10091 31309 0 -1 4202496 12885 0 0 0 62 6 0 0 20 0 1 0 383950257 99520512 22692 33554432000 4194304 6004724 140735171232544 140735171226592 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10092/statm: 24297 22692 164 442 0 23851 0
[pid=10094] ppid=10092 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10094/stat : 10094 (cp2_pre.sh) S 10092 10091 31309 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 383950326 9367552 277 33554432000 4194304 5064252 140736604402768 140736604401472 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10094/statm: 2287 277 234 213 0 72 0
[pid=10095] ppid=10094 vsize=212116 CPUtime=2.38 cores=0,2,4,6
/proc/10095/stat : 10095 (coprocessor) R 10094 10091 31309 0 -1 4202496 34794 0 0 0 221 17 0 0 20 0 1 0 383950327 217206784 51801 33554432000 4194304 6586260 140735525111200 140735525106520 5157664 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/10095/statm: 53029 51801 204 584 0 52441 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 327600
[startup+6.30031 s]
/proc/loadavg: 4.53 4.04 3.16 3/180 10102
/proc/meminfo: memFree=24876784/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[pid=10092] ppid=10091 vsize=146340 CPUtime=6.21 cores=0,2,4,6
/proc/10092/stat : 10092 (npSolver-pbo) R 10091 10091 31309 0 -1 4202496 20868 59424 0 1 128 79 386 28 20 0 1 0 383950257 149852160 32644 33554432000 4194304 6004724 140735171232544 140735171225480 4579232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10092/statm: 36585 32644 178 442 0 36139 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 155488
[startup+12.7004 s]
/proc/loadavg: 4.41 4.02 3.16 3/182 10105
/proc/meminfo: memFree=24027572/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[pid=10092] ppid=10091 vsize=375716 CPUtime=8.6 cores=0,2,4,6
/proc/10092/stat : 10092 (npSolver-pbo) S 10091 10091 31309 0 -1 4202496 23103 59424 0 1 335 111 386 28 20 0 1 0 383950257 384733184 71045 33554432000 4194304 6004724 140735171232544 140735171224896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/10092/statm: 93929 71045 179 442 0 93483 0
[pid=10104] ppid=10092 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10104/stat : 10104 (satsolver.sh) S 10092 10091 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383951128 9367552 266 33554432000 4194304 5064252 140735160320352 140735160319264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10104/statm: 2287 266 226 213 0 72 0
[pid=10105] ppid=10104 vsize=532724 CPUtime=3.98 cores=0,2,4,6
/proc/10105/stat : 10105 (glucose) R 10104 10091 31309 0 -1 4202496 77591 0 0 0 375 23 0 0 20 0 1 0 383951128 545509376 117052 33554432000 4194304 5208918 140735877521616 140735877519464 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10105/statm: 133181 117052 104 248 0 132930 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 926736
[startup+25.5004 s]
/proc/loadavg: 3.87 3.92 3.14 3/182 10105
/proc/meminfo: memFree=24028972/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[pid=10092] ppid=10091 vsize=375716 CPUtime=8.6 cores=0,2,4,6
/proc/10092/stat : 10092 (npSolver-pbo) S 10091 10091 31309 0 -1 4202496 23103 59424 0 1 335 111 386 28 20 0 1 0 383950257 384733184 71045 33554432000 4194304 6004724 140735171232544 140735171224896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/10092/statm: 93929 71045 179 442 0 93483 0
[pid=10104] ppid=10092 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10104/stat : 10104 (satsolver.sh) S 10092 10091 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383951128 9367552 266 33554432000 4194304 5064252 140735160320352 140735160319264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10104/statm: 2287 266 226 213 0 72 0
[pid=10105] ppid=10104 vsize=536468 CPUtime=16.77 cores=0,2,4,6
/proc/10105/stat : 10105 (glucose) R 10104 10091 31309 0 -1 4202496 79085 0 0 0 1654 23 0 0 20 0 1 0 383951128 549343232 119057 33554432000 4194304 5208918 140735877521616 140735877519464 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10105/statm: 134117 119057 105 248 0 133866 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 930480
[startup+51.1004 s]
/proc/loadavg: 3.23 3.77 3.11 3/182 10105
/proc/meminfo: memFree=24022432/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[pid=10092] ppid=10091 vsize=375716 CPUtime=8.6 cores=0,2,4,6
/proc/10092/stat : 10092 (npSolver-pbo) S 10091 10091 31309 0 -1 4202496 23103 59424 0 1 335 111 386 28 20 0 1 0 383950257 384733184 71045 33554432000 4194304 6004724 140735171232544 140735171224896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/10092/statm: 93929 71045 179 442 0 93483 0
[pid=10104] ppid=10092 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10104/stat : 10104 (satsolver.sh) S 10092 10091 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383951128 9367552 266 33554432000 4194304 5064252 140735160320352 140735160319264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10104/statm: 2287 266 226 213 0 72 0
[pid=10105] ppid=10104 vsize=538208 CPUtime=42.37 cores=0,2,4,6
/proc/10105/stat : 10105 (glucose) R 10104 10091 31309 0 -1 4202496 79540 0 0 0 4214 23 0 0 20 0 1 0 383951128 551124992 120534 33554432000 4194304 5208918 140735877521616 140735877517992 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10105/statm: 134552 120534 105 248 0 134301 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 932220
[startup+102.307 s]
/proc/loadavg: 2.59 3.51 3.05 3/181 10105
/proc/meminfo: memFree=24005680/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[pid=10092] ppid=10091 vsize=375716 CPUtime=8.6 cores=0,2,4,6
/proc/10092/stat : 10092 (npSolver-pbo) S 10091 10091 31309 0 -1 4202496 23103 59424 0 1 335 111 386 28 20 0 1 0 383950257 384733184 71045 33554432000 4194304 6004724 140735171232544 140735171224896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/10092/statm: 93929 71045 179 442 0 93483 0
[pid=10104] ppid=10092 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10104/stat : 10104 (satsolver.sh) S 10092 10091 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383951128 9367552 266 33554432000 4194304 5064252 140735160320352 140735160319264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10104/statm: 2287 266 226 213 0 72 0
[pid=10105] ppid=10104 vsize=550608 CPUtime=93.57 cores=0,2,4,6
/proc/10105/stat : 10105 (glucose) R 10104 10091 31309 0 -1 4202496 81474 0 0 0 9333 24 0 0 20 0 1 0 383951128 563822592 124512 33554432000 4194304 5208918 140735877521616 140735877519448 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10105/statm: 137652 124512 105 248 0 137401 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 944620
[startup+162.3 s]
/proc/loadavg: 2.21 3.23 2.98 3/182 10108
/proc/meminfo: memFree=23989192/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[pid=10092] ppid=10091 vsize=375716 CPUtime=8.6 cores=0,2,4,6
/proc/10092/stat : 10092 (npSolver-pbo) S 10091 10091 31309 0 -1 4202496 23103 59424 0 1 335 111 386 28 20 0 1 0 383950257 384733184 71045 33554432000 4194304 6004724 140735171232544 140735171224896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/10092/statm: 93929 71045 179 442 0 93483 0
[pid=10104] ppid=10092 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10104/stat : 10104 (satsolver.sh) S 10092 10091 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383951128 9367552 266 33554432000 4194304 5064252 140735160320352 140735160319264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10104/statm: 2287 266 226 213 0 72 0
[pid=10105] ppid=10104 vsize=550608 CPUtime=153.55 cores=0,2,4,6
/proc/10105/stat : 10105 (glucose) R 10104 10091 31309 0 -1 4202496 82194 0 0 0 15330 25 0 0 20 0 1 0 383951128 563822592 128263 33554432000 4194304 5208918 140735877521616 140735877519704 4211521 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10105/statm: 137652 128263 105 248 0 137401 0
Current children cumulated CPU time (s) 162.15
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.05 2.03 2.24 3/181 10193
/proc/meminfo: memFree=30154868/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[pid=10092] ppid=10091 vsize=375716 CPUtime=8.6 cores=0,2,4,6
/proc/10092/stat : 10092 (npSolver-pbo) S 10091 10091 31309 0 -1 4202496 23103 59424 0 1 335 111 386 28 20 0 1 0 383950257 384733184 71045 33554432000 4194304 6004724 140735171232544 140735171224896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/10092/statm: 93929 71045 179 442 0 93483 0
[pid=10104] ppid=10092 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10104/stat : 10104 (satsolver.sh) S 10092 10091 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383951128 9367552 266 33554432000 4194304 5064252 140735160320352 140735160319264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10104/statm: 2287 266 226 213 0 72 0
[pid=10105] ppid=10104 vsize=585248 CPUtime=1413.32 cores=0,2,4,6
/proc/10105/stat : 10105 (glucose) R 10104 10091 31309 0 -1 4202496 99820 0 0 0 141260 72 0 0 20 0 1 0 383951128 599293952 133355 33554432000 4194304 5208918 140735877521616 140735877517992 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10105/statm: 146312 133355 105 248 0 146061 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 979260
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.22 3/181 10194
/proc/meminfo: memFree=30133932/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[pid=10092] ppid=10091 vsize=375716 CPUtime=8.6 cores=0,2,4,6
/proc/10092/stat : 10092 (npSolver-pbo) S 10091 10091 31309 0 -1 4202496 23103 59424 0 1 335 111 386 28 20 0 1 0 383950257 384733184 71045 33554432000 4194304 6004724 140735171232544 140735171224896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/10092/statm: 93929 71045 179 442 0 93483 0
[pid=10104] ppid=10092 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10104/stat : 10104 (satsolver.sh) S 10092 10091 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383951128 9367552 266 33554432000 4194304 5064252 140735160320352 140735160319264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10104/statm: 2287 266 226 213 0 72 0
[pid=10105] ppid=10104 vsize=666636 CPUtime=1473.3 cores=0,2,4,6
/proc/10105/stat : 10105 (glucose) R 10104 10091 31309 0 -1 4202496 100517 0 0 0 147256 74 0 0 20 0 1 0 383951128 682635264 138643 33554432000 4194304 5208918 140735877521616 140735877519768 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10105/statm: 166659 138643 105 248 0 166408 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1060648
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.20 3/181 10194
/proc/meminfo: memFree=30109056/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[pid=10092] ppid=10091 vsize=375716 CPUtime=8.6 cores=0,2,4,6
/proc/10092/stat : 10092 (npSolver-pbo) S 10091 10091 31309 0 -1 4202496 23103 59424 0 1 335 111 386 28 20 0 1 0 383950257 384733184 71045 33554432000 4194304 6004724 140735171232544 140735171224896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/10092/statm: 93929 71045 179 442 0 93483 0
[pid=10104] ppid=10092 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10104/stat : 10104 (satsolver.sh) S 10092 10091 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383951128 9367552 266 33554432000 4194304 5064252 140735160320352 140735160319264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10104/statm: 2287 266 226 213 0 72 0
[pid=10105] ppid=10104 vsize=666636 CPUtime=1533.29 cores=0,2,4,6
/proc/10105/stat : 10105 (glucose) R 10104 10091 31309 0 -1 4202496 100534 0 0 0 153255 74 0 0 20 0 1 0 383951128 682635264 144275 33554432000 4194304 5208918 140735877521616 140735877517928 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10105/statm: 166659 144275 105 248 0 166408 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1060648
[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.19 3/181 10194
/proc/meminfo: memFree=30113804/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[pid=10092] ppid=10091 vsize=375716 CPUtime=8.6 cores=0,2,4,6
/proc/10092/stat : 10092 (npSolver-pbo) S 10091 10091 31309 0 -1 4202496 23103 59424 0 1 335 111 386 28 20 0 1 0 383950257 384733184 71045 33554432000 4194304 6004724 140735171232544 140735171224896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/10092/statm: 93929 71045 179 442 0 93483 0
[pid=10104] ppid=10092 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10104/stat : 10104 (satsolver.sh) S 10092 10091 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383951128 9367552 266 33554432000 4194304 5064252 140735160320352 140735160319264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10104/statm: 2287 266 226 213 0 72 0
[pid=10105] ppid=10104 vsize=671248 CPUtime=1593.28 cores=0,2,4,6
/proc/10105/stat : 10105 (glucose) R 10104 10091 31309 0 -1 4202496 101124 0 0 0 159254 74 0 0 20 0 1 0 383951128 687357952 151440 33554432000 4194304 5208918 140735877521616 140735877519448 4211620 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10105/statm: 167812 151440 105 248 0 167561 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1065260
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.18 3/181 10194
/proc/meminfo: memFree=30115196/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[pid=10092] ppid=10091 vsize=375716 CPUtime=8.6 cores=0,2,4,6
/proc/10092/stat : 10092 (npSolver-pbo) S 10091 10091 31309 0 -1 4202496 23103 59424 0 1 335 111 386 28 20 0 1 0 383950257 384733184 71045 33554432000 4194304 6004724 140735171232544 140735171224896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/10092/statm: 93929 71045 179 442 0 93483 0
[pid=10104] ppid=10092 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10104/stat : 10104 (satsolver.sh) S 10092 10091 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383951128 9367552 266 33554432000 4194304 5064252 140735160320352 140735160319264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10104/statm: 2287 266 226 213 0 72 0
[pid=10105] ppid=10104 vsize=671248 CPUtime=1653.27 cores=0,2,4,6
/proc/10105/stat : 10105 (glucose) R 10104 10091 31309 0 -1 4202496 102403 0 0 0 165249 78 0 0 20 0 1 0 383951128 687357952 142736 33554432000 4194304 5208918 140735877521616 140735877517992 4229133 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10105/statm: 167812 142736 105 248 0 167561 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1065260
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.16 3/181 10194
/proc/meminfo: memFree=30090960/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[pid=10092] ppid=10091 vsize=375716 CPUtime=8.6 cores=0,2,4,6
/proc/10092/stat : 10092 (npSolver-pbo) S 10091 10091 31309 0 -1 4202496 23103 59424 0 1 335 111 386 28 20 0 1 0 383950257 384733184 71045 33554432000 4194304 6004724 140735171232544 140735171224896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/10092/statm: 93929 71045 179 442 0 93483 0
[pid=10104] ppid=10092 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10104/stat : 10104 (satsolver.sh) S 10092 10091 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383951128 9367552 266 33554432000 4194304 5064252 140735160320352 140735160319264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10104/statm: 2287 266 226 213 0 72 0
[pid=10105] ppid=10104 vsize=671248 CPUtime=1713.25 cores=0,2,4,6
/proc/10105/stat : 10105 (glucose) R 10104 10091 31309 0 -1 4202496 102413 0 0 0 171247 78 0 0 20 0 1 0 383951128 687357952 147856 33554432000 4194304 5208918 140735877521616 140735877517992 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10105/statm: 167812 147856 105 248 0 167561 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1065260
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.15 3/181 10195
/proc/meminfo: memFree=30140792/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[pid=10092] ppid=10091 vsize=375716 CPUtime=8.6 cores=0,2,4,6
/proc/10092/stat : 10092 (npSolver-pbo) S 10091 10091 31309 0 -1 4202496 23103 59424 0 1 335 111 386 28 20 0 1 0 383950257 384733184 71045 33554432000 4194304 6004724 140735171232544 140735171224896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/10092/statm: 93929 71045 179 442 0 93483 0
[pid=10104] ppid=10092 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10104/stat : 10104 (satsolver.sh) S 10092 10091 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383951128 9367552 266 33554432000 4194304 5064252 140735160320352 140735160319264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10104/statm: 2287 266 226 213 0 72 0
[pid=10105] ppid=10104 vsize=589860 CPUtime=1773.25 cores=0,2,4,6
/proc/10105/stat : 10105 (glucose) R 10104 10091 31309 0 -1 4202496 102994 0 0 0 177243 82 0 0 20 0 1 0 383951128 604016640 135400 33554432000 4194304 5208918 140735877521616 140735877519704 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10105/statm: 147465 135400 105 248 0 147214 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 983872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.15 3/181 10195
/proc/meminfo: memFree=30128628/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[pid=10092] ppid=10091 vsize=375716 CPUtime=8.6 cores=0,2,4,6
/proc/10092/stat : 10092 (npSolver-pbo) S 10091 10091 31309 0 -1 4202496 23103 59424 0 1 335 111 386 28 20 0 1 0 383950257 384733184 71045 33554432000 4194304 6004724 140735171232544 140735171224896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/10092/statm: 93929 71045 179 442 0 93483 0
[pid=10104] ppid=10092 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10104/stat : 10104 (satsolver.sh) S 10092 10091 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383951128 9367552 266 33554432000 4194304 5064252 140735160320352 140735160319264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10104/statm: 2287 266 226 213 0 72 0
[pid=10105] ppid=10104 vsize=589860 CPUtime=1791.45 cores=0,2,4,6
/proc/10105/stat : 10105 (glucose) R 10104 10091 31309 0 -1 4202496 102998 0 0 0 179063 82 0 0 20 0 1 0 383951128 604016640 137448 33554432000 4194304 5208918 140735877521616 140735877517992 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10105/statm: 147465 137448 105 248 0 147214 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 983872
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.15 3/181 10195
/proc/meminfo: memFree=30128628/32873852 swapFree=6860/6860
[pid=10091] ppid=10089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10091/stat : 10091 (npSolver-pbo.sh) S 10089 10091 31309 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383950257 9367552 274 33554432000 4194304 5064252 140737174428640 140737174427552 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10091/statm: 2287 274 233 213 0 72 0
[pid=10092] ppid=10091 vsize=375716 CPUtime=8.6 cores=0,2,4,6
/proc/10092/stat : 10092 (npSolver-pbo) S 10091 10091 31309 0 -1 4202496 23103 59424 0 1 335 111 386 28 20 0 1 0 383950257 384733184 71045 33554432000 4194304 6004724 140735171232544 140735171224896 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/10092/statm: 93929 71045 179 442 0 93483 0
[pid=10104] ppid=10092 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10104/stat : 10104 (satsolver.sh) S 10092 10091 31309 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383951128 9367552 266 33554432000 4194304 5064252 140735160320352 140735160319264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10104/statm: 2287 266 226 213 0 72 0
[pid=10105] ppid=10104 vsize=589860 CPUtime=1791.45 cores=0,2,4,6
/proc/10105/stat : 10105 (glucose) R 10104 10091 31309 0 -1 4202496 102998 0 0 0 179063 82 0 0 20 0 1 0 383951128 604016640 137448 33554432000 4194304 5208918 140735877521616 140735877517992 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10105/statm: 147465 137448 105 248 0 147214 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 983872
Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.09
CPU user time (s): 1797.86
CPU system time (s): 2.23066
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 1195488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.86
system time used= 2.23066
maximum resident set size= 743796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186501
page faults= 1
swaps= 0
block input operations= 96
block output operations= 440592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 738
involuntary context switches= 1901
runsolver used 6.34004 second user time and 20.8058 second system time
The end