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-3749768-1339220733/watcher-3749768-1339220733 -o /tmp/evaluation-result-3749768-1339220733/solver-3749768-1339220733 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749768-1339220733.opb 2134498121 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.56 1.71 1.45 3/179 32698
/proc/meminfo: memFree=31479240/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[startup+0.0369911 s]
/proc/loadavg: 1.56 1.71 1.45 3/179 32698
/proc/meminfo: memFree=31479240/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100224 s]
/proc/loadavg: 1.56 1.71 1.45 3/179 32698
/proc/meminfo: memFree=31479240/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300199 s]
/proc/loadavg: 1.56 1.71 1.45 3/179 32698
/proc/meminfo: memFree=31479240/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700262 s]
/proc/loadavg: 1.56 1.71 1.45 3/179 32698
/proc/meminfo: memFree=31479240/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 1.56 1.71 1.45 3/183 32708
/proc/meminfo: memFree=31469636/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[pid=32699] ppid=32698 vsize=4488 CPUtime=0.3 cores=1,3,5,7
/proc/32699/stat : 32699 (npSolver-pbo) S 32698 32698 12066 0 -1 4202496 2699 6127 0 0 4 1 22 3 20 0 1 0 388198241 4595712 748 33554432000 4194304 6004724 140734691669824 140734691664960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32699/statm: 1122 748 164 442 0 676 0
[pid=32707] ppid=32699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32707/stat : 32707 (satsolver.sh) S 32699 32698 12066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388198272 9367552 267 33554432000 4194304 5064252 140735938381792 140735938380704 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32707/statm: 2287 267 226 213 0 72 0
[pid=32708] ppid=32707 vsize=11832 CPUtime=1.17 cores=1,3,5,7
/proc/32708/stat : 32708 (glucose) R 32707 32698 12066 0 -1 4202496 3014 0 0 0 117 0 0 0 20 0 1 0 388198272 12115968 2452 33554432000 4194304 5208918 140736129153248 140736129151096 4213266 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32708/statm: 2958 2452 105 248 0 2707 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 34616
[startup+3.10036 s]
/proc/loadavg: 1.56 1.71 1.45 3/183 32708
/proc/meminfo: memFree=31465156/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[pid=32699] ppid=32698 vsize=4488 CPUtime=0.3 cores=1,3,5,7
/proc/32699/stat : 32699 (npSolver-pbo) S 32698 32698 12066 0 -1 4202496 2699 6127 0 0 4 1 22 3 20 0 1 0 388198241 4595712 748 33554432000 4194304 6004724 140734691669824 140734691664960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32699/statm: 1122 748 164 442 0 676 0
[pid=32707] ppid=32699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32707/stat : 32707 (satsolver.sh) S 32699 32698 12066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388198272 9367552 267 33554432000 4194304 5064252 140735938381792 140735938380704 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32707/statm: 2287 267 226 213 0 72 0
[pid=32708] ppid=32707 vsize=18092 CPUtime=2.77 cores=1,3,5,7
/proc/32708/stat : 32708 (glucose) R 32707 32698 12066 0 -1 4202496 4364 0 0 0 277 0 0 0 20 0 1 0 388198272 18526208 3660 33554432000 4194304 5208918 140736129153248 140736129151192 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32708/statm: 4523 3660 105 248 0 4272 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 40876
[startup+6.30043 s]
/proc/loadavg: 1.60 1.72 1.45 3/183 32708
/proc/meminfo: memFree=31456116/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[pid=32699] ppid=32698 vsize=4488 CPUtime=0.3 cores=1,3,5,7
/proc/32699/stat : 32699 (npSolver-pbo) S 32698 32698 12066 0 -1 4202496 2699 6127 0 0 4 1 22 3 20 0 1 0 388198241 4595712 748 33554432000 4194304 6004724 140734691669824 140734691664960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32699/statm: 1122 748 164 442 0 676 0
[pid=32707] ppid=32699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32707/stat : 32707 (satsolver.sh) S 32699 32698 12066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388198272 9367552 267 33554432000 4194304 5064252 140735938381792 140735938380704 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32707/statm: 2287 267 226 213 0 72 0
[pid=32708] ppid=32707 vsize=18092 CPUtime=5.97 cores=1,3,5,7
/proc/32708/stat : 32708 (glucose) R 32707 32698 12066 0 -1 4202496 4879 0 0 0 597 0 0 0 20 0 1 0 388198272 18526208 4170 33554432000 4194304 5208918 140736129153248 140736129149560 4229332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32708/statm: 4523 4170 105 248 0 4272 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 40876
[startup+12.7004 s]
/proc/loadavg: 1.63 1.72 1.46 3/183 32708
/proc/meminfo: memFree=31444732/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[pid=32699] ppid=32698 vsize=4488 CPUtime=0.3 cores=1,3,5,7
/proc/32699/stat : 32699 (npSolver-pbo) S 32698 32698 12066 0 -1 4202496 2699 6127 0 0 4 1 22 3 20 0 1 0 388198241 4595712 748 33554432000 4194304 6004724 140734691669824 140734691664960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32699/statm: 1122 748 164 442 0 676 0
[pid=32707] ppid=32699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32707/stat : 32707 (satsolver.sh) S 32699 32698 12066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388198272 9367552 267 33554432000 4194304 5064252 140735938381792 140735938380704 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32707/statm: 2287 267 226 213 0 72 0
[pid=32708] ppid=32707 vsize=20812 CPUtime=12.37 cores=1,3,5,7
/proc/32708/stat : 32708 (glucose) R 32707 32698 12066 0 -1 4202496 6010 0 0 0 1236 1 0 0 20 0 1 0 388198272 21311488 4849 33554432000 4194304 5208918 140736129153248 140736129151336 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32708/statm: 5203 4849 105 248 0 4952 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 43596
[startup+25.5005 s]
/proc/loadavg: 1.71 1.73 1.46 3/183 32708
/proc/meminfo: memFree=31431320/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[pid=32699] ppid=32698 vsize=4488 CPUtime=0.3 cores=1,3,5,7
/proc/32699/stat : 32699 (npSolver-pbo) S 32698 32698 12066 0 -1 4202496 2699 6127 0 0 4 1 22 3 20 0 1 0 388198241 4595712 748 33554432000 4194304 6004724 140734691669824 140734691664960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32699/statm: 1122 748 164 442 0 676 0
[pid=32707] ppid=32699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32707/stat : 32707 (satsolver.sh) S 32699 32698 12066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388198272 9367552 267 33554432000 4194304 5064252 140735938381792 140735938380704 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32707/statm: 2287 267 226 213 0 72 0
[pid=32708] ppid=32707 vsize=31472 CPUtime=25.17 cores=1,3,5,7
/proc/32708/stat : 32708 (glucose) R 32707 32698 12066 0 -1 4202496 6202 0 0 0 2516 1 0 0 20 0 1 0 388198272 32227328 7074 33554432000 4194304 5208918 140736129153248 140736129149624 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32708/statm: 7868 7074 105 248 0 7617 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 54256
[startup+51.1004 s]
/proc/loadavg: 1.81 1.75 1.48 3/183 32708
/proc/meminfo: memFree=31411332/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[pid=32699] ppid=32698 vsize=4488 CPUtime=0.3 cores=1,3,5,7
/proc/32699/stat : 32699 (npSolver-pbo) S 32698 32698 12066 0 -1 4202496 2699 6127 0 0 4 1 22 3 20 0 1 0 388198241 4595712 748 33554432000 4194304 6004724 140734691669824 140734691664960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32699/statm: 1122 748 164 442 0 676 0
[pid=32707] ppid=32699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32707/stat : 32707 (satsolver.sh) S 32699 32698 12066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388198272 9367552 267 33554432000 4194304 5064252 140735938381792 140735938380704 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32707/statm: 2287 267 226 213 0 72 0
[pid=32708] ppid=32707 vsize=31660 CPUtime=50.76 cores=1,3,5,7
/proc/32708/stat : 32708 (glucose) R 32707 32698 12066 0 -1 4202496 7657 0 0 0 5074 2 0 0 20 0 1 0 388198272 32419840 7496 33554432000 4194304 5208918 140736129153248 140736129151400 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32708/statm: 7915 7496 105 248 0 7664 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 54444
[startup+102.307 s]
/proc/loadavg: 1.91 1.79 1.50 3/183 32708
/proc/meminfo: memFree=31388916/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[pid=32699] ppid=32698 vsize=4488 CPUtime=0.3 cores=1,3,5,7
/proc/32699/stat : 32699 (npSolver-pbo) S 32698 32698 12066 0 -1 4202496 2699 6127 0 0 4 1 22 3 20 0 1 0 388198241 4595712 748 33554432000 4194304 6004724 140734691669824 140734691664960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32699/statm: 1122 748 164 442 0 676 0
[pid=32707] ppid=32699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32707/stat : 32707 (satsolver.sh) S 32699 32698 12066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388198272 9367552 267 33554432000 4194304 5064252 140735938381792 140735938380704 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32707/statm: 2287 267 226 213 0 72 0
[pid=32708] ppid=32707 vsize=53056 CPUtime=101.96 cores=1,3,5,7
/proc/32708/stat : 32708 (glucose) R 32707 32698 12066 0 -1 4202496 9446 0 0 0 10193 3 0 0 20 0 1 0 388198272 54329344 12359 33554432000 4194304 5208918 140736129153248 140736129149016 4229460 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32708/statm: 13264 12359 105 248 0 13013 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 75840
[startup+162.3 s]
/proc/loadavg: 1.97 1.83 1.53 3/183 32709
/proc/meminfo: memFree=31384452/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[pid=32699] ppid=32698 vsize=4488 CPUtime=0.3 cores=1,3,5,7
/proc/32699/stat : 32699 (npSolver-pbo) S 32698 32698 12066 0 -1 4202496 2699 6127 0 0 4 1 22 3 20 0 1 0 388198241 4595712 748 33554432000 4194304 6004724 140734691669824 140734691664960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32699/statm: 1122 748 164 442 0 676 0
[pid=32707] ppid=32699 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.84 3/183 32741
/proc/meminfo: memFree=31232784/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[pid=32699] ppid=32698 vsize=4488 CPUtime=0.3 cores=1,3,5,7
/proc/32699/stat : 32699 (npSolver-pbo) S 32698 32698 12066 0 -1 4202496 2699 6127 0 0 4 1 22 3 20 0 1 0 388198241 4595712 748 33554432000 4194304 6004724 140734691669824 140734691664960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32699/statm: 1122 748 164 442 0 676 0
[pid=32707] ppid=32699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32707/stat : 32707 (satsolver.sh) S 32699 32698 12066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388198272 9367552 267 33554432000 4194304 5064252 140735938381792 140735938380704 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32707/statm: 2287 267 226 213 0 72 0
[pid=32708] ppid=32707 vsize=137908 CPUtime=1361.76 cores=1,3,5,7
/proc/32708/stat : 32708 (glucose) R 32707 32698 12066 0 -1 4202496 16165 0 0 0 136155 21 0 0 20 0 1 0 388198272 141217792 34141 33554432000 4194304 5208918 140736129153248 140736129151336 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32708/statm: 34477 34141 105 248 0 34226 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 160692
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.85 3/182 32742
/proc/meminfo: memFree=31198596/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[pid=32699] ppid=32698 vsize=4488 CPUtime=0.3 cores=1,3,5,7
/proc/32699/stat : 32699 (npSolver-pbo) S 32698 32698 12066 0 -1 4202496 2699 6127 0 0 4 1 22 3 20 0 1 0 388198241 4595712 748 33554432000 4194304 6004724 140734691669824 140734691664960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32699/statm: 1122 748 164 442 0 676 0
[pid=32707] ppid=32699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32707/stat : 32707 (satsolver.sh) S 32699 32698 12066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388198272 9367552 267 33554432000 4194304 5064252 140735938381792 140735938380704 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32707/statm: 2287 267 226 213 0 72 0
[pid=32708] ppid=32707 vsize=187228 CPUtime=1421.75 cores=1,3,5,7
/proc/32708/stat : 32708 (glucose) R 32707 32698 12066 0 -1 4202496 16640 0 0 0 142153 22 0 0 20 0 1 0 388198272 191721472 43045 33554432000 4194304 5208918 140736129153248 140736129151240 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32708/statm: 46807 43045 105 248 0 46556 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 210012
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/184 32746
/proc/meminfo: memFree=31153356/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[pid=32699] ppid=32698 vsize=4488 CPUtime=0.3 cores=1,3,5,7
/proc/32699/stat : 32699 (npSolver-pbo) S 32698 32698 12066 0 -1 4202496 2699 6127 0 0 4 1 22 3 20 0 1 0 388198241 4595712 748 33554432000 4194304 6004724 140734691669824 140734691664960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32699/statm: 1122 748 164 442 0 676 0
[pid=32707] ppid=32699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32707/stat : 32707 (satsolver.sh) S 32699 32698 12066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388198272 9367552 267 33554432000 4194304 5064252 140735938381792 140735938380704 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32707/statm: 2287 267 226 213 0 72 0
[pid=32708] ppid=32707 vsize=187228 CPUtime=1481.74 cores=1,3,5,7
/proc/32708/stat : 32708 (glucose) R 32707 32698 12066 0 -1 4202496 17391 0 0 0 148150 24 0 0 20 0 1 0 388198272 191721472 46117 33554432000 4194304 5208918 140736129153248 140736129151240 4211623 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32708/statm: 46807 46117 105 248 0 46556 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 210012
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 32746
/proc/meminfo: memFree=31232832/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[pid=32699] ppid=32698 vsize=4488 CPUtime=0.3 cores=1,3,5,7
/proc/32699/stat : 32699 (npSolver-pbo) S 32698 32698 12066 0 -1 4202496 2699 6127 0 0 4 1 22 3 20 0 1 0 388198241 4595712 748 33554432000 4194304 6004724 140734691669824 140734691664960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32699/statm: 1122 748 164 442 0 676 0
[pid=32707] ppid=32699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32707/stat : 32707 (satsolver.sh) S 32699 32698 12066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388198272 9367552 267 33554432000 4194304 5064252 140735938381792 140735938380704 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32707/statm: 2287 267 226 213 0 72 0
[pid=32708] ppid=32707 vsize=137908 CPUtime=1541.74 cores=1,3,5,7
/proc/32708/stat : 32708 (glucose) R 32707 32698 12066 0 -1 4202496 18792 0 0 0 154146 28 0 0 20 0 1 0 388198272 141217792 34141 33554432000 4194304 5208918 140736129153248 140736129151336 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32708/statm: 34477 34141 105 248 0 34226 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 160692
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/183 32746
/proc/meminfo: memFree=31232848/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[pid=32699] ppid=32698 vsize=4488 CPUtime=0.3 cores=1,3,5,7
/proc/32699/stat : 32699 (npSolver-pbo) S 32698 32698 12066 0 -1 4202496 2699 6127 0 0 4 1 22 3 20 0 1 0 388198241 4595712 748 33554432000 4194304 6004724 140734691669824 140734691664960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32699/statm: 1122 748 164 442 0 676 0
[pid=32707] ppid=32699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32707/stat : 32707 (satsolver.sh) S 32699 32698 12066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388198272 9367552 267 33554432000 4194304 5064252 140735938381792 140735938380704 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32707/statm: 2287 267 226 213 0 72 0
[pid=32708] ppid=32707 vsize=137908 CPUtime=1601.72 cores=1,3,5,7
/proc/32708/stat : 32708 (glucose) R 32707 32698 12066 0 -1 4202496 19611 0 0 0 160143 29 0 0 20 0 1 0 388198272 141217792 34141 33554432000 4194304 5208918 140736129153248 140736129151336 4229145 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32708/statm: 34477 34141 105 248 0 34226 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 160692
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/183 32746
/proc/meminfo: memFree=31196932/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[pid=32699] ppid=32698 vsize=4488 CPUtime=0.3 cores=1,3,5,7
/proc/32699/stat : 32699 (npSolver-pbo) S 32698 32698 12066 0 -1 4202496 2699 6127 0 0 4 1 22 3 20 0 1 0 388198241 4595712 748 33554432000 4194304 6004724 140734691669824 140734691664960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32699/statm: 1122 748 164 442 0 676 0
[pid=32707] ppid=32699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32707/stat : 32707 (satsolver.sh) S 32699 32698 12066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388198272 9367552 267 33554432000 4194304 5064252 140735938381792 140735938380704 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32707/statm: 2287 267 226 213 0 72 0
[pid=32708] ppid=32707 vsize=137908 CPUtime=1661.71 cores=1,3,5,7
/proc/32708/stat : 32708 (glucose) R 32707 32698 12066 0 -1 4202496 20424 0 0 0 166140 31 0 0 20 0 1 0 388198272 141217792 34141 33554432000 4194304 5208918 140736129153248 140736129151336 4229692 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32708/statm: 34477 34141 105 248 0 34226 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 160692
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/183 32747
/proc/meminfo: memFree=31233004/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[pid=32699] ppid=32698 vsize=4488 CPUtime=0.3 cores=1,3,5,7
/proc/32699/stat : 32699 (npSolver-pbo) S 32698 32698 12066 0 -1 4202496 2699 6127 0 0 4 1 22 3 20 0 1 0 388198241 4595712 748 33554432000 4194304 6004724 140734691669824 140734691664960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32699/statm: 1122 748 164 442 0 676 0
[pid=32707] ppid=32699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32707/stat : 32707 (satsolver.sh) S 32699 32698 12066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388198272 9367552 267 33554432000 4194304 5064252 140735938381792 140735938380704 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32707/statm: 2287 267 226 213 0 72 0
[pid=32708] ppid=32707 vsize=137908 CPUtime=1721.7 cores=1,3,5,7
/proc/32708/stat : 32708 (glucose) R 32707 32698 12066 0 -1 4202496 21240 0 0 0 172137 33 0 0 20 0 1 0 388198272 141217792 34141 33554432000 4194304 5208918 140736129153248 140736129151336 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32708/statm: 34477 34141 105 248 0 34226 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 160692
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/183 32747
/proc/meminfo: memFree=31232756/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[pid=32699] ppid=32698 vsize=4488 CPUtime=0.3 cores=1,3,5,7
/proc/32699/stat : 32699 (npSolver-pbo) S 32698 32698 12066 0 -1 4202496 2699 6127 0 0 4 1 22 3 20 0 1 0 388198241 4595712 748 33554432000 4194304 6004724 140734691669824 140734691664960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32699/statm: 1122 748 164 442 0 676 0
[pid=32707] ppid=32699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32707/stat : 32707 (satsolver.sh) S 32699 32698 12066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388198272 9367552 267 33554432000 4194304 5064252 140735938381792 140735938380704 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32707/statm: 2287 267 226 213 0 72 0
[pid=32708] ppid=32707 vsize=137908 CPUtime=1781.69 cores=1,3,5,7
/proc/32708/stat : 32708 (glucose) R 32707 32698 12066 0 -1 4202496 21713 0 0 0 178135 34 0 0 20 0 1 0 388198272 141217792 34141 33554432000 4194304 5208918 140736129153248 140736129151336 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32708/statm: 34477 34141 105 248 0 34226 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 160692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.89 2/175 302
/proc/meminfo: memFree=31309892/32873844 swapFree=7120/7120
[pid=32698] ppid=32696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32698/stat : 32698 (npSolver-pbo.sh) S 32696 32698 12066 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388198241 9367552 274 33554432000 4194304 5064252 140733838482640 140733838481552 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32698/statm: 2287 274 233 213 0 72 0
[pid=32699] ppid=32698 vsize=4488 CPUtime=0.3 cores=1,3,5,7
/proc/32699/stat : 32699 (npSolver-pbo) S 32698 32698 12066 0 -1 4202496 2699 6127 0 0 4 1 22 3 20 0 1 0 388198241 4595712 748 33554432000 4194304 6004724 140734691669824 140734691664960 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32699/statm: 1122 748 164 442 0 676 0
[pid=32707] ppid=32699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32707/stat : 32707 (satsolver.sh) S 32699 32698 12066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388198272 9367552 267 33554432000 4194304 5064252 140735938381792 140735938380704 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32707/statm: 2287 267 226 213 0 72 0
[pid=32708] ppid=32707 vsize=187228 CPUtime=1799.8 cores=1,3,5,7
/proc/32708/stat : 32708 (glucose) R 32707 32698 12066 0 -1 4202496 21931 0 0 0 179945 35 0 0 20 0 1 0 388198272 191721472 43557 33554432000 4194304 5208918 140736129153248 140736129151240 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32708/statm: 46807 43557 105 248 0 46556 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 210012
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.13
CPU user time (s): 1799.73
CPU system time (s): 0.400939
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 240832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.400939
maximum resident set size= 192928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 1865
runsolver used 6.49801 second user time and 19.544 second system time
The end