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-3750291-1339119238/watcher-3750291-1339119238 -o /tmp/evaluation-result-3750291-1339119238/solver-3750291-1339119238 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750291-1339119238.opb 1202336437 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.01 2.00 2/178 12191
/proc/meminfo: memFree=30050536/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[startup+0.0246961 s]
/proc/loadavg: 2.00 2.01 2.00 2/178 12191
/proc/meminfo: memFree=30050536/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100162 s]
/proc/loadavg: 2.00 2.01 2.00 2/178 12191
/proc/meminfo: memFree=30050536/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300275 s]
/proc/loadavg: 2.00 2.01 2.00 2/178 12191
/proc/meminfo: memFree=30050536/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700168 s]
/proc/loadavg: 2.00 2.01 2.00 2/178 12191
/proc/meminfo: memFree=30050536/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 12205
/proc/meminfo: memFree=29963816/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[pid=12192] ppid=12191 vsize=24680 CPUtime=0.3 cores=0,2,4,6
/proc/12192/stat : 12192 (npSolver-pbo) S 12191 12191 9764 0 -1 4202496 6463 5578 0 0 19 5 5 1 20 0 1 0 378052345 25272320 5802 33554432000 4194304 6004724 140736657028080 140736657020432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12192/statm: 6170 5802 173 442 0 5724 0
[pid=12204] ppid=12192 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (satsolver.sh) S 12192 12191 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378052377 9367552 267 33554432000 4194304 5064252 140735224534896 140735224533808 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 2287 267 226 213 0 72 0
[pid=12205] ppid=12204 vsize=65276 CPUtime=1.16 cores=0,2,4,6
/proc/12205/stat : 12205 (glucose) R 12204 12191 9764 0 -1 4202496 14075 0 0 0 114 2 0 0 20 0 1 0 378052377 66842624 13980 33554432000 4194304 5208918 140733514928208 140733514926040 4229748 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12205/statm: 16319 13980 103 248 0 16068 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 108252
[startup+3.10036 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 12205
/proc/meminfo: memFree=29960900/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[pid=12192] ppid=12191 vsize=24680 CPUtime=0.3 cores=0,2,4,6
/proc/12192/stat : 12192 (npSolver-pbo) S 12191 12191 9764 0 -1 4202496 6463 5578 0 0 19 5 5 1 20 0 1 0 378052345 25272320 5802 33554432000 4194304 6004724 140736657028080 140736657020432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12192/statm: 6170 5802 173 442 0 5724 0
[pid=12204] ppid=12192 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (satsolver.sh) S 12192 12191 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378052377 9367552 267 33554432000 4194304 5064252 140735224534896 140735224533808 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 2287 267 226 213 0 72 0
[pid=12205] ppid=12204 vsize=65276 CPUtime=2.76 cores=0,2,4,6
/proc/12205/stat : 12205 (glucose) R 12204 12191 9764 0 -1 4202496 14247 0 0 0 274 2 0 0 20 0 1 0 378052377 66842624 14151 33554432000 4194304 5208918 140733514928208 140733514926040 4229251 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12205/statm: 16319 14151 103 248 0 16068 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 108252
[startup+6.30036 s]
/proc/loadavg: 2.08 2.03 2.01 3/182 12205
/proc/meminfo: memFree=29954680/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[pid=12192] ppid=12191 vsize=24680 CPUtime=0.3 cores=0,2,4,6
/proc/12192/stat : 12192 (npSolver-pbo) S 12191 12191 9764 0 -1 4202496 6463 5578 0 0 19 5 5 1 20 0 1 0 378052345 25272320 5802 33554432000 4194304 6004724 140736657028080 140736657020432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12192/statm: 6170 5802 173 442 0 5724 0
[pid=12204] ppid=12192 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (satsolver.sh) S 12192 12191 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378052377 9367552 267 33554432000 4194304 5064252 140735224534896 140735224533808 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 2287 267 226 213 0 72 0
[pid=12205] ppid=12204 vsize=69696 CPUtime=5.97 cores=0,2,4,6
/proc/12205/stat : 12205 (glucose) R 12204 12191 9764 0 -1 4202496 14559 0 0 0 594 3 0 0 20 0 1 0 378052377 71368704 14453 33554432000 4194304 5208918 140733514928208 140733514926360 4229748 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12205/statm: 17424 14453 104 248 0 17173 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 112672
[startup+12.7004 s]
/proc/loadavg: 2.07 2.03 2.00 3/182 12205
/proc/meminfo: memFree=29948416/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[pid=12192] ppid=12191 vsize=24680 CPUtime=0.3 cores=0,2,4,6
/proc/12192/stat : 12192 (npSolver-pbo) S 12191 12191 9764 0 -1 4202496 6463 5578 0 0 19 5 5 1 20 0 1 0 378052345 25272320 5802 33554432000 4194304 6004724 140736657028080 140736657020432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12192/statm: 6170 5802 173 442 0 5724 0
[pid=12204] ppid=12192 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (satsolver.sh) S 12192 12191 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378052377 9367552 267 33554432000 4194304 5064252 140735224534896 140735224533808 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 2287 267 226 213 0 72 0
[pid=12205] ppid=12204 vsize=70556 CPUtime=12.36 cores=0,2,4,6
/proc/12205/stat : 12205 (glucose) R 12204 12191 9764 0 -1 4202496 15776 0 0 0 1233 3 0 0 20 0 1 0 378052377 72249344 14452 33554432000 4194304 5208918 140733514928208 140733514926360 4229010 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12205/statm: 17639 14452 105 248 0 17388 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 113532
[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 12206
/proc/meminfo: memFree=29978840/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[pid=12192] ppid=12191 vsize=24680 CPUtime=0.3 cores=0,2,4,6
/proc/12192/stat : 12192 (npSolver-pbo) S 12191 12191 9764 0 -1 4202496 6463 5578 0 0 19 5 5 1 20 0 1 0 378052345 25272320 5802 33554432000 4194304 6004724 140736657028080 140736657020432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12192/statm: 6170 5802 173 442 0 5724 0
[pid=12204] ppid=12192 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (satsolver.sh) S 12192 12191 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378052377 9367552 267 33554432000 4194304 5064252 140735224534896 140735224533808 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 2287 267 226 213 0 72 0
[pid=12205] ppid=12204 vsize=83600 CPUtime=25.16 cores=0,2,4,6
/proc/12205/stat : 12205 (glucose) R 12204 12191 9764 0 -1 4202496 18340 0 0 0 2511 5 0 0 20 0 1 0 378052377 85606400 18668 33554432000 4194304 5208918 140733514928208 140733514926072 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12205/statm: 20900 18668 105 248 0 20649 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 126576
[startup+51.1004 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 12206
/proc/meminfo: memFree=29973752/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[pid=12192] ppid=12191 vsize=24680 CPUtime=0.3 cores=0,2,4,6
/proc/12192/stat : 12192 (npSolver-pbo) S 12191 12191 9764 0 -1 4202496 6463 5578 0 0 19 5 5 1 20 0 1 0 378052345 25272320 5802 33554432000 4194304 6004724 140736657028080 140736657020432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12192/statm: 6170 5802 173 442 0 5724 0
[pid=12204] ppid=12192 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (satsolver.sh) S 12192 12191 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378052377 9367552 267 33554432000 4194304 5064252 140735224534896 140735224533808 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 2287 267 226 213 0 72 0
[pid=12205] ppid=12204 vsize=83712 CPUtime=50.75 cores=0,2,4,6
/proc/12205/stat : 12205 (glucose) R 12204 12191 9764 0 -1 4202496 18860 0 0 0 5070 5 0 0 20 0 1 0 378052377 85721088 17223 33554432000 4194304 5208918 140733514928208 140733514926072 4229021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12205/statm: 20928 17223 105 248 0 20677 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 126688
[startup+102.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 12207
/proc/meminfo: memFree=29888916/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[pid=12192] ppid=12191 vsize=24680 CPUtime=0.3 cores=0,2,4,6
/proc/12192/stat : 12192 (npSolver-pbo) S 12191 12191 9764 0 -1 4202496 6463 5578 0 0 19 5 5 1 20 0 1 0 378052345 25272320 5802 33554432000 4194304 6004724 140736657028080 140736657020432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12192/statm: 6170 5802 173 442 0 5724 0
[pid=12204] ppid=12192 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (satsolver.sh) S 12192 12191 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378052377 9367552 267 33554432000 4194304 5064252 140735224534896 140735224533808 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 2287 267 226 213 0 72 0
[pid=12205] ppid=12204 vsize=95204 CPUtime=101.94 cores=0,2,4,6
/proc/12205/stat : 12205 (glucose) R 12204 12191 9764 0 -1 4202496 19756 0 0 0 10188 6 0 0 20 0 1 0 378052377 97488896 21814 33554432000 4194304 5208918 140733514928208 140733514924520 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12205/statm: 23801 21814 105 248 0 23550 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 138180
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 12207
/proc/meminfo: memFree=29890972/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[pid=12192] ppid=12191 vsize=24680 CPUtime=0.3 cores=0,2,4,6
/proc/12192/stat : 12192 (npSolver-pbo) S 12191 12191 9764 0 -1 4202496 6463 5578 0 0 19 5 5 1 20 0 1 0 378052345 25272320 5802 33554432000 4194304 6004724 140736657028080 140736657020432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12192/statm: 6170 5802 173 442 0 5724 0
[pid=12204] ppid=12192 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 12647
/proc/meminfo: memFree=29937340/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[pid=12192] ppid=12191 vsize=24680 CPUtime=0.3 cores=0,2,4,6
/proc/12192/stat : 12192 (npSolver-pbo) S 12191 12191 9764 0 -1 4202496 6463 5578 0 0 19 5 5 1 20 0 1 0 378052345 25272320 5802 33554432000 4194304 6004724 140736657028080 140736657020432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12192/statm: 6170 5802 173 442 0 5724 0
[pid=12204] ppid=12192 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (satsolver.sh) S 12192 12191 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378052377 9367552 267 33554432000 4194304 5064252 140735224534896 140735224533808 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 2287 267 226 213 0 72 0
[pid=12205] ppid=12204 vsize=146460 CPUtime=1361.71 cores=0,2,4,6
/proc/12205/stat : 12205 (glucose) R 12204 12191 9764 0 -1 4202496 28726 0 0 0 136149 22 0 0 20 0 1 0 378052377 149975040 34777 33554432000 4194304 5208918 140733514928208 140733514926296 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12205/statm: 36615 34777 105 248 0 36364 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 189436
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 12647
/proc/meminfo: memFree=29871620/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[pid=12192] ppid=12191 vsize=24680 CPUtime=0.3 cores=0,2,4,6
/proc/12192/stat : 12192 (npSolver-pbo) S 12191 12191 9764 0 -1 4202496 6463 5578 0 0 19 5 5 1 20 0 1 0 378052345 25272320 5802 33554432000 4194304 6004724 140736657028080 140736657020432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12192/statm: 6170 5802 173 442 0 5724 0
[pid=12204] ppid=12192 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (satsolver.sh) S 12192 12191 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378052377 9367552 267 33554432000 4194304 5064252 140735224534896 140735224533808 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 2287 267 226 213 0 72 0
[pid=12205] ppid=12204 vsize=195780 CPUtime=1421.71 cores=0,2,4,6
/proc/12205/stat : 12205 (glucose) R 12204 12191 9764 0 -1 4202496 29087 0 0 0 142148 23 0 0 20 0 1 0 378052377 200478720 45869 33554432000 4194304 5208918 140733514928208 140733514924584 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12205/statm: 48945 45869 105 248 0 48694 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 238756
[startup+1482.3 s]
/proc/loadavg: 2.07 1.99 1.99 3/183 12647
/proc/meminfo: memFree=29833380/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[pid=12192] ppid=12191 vsize=24680 CPUtime=0.3 cores=0,2,4,6
/proc/12192/stat : 12192 (npSolver-pbo) S 12191 12191 9764 0 -1 4202496 6463 5578 0 0 19 5 5 1 20 0 1 0 378052345 25272320 5802 33554432000 4194304 6004724 140736657028080 140736657020432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12192/statm: 6170 5802 173 442 0 5724 0
[pid=12204] ppid=12192 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (satsolver.sh) S 12192 12191 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378052377 9367552 267 33554432000 4194304 5064252 140735224534896 140735224533808 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 2287 267 226 213 0 72 0
[pid=12205] ppid=12204 vsize=226600 CPUtime=1481.69 cores=0,2,4,6
/proc/12205/stat : 12205 (glucose) R 12204 12191 9764 0 -1 4202496 29676 0 0 0 148146 23 0 0 20 0 1 0 378052377 232038400 49520 33554432000 4194304 5208918 140733514928208 140733514923976 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12205/statm: 56650 49520 105 248 0 56399 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 269576
[startup+1542.3 s]
/proc/loadavg: 2.02 1.99 1.99 3/183 12647
/proc/meminfo: memFree=29848164/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[pid=12192] ppid=12191 vsize=24680 CPUtime=0.3 cores=0,2,4,6
/proc/12192/stat : 12192 (npSolver-pbo) S 12191 12191 9764 0 -1 4202496 6463 5578 0 0 19 5 5 1 20 0 1 0 378052345 25272320 5802 33554432000 4194304 6004724 140736657028080 140736657020432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12192/statm: 6170 5802 173 442 0 5724 0
[pid=12204] ppid=12192 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (satsolver.sh) S 12192 12191 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378052377 9367552 267 33554432000 4194304 5064252 140735224534896 140735224533808 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 2287 267 226 213 0 72 0
[pid=12205] ppid=12204 vsize=195780 CPUtime=1541.69 cores=0,2,4,6
/proc/12205/stat : 12205 (glucose) R 12204 12191 9764 0 -1 4202496 30035 0 0 0 154145 24 0 0 20 0 1 0 378052377 200478720 44333 33554432000 4194304 5208918 140733514928208 140733514926200 4205231 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12205/statm: 48945 44333 105 248 0 48694 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 238756
[startup+1602.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/184 12650
/proc/meminfo: memFree=29828548/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[pid=12192] ppid=12191 vsize=24680 CPUtime=0.3 cores=0,2,4,6
/proc/12192/stat : 12192 (npSolver-pbo) S 12191 12191 9764 0 -1 4202496 6463 5578 0 0 19 5 5 1 20 0 1 0 378052345 25272320 5802 33554432000 4194304 6004724 140736657028080 140736657020432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12192/statm: 6170 5802 173 442 0 5724 0
[pid=12204] ppid=12192 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (satsolver.sh) S 12192 12191 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378052377 9367552 267 33554432000 4194304 5064252 140735224534896 140735224533808 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 2287 267 226 213 0 72 0
[pid=12205] ppid=12204 vsize=226600 CPUtime=1601.68 cores=0,2,4,6
/proc/12205/stat : 12205 (glucose) R 12204 12191 9764 0 -1 4202496 30630 0 0 0 160143 25 0 0 20 0 1 0 378052377 232038400 48496 33554432000 4194304 5208918 140733514928208 140733514923896 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12205/statm: 56650 48496 105 248 0 56399 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 269576
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/184 12673
/proc/meminfo: memFree=29849412/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[pid=12192] ppid=12191 vsize=24680 CPUtime=0.3 cores=0,2,4,6
/proc/12192/stat : 12192 (npSolver-pbo) S 12191 12191 9764 0 -1 4202496 6463 5578 0 0 19 5 5 1 20 0 1 0 378052345 25272320 5802 33554432000 4194304 6004724 140736657028080 140736657020432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12192/statm: 6170 5802 173 442 0 5724 0
[pid=12204] ppid=12192 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (satsolver.sh) S 12192 12191 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378052377 9367552 267 33554432000 4194304 5064252 140735224534896 140735224533808 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 2287 267 226 213 0 72 0
[pid=12205] ppid=12204 vsize=195780 CPUtime=1661.67 cores=0,2,4,6
/proc/12205/stat : 12205 (glucose) R 12204 12191 9764 0 -1 4202496 30989 0 0 0 166141 26 0 0 20 0 1 0 378052377 200478720 43309 33554432000 4194304 5208918 140733514928208 140733514924584 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12205/statm: 48945 43309 105 248 0 48694 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 238756
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/183 12673
/proc/meminfo: memFree=29833596/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[pid=12192] ppid=12191 vsize=24680 CPUtime=0.3 cores=0,2,4,6
/proc/12192/stat : 12192 (npSolver-pbo) S 12191 12191 9764 0 -1 4202496 6463 5578 0 0 19 5 5 1 20 0 1 0 378052345 25272320 5802 33554432000 4194304 6004724 140736657028080 140736657020432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12192/statm: 6170 5802 173 442 0 5724 0
[pid=12204] ppid=12192 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (satsolver.sh) S 12192 12191 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378052377 9367552 267 33554432000 4194304 5064252 140735224534896 140735224533808 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 2287 267 226 213 0 72 0
[pid=12205] ppid=12204 vsize=226600 CPUtime=1721.66 cores=0,2,4,6
/proc/12205/stat : 12205 (glucose) R 12204 12191 9764 0 -1 4202496 31357 0 0 0 172139 27 0 0 20 0 1 0 378052377 232038400 47248 33554432000 4194304 5208918 140733514928208 140733514926360 4205139 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12205/statm: 56650 47248 105 248 0 56399 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 269576
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/183 12673
/proc/meminfo: memFree=29849312/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[pid=12192] ppid=12191 vsize=24680 CPUtime=0.3 cores=0,2,4,6
/proc/12192/stat : 12192 (npSolver-pbo) S 12191 12191 9764 0 -1 4202496 6463 5578 0 0 19 5 5 1 20 0 1 0 378052345 25272320 5802 33554432000 4194304 6004724 140736657028080 140736657020432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12192/statm: 6170 5802 173 442 0 5724 0
[pid=12204] ppid=12192 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (satsolver.sh) S 12192 12191 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378052377 9367552 267 33554432000 4194304 5064252 140735224534896 140735224533808 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 2287 267 226 213 0 72 0
[pid=12205] ppid=12204 vsize=195780 CPUtime=1781.65 cores=0,2,4,6
/proc/12205/stat : 12205 (glucose) R 12204 12191 9764 0 -1 4202496 31950 0 0 0 178137 28 0 0 20 0 1 0 378052377 200478720 43309 33554432000 4194304 5208918 140733514928208 140733514926200 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12205/statm: 48945 43309 105 248 0 48694 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 238756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 1.99 1.99 3/183 12673
/proc/meminfo: memFree=29843044/32873844 swapFree=7636/7636
[pid=12191] ppid=12189 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12191/stat : 12191 (npSolver-pbo.sh) S 12189 12191 9764 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378052345 9367552 275 33554432000 4194304 5064252 140736364328080 140736364326992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12191/statm: 2287 275 233 213 0 72 0
[pid=12192] ppid=12191 vsize=24680 CPUtime=0.3 cores=0,2,4,6
/proc/12192/stat : 12192 (npSolver-pbo) S 12191 12191 9764 0 -1 4202496 6463 5578 0 0 19 5 5 1 20 0 1 0 378052345 25272320 5802 33554432000 4194304 6004724 140736657028080 140736657020432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12192/statm: 6170 5802 173 442 0 5724 0
[pid=12204] ppid=12192 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (satsolver.sh) S 12192 12191 9764 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378052377 9367552 267 33554432000 4194304 5064252 140735224534896 140735224533808 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 2287 267 226 213 0 72 0
[pid=12205] ppid=12204 vsize=195780 CPUtime=1799.75 cores=0,2,4,6
/proc/12205/stat : 12205 (glucose) R 12204 12191 9764 0 -1 4202496 31953 0 0 0 179947 28 0 0 20 0 1 0 378052377 200478720 44845 33554432000 4194304 5208918 140733514928208 140733514926200 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12205/statm: 48945 44845 105 248 0 48694 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 238756
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.09
CPU user time (s): 1799.73
CPU system time (s): 0.357945
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 269576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.357945
maximum resident set size= 200128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44984
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68
involuntary context switches= 2065
runsolver used 3.42548 second user time and 10.2034 second system time
The end