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-3701330-1338065994/watcher-3701330-1338065994 -o /tmp/evaluation-result-3701330-1338065994/solver-3701330-1338065994 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701330-1338065994.opb 1774392060 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: 1.98 1.98 2.07 3/177 8102
/proc/meminfo: memFree=22883968/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[startup+0.0409139 s]
/proc/loadavg: 1.98 1.98 2.07 3/177 8102
/proc/meminfo: memFree=22883968/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100265 s]
/proc/loadavg: 1.98 1.98 2.07 3/177 8102
/proc/meminfo: memFree=22883968/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300304 s]
/proc/loadavg: 1.98 1.98 2.07 3/177 8102
/proc/meminfo: memFree=22883968/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700309 s]
/proc/loadavg: 1.98 1.98 2.07 3/177 8102
/proc/meminfo: memFree=22883968/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50044 s]
/proc/loadavg: 1.99 1.98 2.07 3/181 8106
/proc/meminfo: memFree=22697756/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[pid=8103] ppid=8102 vsize=66836 CPUtime=0.54 cores=1,3,5,7
/proc/8103/stat : 8103 (npSolver-pbo) S 8102 8102 5140 0 -1 4202496 11836 0 0 0 48 6 0 0 20 0 1 0 272727957 68440064 12597 33554432000 4194304 5992684 140733751383280 140733751377312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8103/statm: 16709 12597 164 440 0 16265 0
[pid=8105] ppid=8103 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8105/stat : 8105 (cp2_pre.sh) S 8103 8102 5140 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 272728012 9367552 277 33554432000 4194304 5064252 140735587843600 140735587842304 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8105/statm: 2287 277 234 213 0 72 0
[pid=8106] ppid=8105 vsize=157568 CPUtime=0.93 cores=1,3,5,7
/proc/8106/stat : 8106 (coprocessor) R 8105 8102 5140 0 -1 4202496 26730 0 0 0 87 6 0 0 20 0 1 0 272728012 161349632 35442 33554432000 4194304 6586260 140736541632560 140736541628824 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/8106/statm: 39392 35443 166 584 0 38804 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 242700
[startup+3.10034 s]
/proc/loadavg: 1.99 1.98 2.07 3/181 8106
/proc/meminfo: memFree=22657924/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[pid=8103] ppid=8102 vsize=66836 CPUtime=0.54 cores=1,3,5,7
/proc/8103/stat : 8103 (npSolver-pbo) S 8102 8102 5140 0 -1 4202496 11836 0 0 0 48 6 0 0 20 0 1 0 272727957 68440064 12597 33554432000 4194304 5992684 140733751383280 140733751377312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8103/statm: 16709 12597 164 440 0 16265 0
[pid=8105] ppid=8103 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8105/stat : 8105 (cp2_pre.sh) S 8103 8102 5140 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 272728012 9367552 277 33554432000 4194304 5064252 140735587843600 140735587842304 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8105/statm: 2287 277 234 213 0 72 0
[pid=8106] ppid=8105 vsize=188536 CPUtime=2.54 cores=1,3,5,7
/proc/8106/stat : 8106 (coprocessor) R 8105 8102 5140 0 -1 4202496 32018 0 0 0 247 7 0 0 20 0 1 0 272728012 193060864 45838 33554432000 4194304 6586260 140736541632560 140736541628584 5599216 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/8106/statm: 47134 45838 191 584 0 46546 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 273668
[startup+6.30034 s]
/proc/loadavg: 1.99 1.98 2.07 3/181 8106
/proc/meminfo: memFree=22632308/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[pid=8103] ppid=8102 vsize=66836 CPUtime=0.54 cores=1,3,5,7
/proc/8103/stat : 8103 (npSolver-pbo) S 8102 8102 5140 0 -1 4202496 11836 0 0 0 48 6 0 0 20 0 1 0 272727957 68440064 12597 33554432000 4194304 5992684 140733751383280 140733751377312 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8103/statm: 16709 12597 164 440 0 16265 0
[pid=8105] ppid=8103 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8105/stat : 8105 (cp2_pre.sh) S 8103 8102 5140 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 272728012 9367552 277 33554432000 4194304 5064252 140735587843600 140735587842304 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8105/statm: 2287 277 234 213 0 72 0
[pid=8106] ppid=8105 vsize=189064 CPUtime=5.74 cores=1,3,5,7
/proc/8106/stat : 8106 (coprocessor) R 8105 8102 5140 0 -1 4202496 32137 0 0 0 567 7 0 0 20 0 1 0 272728012 193601536 45957 33554432000 4194304 6586260 140736541632560 140736541628152 5599190 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/8106/statm: 47266 45957 191 584 0 46678 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 274196
[startup+12.7005 s]
/proc/loadavg: 1.99 1.98 2.07 3/182 8119
/proc/meminfo: memFree=22717796/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[pid=8103] ppid=8102 vsize=76684 CPUtime=7.91 cores=1,3,5,7
/proc/8103/stat : 8103 (npSolver-pbo) S 8102 8102 5140 0 -1 4202496 16756 51795 0 0 74 42 656 19 20 0 1 0 272727957 78524416 14978 33554432000 4194304 5992684 140733751383280 140733751375600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8103/statm: 19171 14978 178 440 0 18727 0
[pid=8118] ppid=8103 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8118/stat : 8118 (satsolver.sh) S 8103 8102 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272728752 9367552 267 33554432000 4194304 5064252 140733759182224 140733759181136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8118/statm: 2287 267 226 213 0 72 0
[pid=8119] ppid=8118 vsize=96236 CPUtime=4.75 cores=1,3,5,7
/proc/8119/stat : 8119 (glucose) R 8118 8102 5140 0 -1 4202496 20043 0 0 0 471 4 0 0 20 0 1 0 272728752 98545664 22661 33554432000 4194304 5208918 140734576809760 140734576807592 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8119/statm: 24059 22661 103 248 0 23808 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 191216
[startup+25.5006 s]
/proc/loadavg: 1.99 1.98 2.07 3/184 8172
/proc/meminfo: memFree=31113228/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[pid=8103] ppid=8102 vsize=76684 CPUtime=7.91 cores=1,3,5,7
/proc/8103/stat : 8103 (npSolver-pbo) S 8102 8102 5140 0 -1 4202496 16756 51795 0 0 74 42 656 19 20 0 1 0 272727957 78524416 14978 33554432000 4194304 5992684 140733751383280 140733751375600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8103/statm: 19171 14978 178 440 0 18727 0
[pid=8118] ppid=8103 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8118/stat : 8118 (satsolver.sh) S 8103 8102 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272728752 9367552 267 33554432000 4194304 5064252 140733759182224 140733759181136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8118/statm: 2287 267 226 213 0 72 0
[pid=8119] ppid=8118 vsize=103416 CPUtime=17.54 cores=1,3,5,7
/proc/8119/stat : 8119 (glucose) R 8118 8102 5140 0 -1 4202496 20492 0 0 0 1750 4 0 0 20 0 1 0 272728752 105897984 23101 33554432000 4194304 5208918 140734576809760 140734576807912 4229088 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8119/statm: 25854 23101 104 248 0 25603 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 198396
[startup+51.1006 s]
/proc/loadavg: 1.99 1.98 2.07 3/184 8179
/proc/meminfo: memFree=31107988/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[pid=8103] ppid=8102 vsize=76684 CPUtime=7.91 cores=1,3,5,7
/proc/8103/stat : 8103 (npSolver-pbo) S 8102 8102 5140 0 -1 4202496 16756 51795 0 0 74 42 656 19 20 0 1 0 272727957 78524416 14978 33554432000 4194304 5992684 140733751383280 140733751375600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8103/statm: 19171 14978 178 440 0 18727 0
[pid=8118] ppid=8103 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8118/stat : 8118 (satsolver.sh) S 8103 8102 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272728752 9367552 267 33554432000 4194304 5064252 140733759182224 140733759181136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8118/statm: 2287 267 226 213 0 72 0
[pid=8119] ppid=8118 vsize=97576 CPUtime=43.14 cores=1,3,5,7
/proc/8119/stat : 8119 (glucose) R 8118 8102 5140 0 -1 4202496 21140 0 0 0 4310 4 0 0 20 0 1 0 272728752 99917824 23137 33554432000 4194304 5208918 140734576809760 140734576806136 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8119/statm: 24394 23137 105 248 0 24143 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 192556
[startup+102.301 s]
/proc/loadavg: 1.99 1.98 2.06 3/184 8202
/proc/meminfo: memFree=31073816/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[pid=8103] ppid=8102 vsize=76684 CPUtime=7.91 cores=1,3,5,7
/proc/8103/stat : 8103 (npSolver-pbo) S 8102 8102 5140 0 -1 4202496 16756 51795 0 0 74 42 656 19 20 0 1 0 272727957 78524416 14978 33554432000 4194304 5992684 140733751383280 140733751375600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8103/statm: 19171 14978 178 440 0 18727 0
[pid=8118] ppid=8103 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8118/stat : 8118 (satsolver.sh) S 8103 8102 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272728752 9367552 267 33554432000 4194304 5064252 140733759182224 140733759181136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8118/statm: 2287 267 226 213 0 72 0
[pid=8119] ppid=8118 vsize=126108 CPUtime=94.32 cores=1,3,5,7
/proc/8119/stat : 8119 (glucose) R 8118 8102 5140 0 -1 4202496 22832 0 0 0 9427 5 0 0 20 0 1 0 272728752 129134592 30404 33554432000 4194304 5208918 140734576809760 140734576806136 4229176 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8119/statm: 31527 30404 105 248 0 31276 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 221088
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 2.06 3/183 8209
/proc/meminfo: memFree=31055112/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[pid=8103] ppid=8102 vsize=76684 CPUtime=7.91 cores=1,3,5,7
/proc/8103/stat : 8103 (npSolver-pbo) S 8102 8102 5140 0 -1 4202496 16756 51795 0 0 74 42 656 19 20 0 1 0 272727957 78524416 14978 33554432000 4194304 5992684 140733751383280 140733751375600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8103/statm: 19171 14978 178 440 0 18727 0
[pid=8118] ppid=8103 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 8219
/proc/meminfo: memFree=30929560/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[pid=8103] ppid=8102 vsize=76684 CPUtime=7.91 cores=1,3,5,7
/proc/8103/stat : 8103 (npSolver-pbo) S 8102 8102 5140 0 -1 4202496 16756 51795 0 0 74 42 656 19 20 0 1 0 272727957 78524416 14978 33554432000 4194304 5992684 140733751383280 140733751375600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8103/statm: 19171 14978 178 440 0 18727 0
[pid=8118] ppid=8103 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8118/stat : 8118 (satsolver.sh) S 8103 8102 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272728752 9367552 267 33554432000 4194304 5064252 140733759182224 140733759181136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8118/statm: 2287 267 226 213 0 72 0
[pid=8119] ppid=8118 vsize=157776 CPUtime=1414.11 cores=1,3,5,7
/proc/8119/stat : 8119 (glucose) R 8118 8102 5140 0 -1 4202496 24159 0 0 0 141405 6 0 0 20 0 1 0 272728752 161562624 37769 33554432000 4194304 5208918 140734576809760 140734576806072 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8119/statm: 39444 37769 105 248 0 39193 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 252756
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8219
/proc/meminfo: memFree=30927404/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[pid=8103] ppid=8102 vsize=76684 CPUtime=7.91 cores=1,3,5,7
/proc/8103/stat : 8103 (npSolver-pbo) S 8102 8102 5140 0 -1 4202496 16756 51795 0 0 74 42 656 19 20 0 1 0 272727957 78524416 14978 33554432000 4194304 5992684 140733751383280 140733751375600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8103/statm: 19171 14978 178 440 0 18727 0
[pid=8118] ppid=8103 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8118/stat : 8118 (satsolver.sh) S 8103 8102 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272728752 9367552 267 33554432000 4194304 5064252 140733759182224 140733759181136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8118/statm: 2287 267 226 213 0 72 0
[pid=8119] ppid=8118 vsize=157776 CPUtime=1474.1 cores=1,3,5,7
/proc/8119/stat : 8119 (glucose) R 8118 8102 5140 0 -1 4202496 24160 0 0 0 147404 6 0 0 20 0 1 0 272728752 161562624 37770 33554432000 4194304 5208918 140734576809760 140734576806072 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8119/statm: 39444 37770 105 248 0 39193 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 252756
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8219
/proc/meminfo: memFree=30927420/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[pid=8103] ppid=8102 vsize=76684 CPUtime=7.91 cores=1,3,5,7
/proc/8103/stat : 8103 (npSolver-pbo) S 8102 8102 5140 0 -1 4202496 16756 51795 0 0 74 42 656 19 20 0 1 0 272727957 78524416 14978 33554432000 4194304 5992684 140733751383280 140733751375600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8103/statm: 19171 14978 178 440 0 18727 0
[pid=8118] ppid=8103 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8118/stat : 8118 (satsolver.sh) S 8103 8102 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272728752 9367552 267 33554432000 4194304 5064252 140733759182224 140733759181136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8118/statm: 2287 267 226 213 0 72 0
[pid=8119] ppid=8118 vsize=157776 CPUtime=1534.09 cores=1,3,5,7
/proc/8119/stat : 8119 (glucose) R 8118 8102 5140 0 -1 4202496 24160 0 0 0 153403 6 0 0 20 0 1 0 272728752 161562624 37770 33554432000 4194304 5208918 140734576809760 140734576806072 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8119/statm: 39444 37770 105 248 0 39193 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 252756
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8220
/proc/meminfo: memFree=30909936/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[pid=8103] ppid=8102 vsize=76684 CPUtime=7.91 cores=1,3,5,7
/proc/8103/stat : 8103 (npSolver-pbo) S 8102 8102 5140 0 -1 4202496 16756 51795 0 0 74 42 656 19 20 0 1 0 272727957 78524416 14978 33554432000 4194304 5992684 140733751383280 140733751375600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8103/statm: 19171 14978 178 440 0 18727 0
[pid=8118] ppid=8103 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8118/stat : 8118 (satsolver.sh) S 8103 8102 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272728752 9367552 267 33554432000 4194304 5064252 140733759182224 140733759181136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8118/statm: 2287 267 226 213 0 72 0
[pid=8119] ppid=8118 vsize=175972 CPUtime=1594.09 cores=1,3,5,7
/proc/8119/stat : 8119 (glucose) R 8118 8102 5140 0 -1 4202496 24624 0 0 0 159402 7 0 0 20 0 1 0 272728752 180195328 42271 33554432000 4194304 5208918 140734576809760 140734576807624 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8119/statm: 43993 42271 105 248 0 43742 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 270952
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8220
/proc/meminfo: memFree=30907284/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[pid=8103] ppid=8102 vsize=76684 CPUtime=7.91 cores=1,3,5,7
/proc/8103/stat : 8103 (npSolver-pbo) S 8102 8102 5140 0 -1 4202496 16756 51795 0 0 74 42 656 19 20 0 1 0 272727957 78524416 14978 33554432000 4194304 5992684 140733751383280 140733751375600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8103/statm: 19171 14978 178 440 0 18727 0
[pid=8118] ppid=8103 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8118/stat : 8118 (satsolver.sh) S 8103 8102 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272728752 9367552 267 33554432000 4194304 5064252 140733759182224 140733759181136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8118/statm: 2287 267 226 213 0 72 0
[pid=8119] ppid=8118 vsize=175972 CPUtime=1654.08 cores=1,3,5,7
/proc/8119/stat : 8119 (glucose) R 8118 8102 5140 0 -1 4202496 24794 0 0 0 165401 7 0 0 20 0 1 0 272728752 180195328 42950 33554432000 4194304 5208918 140734576809760 140734576807624 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8119/statm: 43993 42950 105 248 0 43742 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 270952
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 8220
/proc/meminfo: memFree=30907176/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[pid=8103] ppid=8102 vsize=76684 CPUtime=7.91 cores=1,3,5,7
/proc/8103/stat : 8103 (npSolver-pbo) S 8102 8102 5140 0 -1 4202496 16756 51795 0 0 74 42 656 19 20 0 1 0 272727957 78524416 14978 33554432000 4194304 5992684 140733751383280 140733751375600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8103/statm: 19171 14978 178 440 0 18727 0
[pid=8118] ppid=8103 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8118/stat : 8118 (satsolver.sh) S 8103 8102 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272728752 9367552 267 33554432000 4194304 5064252 140733759182224 140733759181136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8118/statm: 2287 267 226 213 0 72 0
[pid=8119] ppid=8118 vsize=175972 CPUtime=1714.07 cores=1,3,5,7
/proc/8119/stat : 8119 (glucose) R 8118 8102 5140 0 -1 4202496 24794 0 0 0 171400 7 0 0 20 0 1 0 272728752 180195328 42950 33554432000 4194304 5208918 140734576809760 140734576807624 4228965 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8119/statm: 43993 42950 105 248 0 43742 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 270952
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 8220
/proc/meminfo: memFree=30908992/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[pid=8103] ppid=8102 vsize=76684 CPUtime=7.91 cores=1,3,5,7
/proc/8103/stat : 8103 (npSolver-pbo) S 8102 8102 5140 0 -1 4202496 16756 51795 0 0 74 42 656 19 20 0 1 0 272727957 78524416 14978 33554432000 4194304 5992684 140733751383280 140733751375600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8103/statm: 19171 14978 178 440 0 18727 0
[pid=8118] ppid=8103 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8118/stat : 8118 (satsolver.sh) S 8103 8102 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272728752 9367552 267 33554432000 4194304 5064252 140733759182224 140733759181136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8118/statm: 2287 267 226 213 0 72 0
[pid=8119] ppid=8118 vsize=175972 CPUtime=1774.06 cores=1,3,5,7
/proc/8119/stat : 8119 (glucose) R 8118 8102 5140 0 -1 4202496 24794 0 0 0 177399 7 0 0 20 0 1 0 272728752 180195328 42950 33554432000 4194304 5208918 140734576809760 140734576807624 4229512 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8119/statm: 43993 42950 105 248 0 43742 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 270952
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 8220
/proc/meminfo: memFree=30899000/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[pid=8103] ppid=8102 vsize=76684 CPUtime=7.91 cores=1,3,5,7
/proc/8103/stat : 8103 (npSolver-pbo) S 8102 8102 5140 0 -1 4202496 16756 51795 0 0 74 42 656 19 20 0 1 0 272727957 78524416 14978 33554432000 4194304 5992684 140733751383280 140733751375600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8103/statm: 19171 14978 178 440 0 18727 0
[pid=8118] ppid=8103 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8118/stat : 8118 (satsolver.sh) S 8103 8102 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272728752 9367552 267 33554432000 4194304 5064252 140733759182224 140733759181136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8118/statm: 2287 267 226 213 0 72 0
[pid=8119] ppid=8118 vsize=175972 CPUtime=1792.16 cores=1,3,5,7
/proc/8119/stat : 8119 (glucose) R 8118 8102 5140 0 -1 4202496 24794 0 0 0 179209 7 0 0 20 0 1 0 272728752 180195328 42950 33554432000 4194304 5208918 140734576809760 140734576807624 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8119/statm: 43993 42950 105 248 0 43742 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 270952
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 8220
/proc/meminfo: memFree=30899000/32873844 swapFree=7364/7364
[pid=8102] ppid=8100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8102/stat : 8102 (npSolver-pbo.sh) S 8100 8102 5140 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272727957 9367552 275 33554432000 4194304 5064252 140736157189936 140736157188848 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8102/statm: 2287 275 233 213 0 72 0
[pid=8103] ppid=8102 vsize=76684 CPUtime=7.91 cores=1,3,5,7
/proc/8103/stat : 8103 (npSolver-pbo) S 8102 8102 5140 0 -1 4202496 16756 51795 0 0 74 42 656 19 20 0 1 0 272727957 78524416 14978 33554432000 4194304 5992684 140733751383280 140733751375600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8103/statm: 19171 14978 178 440 0 18727 0
[pid=8118] ppid=8103 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8118/stat : 8118 (satsolver.sh) S 8103 8102 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272728752 9367552 267 33554432000 4194304 5064252 140733759182224 140733759181136 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8118/statm: 2287 267 226 213 0 72 0
[pid=8119] ppid=8118 vsize=175972 CPUtime=1792.16 cores=1,3,5,7
/proc/8119/stat : 8119 (glucose) R 8118 8102 5140 0 -1 4202496 24794 0 0 0 179209 7 0 0 20 0 1 0 272728752 180195328 42950 33554432000 4194304 5208918 140734576809760 140734576807624 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8119/statm: 43993 42950 105 248 0 43742 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 270952
Child status: 0
Real time (s): 1800.42
CPU time (s): 1800.12
CPU user time (s): 1799.42
CPU system time (s): 0.704892
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 280552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.704892
maximum resident set size= 190244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94335
page faults= 0
swaps= 0
block input operations= 0
block output operations= 82392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 542
involuntary context switches= 1879
runsolver used 4.92325 second user time and 21.1958 second system time
The end