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-3701008-1338132085/watcher-3701008-1338132085 -o /tmp/evaluation-result-3701008-1338132085/solver-3701008-1338132085 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701008-1338132085.opb 610000290 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: 3.47 3.53 3.02 3/180 25123
/proc/meminfo: memFree=27157504/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[startup+0.019053 s]
/proc/loadavg: 3.47 3.53 3.02 3/180 25123
/proc/meminfo: memFree=27157504/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100355 s]
/proc/loadavg: 3.47 3.53 3.02 3/180 25123
/proc/meminfo: memFree=27157504/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300183 s]
/proc/loadavg: 3.47 3.53 3.02 3/180 25123
/proc/meminfo: memFree=27157504/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700227 s]
/proc/loadavg: 3.47 3.53 3.02 3/180 25123
/proc/meminfo: memFree=27157504/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/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: 3.47 3.53 3.02 3/182 25125
/proc/meminfo: memFree=27070628/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=99816 CPUtime=1.06 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) S 25123 25123 23788 0 -1 4202496 12230 0 0 0 96 10 0 0 20 0 1 0 279333941 102211584 17513 33554432000 4194304 5992684 140735431133520 140735431127552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25124/statm: 24954 17513 171 440 0 24510 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 108964
[startup+3.10043 s]
/proc/loadavg: 3.47 3.53 3.02 3/184 25127
/proc/meminfo: memFree=26790692/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=99816 CPUtime=1.06 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) S 25123 25123 23788 0 -1 4202496 12230 0 0 0 96 10 0 0 20 0 1 0 279333941 102211584 17513 33554432000 4194304 5992684 140735431133520 140735431127552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25124/statm: 24954 17513 171 440 0 24510 0
[pid=25126] ppid=25124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25126/stat : 25126 (cp2_pre.sh) S 25124 25123 23788 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 279334049 9367552 277 33554432000 4194304 5064252 140736476541120 140736476539824 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25126/statm: 2287 277 234 213 0 72 0
[pid=25127] ppid=25126 vsize=327996 CPUtime=2 cores=1,3,5,7
/proc/25127/stat : 25127 (coprocessor) R 25126 25123 23788 0 -1 4202496 43364 0 0 0 190 10 0 0 20 0 1 0 279334050 335867904 80200 33554432000 4194304 6586260 140734017807184 140734017803448 4775781 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/25127/statm: 81999 80200 176 584 0 81411 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 446108
[startup+6.30029 s]
/proc/loadavg: 3.35 3.51 3.01 3/184 25127
/proc/meminfo: memFree=26653132/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=99816 CPUtime=5.62 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) S 25123 25123 23788 0 -1 4202496 12239 51763 0 0 96 11 432 23 20 0 1 0 279333941 102211584 17513 33554432000 4194304 5992684 140735431133520 140735431128640 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25124/statm: 24954 17513 171 440 0 24510 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 108964
[startup+12.7002 s]
/proc/loadavg: 3.24 3.48 3.01 3/184 25133
/proc/meminfo: memFree=27030068/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=112012 CPUtime=12.54 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) R 25123 25123 23788 0 -1 4202496 14143 91248 0 0 123 49 1048 34 20 0 1 0 279333941 114700288 20379 33554432000 4194304 5992684 140735431133520 140735431127704 5179696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25124/statm: 28003 20379 178 440 0 27559 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 121160
[startup+25.5003 s]
/proc/loadavg: 3.05 3.42 3.00 3/184 25144
/proc/meminfo: memFree=26098420/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=383008 CPUtime=17.28 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) S 25123 25123 23788 0 -1 4202496 23391 91765 0 0 406 235 1048 39 20 0 1 0 279333941 392200192 69976 33554432000 4194304 5992684 140735431133520 140735431125840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 92 0 0
/proc/25124/statm: 95752 69976 188 440 0 95308 0
[pid=25136] ppid=25124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25136/stat : 25136 (satsolver.sh) S 25124 25123 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279335778 9367552 267 33554432000 4194304 5064252 140735680026672 140735680025584 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25136/statm: 2287 267 226 213 0 72 0
[pid=25137] ppid=25136 vsize=615460 CPUtime=7.11 cores=1,3,5,7
/proc/25137/stat : 25137 (glucose) R 25136 25123 23788 0 -1 4202496 91211 0 0 0 680 31 0 0 20 0 1 0 279335779 630231040 141475 33554432000 4194304 5208918 140736267396720 140736267394568 4205139 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25137/statm: 153865 141475 103 248 0 153614 0
Current children cumulated CPU time (s) 24.39
Current children cumulated vsize (KiB) 1016764
[startup+51.1004 s]
/proc/loadavg: 2.75 3.32 2.98 3/184 25144
/proc/meminfo: memFree=26094492/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=383008 CPUtime=17.28 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) S 25123 25123 23788 0 -1 4202496 23391 91765 0 0 406 235 1048 39 20 0 1 0 279333941 392200192 69976 33554432000 4194304 5992684 140735431133520 140735431125840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 92 0 0
/proc/25124/statm: 95752 69976 188 440 0 95308 0
[pid=25136] ppid=25124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25136/stat : 25136 (satsolver.sh) S 25124 25123 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279335778 9367552 267 33554432000 4194304 5064252 140735680026672 140735680025584 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25136/statm: 2287 267 226 213 0 72 0
[pid=25137] ppid=25136 vsize=630496 CPUtime=32.71 cores=1,3,5,7
/proc/25137/stat : 25137 (glucose) R 25136 25123 23788 0 -1 4202496 92491 0 0 0 3238 33 0 0 20 0 1 0 279335779 645627904 143777 33554432000 4194304 5208918 140736267396720 140736267394552 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25137/statm: 157624 143777 103 248 0 157373 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (KiB) 1031800
[startup+102.307 s]
/proc/loadavg: 2.32 3.12 2.92 3/183 25144
/proc/meminfo: memFree=26075060/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=383008 CPUtime=17.28 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) S 25123 25123 23788 0 -1 4202496 23391 91765 0 0 406 235 1048 39 20 0 1 0 279333941 392200192 69976 33554432000 4194304 5992684 140735431133520 140735431125840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 92 0 0
/proc/25124/statm: 95752 69976 188 440 0 95308 0
[pid=25136] ppid=25124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25136/stat : 25136 (satsolver.sh) S 25124 25123 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279335778 9367552 267 33554432000 4194304 5064252 140735680026672 140735680025584 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25136/statm: 2287 267 226 213 0 72 0
[pid=25137] ppid=25136 vsize=630496 CPUtime=83.91 cores=1,3,5,7
/proc/25137/stat : 25137 (glucose) R 25136 25123 23788 0 -1 4202496 92531 0 0 0 8358 33 0 0 20 0 1 0 279335779 645627904 144328 33554432000 4194304 5208918 140736267396720 140736267393096 4229365 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25137/statm: 157624 144328 104 248 0 157373 0
Current children cumulated CPU time (s) 101.19
Current children cumulated vsize (KiB) 1031800
[startup+162.3 s]
/proc/loadavg: 2.12 2.91 2.86 3/183 25144
/proc/meminfo: memFree=26065020/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=383008 CPUtime=17.28 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) S 25123 25123 23788 0 -1 4202496 23391 91765 0 0 406 235 1048 39 20 0 1 0 279333941 392200192 69976 33554432000 4194304 5992684 140735431133520 140735431125840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 92 0 0
/proc/25124/statm: 95752 69976 188 440 0 95308 0
[pid=25136] ppid=25124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25136/stat : 25136 (satsolver.sh) S 25124 25123 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279335778 9367552 267 33554432000 4194304 5064252 140735680026672 140735680025584 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25136/statm: 2287 267 226 213 0 72 0
[pid=25137] ppid=25136 vsize=630496 CPUtime=143.89 cores=1,3,5,7
/proc/25137/stat : 25137 (glucose) R 25136 25123 23788 0 -1 4202496 92532 0 0 0 14356 33 0 0 20 0 1 0 279335779 645627904 144840 33554432000 4194304 5208918 140736267396720 140736267393096 4229330 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25137/statm: 157624 144840 104 248 0 157373 0
Current children cumulated CPU time (s) 161.17
Current children cumulated vsize (KiB) 1031800
[startup+222.3 s]
/proc/loadavg: 2.04 2.74 2.80 3/183 25144
/proc/meminfo: memFree=26066344/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=383008 CPUtime=17.28 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) S 25123 25123 23788 0 -1 4202496 23391 91765 0 0 406 235 1048 39 20 0 1 0 279333941 392200192 69976 33554432000 4194304 5992684 140735431133520 140735431125840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 92 0 0
/proc/25124/statm: 95752 69976 188 440 0 95308 0
[pid=25136] ppid=25124 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.08 2.33 3/183 25405
/proc/meminfo: memFree=25766220/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=383008 CPUtime=17.28 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) S 25123 25123 23788 0 -1 4202496 23391 91765 0 0 406 235 1048 39 20 0 1 0 279333941 392200192 69976 33554432000 4194304 5992684 140735431133520 140735431125840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 92 0 0
/proc/25124/statm: 95752 69976 188 440 0 95308 0
[pid=25136] ppid=25124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25136/stat : 25136 (satsolver.sh) S 25124 25123 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279335778 9367552 267 33554432000 4194304 5064252 140735680026672 140735680025584 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25136/statm: 2287 267 226 213 0 72 0
[pid=25137] ppid=25136 vsize=649608 CPUtime=1403.61 cores=1,3,5,7
/proc/25137/stat : 25137 (glucose) R 25136 25123 23788 0 -1 4202496 96975 0 0 0 140320 41 0 0 20 0 1 0 279335779 665198592 151453 33554432000 4194304 5208918 140736267396720 140736267394552 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25137/statm: 162402 151453 104 248 0 162151 0
Current children cumulated CPU time (s) 1420.89
Current children cumulated vsize (KiB) 1050912
[startup+1482.3 s]
/proc/loadavg: 2.00 2.06 2.30 3/183 25405
/proc/meminfo: memFree=25746988/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=383008 CPUtime=17.28 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) S 25123 25123 23788 0 -1 4202496 23391 91765 0 0 406 235 1048 39 20 0 1 0 279333941 392200192 69976 33554432000 4194304 5992684 140735431133520 140735431125840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 92 0 0
/proc/25124/statm: 95752 69976 188 440 0 95308 0
[pid=25136] ppid=25124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25136/stat : 25136 (satsolver.sh) S 25124 25123 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279335778 9367552 267 33554432000 4194304 5064252 140735680026672 140735680025584 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25136/statm: 2287 267 226 213 0 72 0
[pid=25137] ppid=25136 vsize=730996 CPUtime=1463.59 cores=1,3,5,7
/proc/25137/stat : 25137 (glucose) R 25136 25123 23788 0 -1 4202496 97663 0 0 0 146316 43 0 0 20 0 1 0 279335779 748539904 152645 33554432000 4194304 5208918 140736267396720 140736267394872 4205185 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25137/statm: 182749 152645 104 248 0 182498 0
Current children cumulated CPU time (s) 1480.87
Current children cumulated vsize (KiB) 1132300
[startup+1542.3 s]
/proc/loadavg: 2.00 2.05 2.28 3/183 25406
/proc/meminfo: memFree=25768000/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=383008 CPUtime=17.28 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) S 25123 25123 23788 0 -1 4202496 23391 91765 0 0 406 235 1048 39 20 0 1 0 279333941 392200192 69976 33554432000 4194304 5992684 140735431133520 140735431125840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 92 0 0
/proc/25124/statm: 95752 69976 188 440 0 95308 0
[pid=25136] ppid=25124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25136/stat : 25136 (satsolver.sh) S 25124 25123 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279335778 9367552 267 33554432000 4194304 5064252 140735680026672 140735680025584 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25136/statm: 2287 267 226 213 0 72 0
[pid=25137] ppid=25136 vsize=730996 CPUtime=1523.58 cores=1,3,5,7
/proc/25137/stat : 25137 (glucose) R 25136 25123 23788 0 -1 4202496 97674 0 0 0 152315 43 0 0 20 0 1 0 279335779 748539904 154691 33554432000 4194304 5208918 140736267396720 140736267393096 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25137/statm: 182749 154691 104 248 0 182498 0
Current children cumulated CPU time (s) 1540.86
Current children cumulated vsize (KiB) 1132300
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.26 3/183 25406
/proc/meminfo: memFree=25753696/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=383008 CPUtime=17.28 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) S 25123 25123 23788 0 -1 4202496 23391 91765 0 0 406 235 1048 39 20 0 1 0 279333941 392200192 69976 33554432000 4194304 5992684 140735431133520 140735431125840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 92 0 0
/proc/25124/statm: 95752 69976 188 440 0 95308 0
[pid=25136] ppid=25124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25136/stat : 25136 (satsolver.sh) S 25124 25123 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279335778 9367552 267 33554432000 4194304 5064252 140735680026672 140735680025584 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25136/statm: 2287 267 226 213 0 72 0
[pid=25137] ppid=25136 vsize=730996 CPUtime=1583.55 cores=1,3,5,7
/proc/25137/stat : 25137 (glucose) R 25136 25123 23788 0 -1 4202496 97701 0 0 0 158312 43 0 0 20 0 1 0 279335779 748539904 155203 33554432000 4194304 5208918 140736267396720 140736267393096 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25137/statm: 182749 155203 104 248 0 182498 0
Current children cumulated CPU time (s) 1600.83
Current children cumulated vsize (KiB) 1132300
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.24 3/183 25406
/proc/meminfo: memFree=25733828/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=383008 CPUtime=17.28 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) S 25123 25123 23788 0 -1 4202496 23391 91765 0 0 406 235 1048 39 20 0 1 0 279333941 392200192 69976 33554432000 4194304 5992684 140735431133520 140735431125840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 92 0 0
/proc/25124/statm: 95752 69976 188 440 0 95308 0
[pid=25136] ppid=25124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25136/stat : 25136 (satsolver.sh) S 25124 25123 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279335778 9367552 267 33554432000 4194304 5064252 140735680026672 140735680025584 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25136/statm: 2287 267 226 213 0 72 0
[pid=25137] ppid=25136 vsize=730996 CPUtime=1643.55 cores=1,3,5,7
/proc/25137/stat : 25137 (glucose) R 25136 25123 23788 0 -1 4202496 97707 0 0 0 164311 44 0 0 20 0 1 0 279335779 748539904 156227 33554432000 4194304 5208918 140736267396720 140736267393032 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25137/statm: 182749 156227 104 248 0 182498 0
Current children cumulated CPU time (s) 1660.83
Current children cumulated vsize (KiB) 1132300
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.22 3/184 25409
/proc/meminfo: memFree=25718692/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=383008 CPUtime=17.28 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) S 25123 25123 23788 0 -1 4202496 23391 91765 0 0 406 235 1048 39 20 0 1 0 279333941 392200192 69976 33554432000 4194304 5992684 140735431133520 140735431125840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 92 0 0
/proc/25124/statm: 95752 69976 188 440 0 95308 0
[pid=25136] ppid=25124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25136/stat : 25136 (satsolver.sh) S 25124 25123 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279335778 9367552 267 33554432000 4194304 5064252 140735680026672 140735680025584 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25136/statm: 2287 267 226 213 0 72 0
[pid=25137] ppid=25136 vsize=730996 CPUtime=1703.54 cores=1,3,5,7
/proc/25137/stat : 25137 (glucose) R 25136 25123 23788 0 -1 4202496 97708 0 0 0 170310 44 0 0 20 0 1 0 279335779 748539904 156739 33554432000 4194304 5208918 140736267396720 140736267393032 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25137/statm: 182749 156739 104 248 0 182498 0
Current children cumulated CPU time (s) 1720.82
Current children cumulated vsize (KiB) 1132300
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.21 3/183 25409
/proc/meminfo: memFree=25761404/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=383008 CPUtime=17.28 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) S 25123 25123 23788 0 -1 4202496 23391 91765 0 0 406 235 1048 39 20 0 1 0 279333941 392200192 69976 33554432000 4194304 5992684 140735431133520 140735431125840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 92 0 0
/proc/25124/statm: 95752 69976 188 440 0 95308 0
[pid=25136] ppid=25124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25136/stat : 25136 (satsolver.sh) S 25124 25123 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279335778 9367552 267 33554432000 4194304 5064252 140735680026672 140735680025584 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25136/statm: 2287 267 226 213 0 72 0
[pid=25137] ppid=25136 vsize=730996 CPUtime=1763.53 cores=1,3,5,7
/proc/25137/stat : 25137 (glucose) R 25136 25123 23788 0 -1 4202496 97710 0 0 0 176309 44 0 0 20 0 1 0 279335779 748539904 157763 33554432000 4194304 5208918 140736267396720 140736267393096 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25137/statm: 182749 157763 104 248 0 182498 0
Current children cumulated CPU time (s) 1780.81
Current children cumulated vsize (KiB) 1132300
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.5 s]
/proc/loadavg: 2.00 2.01 2.20 3/183 25409
/proc/meminfo: memFree=25759480/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=383008 CPUtime=17.28 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) S 25123 25123 23788 0 -1 4202496 23391 91765 0 0 406 235 1048 39 20 0 1 0 279333941 392200192 69976 33554432000 4194304 5992684 140735431133520 140735431125840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 92 0 0
/proc/25124/statm: 95752 69976 188 440 0 95308 0
[pid=25136] ppid=25124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25136/stat : 25136 (satsolver.sh) S 25124 25123 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279335778 9367552 267 33554432000 4194304 5064252 140735680026672 140735680025584 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25136/statm: 2287 267 226 213 0 72 0
[pid=25137] ppid=25136 vsize=730996 CPUtime=1782.74 cores=1,3,5,7
/proc/25137/stat : 25137 (glucose) R 25136 25123 23788 0 -1 4202496 97710 0 0 0 178230 44 0 0 20 0 1 0 279335779 748539904 157763 33554432000 4194304 5208918 140736267396720 140736267393096 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25137/statm: 182749 157763 104 248 0 182498 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1132300
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.00 2.01 2.20 3/183 25409
/proc/meminfo: memFree=25759480/32873648 swapFree=7104/7104
[pid=25123] ppid=25121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25123/stat : 25123 (npSolver-pbo.sh) S 25121 25123 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279333941 9367552 275 33554432000 4194304 5064252 140734897375568 140734897374480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25123/statm: 2287 275 233 213 0 72 0
[pid=25124] ppid=25123 vsize=383008 CPUtime=17.28 cores=1,3,5,7
/proc/25124/stat : 25124 (npSolver-pbo) S 25123 25123 23788 0 -1 4202496 23391 91765 0 0 406 235 1048 39 20 0 1 0 279333941 392200192 69976 33554432000 4194304 5992684 140735431133520 140735431125840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 92 0 0
/proc/25124/statm: 95752 69976 188 440 0 95308 0
[pid=25136] ppid=25124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25136/stat : 25136 (satsolver.sh) S 25124 25123 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279335778 9367552 267 33554432000 4194304 5064252 140735680026672 140735680025584 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25136/statm: 2287 267 226 213 0 72 0
[pid=25137] ppid=25136 vsize=730996 CPUtime=1782.74 cores=1,3,5,7
/proc/25137/stat : 25137 (glucose) R 25136 25123 23788 0 -1 4202496 97710 0 0 0 178230 44 0 0 20 0 1 0 279335779 748539904 157763 33554432000 4194304 5208918 140736267396720 140736267393096 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25137/statm: 182749 157763 104 248 0 182498 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1132300
Child status: 0
Real time (s): 1801.52
CPU time (s): 1800.05
CPU user time (s): 1796.84
CPU system time (s): 3.20851
CPU usage (%): 99.9187
Max. virtual memory (cumulated for all children) (KiB): 1256692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.84
system time used= 3.20851
maximum resident set size= 757880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 647872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1213
involuntary context switches= 2254
runsolver used 3.35749 second user time and 13.002 second system time
The end