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-3701683-1338113816/watcher-3701683-1338113816 -o /tmp/evaluation-result-3701683-1338113816/solver-3701683-1338113816 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701683-1338113816.opb 1306821986 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 18240
/proc/meminfo: memFree=30994000/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[startup+0.0131491 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 18240
/proc/meminfo: memFree=30994000/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100276 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 18240
/proc/meminfo: memFree=30994000/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300246 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 18240
/proc/meminfo: memFree=30994000/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700276 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 18240
/proc/meminfo: memFree=30994000/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 18242
/proc/meminfo: memFree=30813628/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[pid=18241] ppid=18240 vsize=103052 CPUtime=1.31 cores=0,2,4,6
/proc/18241/stat : 18241 (npSolver-pbo) S 18240 18240 12793 0 -1 4202496 12693 0 0 0 118 13 0 0 20 0 1 0 277506531 105525248 23032 33554432000 4194304 5992684 140736301754256 140736301748288 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18241/statm: 25763 23032 174 440 0 25319 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 112200
[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 2.08 3/181 18244
/proc/meminfo: memFree=30422112/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[pid=18241] ppid=18240 vsize=103052 CPUtime=1.31 cores=0,2,4,6
/proc/18241/stat : 18241 (npSolver-pbo) S 18240 18240 12793 0 -1 4202496 12693 0 0 0 118 13 0 0 20 0 1 0 277506531 105525248 23032 33554432000 4194304 5992684 140736301754256 140736301748288 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18241/statm: 25763 23032 174 440 0 25319 0
[pid=18243] ppid=18241 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18243/stat : 18243 (cp2_pre.sh) S 18241 18240 12793 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 277506664 9367552 277 33554432000 4194304 5064252 140737143247200 140737143245904 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18243/statm: 2287 277 234 213 0 72 0
[pid=18244] ppid=18243 vsize=254564 CPUtime=1.75 cores=0,2,4,6
/proc/18244/stat : 18244 (coprocessor) R 18243 18240 12793 0 -1 4202496 33270 0 0 0 169 6 0 0 20 0 1 0 277506664 260673536 56100 33554432000 4194304 6586260 140736727342672 140736727338936 5512150 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/18244/statm: 63641 56101 166 584 0 63053 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 375912
[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.08 3/183 18246
/proc/meminfo: memFree=29827232/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[pid=18241] ppid=18240 vsize=103052 CPUtime=1.31 cores=0,2,4,6
/proc/18241/stat : 18241 (npSolver-pbo) S 18240 18240 12793 0 -1 4202496 12693 0 0 0 118 13 0 0 20 0 1 0 277506531 105525248 23032 33554432000 4194304 5992684 140736301754256 140736301748288 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18241/statm: 25763 23032 174 440 0 25319 0
[pid=18243] ppid=18241 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18243/stat : 18243 (cp2_pre.sh) S 18241 18240 12793 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 277506664 9367552 277 33554432000 4194304 5064252 140737143247200 140737143245904 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18243/statm: 2287 277 234 213 0 72 0
[pid=18244] ppid=18243 vsize=321164 CPUtime=4.96 cores=0,2,4,6
/proc/18244/stat : 18244 (coprocessor) R 18243 18240 12793 0 -1 4202496 45330 0 0 0 478 18 0 0 20 0 1 0 277506664 328871936 76846 33554432000 4194304 6586260 140736727342672 140736727338488 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/18244/statm: 80291 76846 204 584 0 79703 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 442512
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.08 3/183 18252
/proc/meminfo: memFree=30382084/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[pid=18241] ppid=18240 vsize=103052 CPUtime=6.8 cores=0,2,4,6
/proc/18241/stat : 18241 (npSolver-pbo) S 18240 18240 12793 0 -1 4202496 12703 46236 0 0 118 14 525 23 20 0 1 0 277506531 105525248 23032 33554432000 4194304 5992684 140736301754256 140736301749376 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18241/statm: 25763 23032 174 440 0 25319 0
[pid=18248] ppid=18241 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18248/stat : 18248 (satsolver.sh) S 18241 18240 12793 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 277507227 9367552 267 33554432000 4194304 5064252 140733603374016 140733603372928 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18248/statm: 2287 267 226 213 0 72 0
[pid=18249] ppid=18248 vsize=105836 CPUtime=5.73 cores=0,2,4,6
/proc/18249/stat : 18249 (glucose) R 18248 18240 12793 0 -1 4202496 20499 0 0 0 570 3 0 0 20 0 1 0 277507228 108376064 22594 33554432000 4194304 5208918 140733353431952 140733353429784 4229824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18249/statm: 26459 22594 102 248 0 26208 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 227184
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.08 3/183 18252
/proc/meminfo: memFree=30377092/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[pid=18241] ppid=18240 vsize=103052 CPUtime=6.8 cores=0,2,4,6
/proc/18241/stat : 18241 (npSolver-pbo) S 18240 18240 12793 0 -1 4202496 12703 46236 0 0 118 14 525 23 20 0 1 0 277506531 105525248 23032 33554432000 4194304 5992684 140736301754256 140736301749376 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18241/statm: 25763 23032 174 440 0 25319 0
[pid=18248] ppid=18241 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18248/stat : 18248 (satsolver.sh) S 18241 18240 12793 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 277507227 9367552 267 33554432000 4194304 5064252 140733603374016 140733603372928 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18248/statm: 2287 267 226 213 0 72 0
[pid=18249] ppid=18248 vsize=105836 CPUtime=18.52 cores=0,2,4,6
/proc/18249/stat : 18249 (glucose) R 18248 18240 12793 0 -1 4202496 20499 0 0 0 1849 3 0 0 20 0 1 0 277507228 108376064 22594 33554432000 4194304 5208918 140733353431952 140733353429784 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18249/statm: 26459 22594 102 248 0 26208 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 227184
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.08 3/183 18252
/proc/meminfo: memFree=30376720/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[pid=18241] ppid=18240 vsize=103052 CPUtime=6.8 cores=0,2,4,6
/proc/18241/stat : 18241 (npSolver-pbo) S 18240 18240 12793 0 -1 4202496 12703 46236 0 0 118 14 525 23 20 0 1 0 277506531 105525248 23032 33554432000 4194304 5992684 140736301754256 140736301749376 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18241/statm: 25763 23032 174 440 0 25319 0
[pid=18248] ppid=18241 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18248/stat : 18248 (satsolver.sh) S 18241 18240 12793 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 277507227 9367552 267 33554432000 4194304 5064252 140733603374016 140733603372928 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18248/statm: 2287 267 226 213 0 72 0
[pid=18249] ppid=18248 vsize=105836 CPUtime=44.12 cores=0,2,4,6
/proc/18249/stat : 18249 (glucose) R 18248 18240 12793 0 -1 4202496 20500 0 0 0 4409 3 0 0 20 0 1 0 277507228 108376064 22595 33554432000 4194304 5208918 140733353431952 140733353429784 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18249/statm: 26459 22595 102 248 0 26208 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 227184
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/183 18252
/proc/meminfo: memFree=30373992/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[pid=18241] ppid=18240 vsize=103052 CPUtime=6.8 cores=0,2,4,6
/proc/18241/stat : 18241 (npSolver-pbo) S 18240 18240 12793 0 -1 4202496 12703 46236 0 0 118 14 525 23 20 0 1 0 277506531 105525248 23032 33554432000 4194304 5992684 140736301754256 140736301749376 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18241/statm: 25763 23032 174 440 0 25319 0
[pid=18248] ppid=18241 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18248/stat : 18248 (satsolver.sh) S 18241 18240 12793 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 277507227 9367552 267 33554432000 4194304 5064252 140733603374016 140733603372928 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18248/statm: 2287 267 226 213 0 72 0
[pid=18249] ppid=18248 vsize=107980 CPUtime=95.31 cores=0,2,4,6
/proc/18249/stat : 18249 (glucose) R 18248 18240 12793 0 -1 4202496 21061 0 0 0 9528 3 0 0 20 0 1 0 277507228 110571520 23156 33554432000 4194304 5208918 140733353431952 140733353429784 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18249/statm: 26995 23156 102 248 0 26744 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 229328
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.07 3/183 18252
/proc/meminfo: memFree=30366860/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[pid=18241] ppid=18240 vsize=103052 CPUtime=6.8 cores=0,2,4,6
/proc/18241/stat : 18241 (npSolver-pbo) S 18240 18240 12793 0 -1 4202496 12703 46236 0 0 118 14 525 23 20 0 1 0 277506531 105525248 23032 33554432000 4194304 5992684 140736301754256 140736301749376 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18241/statm: 25763 23032 174 440 0 25319 0
[pid=18248] ppid=18241 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18248/stat : 18248 (satsolver.sh) S 18241 18240 12793 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 277507227 9367552 267 33554432000 4194304 5064252 140733603374016 140733603372928 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18248/statm: 2287 267 226 213 0 72 0
[pid=18249] ppid=18248 vsize=119656 CPUtime=155.3 cores=0,2,4,6
/proc/18249/stat : 18249 (glucose) R 18248 18240 12793 0 -1 4202496 21774 0 0 0 15527 3 0 0 20 0 1 0 277507228 122527744 23857 33554432000 4194304 5208918 140733353431952 140733353430104 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18249/statm: 29914 23857 102 248 0 29663 0
Current children cumulated CPU time (s) 162.1
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 18273
/proc/meminfo: memFree=29961160/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[pid=18241] ppid=18240 vsize=239952 CPUtime=708.09 cores=0,2,4,6
/proc/18241/stat : 18241 (npSolver-pbo) S 18240 18240 12793 0 -1 4202496 22600 77481 0 0 262 146 70366 35 20 0 1 0 277506531 245710848 44353 33554432000 4194304 5992684 140736301754256 140736301746576 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/18241/statm: 59988 44353 183 440 0 59544 0
[pid=18263] ppid=18241 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18263/stat : 18263 (satsolver.sh) S 18241 18240 12793 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277577382 9367552 267 33554432000 4194304 5064252 140735230551536 140735230550448 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18263/statm: 2287 267 226 213 0 72 0
[pid=18264] ppid=18263 vsize=330496 CPUtime=713.65 cores=0,2,4,6
/proc/18264/stat : 18264 (glucose) R 18263 18240 12793 0 -1 4202496 51666 0 0 0 71350 15 0 0 20 0 1 0 277577383 338427904 70493 33554432000 4194304 5208918 140734969303152 140734969300984 4211732 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18264/statm: 82624 70493 104 248 0 82373 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 588744
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18274
/proc/meminfo: memFree=29956948/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[pid=18241] ppid=18240 vsize=239952 CPUtime=708.09 cores=0,2,4,6
/proc/18241/stat : 18241 (npSolver-pbo) S 18240 18240 12793 0 -1 4202496 22600 77481 0 0 262 146 70366 35 20 0 1 0 277506531 245710848 44353 33554432000 4194304 5992684 140736301754256 140736301746576 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/18241/statm: 59988 44353 183 440 0 59544 0
[pid=18263] ppid=18241 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18263/stat : 18263 (satsolver.sh) S 18241 18240 12793 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277577382 9367552 267 33554432000 4194304 5064252 140735230551536 140735230550448 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18263/statm: 2287 267 226 213 0 72 0
[pid=18264] ppid=18263 vsize=330496 CPUtime=773.64 cores=0,2,4,6
/proc/18264/stat : 18264 (glucose) R 18263 18240 12793 0 -1 4202496 51667 0 0 0 77349 15 0 0 20 0 1 0 277577383 338427904 71005 33554432000 4194304 5208918 140734969303152 140734969300984 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18264/statm: 82624 71005 104 248 0 82373 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 588744
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 18274
/proc/meminfo: memFree=29948264/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[pid=18241] ppid=18240 vsize=239952 CPUtime=708.09 cores=0,2,4,6
/proc/18241/stat : 18241 (npSolver-pbo) S 18240 18240 12793 0 -1 4202496 22600 77481 0 0 262 146 70366 35 20 0 1 0 277506531 245710848 44353 33554432000 4194304 5992684 140736301754256 140736301746576 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/18241/statm: 59988 44353 183 440 0 59544 0
[pid=18263] ppid=18241 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18263/stat : 18263 (satsolver.sh) S 18241 18240 12793 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277577382 9367552 267 33554432000 4194304 5064252 140735230551536 140735230550448 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18263/statm: 2287 267 226 213 0 72 0
[pid=18264] ppid=18263 vsize=333712 CPUtime=833.63 cores=0,2,4,6
/proc/18264/stat : 18264 (glucose) R 18263 18240 12793 0 -1 4202496 52301 0 0 0 83348 15 0 0 20 0 1 0 277577383 341721088 72150 33554432000 4194304 5208918 140734969303152 140734969300984 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18264/statm: 83428 72150 104 248 0 83177 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 591960
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 18274
/proc/meminfo: memFree=29945968/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[pid=18241] ppid=18240 vsize=239952 CPUtime=708.09 cores=0,2,4,6
/proc/18241/stat : 18241 (npSolver-pbo) S 18240 18240 12793 0 -1 4202496 22600 77481 0 0 262 146 70366 35 20 0 1 0 277506531 245710848 44353 33554432000 4194304 5992684 140736301754256 140736301746576 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/18241/statm: 59988 44353 183 440 0 59544 0
[pid=18263] ppid=18241 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18263/stat : 18263 (satsolver.sh) S 18241 18240 12793 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277577382 9367552 267 33554432000 4194304 5064252 140735230551536 140735230550448 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18263/statm: 2287 267 226 213 0 72 0
[pid=18264] ppid=18263 vsize=333712 CPUtime=893.62 cores=0,2,4,6
/proc/18264/stat : 18264 (glucose) R 18263 18240 12793 0 -1 4202496 52375 0 0 0 89347 15 0 0 20 0 1 0 277577383 341721088 72735 33554432000 4194304 5208918 140734969303152 140734969300984 4211871 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18264/statm: 83428 72735 105 248 0 83177 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 591960
[startup+1662.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/183 18274
/proc/meminfo: memFree=29962724/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[pid=18241] ppid=18240 vsize=239952 CPUtime=708.09 cores=0,2,4,6
/proc/18241/stat : 18241 (npSolver-pbo) S 18240 18240 12793 0 -1 4202496 22600 77481 0 0 262 146 70366 35 20 0 1 0 277506531 245710848 44353 33554432000 4194304 5992684 140736301754256 140736301746576 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/18241/statm: 59988 44353 183 440 0 59544 0
[pid=18263] ppid=18241 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18263/stat : 18263 (satsolver.sh) S 18241 18240 12793 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277577382 9367552 267 33554432000 4194304 5064252 140735230551536 140735230550448 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18263/statm: 2287 267 226 213 0 72 0
[pid=18264] ppid=18263 vsize=333712 CPUtime=953.61 cores=0,2,4,6
/proc/18264/stat : 18264 (glucose) R 18263 18240 12793 0 -1 4202496 52951 0 0 0 95345 16 0 0 20 0 1 0 277577383 341721088 67951 33554432000 4194304 5208918 140734969303152 140734969300984 4211561 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18264/statm: 83428 67951 105 248 0 83177 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 591960
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 18274
/proc/meminfo: memFree=29977436/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[pid=18241] ppid=18240 vsize=239952 CPUtime=708.09 cores=0,2,4,6
/proc/18241/stat : 18241 (npSolver-pbo) S 18240 18240 12793 0 -1 4202496 22600 77481 0 0 262 146 70366 35 20 0 1 0 277506531 245710848 44353 33554432000 4194304 5992684 140736301754256 140736301746576 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/18241/statm: 59988 44353 183 440 0 59544 0
[pid=18263] ppid=18241 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18263/stat : 18263 (satsolver.sh) S 18241 18240 12793 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277577382 9367552 267 33554432000 4194304 5064252 140735230551536 140735230550448 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18263/statm: 2287 267 226 213 0 72 0
[pid=18264] ppid=18263 vsize=333712 CPUtime=1013.6 cores=0,2,4,6
/proc/18264/stat : 18264 (glucose) R 18263 18240 12793 0 -1 4202496 53053 0 0 0 101344 16 0 0 20 0 1 0 277577383 341721088 68564 33554432000 4194304 5208918 140734969303152 140734969301240 4211918 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18264/statm: 83428 68564 105 248 0 83177 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 591960
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 18275
/proc/meminfo: memFree=29974892/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[pid=18241] ppid=18240 vsize=239952 CPUtime=708.09 cores=0,2,4,6
/proc/18241/stat : 18241 (npSolver-pbo) S 18240 18240 12793 0 -1 4202496 22600 77481 0 0 262 146 70366 35 20 0 1 0 277506531 245710848 44353 33554432000 4194304 5992684 140736301754256 140736301746576 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/18241/statm: 59988 44353 183 440 0 59544 0
[pid=18263] ppid=18241 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18263/stat : 18263 (satsolver.sh) S 18241 18240 12793 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277577382 9367552 267 33554432000 4194304 5064252 140735230551536 140735230550448 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18263/statm: 2287 267 226 213 0 72 0
[pid=18264] ppid=18263 vsize=333712 CPUtime=1073.6 cores=0,2,4,6
/proc/18264/stat : 18264 (glucose) R 18263 18240 12793 0 -1 4202496 53053 0 0 0 107344 16 0 0 20 0 1 0 277577383 341721088 68564 33554432000 4194304 5208918 140734969303152 140734969301240 4211851 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18264/statm: 83428 68564 105 248 0 83177 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 591960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 18315
/proc/meminfo: memFree=30429896/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[pid=18241] ppid=18240 vsize=239952 CPUtime=708.09 cores=0,2,4,6
/proc/18241/stat : 18241 (npSolver-pbo) S 18240 18240 12793 0 -1 4202496 22600 77481 0 0 262 146 70366 35 20 0 1 0 277506531 245710848 44353 33554432000 4194304 5992684 140736301754256 140736301746576 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/18241/statm: 59988 44353 183 440 0 59544 0
[pid=18263] ppid=18241 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18263/stat : 18263 (satsolver.sh) S 18241 18240 12793 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277577382 9367552 267 33554432000 4194304 5064252 140735230551536 140735230550448 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18263/statm: 2287 267 226 213 0 72 0
[pid=18264] ppid=18263 vsize=333712 CPUtime=1091.99 cores=0,2,4,6
/proc/18264/stat : 18264 (glucose) R 18263 18240 12793 0 -1 4202496 53054 0 0 0 109183 16 0 0 20 0 1 0 277577383 341721088 69076 33554432000 4194304 5208918 140734969303152 140734969301240 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18264/statm: 83428 69076 105 248 0 83177 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 591960
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 18315
/proc/meminfo: memFree=30429896/32873844 swapFree=7116/7116
[pid=18240] ppid=18238 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18240/stat : 18240 (npSolver-pbo.sh) S 18238 18240 12793 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277506531 9367552 275 33554432000 4194304 5064252 140735226876896 140735226875808 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18240/statm: 2287 275 233 213 0 72 0
[pid=18241] ppid=18240 vsize=239952 CPUtime=708.09 cores=0,2,4,6
/proc/18241/stat : 18241 (npSolver-pbo) S 18240 18240 12793 0 -1 4202496 22600 77481 0 0 262 146 70366 35 20 0 1 0 277506531 245710848 44353 33554432000 4194304 5992684 140736301754256 140736301746576 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/18241/statm: 59988 44353 183 440 0 59544 0
[pid=18263] ppid=18241 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18263/stat : 18263 (satsolver.sh) S 18241 18240 12793 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277577382 9367552 267 33554432000 4194304 5064252 140735230551536 140735230550448 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18263/statm: 2287 267 226 213 0 72 0
[pid=18264] ppid=18263 vsize=333712 CPUtime=1091.99 cores=0,2,4,6
/proc/18264/stat : 18264 (glucose) R 18263 18240 12793 0 -1 4202496 53054 0 0 0 109183 16 0 0 20 0 1 0 277577383 341721088 69076 33554432000 4194304 5208918 140734969303152 140734969301240 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18264/statm: 83428 69076 105 248 0 83177 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 591960
Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.12
CPU user time (s): 1798.13
CPU system time (s): 1.9927
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 672100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.13
system time used= 1.9927
maximum resident set size= 341888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 377424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 681
involuntary context switches= 1935
runsolver used 3.11952 second user time and 8.85865 second system time
The end