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-3750956-1339130795/watcher-3750956-1339130795 -o /tmp/evaluation-result-3750956-1339130795/solver-3750956-1339130795 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750956-1339130795.opb 796057093 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: 2.02 2.02 2.00 3/179 5191
/proc/meminfo: memFree=31589420/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[startup+0.046016 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5191
/proc/meminfo: memFree=31589420/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100283 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5191
/proc/meminfo: memFree=31589420/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300317 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5191
/proc/meminfo: memFree=31589420/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700282 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 5191
/proc/meminfo: memFree=31589420/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 5205
/proc/meminfo: memFree=31566436/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[pid=5192] ppid=5191 vsize=8508 CPUtime=0.57 cores=1,3,5,7
/proc/5192/stat : 5192 (npSolver-pbo) S 5191 5191 32553 0 -1 4202496 4392 13566 0 0 11 10 30 6 20 0 1 0 379205082 8712192 1742 33554432000 4194304 6004724 140735351545232 140735351537584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5192/statm: 2127 1742 171 442 0 1681 0
[pid=5204] ppid=5192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5204/stat : 5204 (satsolver.sh) S 5192 5191 32553 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379205141 9367552 266 33554432000 4194304 5064252 140735255465056 140735255463968 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5204/statm: 2287 266 226 213 0 72 0
[pid=5205] ppid=5204 vsize=14260 CPUtime=0.89 cores=1,3,5,7
/proc/5205/stat : 5205 (glucose) R 5204 5191 32553 0 -1 4202496 3298 0 0 0 89 0 0 0 20 0 1 0 379205141 14602240 2956 33554432000 4194304 5208918 140737334264672 140737334262696 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5205/statm: 3565 2956 104 248 0 3314 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 41064
[startup+3.10033 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 5205
/proc/meminfo: memFree=31679756/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[pid=5192] ppid=5191 vsize=8508 CPUtime=2.63 cores=1,3,5,7
/proc/5192/stat : 5192 (npSolver-pbo) S 5191 5191 32553 0 -1 4202496 4826 20599 0 0 12 10 233 8 20 0 1 0 379205082 8712192 1743 33554432000 4194304 6004724 140735351545232 140735351537584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5192/statm: 2127 1743 172 442 0 1681 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 17656
[startup+6.30041 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 5212
/proc/meminfo: memFree=31665172/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[pid=5192] ppid=5191 vsize=8508 CPUtime=2.63 cores=1,3,5,7
/proc/5192/stat : 5192 (npSolver-pbo) S 5191 5191 32553 0 -1 4202496 4826 20599 0 0 12 10 233 8 20 0 1 0 379205082 8712192 1743 33554432000 4194304 6004724 140735351545232 140735351537584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5192/statm: 2127 1743 172 442 0 1681 0
[pid=5211] ppid=5192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5211/stat : 5211 (satsolver.sh) S 5192 5191 32553 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379205347 9367552 267 33554432000 4194304 5064252 140733794568624 140733794567536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5211/statm: 2287 267 226 213 0 72 0
[pid=5212] ppid=5211 vsize=27332 CPUtime=3.64 cores=1,3,5,7
/proc/5212/stat : 5212 (glucose) R 5211 5191 32553 0 -1 4202496 5471 0 0 0 363 1 0 0 20 0 1 0 379205347 27987968 5797 33554432000 4194304 5208918 140734128491264 140734128489208 4211508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5212/statm: 6833 5797 105 248 0 6582 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 54136
[startup+12.7004 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 5212
/proc/meminfo: memFree=31643968/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[pid=5192] ppid=5191 vsize=8508 CPUtime=2.63 cores=1,3,5,7
/proc/5192/stat : 5192 (npSolver-pbo) S 5191 5191 32553 0 -1 4202496 4826 20599 0 0 12 10 233 8 20 0 1 0 379205082 8712192 1743 33554432000 4194304 6004724 140735351545232 140735351537584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5192/statm: 2127 1743 172 442 0 1681 0
[pid=5211] ppid=5192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5211/stat : 5211 (satsolver.sh) S 5192 5191 32553 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379205347 9367552 267 33554432000 4194304 5064252 140733794568624 140733794567536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5211/statm: 2287 267 226 213 0 72 0
[pid=5212] ppid=5211 vsize=30076 CPUtime=10.04 cores=1,3,5,7
/proc/5212/stat : 5212 (glucose) R 5211 5191 32553 0 -1 4202496 5959 0 0 0 1003 1 0 0 20 0 1 0 379205347 30797824 6544 33554432000 4194304 5208918 140734128491264 140734128489128 4211599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5212/statm: 7519 6544 105 248 0 7268 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 56880
[startup+25.5005 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 5212
/proc/meminfo: memFree=31616856/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[pid=5192] ppid=5191 vsize=8508 CPUtime=2.63 cores=1,3,5,7
/proc/5192/stat : 5192 (npSolver-pbo) S 5191 5191 32553 0 -1 4202496 4826 20599 0 0 12 10 233 8 20 0 1 0 379205082 8712192 1743 33554432000 4194304 6004724 140735351545232 140735351537584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5192/statm: 2127 1743 172 442 0 1681 0
[pid=5211] ppid=5192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5211/stat : 5211 (satsolver.sh) S 5192 5191 32553 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379205347 9367552 267 33554432000 4194304 5064252 140733794568624 140733794567536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5211/statm: 2287 267 226 213 0 72 0
[pid=5212] ppid=5211 vsize=31748 CPUtime=22.84 cores=1,3,5,7
/proc/5212/stat : 5212 (glucose) R 5211 5191 32553 0 -1 4202496 6720 0 0 0 2283 1 0 0 20 0 1 0 379205347 32509952 7295 33554432000 4194304 5208918 140734128491264 140734128487640 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5212/statm: 7937 7295 105 248 0 7686 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 58552
[startup+51.1005 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 5212
/proc/meminfo: memFree=31565212/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[pid=5192] ppid=5191 vsize=8508 CPUtime=2.63 cores=1,3,5,7
/proc/5192/stat : 5192 (npSolver-pbo) S 5191 5191 32553 0 -1 4202496 4826 20599 0 0 12 10 233 8 20 0 1 0 379205082 8712192 1743 33554432000 4194304 6004724 140735351545232 140735351537584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5192/statm: 2127 1743 172 442 0 1681 0
[pid=5211] ppid=5192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5211/stat : 5211 (satsolver.sh) S 5192 5191 32553 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379205347 9367552 267 33554432000 4194304 5064252 140733794568624 140733794567536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5211/statm: 2287 267 226 213 0 72 0
[pid=5212] ppid=5211 vsize=46168 CPUtime=48.43 cores=1,3,5,7
/proc/5212/stat : 5212 (glucose) R 5211 5191 32553 0 -1 4202496 8331 0 0 0 4841 2 0 0 20 0 1 0 379205347 47276032 10496 33554432000 4194304 5208918 140734128491264 140734128487640 4229757 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5212/statm: 11542 10496 105 248 0 11291 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 72972
[startup+102.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 5212
/proc/meminfo: memFree=31592632/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[pid=5192] ppid=5191 vsize=8508 CPUtime=2.63 cores=1,3,5,7
/proc/5192/stat : 5192 (npSolver-pbo) S 5191 5191 32553 0 -1 4202496 4826 20599 0 0 12 10 233 8 20 0 1 0 379205082 8712192 1743 33554432000 4194304 6004724 140735351545232 140735351537584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5192/statm: 2127 1743 172 442 0 1681 0
[pid=5211] ppid=5192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5211/stat : 5211 (satsolver.sh) S 5192 5191 32553 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379205347 9367552 267 33554432000 4194304 5064252 140733794568624 140733794567536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5211/statm: 2287 267 226 213 0 72 0
[pid=5212] ppid=5211 vsize=76516 CPUtime=99.62 cores=1,3,5,7
/proc/5212/stat : 5212 (glucose) R 5211 5191 32553 0 -1 4202496 8976 0 0 0 9959 3 0 0 20 0 1 0 379205347 78352384 11740 33554432000 4194304 5208918 140734128491264 140734128489208 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5212/statm: 19129 11740 105 248 0 18878 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 103320
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 5213
/proc/meminfo: memFree=31588848/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[pid=5192] ppid=5191 vsize=8508 CPUtime=2.63 cores=1,3,5,7
/proc/5192/stat : 5192 (npSolver-pbo) S 5191 5191 32553 0 -1 4202496 4826 20599 0 0 12 10 233 8 20 0 1 0 379205082 8712192 1743 33554432000 4194304 6004724 140735351545232 140735351537584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5192/statm: 2127 1743 172 442 0 1681 0
[pid=5211] ppid=5192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5211/stat : 5211 (satsolver.sh) S 5192 5191 32553 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379205347 9367552 267 33554432000 4194304 5064252 140733794568624 140733794567536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5211/statm: 2287 267 226 213 0 72 0
[pid=5212] ppid=5211 vsize=76516 CPUtime=159.61 cores=1,3,5,7
/proc/5212/stat : 5212 (glucose) R 5211 5191 32553 0 -1 4202496 9743 0 0 0 15957 4 0 0 20 0 1 0 379205347 78352384 18116 33554432000 4194304 5208918 140734128491264 140734128487640 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5212/statm: 19129 18116 105 248 0 18878 0
Current children cumulated CPU time (s) 162.24
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5298
/proc/meminfo: memFree=31530588/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[pid=5192] ppid=5191 vsize=8508 CPUtime=2.63 cores=1,3,5,7
/proc/5192/stat : 5192 (npSolver-pbo) S 5191 5191 32553 0 -1 4202496 4826 20599 0 0 12 10 233 8 20 0 1 0 379205082 8712192 1743 33554432000 4194304 6004724 140735351545232 140735351537584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5192/statm: 2127 1743 172 442 0 1681 0
[pid=5211] ppid=5192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5211/stat : 5211 (satsolver.sh) S 5192 5191 32553 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379205347 9367552 267 33554432000 4194304 5064252 140733794568624 140733794567536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5211/statm: 2287 267 226 213 0 72 0
[pid=5212] ppid=5211 vsize=157636 CPUtime=1359.42 cores=1,3,5,7
/proc/5212/stat : 5212 (glucose) R 5211 5191 32553 0 -1 4202496 11113 0 0 0 135923 19 0 0 20 0 1 0 379205347 161419264 33822 33554432000 4194304 5208918 140734128491264 140734128489416 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5212/statm: 39409 33822 105 248 0 39158 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 184440
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 5301
/proc/meminfo: memFree=31602088/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[pid=5192] ppid=5191 vsize=8508 CPUtime=2.63 cores=1,3,5,7
/proc/5192/stat : 5192 (npSolver-pbo) S 5191 5191 32553 0 -1 4202496 4826 20599 0 0 12 10 233 8 20 0 1 0 379205082 8712192 1743 33554432000 4194304 6004724 140735351545232 140735351537584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5192/statm: 2127 1743 172 442 0 1681 0
[pid=5211] ppid=5192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5211/stat : 5211 (satsolver.sh) S 5192 5191 32553 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379205347 9367552 267 33554432000 4194304 5064252 140733794568624 140733794567536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5211/statm: 2287 267 226 213 0 72 0
[pid=5212] ppid=5211 vsize=126816 CPUtime=1419.42 cores=1,3,5,7
/proc/5212/stat : 5212 (glucose) R 5211 5191 32553 0 -1 4202496 11168 0 0 0 141922 20 0 0 20 0 1 0 379205347 129859584 28635 33554432000 4194304 5208918 140734128491264 140734128489256 4211623 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5212/statm: 31704 28635 105 248 0 31453 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 153620
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5308
/proc/meminfo: memFree=31646044/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[pid=5192] ppid=5191 vsize=8508 CPUtime=2.63 cores=1,3,5,7
/proc/5192/stat : 5192 (npSolver-pbo) S 5191 5191 32553 0 -1 4202496 4826 20599 0 0 12 10 233 8 20 0 1 0 379205082 8712192 1743 33554432000 4194304 6004724 140735351545232 140735351537584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5192/statm: 2127 1743 172 442 0 1681 0
[pid=5211] ppid=5192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5211/stat : 5211 (satsolver.sh) S 5192 5191 32553 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379205347 9367552 267 33554432000 4194304 5064252 140733794568624 140733794567536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5211/statm: 2287 267 226 213 0 72 0
[pid=5212] ppid=5211 vsize=157636 CPUtime=1479.4 cores=1,3,5,7
/proc/5212/stat : 5212 (glucose) R 5211 5191 32553 0 -1 4202496 11245 0 0 0 147919 21 0 0 20 0 1 0 379205347 161419264 33310 33554432000 4194304 5208918 140734128491264 140734128489416 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5212/statm: 39409 33310 105 248 0 39158 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 184440
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 5309
/proc/meminfo: memFree=31630420/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[pid=5192] ppid=5191 vsize=8508 CPUtime=2.63 cores=1,3,5,7
/proc/5192/stat : 5192 (npSolver-pbo) S 5191 5191 32553 0 -1 4202496 4826 20599 0 0 12 10 233 8 20 0 1 0 379205082 8712192 1743 33554432000 4194304 6004724 140735351545232 140735351537584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5192/statm: 2127 1743 172 442 0 1681 0
[pid=5211] ppid=5192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5211/stat : 5211 (satsolver.sh) S 5192 5191 32553 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379205347 9367552 267 33554432000 4194304 5064252 140733794568624 140733794567536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5211/statm: 2287 267 226 213 0 72 0
[pid=5212] ppid=5211 vsize=126816 CPUtime=1539.4 cores=1,3,5,7
/proc/5212/stat : 5212 (glucose) R 5211 5191 32553 0 -1 4202496 11301 0 0 0 153918 22 0 0 20 0 1 0 379205347 129859584 28637 33554432000 4194304 5208918 140734128491264 140734128487032 4229133 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5212/statm: 31704 28637 105 248 0 31453 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 153620
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5309
/proc/meminfo: memFree=31604900/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[pid=5192] ppid=5191 vsize=8508 CPUtime=2.63 cores=1,3,5,7
/proc/5192/stat : 5192 (npSolver-pbo) S 5191 5191 32553 0 -1 4202496 4826 20599 0 0 12 10 233 8 20 0 1 0 379205082 8712192 1743 33554432000 4194304 6004724 140735351545232 140735351537584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5192/statm: 2127 1743 172 442 0 1681 0
[pid=5211] ppid=5192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5211/stat : 5211 (satsolver.sh) S 5192 5191 32553 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379205347 9367552 267 33554432000 4194304 5064252 140733794568624 140733794567536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5211/statm: 2287 267 226 213 0 72 0
[pid=5212] ppid=5211 vsize=157636 CPUtime=1599.39 cores=1,3,5,7
/proc/5212/stat : 5212 (glucose) R 5211 5191 32553 0 -1 4202496 11376 0 0 0 159916 23 0 0 20 0 1 0 379205347 161419264 32800 33554432000 4194304 5208918 140734128491264 140734128487032 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5212/statm: 39409 32800 105 248 0 39158 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 184440
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5310
/proc/meminfo: memFree=31641344/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[pid=5192] ppid=5191 vsize=8508 CPUtime=2.63 cores=1,3,5,7
/proc/5192/stat : 5192 (npSolver-pbo) S 5191 5191 32553 0 -1 4202496 4826 20599 0 0 12 10 233 8 20 0 1 0 379205082 8712192 1743 33554432000 4194304 6004724 140735351545232 140735351537584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5192/statm: 2127 1743 172 442 0 1681 0
[pid=5211] ppid=5192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5211/stat : 5211 (satsolver.sh) S 5192 5191 32553 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379205347 9367552 267 33554432000 4194304 5064252 140733794568624 140733794567536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5211/statm: 2287 267 226 213 0 72 0
[pid=5212] ppid=5211 vsize=77496 CPUtime=1659.38 cores=1,3,5,7
/proc/5212/stat : 5212 (glucose) R 5211 5191 32553 0 -1 4202496 11382 0 0 0 165914 24 0 0 20 0 1 0 379205347 79355904 18875 33554432000 4194304 5208918 140734128491264 140734128489352 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5212/statm: 19374 18875 105 248 0 19123 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 104300
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5310
/proc/meminfo: memFree=31586112/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[pid=5192] ppid=5191 vsize=8508 CPUtime=2.63 cores=1,3,5,7
/proc/5192/stat : 5192 (npSolver-pbo) S 5191 5191 32553 0 -1 4202496 4826 20599 0 0 12 10 233 8 20 0 1 0 379205082 8712192 1743 33554432000 4194304 6004724 140735351545232 140735351537584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5192/statm: 2127 1743 172 442 0 1681 0
[pid=5211] ppid=5192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5211/stat : 5211 (satsolver.sh) S 5192 5191 32553 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379205347 9367552 267 33554432000 4194304 5064252 140733794568624 140733794567536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5211/statm: 2287 267 226 213 0 72 0
[pid=5212] ppid=5211 vsize=126816 CPUtime=1719.37 cores=1,3,5,7
/proc/5212/stat : 5212 (glucose) R 5211 5191 32553 0 -1 4202496 11437 0 0 0 171913 24 0 0 20 0 1 0 379205347 129859584 29661 33554432000 4194304 5208918 140734128491264 140734128486952 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5212/statm: 31704 29661 105 248 0 31453 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 153620
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5310
/proc/meminfo: memFree=31568856/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[pid=5192] ppid=5191 vsize=8508 CPUtime=2.63 cores=1,3,5,7
/proc/5192/stat : 5192 (npSolver-pbo) S 5191 5191 32553 0 -1 4202496 4826 20599 0 0 12 10 233 8 20 0 1 0 379205082 8712192 1743 33554432000 4194304 6004724 140735351545232 140735351537584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5192/statm: 2127 1743 172 442 0 1681 0
[pid=5211] ppid=5192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5211/stat : 5211 (satsolver.sh) S 5192 5191 32553 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379205347 9367552 267 33554432000 4194304 5064252 140733794568624 140733794567536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5211/statm: 2287 267 226 213 0 72 0
[pid=5212] ppid=5211 vsize=157636 CPUtime=1779.36 cores=1,3,5,7
/proc/5212/stat : 5212 (glucose) R 5211 5191 32553 0 -1 4202496 11513 0 0 0 177911 25 0 0 20 0 1 0 379205347 161419264 33312 33554432000 4194304 5208918 140734128491264 140734128487640 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5212/statm: 39409 33312 105 248 0 39158 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 184440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5310
/proc/meminfo: memFree=31626276/32873844 swapFree=7632/7632
[pid=5191] ppid=5189 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5191/stat : 5191 (npSolver-pbo.sh) S 5189 5191 32553 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379205082 9367552 275 33554432000 4194304 5064252 140734167830240 140734167829152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5191/statm: 2287 275 233 213 0 72 0
[pid=5192] ppid=5191 vsize=8508 CPUtime=2.63 cores=1,3,5,7
/proc/5192/stat : 5192 (npSolver-pbo) S 5191 5191 32553 0 -1 4202496 4826 20599 0 0 12 10 233 8 20 0 1 0 379205082 8712192 1743 33554432000 4194304 6004724 140735351545232 140735351537584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5192/statm: 2127 1743 172 442 0 1681 0
[pid=5211] ppid=5192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5211/stat : 5211 (satsolver.sh) S 5192 5191 32553 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379205347 9367552 267 33554432000 4194304 5064252 140733794568624 140733794567536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5211/statm: 2287 267 226 213 0 72 0
[pid=5212] ppid=5211 vsize=77496 CPUtime=1797.47 cores=1,3,5,7
/proc/5212/stat : 5212 (glucose) R 5211 5191 32553 0 -1 4202496 11514 0 0 0 179721 26 0 0 20 0 1 0 379205347 79355904 18875 33554432000 4194304 5208918 140734128491264 140734128489352 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5212/statm: 19374 18875 105 248 0 19123 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 104300
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.67
CPU system time (s): 0.45793
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 184440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.45793
maximum resident set size= 143488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37931
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97
involuntary context switches= 2005
runsolver used 4.31334 second user time and 10.4844 second system time
The end