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-3750834-1339173186/watcher-3750834-1339173186 -o /tmp/evaluation-result-3750834-1339173186/solver-3750834-1339173186 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750834-1339173186.opb 2018258423 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.16 2.04 2.01 3/180 2598
/proc/meminfo: memFree=28557680/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[startup+0.087251 s]
/proc/loadavg: 2.16 2.04 2.01 3/180 2598
/proc/meminfo: memFree=28557680/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100315 s]
/proc/loadavg: 2.16 2.04 2.01 3/180 2598
/proc/meminfo: memFree=28557680/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300316 s]
/proc/loadavg: 2.16 2.04 2.01 3/180 2598
/proc/meminfo: memFree=28557680/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700284 s]
/proc/loadavg: 2.16 2.04 2.01 3/180 2598
/proc/meminfo: memFree=28557680/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.16 2.04 2.01 3/182 2600
/proc/meminfo: memFree=28411568/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[pid=2599] ppid=2598 vsize=241072 CPUtime=1.49 cores=0,2,4,6
/proc/2599/stat : 2599 (npSolver-pbo) R 2598 2598 2358 0 -1 4202496 22071 0 0 0 143 6 0 0 20 0 1 0 383443536 246857728 44188 33554432000 4194304 6004724 140733576784272 140733576779224 4534746 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2599/statm: 60268 44188 154 442 0 59822 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 250220
[startup+3.10032 s]
/proc/loadavg: 2.15 2.04 2.01 3/182 2600
/proc/meminfo: memFree=28332992/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[pid=2599] ppid=2598 vsize=167412 CPUtime=2.62 cores=0,2,4,6
/proc/2599/stat : 2599 (npSolver-pbo) S 2598 2598 2358 0 -1 4202496 22868 0 0 0 234 28 0 0 20 0 1 0 383443536 171429888 41509 33554432000 4194304 6004724 140733576784272 140733576778320 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2599/statm: 41853 41509 163 442 0 41407 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 176560
[startup+6.30046 s]
/proc/loadavg: 2.15 2.04 2.01 3/184 2602
/proc/meminfo: memFree=27779968/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[pid=2599] ppid=2598 vsize=167412 CPUtime=2.62 cores=0,2,4,6
/proc/2599/stat : 2599 (npSolver-pbo) S 2598 2598 2358 0 -1 4202496 22868 0 0 0 234 28 0 0 20 0 1 0 383443536 171429888 41509 33554432000 4194304 6004724 140733576784272 140733576778320 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2599/statm: 41853 41509 163 442 0 41407 0
[pid=2601] ppid=2599 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2601/stat : 2601 (cp2_pre.sh) S 2599 2598 2358 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383443799 9367552 277 33554432000 4194304 5064252 140735869784624 140735869783328 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2601/statm: 2287 277 234 213 0 72 0
[pid=2602] ppid=2601 vsize=564880 CPUtime=3.66 cores=0,2,4,6
/proc/2602/stat : 2602 (coprocessor) R 2601 2598 2358 0 -1 4202496 56820 0 0 0 351 15 0 0 20 0 1 0 383443799 578437120 127260 33554432000 4194304 6586260 140733517115712 140733517111976 4496195 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/2602/statm: 141220 127260 168 584 0 140632 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 750588
[startup+12.7005 s]
/proc/loadavg: 2.28 2.07 2.02 3/184 2605
/proc/meminfo: memFree=28165972/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[pid=2599] ppid=2598 vsize=167412 CPUtime=11.48 cores=0,2,4,6
/proc/2599/stat : 2599 (npSolver-pbo) S 2598 2598 2358 0 -1 4202496 22875 72386 0 0 234 29 852 33 20 0 1 0 383443536 171429888 41509 33554432000 4194304 6004724 140733576784272 140733576779408 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2599/statm: 41853 41509 163 442 0 41407 0
[pid=2604] ppid=2599 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2604/stat : 2604 (satsolver.sh) S 2599 2598 2358 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383444698 9367552 266 33554432000 4194304 5064252 140733284142240 140733284141152 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2604/statm: 2287 266 226 213 0 72 0
[pid=2605] ppid=2604 vsize=272080 CPUtime=1.06 cores=0,2,4,6
/proc/2605/stat : 2605 (glucose) R 2604 2598 2358 0 -1 4202496 46402 0 0 0 97 9 0 0 20 0 1 0 383444698 278609920 61222 33554432000 4194304 5208918 140733284303520 140733283253016 4465602 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2605/statm: 68020 61222 95 248 0 67769 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 457788
[startup+25.5005 s]
/proc/loadavg: 2.47 2.12 2.04 3/183 2612
/proc/meminfo: memFree=27655940/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[pid=2599] ppid=2598 vsize=298488 CPUtime=21.24 cores=0,2,4,6
/proc/2599/stat : 2599 (npSolver-pbo) S 2598 2598 2358 0 -1 4202496 33105 127032 0 0 432 369 1264 59 20 0 1 0 383443536 305651712 62288 33554432000 4194304 6004724 140733576784272 140733576776624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 147 0 0
/proc/2599/statm: 74622 62288 175 442 0 74176 0
[pid=2611] ppid=2599 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2611/stat : 2611 (satsolver.sh) S 2599 2598 2358 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383445823 9367552 266 33554432000 4194304 5064252 140736963735712 140736963734624 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2611/statm: 2287 266 226 213 0 72 0
[pid=2612] ppid=2611 vsize=507072 CPUtime=2.61 cores=0,2,4,6
/proc/2612/stat : 2612 (glucose) R 2611 2598 2358 0 -1 4202496 73980 0 0 0 244 17 0 0 20 0 1 0 383445823 519241728 104350 33554432000 4194304 5208918 140736679251536 140736679249384 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2612/statm: 126768 104350 104 248 0 126517 0
Current children cumulated CPU time (s) 23.85
Current children cumulated vsize (KiB) 823856
[startup+51.1005 s]
/proc/loadavg: 2.31 2.11 2.03 3/183 2664
/proc/meminfo: memFree=27757528/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[pid=2599] ppid=2598 vsize=298488 CPUtime=21.24 cores=0,2,4,6
/proc/2599/stat : 2599 (npSolver-pbo) S 2598 2598 2358 0 -1 4202496 33105 127032 0 0 432 369 1264 59 20 0 1 0 383443536 305651712 62288 33554432000 4194304 6004724 140733576784272 140733576776624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 147 0 0
/proc/2599/statm: 74622 62288 175 442 0 74176 0
[pid=2611] ppid=2599 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2611/stat : 2611 (satsolver.sh) S 2599 2598 2358 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383445823 9367552 266 33554432000 4194304 5064252 140736963735712 140736963734624 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2611/statm: 2287 266 226 213 0 72 0
[pid=2612] ppid=2611 vsize=507072 CPUtime=28.21 cores=0,2,4,6
/proc/2612/stat : 2612 (glucose) R 2611 2598 2358 0 -1 4202496 73984 0 0 0 2804 17 0 0 20 0 1 0 383445823 519241728 104354 33554432000 4194304 5208918 140736679251536 140736679249384 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2612/statm: 126768 104354 104 248 0 126517 0
Current children cumulated CPU time (s) 49.45
Current children cumulated vsize (KiB) 823856
[startup+102.307 s]
/proc/loadavg: 2.12 2.09 2.03 3/183 2664
/proc/meminfo: memFree=27669348/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[pid=2599] ppid=2598 vsize=298488 CPUtime=21.24 cores=0,2,4,6
/proc/2599/stat : 2599 (npSolver-pbo) S 2598 2598 2358 0 -1 4202496 33105 127032 0 0 432 369 1264 59 20 0 1 0 383443536 305651712 62288 33554432000 4194304 6004724 140733576784272 140733576776624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 147 0 0
/proc/2599/statm: 74622 62288 175 442 0 74176 0
[pid=2611] ppid=2599 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2611/stat : 2611 (satsolver.sh) S 2599 2598 2358 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383445823 9367552 266 33554432000 4194304 5064252 140736963735712 140736963734624 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2611/statm: 2287 266 226 213 0 72 0
[pid=2612] ppid=2611 vsize=507208 CPUtime=79.41 cores=0,2,4,6
/proc/2612/stat : 2612 (glucose) R 2611 2598 2358 0 -1 4202496 73988 0 0 0 7924 17 0 0 20 0 1 0 383445823 519380992 104358 33554432000 4194304 5208918 140736679251536 140736679249208 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2612/statm: 126802 104358 104 248 0 126551 0
Current children cumulated CPU time (s) 100.65
Current children cumulated vsize (KiB) 823992
[startup+162.3 s]
/proc/loadavg: 2.04 2.07 2.02 3/183 2665
/proc/meminfo: memFree=27670776/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[pid=2599] ppid=2598 vsize=298488 CPUtime=21.24 cores=0,2,4,6
/proc/2599/stat : 2599 (npSolver-pbo) S 2598 2598 2358 0 -1 4202496 33105 127032 0 0 432 369 1264 59 20 0 1 0 383443536 305651712 62288 33554432000 4194304 6004724 140733576784272 140733576776624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 147 0 0
/proc/2599/statm: 74622 62288 175 442 0 74176 0
[pid=2611] ppid=2599 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2611/stat : 2611 (satsolver.sh) S 2599 2598 2358 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383445823 9367552 266 33554432000 4194304 5064252 140736963735712 140736963734624 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2611/statm: 2287 266 226 213 0 72 0
[pid=2612] ppid=2611 vsize=507208 CPUtime=139.39 cores=0,2,4,6
/proc/2612/stat : 2612 (glucose) R 2611 2598 2358 0 -1 4202496 74003 0 0 0 13922 17 0 0 20 0 1 0 383445823 519380992 104373 33554432000 4194304 5208918 140736679251536 140736679249208 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2612/statm: 126802 104373 104 248 0 126551 0
Current children cumulated CPU time (s) 160.63
Current children cumulated vsize (KiB) 823992
[startup+222.3 s]
/proc/loadavg: 2.01 2.05 2.02 3/183 2665
/proc/meminfo: memFree=27654076/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 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 2676
/proc/meminfo: memFree=27517804/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[pid=2599] ppid=2598 vsize=298488 CPUtime=21.24 cores=0,2,4,6
/proc/2599/stat : 2599 (npSolver-pbo) S 2598 2598 2358 0 -1 4202496 33105 127032 0 0 432 369 1264 59 20 0 1 0 383443536 305651712 62288 33554432000 4194304 6004724 140733576784272 140733576776624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 147 0 0
/proc/2599/statm: 74622 62288 175 442 0 74176 0
[pid=2611] ppid=2599 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2611/stat : 2611 (satsolver.sh) S 2599 2598 2358 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383445823 9367552 266 33554432000 4194304 5064252 140736963735712 140736963734624 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2611/statm: 2287 266 226 213 0 72 0
[pid=2612] ppid=2611 vsize=550260 CPUtime=1339.16 cores=0,2,4,6
/proc/2612/stat : 2612 (glucose) R 2611 2598 2358 0 -1 4202496 81508 0 0 0 133891 25 0 0 20 0 1 0 383445823 563466240 124043 33554432000 4194304 5208918 140736679251536 140736679247848 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2612/statm: 137565 124043 104 248 0 137314 0
Current children cumulated CPU time (s) 1360.4
Current children cumulated vsize (KiB) 867044
[startup+1422.31 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 2676
/proc/meminfo: memFree=27539572/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[pid=2599] ppid=2598 vsize=298488 CPUtime=21.24 cores=0,2,4,6
/proc/2599/stat : 2599 (npSolver-pbo) S 2598 2598 2358 0 -1 4202496 33105 127032 0 0 432 369 1264 59 20 0 1 0 383443536 305651712 62288 33554432000 4194304 6004724 140733576784272 140733576776624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 147 0 0
/proc/2599/statm: 74622 62288 175 442 0 74176 0
[pid=2611] ppid=2599 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2611/stat : 2611 (satsolver.sh) S 2599 2598 2358 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383445823 9367552 266 33554432000 4194304 5064252 140736963735712 140736963734624 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2611/statm: 2287 266 226 213 0 72 0
[pid=2612] ppid=2611 vsize=550260 CPUtime=1399.17 cores=0,2,4,6
/proc/2612/stat : 2612 (glucose) R 2611 2598 2358 0 -1 4202496 81669 0 0 0 139890 27 0 0 20 0 1 0 383445823 563466240 119582 33554432000 4194304 5208918 140736679251536 140736679249624 4211558 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2612/statm: 137565 119582 104 248 0 137314 0
Current children cumulated CPU time (s) 1420.41
Current children cumulated vsize (KiB) 867044
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 2676
/proc/meminfo: memFree=27532236/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[pid=2599] ppid=2598 vsize=298488 CPUtime=21.24 cores=0,2,4,6
/proc/2599/stat : 2599 (npSolver-pbo) S 2598 2598 2358 0 -1 4202496 33105 127032 0 0 432 369 1264 59 20 0 1 0 383443536 305651712 62288 33554432000 4194304 6004724 140733576784272 140733576776624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 147 0 0
/proc/2599/statm: 74622 62288 175 442 0 74176 0
[pid=2611] ppid=2599 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2611/stat : 2611 (satsolver.sh) S 2599 2598 2358 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383445823 9367552 266 33554432000 4194304 5064252 140736963735712 140736963734624 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2611/statm: 2287 266 226 213 0 72 0
[pid=2612] ppid=2611 vsize=554380 CPUtime=1459.15 cores=0,2,4,6
/proc/2612/stat : 2612 (glucose) R 2611 2598 2358 0 -1 4202496 82081 0 0 0 145888 27 0 0 20 0 1 0 383445823 567685120 123571 33554432000 4194304 5208918 140736679251536 140736679247912 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2612/statm: 138595 123571 104 248 0 138344 0
Current children cumulated CPU time (s) 1480.39
Current children cumulated vsize (KiB) 871164
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2676
/proc/meminfo: memFree=27539356/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[pid=2599] ppid=2598 vsize=298488 CPUtime=21.24 cores=0,2,4,6
/proc/2599/stat : 2599 (npSolver-pbo) S 2598 2598 2358 0 -1 4202496 33105 127032 0 0 432 369 1264 59 20 0 1 0 383443536 305651712 62288 33554432000 4194304 6004724 140733576784272 140733576776624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 147 0 0
/proc/2599/statm: 74622 62288 175 442 0 74176 0
[pid=2611] ppid=2599 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2611/stat : 2611 (satsolver.sh) S 2599 2598 2358 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383445823 9367552 266 33554432000 4194304 5064252 140736963735712 140736963734624 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2611/statm: 2287 266 226 213 0 72 0
[pid=2612] ppid=2611 vsize=554380 CPUtime=1519.14 cores=0,2,4,6
/proc/2612/stat : 2612 (glucose) R 2611 2598 2358 0 -1 4202496 82084 0 0 0 151887 27 0 0 20 0 1 0 383445823 567685120 125107 33554432000 4194304 5208918 140736679251536 140736679247912 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2612/statm: 138595 125107 104 248 0 138344 0
Current children cumulated CPU time (s) 1540.38
Current children cumulated vsize (KiB) 871164
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 2676
/proc/meminfo: memFree=27549264/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[pid=2599] ppid=2598 vsize=298488 CPUtime=21.24 cores=0,2,4,6
/proc/2599/stat : 2599 (npSolver-pbo) S 2598 2598 2358 0 -1 4202496 33105 127032 0 0 432 369 1264 59 20 0 1 0 383443536 305651712 62288 33554432000 4194304 6004724 140733576784272 140733576776624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 147 0 0
/proc/2599/statm: 74622 62288 175 442 0 74176 0
[pid=2611] ppid=2599 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2611/stat : 2611 (satsolver.sh) S 2599 2598 2358 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383445823 9367552 266 33554432000 4194304 5064252 140736963735712 140736963734624 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2611/statm: 2287 266 226 213 0 72 0
[pid=2612] ppid=2611 vsize=554380 CPUtime=1579.13 cores=0,2,4,6
/proc/2612/stat : 2612 (glucose) R 2611 2598 2358 0 -1 4202496 82193 0 0 0 157886 27 0 0 20 0 1 0 383445823 567685120 127259 33554432000 4194304 5208918 140736679251536 140736679247912 4211111 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2612/statm: 138595 127259 104 248 0 138344 0
Current children cumulated CPU time (s) 1600.37
Current children cumulated vsize (KiB) 871164
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/184 2680
/proc/meminfo: memFree=27483476/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[pid=2599] ppid=2598 vsize=298488 CPUtime=21.24 cores=0,2,4,6
/proc/2599/stat : 2599 (npSolver-pbo) S 2598 2598 2358 0 -1 4202496 33105 127032 0 0 432 369 1264 59 20 0 1 0 383443536 305651712 62288 33554432000 4194304 6004724 140733576784272 140733576776624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 147 0 0
/proc/2599/statm: 74622 62288 175 442 0 74176 0
[pid=2611] ppid=2599 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2611/stat : 2611 (satsolver.sh) S 2599 2598 2358 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383445823 9367552 266 33554432000 4194304 5064252 140736963735712 140736963734624 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2611/statm: 2287 266 226 213 0 72 0
[pid=2612] ppid=2611 vsize=635768 CPUtime=1639.12 cores=0,2,4,6
/proc/2612/stat : 2612 (glucose) R 2611 2598 2358 0 -1 4202496 82439 0 0 0 163884 28 0 0 20 0 1 0 383445823 651026432 129033 33554432000 4194304 5208918 140736679251536 140736679249688 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2612/statm: 158942 129033 104 248 0 158691 0
Current children cumulated CPU time (s) 1660.36
Current children cumulated vsize (KiB) 952552
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 2703
/proc/meminfo: memFree=27491220/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[pid=2599] ppid=2598 vsize=298488 CPUtime=21.24 cores=0,2,4,6
/proc/2599/stat : 2599 (npSolver-pbo) S 2598 2598 2358 0 -1 4202496 33105 127032 0 0 432 369 1264 59 20 0 1 0 383443536 305651712 62288 33554432000 4194304 6004724 140733576784272 140733576776624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 147 0 0
/proc/2599/statm: 74622 62288 175 442 0 74176 0
[pid=2611] ppid=2599 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2611/stat : 2611 (satsolver.sh) S 2599 2598 2358 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383445823 9367552 266 33554432000 4194304 5064252 140736963735712 140736963734624 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2611/statm: 2287 266 226 213 0 72 0
[pid=2612] ppid=2611 vsize=635768 CPUtime=1699.12 cores=0,2,4,6
/proc/2612/stat : 2612 (glucose) R 2611 2598 2358 0 -1 4202496 82446 0 0 0 169883 29 0 0 20 0 1 0 383445823 651026432 131084 33554432000 4194304 5208918 140736679251536 140736679247848 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2612/statm: 158942 131084 104 248 0 158691 0
Current children cumulated CPU time (s) 1720.36
Current children cumulated vsize (KiB) 952552
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2703
/proc/meminfo: memFree=27538316/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[pid=2599] ppid=2598 vsize=298488 CPUtime=21.24 cores=0,2,4,6
/proc/2599/stat : 2599 (npSolver-pbo) S 2598 2598 2358 0 -1 4202496 33105 127032 0 0 432 369 1264 59 20 0 1 0 383443536 305651712 62288 33554432000 4194304 6004724 140733576784272 140733576776624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 147 0 0
/proc/2599/statm: 74622 62288 175 442 0 74176 0
[pid=2611] ppid=2599 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2611/stat : 2611 (satsolver.sh) S 2599 2598 2358 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383445823 9367552 266 33554432000 4194304 5064252 140736963735712 140736963734624 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2611/statm: 2287 266 226 213 0 72 0
[pid=2612] ppid=2611 vsize=558372 CPUtime=1759.1 cores=0,2,4,6
/proc/2612/stat : 2612 (glucose) R 2611 2598 2358 0 -1 4202496 82842 0 0 0 175879 31 0 0 20 0 1 0 383445823 571772928 123404 33554432000 4194304 5208918 140736679251536 140736679247912 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2612/statm: 139593 123404 104 248 0 139342 0
Current children cumulated CPU time (s) 1780.34
Current children cumulated vsize (KiB) 875156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2703
/proc/meminfo: memFree=27517340/32873844 swapFree=7120/7120
[pid=2598] ppid=2596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2598/stat : 2598 (npSolver-pbo.sh) S 2596 2598 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383443536 9367552 275 33554432000 4194304 5064252 140736067925632 140736067924544 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2598/statm: 2287 275 233 213 0 72 0
[pid=2599] ppid=2598 vsize=298488 CPUtime=21.24 cores=0,2,4,6
/proc/2599/stat : 2599 (npSolver-pbo) S 2598 2598 2358 0 -1 4202496 33105 127032 0 0 432 369 1264 59 20 0 1 0 383443536 305651712 62288 33554432000 4194304 6004724 140733576784272 140733576776624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 147 0 0
/proc/2599/statm: 74622 62288 175 442 0 74176 0
[pid=2611] ppid=2599 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2611/stat : 2611 (satsolver.sh) S 2599 2598 2358 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383445823 9367552 266 33554432000 4194304 5064252 140736963735712 140736963734624 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2611/statm: 2287 266 226 213 0 72 0
[pid=2612] ppid=2611 vsize=558372 CPUtime=1778.8 cores=0,2,4,6
/proc/2612/stat : 2612 (glucose) R 2611 2598 2358 0 -1 4202496 82987 0 0 0 177849 31 0 0 20 0 1 0 383445823 571772928 124571 33554432000 4194304 5208918 140736679251536 140736679247912 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2612/statm: 139593 124571 104 248 0 139342 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 875156
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1802.02
CPU time (s): 1800.1
CPU user time (s): 1795.47
CPU system time (s): 4.6273
CPU usage (%): 99.8938
Max. virtual memory (cumulated for all children) (KiB): 1082780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.47
system time used= 4.6273
maximum resident set size= 655572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244112
page faults= 0
swaps= 0
block input operations= 0
block output operations= 768408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1438
involuntary context switches= 1870
runsolver used 6.16606 second user time and 19.1821 second system time
The end