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-3700772-1338084063/watcher-3700772-1338084063 -o /tmp/evaluation-result-3700772-1338084063/solver-3700772-1338084063 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700772-1338084063.opb 1933091830 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.05 2.02 2.00 3/180 17482
/proc/meminfo: memFree=29269020/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[startup+0.067084 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 17482
/proc/meminfo: memFree=29269020/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100212 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 17482
/proc/meminfo: memFree=29269020/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300173 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 17482
/proc/meminfo: memFree=29269020/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700189 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 17482
/proc/meminfo: memFree=29269020/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 17486
/proc/meminfo: memFree=29227520/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[pid=17483] ppid=17482 vsize=10100 CPUtime=1.47 cores=1,3,5,7
/proc/17483/stat : 17483 (npSolver-pbo) R 17482 17482 11614 0 -1 4202496 3359 14647 0 0 78 7 58 4 20 0 1 0 274531717 10342400 1897 33554432000 4194304 5992684 140736601102032 140736601096264 5179696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17483/statm: 2525 1897 173 440 0 2081 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 19248
[startup+3.10028 s]
/proc/loadavg: 2.13 2.03 2.01 3/182 17494
/proc/meminfo: memFree=29203676/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[pid=17483] ppid=17482 vsize=85644 CPUtime=2.49 cores=1,3,5,7
/proc/17483/stat : 17483 (npSolver-pbo) S 17482 17482 11614 0 -1 4202496 9069 15163 0 0 160 26 58 5 20 0 1 0 274531717 87699456 18456 33554432000 4194304 5992684 140736601102032 140736601094352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17483/statm: 21411 18456 183 440 0 20967 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 94792
[startup+6.3003 s]
/proc/loadavg: 2.13 2.03 2.01 3/184 17496
/proc/meminfo: memFree=28988236/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[pid=17483] ppid=17482 vsize=85644 CPUtime=2.49 cores=1,3,5,7
/proc/17483/stat : 17483 (npSolver-pbo) S 17482 17482 11614 0 -1 4202496 9069 15163 0 0 160 26 58 5 20 0 1 0 274531717 87699456 18456 33554432000 4194304 5992684 140736601102032 140736601094352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17483/statm: 21411 18456 183 440 0 20967 0
[pid=17495] ppid=17483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (satsolver.sh) S 17483 17482 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274531979 9367552 266 33554432000 4194304 5064252 140735358393888 140735358392800 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17495/statm: 2287 266 226 213 0 72 0
[pid=17496] ppid=17495 vsize=180556 CPUtime=3.67 cores=1,3,5,7
/proc/17496/stat : 17496 (glucose) R 17495 17482 11614 0 -1 4202496 31668 0 0 0 359 8 0 0 20 0 1 0 274531979 184889344 36369 33554432000 4194304 5208918 140735310693200 140735310691352 4205631 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17496/statm: 45139 36369 105 248 0 44888 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 284496
[startup+12.7004 s]
/proc/loadavg: 2.18 2.05 2.01 3/184 17496
/proc/meminfo: memFree=28975512/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[pid=17483] ppid=17482 vsize=85644 CPUtime=2.49 cores=1,3,5,7
/proc/17483/stat : 17483 (npSolver-pbo) S 17482 17482 11614 0 -1 4202496 9069 15163 0 0 160 26 58 5 20 0 1 0 274531717 87699456 18456 33554432000 4194304 5992684 140736601102032 140736601094352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17483/statm: 21411 18456 183 440 0 20967 0
[pid=17495] ppid=17483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (satsolver.sh) S 17483 17482 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274531979 9367552 266 33554432000 4194304 5064252 140735358393888 140735358392800 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17495/statm: 2287 266 226 213 0 72 0
[pid=17496] ppid=17495 vsize=182184 CPUtime=10.07 cores=1,3,5,7
/proc/17496/stat : 17496 (glucose) R 17495 17482 11614 0 -1 4202496 31897 0 0 0 999 8 0 0 20 0 1 0 274531979 186556416 36598 33554432000 4194304 5208918 140735310693200 140735310691032 4211122 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17496/statm: 45546 36598 105 248 0 45295 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 286124
[startup+25.5067 s]
/proc/loadavg: 2.15 2.05 2.01 3/184 17496
/proc/meminfo: memFree=28980632/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[pid=17483] ppid=17482 vsize=85644 CPUtime=2.49 cores=1,3,5,7
/proc/17483/stat : 17483 (npSolver-pbo) S 17482 17482 11614 0 -1 4202496 9069 15163 0 0 160 26 58 5 20 0 1 0 274531717 87699456 18456 33554432000 4194304 5992684 140736601102032 140736601094352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17483/statm: 21411 18456 183 440 0 20967 0
[pid=17495] ppid=17483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (satsolver.sh) S 17483 17482 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274531979 9367552 266 33554432000 4194304 5064252 140735358393888 140735358392800 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17495/statm: 2287 266 226 213 0 72 0
[pid=17496] ppid=17495 vsize=183480 CPUtime=22.87 cores=1,3,5,7
/proc/17496/stat : 17496 (glucose) R 17495 17482 11614 0 -1 4202496 32404 0 0 0 2279 8 0 0 20 0 1 0 274531979 187883520 37616 33554432000 4194304 5208918 140735310693200 140735310689576 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17496/statm: 45870 37616 105 248 0 45619 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 287420
[startup+51.1004 s]
/proc/loadavg: 2.10 2.04 2.01 3/184 17496
/proc/meminfo: memFree=28958132/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[pid=17483] ppid=17482 vsize=85644 CPUtime=2.49 cores=1,3,5,7
/proc/17483/stat : 17483 (npSolver-pbo) S 17482 17482 11614 0 -1 4202496 9069 15163 0 0 160 26 58 5 20 0 1 0 274531717 87699456 18456 33554432000 4194304 5992684 140736601102032 140736601094352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17483/statm: 21411 18456 183 440 0 20967 0
[pid=17495] ppid=17483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (satsolver.sh) S 17483 17482 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274531979 9367552 266 33554432000 4194304 5064252 140735358393888 140735358392800 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17495/statm: 2287 266 226 213 0 72 0
[pid=17496] ppid=17495 vsize=186328 CPUtime=48.46 cores=1,3,5,7
/proc/17496/stat : 17496 (glucose) R 17495 17482 11614 0 -1 4202496 33391 0 0 0 4837 9 0 0 20 0 1 0 274531979 190799872 37498 33554432000 4194304 5208918 140735310693200 140735310689576 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17496/statm: 46582 37498 105 248 0 46331 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 290268
[startup+102.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/183 17504
/proc/meminfo: memFree=28980496/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[pid=17483] ppid=17482 vsize=85644 CPUtime=2.49 cores=1,3,5,7
/proc/17483/stat : 17483 (npSolver-pbo) S 17482 17482 11614 0 -1 4202496 9069 15163 0 0 160 26 58 5 20 0 1 0 274531717 87699456 18456 33554432000 4194304 5992684 140736601102032 140736601094352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17483/statm: 21411 18456 183 440 0 20967 0
[pid=17495] ppid=17483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (satsolver.sh) S 17483 17482 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274531979 9367552 266 33554432000 4194304 5064252 140735358393888 140735358392800 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17495/statm: 2287 266 226 213 0 72 0
[pid=17496] ppid=17495 vsize=193548 CPUtime=99.65 cores=1,3,5,7
/proc/17496/stat : 17496 (glucose) R 17495 17482 11614 0 -1 4202496 35381 0 0 0 9955 10 0 0 20 0 1 0 274531979 198193152 42239 33554432000 4194304 5208918 140735310693200 140735310691048 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17496/statm: 48387 42239 105 248 0 48136 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 297488
[startup+162.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 17504
/proc/meminfo: memFree=28937892/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[pid=17483] ppid=17482 vsize=85644 CPUtime=2.49 cores=1,3,5,7
/proc/17483/stat : 17483 (npSolver-pbo) S 17482 17482 11614 0 -1 4202496 9069 15163 0 0 160 26 58 5 20 0 1 0 274531717 87699456 18456 33554432000 4194304 5992684 140736601102032 140736601094352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17483/statm: 21411 18456 183 440 0 20967 0
[pid=17495] ppid=17483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (satsolver.sh) S 17483 17482 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274531979 9367552 266 33554432000 4194304 5064252 140735358393888 140735358392800 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17495/statm: 2287 266 226 213 0 72 0
[pid=17496] ppid=17495 vsize=204808 CPUtime=159.62 cores=1,3,5,7
/proc/17496/stat : 17496 (glucose) R 17495 17482 11614 0 -1 4202496 38648 0 0 0 15949 13 0 0 20 0 1 0 274531979 209723392 45066 33554432000 4194304 5208918 140735310693200 140735310691048 4229456 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17496/statm: 51202 45066 105 248 0 50951 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 308748
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 17504
/proc/meminfo: memFree=28894912/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17566
/proc/meminfo: memFree=28459084/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[pid=17483] ppid=17482 vsize=85644 CPUtime=2.49 cores=1,3,5,7
/proc/17483/stat : 17483 (npSolver-pbo) S 17482 17482 11614 0 -1 4202496 9069 15163 0 0 160 26 58 5 20 0 1 0 274531717 87699456 18456 33554432000 4194304 5992684 140736601102032 140736601094352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17483/statm: 21411 18456 183 440 0 20967 0
[pid=17495] ppid=17483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (satsolver.sh) S 17483 17482 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274531979 9367552 266 33554432000 4194304 5064252 140735358393888 140735358392800 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17495/statm: 2287 266 226 213 0 72 0
[pid=17496] ppid=17495 vsize=376620 CPUtime=1419.39 cores=1,3,5,7
/proc/17496/stat : 17496 (glucose) R 17495 17482 11614 0 -1 4202496 80743 0 0 0 141856 83 0 0 20 0 1 0 274531979 385658880 81499 33554432000 4194304 5208918 140735310693200 140735310690952 4205631 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17496/statm: 94155 81499 105 248 0 93904 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 480560
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17566
/proc/meminfo: memFree=28431256/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[pid=17483] ppid=17482 vsize=85644 CPUtime=2.49 cores=1,3,5,7
/proc/17483/stat : 17483 (npSolver-pbo) S 17482 17482 11614 0 -1 4202496 9069 15163 0 0 160 26 58 5 20 0 1 0 274531717 87699456 18456 33554432000 4194304 5992684 140736601102032 140736601094352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17483/statm: 21411 18456 183 440 0 20967 0
[pid=17495] ppid=17483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (satsolver.sh) S 17483 17482 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274531979 9367552 266 33554432000 4194304 5064252 140735358393888 140735358392800 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17495/statm: 2287 266 226 213 0 72 0
[pid=17496] ppid=17495 vsize=378040 CPUtime=1479.38 cores=1,3,5,7
/proc/17496/stat : 17496 (glucose) R 17495 17482 11614 0 -1 4202496 81890 0 0 0 147852 86 0 0 20 0 1 0 274531979 387112960 82424 33554432000 4194304 5208918 140735310693200 140735310691048 4211834 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17496/statm: 94510 82424 105 248 0 94259 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 481980
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 17567
/proc/meminfo: memFree=28407420/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[pid=17483] ppid=17482 vsize=85644 CPUtime=2.49 cores=1,3,5,7
/proc/17483/stat : 17483 (npSolver-pbo) S 17482 17482 11614 0 -1 4202496 9069 15163 0 0 160 26 58 5 20 0 1 0 274531717 87699456 18456 33554432000 4194304 5992684 140736601102032 140736601094352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17483/statm: 21411 18456 183 440 0 20967 0
[pid=17495] ppid=17483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (satsolver.sh) S 17483 17482 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274531979 9367552 266 33554432000 4194304 5064252 140735358393888 140735358392800 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17495/statm: 2287 266 226 213 0 72 0
[pid=17496] ppid=17495 vsize=380824 CPUtime=1539.37 cores=1,3,5,7
/proc/17496/stat : 17496 (glucose) R 17495 17482 11614 0 -1 4202496 83315 0 0 0 153849 88 0 0 20 0 1 0 274531979 389963776 83631 33554432000 4194304 5208918 140735310693200 140735310691048 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17496/statm: 95206 83631 105 248 0 94955 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 484764
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17568
/proc/meminfo: memFree=28426408/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[pid=17483] ppid=17482 vsize=85644 CPUtime=2.49 cores=1,3,5,7
/proc/17483/stat : 17483 (npSolver-pbo) S 17482 17482 11614 0 -1 4202496 9069 15163 0 0 160 26 58 5 20 0 1 0 274531717 87699456 18456 33554432000 4194304 5992684 140736601102032 140736601094352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17483/statm: 21411 18456 183 440 0 20967 0
[pid=17495] ppid=17483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (satsolver.sh) S 17483 17482 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274531979 9367552 266 33554432000 4194304 5064252 140735358393888 140735358392800 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17495/statm: 2287 266 226 213 0 72 0
[pid=17496] ppid=17495 vsize=382752 CPUtime=1599.35 cores=1,3,5,7
/proc/17496/stat : 17496 (glucose) R 17495 17482 11614 0 -1 4202496 84577 0 0 0 159844 91 0 0 20 0 1 0 274531979 391938048 82603 33554432000 4194304 5208918 140735310693200 140735310690952 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17496/statm: 95688 82603 105 248 0 95437 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 486692
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17568
/proc/meminfo: memFree=28416264/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[pid=17483] ppid=17482 vsize=85644 CPUtime=2.49 cores=1,3,5,7
/proc/17483/stat : 17483 (npSolver-pbo) S 17482 17482 11614 0 -1 4202496 9069 15163 0 0 160 26 58 5 20 0 1 0 274531717 87699456 18456 33554432000 4194304 5992684 140736601102032 140736601094352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17483/statm: 21411 18456 183 440 0 20967 0
[pid=17495] ppid=17483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (satsolver.sh) S 17483 17482 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274531979 9367552 266 33554432000 4194304 5064252 140735358393888 140735358392800 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17495/statm: 2287 266 226 213 0 72 0
[pid=17496] ppid=17495 vsize=384740 CPUtime=1659.35 cores=1,3,5,7
/proc/17496/stat : 17496 (glucose) R 17495 17482 11614 0 -1 4202496 85682 0 0 0 165841 94 0 0 20 0 1 0 274531979 393973760 81926 33554432000 4194304 5208918 140735310693200 140735310689576 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17496/statm: 96185 81926 105 248 0 95934 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 488680
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17568
/proc/meminfo: memFree=28383764/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[pid=17483] ppid=17482 vsize=85644 CPUtime=2.49 cores=1,3,5,7
/proc/17483/stat : 17483 (npSolver-pbo) S 17482 17482 11614 0 -1 4202496 9069 15163 0 0 160 26 58 5 20 0 1 0 274531717 87699456 18456 33554432000 4194304 5992684 140736601102032 140736601094352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17483/statm: 21411 18456 183 440 0 20967 0
[pid=17495] ppid=17483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (satsolver.sh) S 17483 17482 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274531979 9367552 266 33554432000 4194304 5064252 140735358393888 140735358392800 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17495/statm: 2287 266 226 213 0 72 0
[pid=17496] ppid=17495 vsize=387756 CPUtime=1719.33 cores=1,3,5,7
/proc/17496/stat : 17496 (glucose) R 17495 17482 11614 0 -1 4202496 86555 0 0 0 171837 96 0 0 20 0 1 0 274531979 397062144 86416 33554432000 4194304 5208918 140735310693200 140735310689016 4229859 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17496/statm: 96939 86416 105 248 0 96688 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 491696
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/184 17571
/proc/meminfo: memFree=28402508/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[pid=17483] ppid=17482 vsize=85644 CPUtime=2.49 cores=1,3,5,7
/proc/17483/stat : 17483 (npSolver-pbo) S 17482 17482 11614 0 -1 4202496 9069 15163 0 0 160 26 58 5 20 0 1 0 274531717 87699456 18456 33554432000 4194304 5992684 140736601102032 140736601094352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17483/statm: 21411 18456 183 440 0 20967 0
[pid=17495] ppid=17483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (satsolver.sh) S 17483 17482 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274531979 9367552 266 33554432000 4194304 5064252 140735358393888 140735358392800 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17495/statm: 2287 266 226 213 0 72 0
[pid=17496] ppid=17495 vsize=390456 CPUtime=1779.33 cores=1,3,5,7
/proc/17496/stat : 17496 (glucose) R 17495 17482 11614 0 -1 4202496 87730 0 0 0 177834 99 0 0 20 0 1 0 274531979 399826944 88965 33554432000 4194304 5208918 140735310693200 140735310691048 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17496/statm: 97614 88965 105 248 0 97363 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 494396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 17571
/proc/meminfo: memFree=28374908/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[pid=17483] ppid=17482 vsize=85644 CPUtime=2.49 cores=1,3,5,7
/proc/17483/stat : 17483 (npSolver-pbo) S 17482 17482 11614 0 -1 4202496 9069 15163 0 0 160 26 58 5 20 0 1 0 274531717 87699456 18456 33554432000 4194304 5992684 140736601102032 140736601094352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17483/statm: 21411 18456 183 440 0 20967 0
[pid=17495] ppid=17483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (satsolver.sh) S 17483 17482 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274531979 9367552 266 33554432000 4194304 5064252 140735358393888 140735358392800 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17495/statm: 2287 266 226 213 0 72 0
[pid=17496] ppid=17495 vsize=390988 CPUtime=1797.53 cores=1,3,5,7
/proc/17496/stat : 17496 (glucose) R 17495 17482 11614 0 -1 4202496 87888 0 0 0 179654 99 0 0 20 0 1 0 274531979 400371712 90656 33554432000 4194304 5208918 140735310693200 140735310690952 4211670 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17496/statm: 97747 90656 105 248 0 97496 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 494928
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.05 2.01 2.00 3/183 17571
/proc/meminfo: memFree=28374908/32873648 swapFree=6864/6864
[pid=17482] ppid=17480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17482/stat : 17482 (npSolver-pbo.sh) S 17480 17482 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274531716 9367552 275 33554432000 4194304 5064252 140737190926784 140737190925696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17482/statm: 2287 275 233 213 0 72 0
[pid=17483] ppid=17482 vsize=85644 CPUtime=2.49 cores=1,3,5,7
/proc/17483/stat : 17483 (npSolver-pbo) S 17482 17482 11614 0 -1 4202496 9069 15163 0 0 160 26 58 5 20 0 1 0 274531717 87699456 18456 33554432000 4194304 5992684 140736601102032 140736601094352 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17483/statm: 21411 18456 183 440 0 20967 0
[pid=17495] ppid=17483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (satsolver.sh) S 17483 17482 11614 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274531979 9367552 266 33554432000 4194304 5064252 140735358393888 140735358392800 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17495/statm: 2287 266 226 213 0 72 0
[pid=17496] ppid=17495 vsize=390988 CPUtime=1797.53 cores=1,3,5,7
/proc/17496/stat : 17496 (glucose) R 17495 17482 11614 0 -1 4202496 87888 0 0 0 179654 99 0 0 20 0 1 0 274531979 400371712 90656 33554432000 4194304 5208918 140735310693200 140735310690952 4211670 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17496/statm: 97747 90656 105 248 0 97496 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 494928
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1798.74
CPU system time (s): 1.3188
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 622944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 1.3188
maximum resident set size= 444424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113111
page faults= 0
swaps= 0
block input operations= 0
block output operations= 132624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 178
involuntary context switches= 1865
runsolver used 2.6266 second user time and 7.2629 second system time
The end