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-3749658-1339167093/watcher-3749658-1339167093 -o /tmp/evaluation-result-3749658-1339167093/solver-3749658-1339167093 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749658-1339167093.opb 705742577 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.00 2.00 2.00 3/179 19336
/proc/meminfo: memFree=29833852/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[startup+0.030357 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19336
/proc/meminfo: memFree=29833852/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100236 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19336
/proc/meminfo: memFree=29833852/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19336
/proc/meminfo: memFree=29833852/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70018 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19336
/proc/meminfo: memFree=29833852/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19343
/proc/meminfo: memFree=29828828/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[pid=19337] ppid=19336 vsize=2548 CPUtime=0.02 cores=0,2,4,6
/proc/19337/stat : 19337 (npSolver-pbo) S 19336 19336 12494 0 -1 4202496 1877 2334 0 0 0 0 2 0 20 0 1 0 382835338 2609152 286 33554432000 4194304 6004724 140733983374608 140733983369744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19337/statm: 637 286 158 442 0 191 0
[pid=19342] ppid=19337 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (satsolver.sh) S 19337 19336 12494 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382835343 9367552 266 33554432000 4194304 5064252 140733696700448 140733696699360 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19342/statm: 2287 266 226 213 0 72 0
[pid=19343] ppid=19342 vsize=7568 CPUtime=1.44 cores=0,2,4,6
/proc/19343/stat : 19343 (glucose) R 19342 19336 12494 0 -1 4202496 1947 0 0 0 144 0 0 0 20 0 1 0 382835343 7749632 1415 33554432000 4194304 5208918 140733879269264 140733879267128 4229692 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19343/statm: 1892 1415 104 248 0 1641 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 28412
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19343
/proc/meminfo: memFree=29823200/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[pid=19337] ppid=19336 vsize=2548 CPUtime=0.02 cores=0,2,4,6
/proc/19337/stat : 19337 (npSolver-pbo) S 19336 19336 12494 0 -1 4202496 1877 2334 0 0 0 0 2 0 20 0 1 0 382835338 2609152 286 33554432000 4194304 6004724 140733983374608 140733983369744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19337/statm: 637 286 158 442 0 191 0
[pid=19342] ppid=19337 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (satsolver.sh) S 19337 19336 12494 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382835343 9367552 266 33554432000 4194304 5064252 140733696700448 140733696699360 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19342/statm: 2287 266 226 213 0 72 0
[pid=19343] ppid=19342 vsize=13584 CPUtime=3.04 cores=0,2,4,6
/proc/19343/stat : 19343 (glucose) R 19342 19336 12494 0 -1 4202496 2415 0 0 0 304 0 0 0 20 0 1 0 382835343 13910016 2386 33554432000 4194304 5208918 140733879269264 140733879267208 4229710 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19343/statm: 3396 2386 104 248 0 3145 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34428
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19343
/proc/meminfo: memFree=29789512/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[pid=19337] ppid=19336 vsize=2548 CPUtime=0.02 cores=0,2,4,6
/proc/19337/stat : 19337 (npSolver-pbo) S 19336 19336 12494 0 -1 4202496 1877 2334 0 0 0 0 2 0 20 0 1 0 382835338 2609152 286 33554432000 4194304 6004724 140733983374608 140733983369744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19337/statm: 637 286 158 442 0 191 0
[pid=19342] ppid=19337 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (satsolver.sh) S 19337 19336 12494 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382835343 9367552 266 33554432000 4194304 5064252 140733696700448 140733696699360 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19342/statm: 2287 266 226 213 0 72 0
[pid=19343] ppid=19342 vsize=15276 CPUtime=6.24 cores=0,2,4,6
/proc/19343/stat : 19343 (glucose) R 19342 19336 12494 0 -1 4202496 2881 0 0 0 624 0 0 0 20 0 1 0 382835343 15642624 3336 33554432000 4194304 5208918 140733879269264 140733879267128 4212881 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19343/statm: 3819 3336 104 248 0 3568 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 36120
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19343
/proc/meminfo: memFree=29784332/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[pid=19337] ppid=19336 vsize=2548 CPUtime=0.02 cores=0,2,4,6
/proc/19337/stat : 19337 (npSolver-pbo) S 19336 19336 12494 0 -1 4202496 1877 2334 0 0 0 0 2 0 20 0 1 0 382835338 2609152 286 33554432000 4194304 6004724 140733983374608 140733983369744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19337/statm: 637 286 158 442 0 191 0
[pid=19342] ppid=19337 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (satsolver.sh) S 19337 19336 12494 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382835343 9367552 266 33554432000 4194304 5064252 140733696700448 140733696699360 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19342/statm: 2287 266 226 213 0 72 0
[pid=19343] ppid=19342 vsize=23380 CPUtime=12.64 cores=0,2,4,6
/proc/19343/stat : 19343 (glucose) R 19342 19336 12494 0 -1 4202496 3526 0 0 0 1264 0 0 0 20 0 1 0 382835343 23941120 4996 33554432000 4194304 5208918 140733879269264 140733879267256 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19343/statm: 5845 4996 104 248 0 5594 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 44224
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19343
/proc/meminfo: memFree=29776524/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[pid=19337] ppid=19336 vsize=2548 CPUtime=0.02 cores=0,2,4,6
/proc/19337/stat : 19337 (npSolver-pbo) S 19336 19336 12494 0 -1 4202496 1877 2334 0 0 0 0 2 0 20 0 1 0 382835338 2609152 286 33554432000 4194304 6004724 140733983374608 140733983369744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19337/statm: 637 286 158 442 0 191 0
[pid=19342] ppid=19337 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (satsolver.sh) S 19337 19336 12494 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382835343 9367552 266 33554432000 4194304 5064252 140733696700448 140733696699360 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19342/statm: 2287 266 226 213 0 72 0
[pid=19343] ppid=19342 vsize=25164 CPUtime=25.44 cores=0,2,4,6
/proc/19343/stat : 19343 (glucose) R 19342 19336 12494 0 -1 4202496 4737 0 0 0 2543 1 0 0 20 0 1 0 382835343 25767936 5130 33554432000 4194304 5208918 140733879269264 140733879267128 4229299 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19343/statm: 6291 5130 104 248 0 6040 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 46008
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19343
/proc/meminfo: memFree=29801848/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[pid=19337] ppid=19336 vsize=2548 CPUtime=0.02 cores=0,2,4,6
/proc/19337/stat : 19337 (npSolver-pbo) S 19336 19336 12494 0 -1 4202496 1877 2334 0 0 0 0 2 0 20 0 1 0 382835338 2609152 286 33554432000 4194304 6004724 140733983374608 140733983369744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19337/statm: 637 286 158 442 0 191 0
[pid=19342] ppid=19337 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (satsolver.sh) S 19337 19336 12494 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382835343 9367552 266 33554432000 4194304 5064252 140733696700448 140733696699360 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19342/statm: 2287 266 226 213 0 72 0
[pid=19343] ppid=19342 vsize=37036 CPUtime=51.03 cores=0,2,4,6
/proc/19343/stat : 19343 (glucose) R 19342 19336 12494 0 -1 4202496 6103 0 0 0 5102 1 0 0 20 0 1 0 382835343 37924864 7531 33554432000 4194304 5208918 140733879269264 140733879267208 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19343/statm: 9259 7531 104 248 0 9008 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 57880
[startup+102.306 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 19343
/proc/meminfo: memFree=29758036/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[pid=19337] ppid=19336 vsize=2548 CPUtime=0.02 cores=0,2,4,6
/proc/19337/stat : 19337 (npSolver-pbo) S 19336 19336 12494 0 -1 4202496 1877 2334 0 0 0 0 2 0 20 0 1 0 382835338 2609152 286 33554432000 4194304 6004724 140733983374608 140733983369744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19337/statm: 637 286 158 442 0 191 0
[pid=19342] ppid=19337 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (satsolver.sh) S 19337 19336 12494 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382835343 9367552 266 33554432000 4194304 5064252 140733696700448 140733696699360 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19342/statm: 2287 266 226 213 0 72 0
[pid=19343] ppid=19342 vsize=41500 CPUtime=102.23 cores=0,2,4,6
/proc/19343/stat : 19343 (glucose) R 19342 19336 12494 0 -1 4202496 6716 0 0 0 10222 1 0 0 20 0 1 0 382835343 42496000 9133 33554432000 4194304 5208918 140733879269264 140733879267128 4229731 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19343/statm: 10375 9133 104 248 0 10124 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 62344
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 19344
/proc/meminfo: memFree=29743152/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[pid=19337] ppid=19336 vsize=2548 CPUtime=0.02 cores=0,2,4,6
/proc/19337/stat : 19337 (npSolver-pbo) S 19336 19336 12494 0 -1 4202496 1877 2334 0 0 0 0 2 0 20 0 1 0 382835338 2609152 286 33554432000 4194304 6004724 140733983374608 140733983369744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19337/statm: 637 286 158 442 0 191 0
[pid=19342] ppid=19337 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19422
/proc/meminfo: memFree=30072600/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[pid=19337] ppid=19336 vsize=2548 CPUtime=0.02 cores=0,2,4,6
/proc/19337/stat : 19337 (npSolver-pbo) S 19336 19336 12494 0 -1 4202496 1877 2334 0 0 0 0 2 0 20 0 1 0 382835338 2609152 286 33554432000 4194304 6004724 140733983374608 140733983369744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19337/statm: 637 286 158 442 0 191 0
[pid=19342] ppid=19337 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (satsolver.sh) S 19337 19336 12494 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382835343 9367552 266 33554432000 4194304 5064252 140733696700448 140733696699360 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19342/statm: 2287 266 226 213 0 72 0
[pid=19343] ppid=19342 vsize=105568 CPUtime=1362.02 cores=0,2,4,6
/proc/19343/stat : 19343 (glucose) R 19342 19336 12494 0 -1 4202496 15182 0 0 0 136181 21 0 0 20 0 1 0 382835343 108101632 25962 33554432000 4194304 5208918 140733879269264 140733879267352 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19343/statm: 26392 25962 104 248 0 26141 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 126412
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19422
/proc/meminfo: memFree=30077068/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[pid=19337] ppid=19336 vsize=2548 CPUtime=0.02 cores=0,2,4,6
/proc/19337/stat : 19337 (npSolver-pbo) S 19336 19336 12494 0 -1 4202496 1877 2334 0 0 0 0 2 0 20 0 1 0 382835338 2609152 286 33554432000 4194304 6004724 140733983374608 140733983369744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19337/statm: 637 286 158 442 0 191 0
[pid=19342] ppid=19337 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (satsolver.sh) S 19337 19336 12494 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382835343 9367552 266 33554432000 4194304 5064252 140733696700448 140733696699360 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19342/statm: 2287 266 226 213 0 72 0
[pid=19343] ppid=19342 vsize=154888 CPUtime=1422.02 cores=0,2,4,6
/proc/19343/stat : 19343 (glucose) R 19342 19336 12494 0 -1 4202496 15596 0 0 0 142180 22 0 0 20 0 1 0 382835343 158605312 34342 33554432000 4194304 5208918 140733879269264 140733879267256 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19343/statm: 38722 34342 104 248 0 38471 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 175732
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19422
/proc/meminfo: memFree=30035736/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[pid=19337] ppid=19336 vsize=2548 CPUtime=0.02 cores=0,2,4,6
/proc/19337/stat : 19337 (npSolver-pbo) S 19336 19336 12494 0 -1 4202496 1877 2334 0 0 0 0 2 0 20 0 1 0 382835338 2609152 286 33554432000 4194304 6004724 140733983374608 140733983369744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19337/statm: 637 286 158 442 0 191 0
[pid=19342] ppid=19337 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (satsolver.sh) S 19337 19336 12494 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382835343 9367552 266 33554432000 4194304 5064252 140733696700448 140733696699360 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19342/statm: 2287 266 226 213 0 72 0
[pid=19343] ppid=19342 vsize=154888 CPUtime=1482 cores=0,2,4,6
/proc/19343/stat : 19343 (glucose) R 19342 19336 12494 0 -1 4202496 15809 0 0 0 148177 23 0 0 20 0 1 0 382835343 158605312 35366 33554432000 4194304 5208918 140733879269264 140733879267256 4229512 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19343/statm: 38722 35366 104 248 0 38471 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 175732
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19422
/proc/meminfo: memFree=30021400/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[pid=19337] ppid=19336 vsize=2548 CPUtime=0.02 cores=0,2,4,6
/proc/19337/stat : 19337 (npSolver-pbo) S 19336 19336 12494 0 -1 4202496 1877 2334 0 0 0 0 2 0 20 0 1 0 382835338 2609152 286 33554432000 4194304 6004724 140733983374608 140733983369744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19337/statm: 637 286 158 442 0 191 0
[pid=19342] ppid=19337 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (satsolver.sh) S 19337 19336 12494 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382835343 9367552 266 33554432000 4194304 5064252 140733696700448 140733696699360 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19342/statm: 2287 266 226 213 0 72 0
[pid=19343] ppid=19342 vsize=154888 CPUtime=1541.99 cores=0,2,4,6
/proc/19343/stat : 19343 (glucose) R 19342 19336 12494 0 -1 4202496 16060 0 0 0 154175 24 0 0 20 0 1 0 382835343 158605312 36902 33554432000 4194304 5208918 140733879269264 140733879267256 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19343/statm: 38722 36902 104 248 0 38471 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 175732
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19422
/proc/meminfo: memFree=30066952/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[pid=19337] ppid=19336 vsize=2548 CPUtime=0.02 cores=0,2,4,6
/proc/19337/stat : 19337 (npSolver-pbo) S 19336 19336 12494 0 -1 4202496 1877 2334 0 0 0 0 2 0 20 0 1 0 382835338 2609152 286 33554432000 4194304 6004724 140733983374608 140733983369744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19337/statm: 637 286 158 442 0 191 0
[pid=19342] ppid=19337 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (satsolver.sh) S 19337 19336 12494 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382835343 9367552 266 33554432000 4194304 5064252 140733696700448 140733696699360 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19342/statm: 2287 266 226 213 0 72 0
[pid=19343] ppid=19342 vsize=154888 CPUtime=1601.99 cores=0,2,4,6
/proc/19343/stat : 19343 (glucose) R 19342 19336 12494 0 -1 4202496 16272 0 0 0 160174 25 0 0 20 0 1 0 382835343 158605312 37414 33554432000 4194304 5208918 140733879269264 140733879267256 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19343/statm: 38722 37414 104 248 0 38471 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 175732
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19423
/proc/meminfo: memFree=30021400/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[pid=19337] ppid=19336 vsize=2548 CPUtime=0.02 cores=0,2,4,6
/proc/19337/stat : 19337 (npSolver-pbo) S 19336 19336 12494 0 -1 4202496 1877 2334 0 0 0 0 2 0 20 0 1 0 382835338 2609152 286 33554432000 4194304 6004724 140733983374608 140733983369744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19337/statm: 637 286 158 442 0 191 0
[pid=19342] ppid=19337 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (satsolver.sh) S 19337 19336 12494 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382835343 9367552 266 33554432000 4194304 5064252 140733696700448 140733696699360 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19342/statm: 2287 266 226 213 0 72 0
[pid=19343] ppid=19342 vsize=154888 CPUtime=1661.98 cores=0,2,4,6
/proc/19343/stat : 19343 (glucose) R 19342 19336 12494 0 -1 4202496 16497 0 0 0 166172 26 0 0 20 0 1 0 382835343 158605312 37938 33554432000 4194304 5208918 140733879269264 140733879267256 4229311 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19343/statm: 38722 37938 104 248 0 38471 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 175732
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 19426
/proc/meminfo: memFree=30062868/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[pid=19337] ppid=19336 vsize=2548 CPUtime=0.02 cores=0,2,4,6
/proc/19337/stat : 19337 (npSolver-pbo) S 19336 19336 12494 0 -1 4202496 1877 2334 0 0 0 0 2 0 20 0 1 0 382835338 2609152 286 33554432000 4194304 6004724 140733983374608 140733983369744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19337/statm: 637 286 158 442 0 191 0
[pid=19342] ppid=19337 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (satsolver.sh) S 19337 19336 12494 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382835343 9367552 266 33554432000 4194304 5064252 140733696700448 140733696699360 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19342/statm: 2287 266 226 213 0 72 0
[pid=19343] ppid=19342 vsize=154888 CPUtime=1721.97 cores=0,2,4,6
/proc/19343/stat : 19343 (glucose) R 19342 19336 12494 0 -1 4202496 17310 0 0 0 172169 28 0 0 20 0 1 0 382835343 158605312 38005 33554432000 4194304 5208918 140733879269264 140733879267256 4240035 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19343/statm: 38722 38005 104 248 0 38471 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 175732
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19426
/proc/meminfo: memFree=30066492/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[pid=19337] ppid=19336 vsize=2548 CPUtime=0.02 cores=0,2,4,6
/proc/19337/stat : 19337 (npSolver-pbo) S 19336 19336 12494 0 -1 4202496 1877 2334 0 0 0 0 2 0 20 0 1 0 382835338 2609152 286 33554432000 4194304 6004724 140733983374608 140733983369744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19337/statm: 637 286 158 442 0 191 0
[pid=19342] ppid=19337 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (satsolver.sh) S 19337 19336 12494 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382835343 9367552 266 33554432000 4194304 5064252 140733696700448 140733696699360 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19342/statm: 2287 266 226 213 0 72 0
[pid=19343] ppid=19342 vsize=124968 CPUtime=1781.97 cores=0,2,4,6
/proc/19343/stat : 19343 (glucose) R 19342 19336 12494 0 -1 4202496 17523 0 0 0 178168 29 0 0 20 0 1 0 382835343 127967232 26475 33554432000 4194304 5208918 140733879269264 140733879267352 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19343/statm: 31242 26475 104 248 0 30991 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 145812
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19426
/proc/meminfo: memFree=30066384/32873648 swapFree=7628/7628
[pid=19336] ppid=19334 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19336/stat : 19336 (npSolver-pbo.sh) S 19334 19336 12494 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382835338 9367552 275 33554432000 4194304 5064252 140734079735472 140734079734384 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19336/statm: 2287 275 233 213 0 72 0
[pid=19337] ppid=19336 vsize=2548 CPUtime=0.02 cores=0,2,4,6
/proc/19337/stat : 19337 (npSolver-pbo) S 19336 19336 12494 0 -1 4202496 1877 2334 0 0 0 0 2 0 20 0 1 0 382835338 2609152 286 33554432000 4194304 6004724 140733983374608 140733983369744 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19337/statm: 637 286 158 442 0 191 0
[pid=19342] ppid=19337 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (satsolver.sh) S 19337 19336 12494 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382835343 9367552 266 33554432000 4194304 5064252 140733696700448 140733696699360 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19342/statm: 2287 266 226 213 0 72 0
[pid=19343] ppid=19342 vsize=174288 CPUtime=1800.06 cores=0,2,4,6
/proc/19343/stat : 19343 (glucose) R 19342 19336 12494 0 -1 4202496 17731 0 0 0 179977 29 0 0 20 0 1 0 382835343 178470912 36903 33554432000 4194304 5208918 140733879269264 140733879267256 4229734 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19343/statm: 43572 36903 104 248 0 43321 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 195132
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.41
CPU time (s): 1800.13
CPU user time (s): 1799.81
CPU system time (s): 0.316951
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 206552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.316951
maximum resident set size= 153756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22930
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 1986
runsolver used 2.77458 second user time and 7.34688 second system time
The end