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-3750164-1339178177/watcher-3750164-1339178177 -o /tmp/evaluation-result-3750164-1339178177/solver-3750164-1339178177 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750164-1339178177.opb 222283049 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: 4.73 3.63 2.68 3/181 5176
/proc/meminfo: memFree=29983508/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[startup+0.0746751 s]
/proc/loadavg: 4.73 3.63 2.68 3/181 5176
/proc/meminfo: memFree=29983508/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100312 s]
/proc/loadavg: 4.73 3.63 2.68 3/181 5176
/proc/meminfo: memFree=29983508/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300267 s]
/proc/loadavg: 4.73 3.63 2.68 3/181 5176
/proc/meminfo: memFree=29983508/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/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: 4.73 3.63 2.68 3/181 5176
/proc/meminfo: memFree=29983508/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 4.73 3.63 2.68 3/184 5180
/proc/meminfo: memFree=29748244/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[pid=5177] ppid=5176 vsize=97192 CPUtime=0.68 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo) S 5176 5176 4391 0 -1 4202496 11345 0 0 0 62 6 0 0 20 0 1 0 383945317 99524608 23435 33554432000 4194304 6004724 140733371623328 140733371617376 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5177/statm: 24298 23435 164 442 0 23852 0
[pid=5179] ppid=5177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5179/stat : 5179 (cp2_pre.sh) S 5177 5176 4391 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 383945386 9367552 277 33554432000 4194304 5064252 140736618084544 140736618083248 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5179/statm: 2287 277 234 213 0 72 0
[pid=5180] ppid=5179 vsize=186968 CPUtime=0.79 cores=0,2,4,6
/proc/5180/stat : 5180 (coprocessor) R 5179 5176 4391 0 -1 4202496 30859 0 0 0 75 4 0 0 20 0 1 0 383945386 191455232 45255 33554432000 4194304 6586260 140735846802480 140735846799640 4775781 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/5180/statm: 46742 45255 176 584 0 46154 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 302456
[startup+3.10037 s]
/proc/loadavg: 4.73 3.63 2.68 3/184 5180
/proc/meminfo: memFree=29670160/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[pid=5177] ppid=5176 vsize=97192 CPUtime=0.68 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo) S 5176 5176 4391 0 -1 4202496 11345 0 0 0 62 6 0 0 20 0 1 0 383945317 99524608 23435 33554432000 4194304 6004724 140733371623328 140733371617376 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5177/statm: 24298 23435 164 442 0 23852 0
[pid=5179] ppid=5177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5179/stat : 5179 (cp2_pre.sh) S 5177 5176 4391 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 383945386 9367552 277 33554432000 4194304 5064252 140736618084544 140736618083248 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5179/statm: 2287 277 234 213 0 72 0
[pid=5180] ppid=5179 vsize=212116 CPUtime=2.39 cores=0,2,4,6
/proc/5180/stat : 5180 (coprocessor) R 5179 5176 4391 0 -1 4202496 34368 0 0 0 222 17 0 0 20 0 1 0 383945386 217206784 51887 33554432000 4194304 6586260 140735846802480 140735846798152 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/5180/statm: 53029 51887 204 584 0 52441 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 327604
[startup+6.30031 s]
/proc/loadavg: 4.51 3.61 2.67 3/182 5187
/proc/meminfo: memFree=29866916/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[pid=5177] ppid=5176 vsize=179112 CPUtime=6.27 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo) R 5176 5176 4391 0 -1 4202496 19340 59699 0 0 146 75 379 27 20 0 1 0 383945317 183410688 36218 33554432000 4194304 6004724 140733371623328 140733371617376 4617898 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5177/statm: 44778 36218 178 442 0 44332 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 188260
[startup+12.7004 s]
/proc/loadavg: 4.31 3.58 2.67 3/184 5190
/proc/meminfo: memFree=29051284/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[pid=5177] ppid=5176 vsize=375720 CPUtime=8.39 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo) S 5176 5176 4391 0 -1 4202496 21008 59699 0 0 328 105 379 27 20 0 1 0 383945317 384737280 69499 33554432000 4194304 6004724 140733371623328 140733371615680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 25 0 0
/proc/5177/statm: 93930 69499 179 442 0 93484 0
[pid=5189] ppid=5177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5189/stat : 5189 (satsolver.sh) S 5177 5176 4391 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383946183 9367552 266 33554432000 4194304 5064252 140737352044176 140737352043088 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5189/statm: 2287 266 226 213 0 72 0
[pid=5190] ppid=5189 vsize=526560 CPUtime=4.01 cores=0,2,4,6
/proc/5190/stat : 5190 (glucose) R 5189 5176 4391 0 -1 4202496 78688 0 0 0 378 23 0 0 20 0 1 0 383946184 539197440 113836 33554432000 4194304 5208918 140737297823072 140737297820920 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5190/statm: 131640 113836 104 248 0 131389 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 920576
[startup+25.5004 s]
/proc/loadavg: 3.87 3.52 2.66 3/184 5191
/proc/meminfo: memFree=29032856/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[pid=5177] ppid=5176 vsize=375720 CPUtime=8.39 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo) S 5176 5176 4391 0 -1 4202496 21008 59699 0 0 328 105 379 27 20 0 1 0 383945317 384737280 69499 33554432000 4194304 6004724 140733371623328 140733371615680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 25 0 0
/proc/5177/statm: 93930 69499 179 442 0 93484 0
[pid=5189] ppid=5177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5189/stat : 5189 (satsolver.sh) S 5177 5176 4391 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383946183 9367552 266 33554432000 4194304 5064252 140737352044176 140737352043088 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5189/statm: 2287 266 226 213 0 72 0
[pid=5190] ppid=5189 vsize=527624 CPUtime=16.81 cores=0,2,4,6
/proc/5190/stat : 5190 (glucose) R 5189 5176 4391 0 -1 4202496 78983 0 0 0 1658 23 0 0 20 0 1 0 383946184 540286976 115153 33554432000 4194304 5208918 140737297823072 140737297820920 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5190/statm: 131906 115153 104 248 0 131655 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 921640
[startup+51.1004 s]
/proc/loadavg: 3.30 3.41 2.65 3/184 5191
/proc/meminfo: memFree=29021972/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[pid=5177] ppid=5176 vsize=375720 CPUtime=8.39 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo) S 5176 5176 4391 0 -1 4202496 21008 59699 0 0 328 105 379 27 20 0 1 0 383945317 384737280 69499 33554432000 4194304 6004724 140733371623328 140733371615680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 25 0 0
/proc/5177/statm: 93930 69499 179 442 0 93484 0
[pid=5189] ppid=5177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5189/stat : 5189 (satsolver.sh) S 5177 5176 4391 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383946183 9367552 266 33554432000 4194304 5064252 140737352044176 140737352043088 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5189/statm: 2287 266 226 213 0 72 0
[pid=5190] ppid=5189 vsize=537272 CPUtime=42.41 cores=0,2,4,6
/proc/5190/stat : 5190 (glucose) R 5189 5176 4391 0 -1 4202496 79676 0 0 0 4217 24 0 0 20 0 1 0 383946184 550166528 117379 33554432000 4194304 5208918 140737297823072 140737297820904 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5190/statm: 134318 117379 104 248 0 134067 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 931288
[startup+102.307 s]
/proc/loadavg: 2.56 3.19 2.61 3/183 5191
/proc/meminfo: memFree=28993876/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[pid=5177] ppid=5176 vsize=375720 CPUtime=8.39 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo) S 5176 5176 4391 0 -1 4202496 21008 59699 0 0 328 105 379 27 20 0 1 0 383945317 384737280 69499 33554432000 4194304 6004724 140733371623328 140733371615680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 25 0 0
/proc/5177/statm: 93930 69499 179 442 0 93484 0
[pid=5189] ppid=5177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5189/stat : 5189 (satsolver.sh) S 5177 5176 4391 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383946183 9367552 266 33554432000 4194304 5064252 140737352044176 140737352043088 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5189/statm: 2287 266 226 213 0 72 0
[pid=5190] ppid=5189 vsize=537272 CPUtime=93.61 cores=0,2,4,6
/proc/5190/stat : 5190 (glucose) R 5189 5176 4391 0 -1 4202496 81046 0 0 0 9335 26 0 0 20 0 1 0 383946184 550166528 120095 33554432000 4194304 5208918 140737297823072 140737297821160 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5190/statm: 134318 120095 105 248 0 134067 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 931288
[startup+162.3 s]
/proc/loadavg: 2.26 2.99 2.58 3/183 5191
/proc/meminfo: memFree=28980544/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[pid=5177] ppid=5176 vsize=375720 CPUtime=8.39 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo) S 5176 5176 4391 0 -1 4202496 21008 59699 0 0 328 105 379 27 20 0 1 0 383945317 384737280 69499 33554432000 4194304 6004724 140733371623328 140733371615680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 25 0 0
/proc/5177/statm: 93930 69499 179 442 0 93484 0
[pid=5189] ppid=5177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5189/stat : 5189 (satsolver.sh) S 5177 5176 4391 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383946183 9367552 266 33554432000 4194304 5064252 140737352044176 140737352043088 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5189/statm: 2287 266 226 213 0 72 0
[pid=5190] ppid=5189 vsize=541736 CPUtime=153.59 cores=0,2,4,6
/proc/5190/stat : 5190 (glucose) R 5189 5176 4391 0 -1 4202496 82546 0 0 0 15329 30 0 0 20 0 1 0 383946184 554737664 122956 33554432000 4194304 5208918 140737297823072 140737297819448 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5190/statm: 135434 122956 105 248 0 135183 0
Current children cumulated CPU time (s) 161.98
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.12 3/184 5227
/proc/meminfo: memFree=28892116/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[pid=5177] ppid=5176 vsize=375720 CPUtime=8.39 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo) S 5176 5176 4391 0 -1 4202496 21008 59699 0 0 328 105 379 27 20 0 1 0 383945317 384737280 69499 33554432000 4194304 6004724 140733371623328 140733371615680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 25 0 0
/proc/5177/statm: 93930 69499 179 442 0 93484 0
[pid=5189] ppid=5177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5189/stat : 5189 (satsolver.sh) S 5177 5176 4391 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383946183 9367552 266 33554432000 4194304 5064252 140737352044176 140737352043088 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5189/statm: 2287 266 226 213 0 72 0
[pid=5190] ppid=5189 vsize=581456 CPUtime=1413.35 cores=0,2,4,6
/proc/5190/stat : 5190 (glucose) R 5189 5176 4391 0 -1 4202496 100136 0 0 0 141252 83 0 0 20 0 1 0 383946184 595410944 131479 33554432000 4194304 5208918 140737297823072 140737297820904 4205631 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5190/statm: 145364 131479 105 248 0 145113 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 975472
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/184 5227
/proc/meminfo: memFree=28935048/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[pid=5177] ppid=5176 vsize=375720 CPUtime=8.39 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo) S 5176 5176 4391 0 -1 4202496 21008 59699 0 0 328 105 379 27 20 0 1 0 383945317 384737280 69499 33554432000 4194304 6004724 140733371623328 140733371615680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 25 0 0
/proc/5177/statm: 93930 69499 179 442 0 93484 0
[pid=5189] ppid=5177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5189/stat : 5189 (satsolver.sh) S 5177 5176 4391 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383946183 9367552 266 33554432000 4194304 5064252 140737352044176 140737352043088 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5189/statm: 2287 266 226 213 0 72 0
[pid=5190] ppid=5189 vsize=581456 CPUtime=1473.33 cores=0,2,4,6
/proc/5190/stat : 5190 (glucose) R 5189 5176 4391 0 -1 4202496 100541 0 0 0 147247 86 0 0 20 0 1 0 383946184 595410944 129431 33554432000 4194304 5208918 140737297823072 140737297819448 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5190/statm: 145364 129431 105 248 0 145113 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 975472
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/182 5227
/proc/meminfo: memFree=28868400/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[pid=5177] ppid=5176 vsize=375720 CPUtime=8.39 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo) S 5176 5176 4391 0 -1 4202496 21008 59699 0 0 328 105 379 27 20 0 1 0 383945317 384737280 69499 33554432000 4194304 6004724 140733371623328 140733371615680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 25 0 0
/proc/5177/statm: 93930 69499 179 442 0 93484 0
[pid=5189] ppid=5177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5189/stat : 5189 (satsolver.sh) S 5177 5176 4391 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383946183 9367552 266 33554432000 4194304 5064252 140737352044176 140737352043088 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5189/statm: 2287 266 226 213 0 72 0
[pid=5190] ppid=5189 vsize=662844 CPUtime=1533.32 cores=0,2,4,6
/proc/5190/stat : 5190 (glucose) R 5189 5176 4391 0 -1 4202496 101501 0 0 0 153244 88 0 0 20 0 1 0 383946184 678752256 141630 33554432000 4194304 5208918 140737297823072 140737297818840 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5190/statm: 165711 141630 105 248 0 165460 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 1056860
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.09 3/183 5228
/proc/meminfo: memFree=28841420/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[pid=5177] ppid=5176 vsize=375720 CPUtime=8.39 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo) S 5176 5176 4391 0 -1 4202496 21008 59699 0 0 328 105 379 27 20 0 1 0 383945317 384737280 69499 33554432000 4194304 6004724 140733371623328 140733371615680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 25 0 0
/proc/5177/statm: 93930 69499 179 442 0 93484 0
[pid=5189] ppid=5177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5189/stat : 5189 (satsolver.sh) S 5177 5176 4391 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383946183 9367552 266 33554432000 4194304 5064252 140737352044176 140737352043088 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5189/statm: 2287 266 226 213 0 72 0
[pid=5190] ppid=5189 vsize=667352 CPUtime=1593.32 cores=0,2,4,6
/proc/5190/stat : 5190 (glucose) R 5189 5176 4391 0 -1 4202496 101779 0 0 0 159243 89 0 0 20 0 1 0 383946184 683368448 144463 33554432000 4194304 5208918 140737297823072 140737297820904 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5190/statm: 166838 144463 105 248 0 166587 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 1061368
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.08 3/183 5228
/proc/meminfo: memFree=28891808/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[pid=5177] ppid=5176 vsize=375720 CPUtime=8.39 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo) S 5176 5176 4391 0 -1 4202496 21008 59699 0 0 328 105 379 27 20 0 1 0 383945317 384737280 69499 33554432000 4194304 6004724 140733371623328 140733371615680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 25 0 0
/proc/5177/statm: 93930 69499 179 442 0 93484 0
[pid=5189] ppid=5177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5189/stat : 5189 (satsolver.sh) S 5177 5176 4391 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383946183 9367552 266 33554432000 4194304 5064252 140737352044176 140737352043088 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5189/statm: 2287 266 226 213 0 72 0
[pid=5190] ppid=5189 vsize=585964 CPUtime=1653.31 cores=0,2,4,6
/proc/5190/stat : 5190 (glucose) R 5189 5176 4391 0 -1 4202496 101920 0 0 0 165239 92 0 0 20 0 1 0 383946184 600027136 135575 33554432000 4194304 5208918 140737297823072 140737297819448 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5190/statm: 146491 135575 105 248 0 146240 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 979980
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/183 5228
/proc/meminfo: memFree=28845404/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[pid=5177] ppid=5176 vsize=375720 CPUtime=8.39 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo) S 5176 5176 4391 0 -1 4202496 21008 59699 0 0 328 105 379 27 20 0 1 0 383945317 384737280 69499 33554432000 4194304 6004724 140733371623328 140733371615680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 25 0 0
/proc/5177/statm: 93930 69499 179 442 0 93484 0
[pid=5189] ppid=5177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5189/stat : 5189 (satsolver.sh) S 5177 5176 4391 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383946183 9367552 266 33554432000 4194304 5064252 140737352044176 140737352043088 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5189/statm: 2287 266 226 213 0 72 0
[pid=5190] ppid=5189 vsize=667352 CPUtime=1713.29 cores=0,2,4,6
/proc/5190/stat : 5190 (glucose) R 5189 5176 4391 0 -1 4202496 103014 0 0 0 171236 93 0 0 20 0 1 0 383946184 683368448 140242 33554432000 4194304 5208918 140737297823072 140737297819448 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5190/statm: 166838 140242 105 248 0 166587 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1061368
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/183 5228
/proc/meminfo: memFree=28888224/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[pid=5177] ppid=5176 vsize=375720 CPUtime=8.39 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo) S 5176 5176 4391 0 -1 4202496 21008 59699 0 0 328 105 379 27 20 0 1 0 383945317 384737280 69499 33554432000 4194304 6004724 140733371623328 140733371615680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 25 0 0
/proc/5177/statm: 93930 69499 179 442 0 93484 0
[pid=5189] ppid=5177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5189/stat : 5189 (satsolver.sh) S 5177 5176 4391 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383946183 9367552 266 33554432000 4194304 5064252 140737352044176 140737352043088 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5189/statm: 2287 266 226 213 0 72 0
[pid=5190] ppid=5189 vsize=585964 CPUtime=1773.28 cores=0,2,4,6
/proc/5190/stat : 5190 (glucose) R 5189 5176 4391 0 -1 4202496 103269 0 0 0 177232 96 0 0 20 0 1 0 383946184 600027136 135061 33554432000 4194304 5208918 140737297823072 140737297819448 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5190/statm: 146491 135061 105 248 0 146240 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 979980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.07 3/183 5280
/proc/meminfo: memFree=29747124/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[pid=5177] ppid=5176 vsize=375720 CPUtime=8.39 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo) S 5176 5176 4391 0 -1 4202496 21008 59699 0 0 328 105 379 27 20 0 1 0 383945317 384737280 69499 33554432000 4194304 6004724 140733371623328 140733371615680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 25 0 0
/proc/5177/statm: 93930 69499 179 442 0 93484 0
[pid=5189] ppid=5177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5189/stat : 5189 (satsolver.sh) S 5177 5176 4391 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383946183 9367552 266 33554432000 4194304 5064252 140737352044176 140737352043088 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5189/statm: 2287 266 226 213 0 72 0
[pid=5190] ppid=5189 vsize=585964 CPUtime=1791.69 cores=0,2,4,6
/proc/5190/stat : 5190 (glucose) R 5189 5176 4391 0 -1 4202496 103271 0 0 0 179073 96 0 0 20 0 1 0 383946184 600027136 136085 33554432000 4194304 5208918 140737297823072 140737297819384 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5190/statm: 146491 136085 105 248 0 146240 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 979980
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.07 3/183 5280
/proc/meminfo: memFree=29747124/32873648 swapFree=7124/7124
[pid=5176] ppid=5174 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5176/stat : 5176 (npSolver-pbo.sh) S 5174 5176 4391 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383945316 9367552 275 33554432000 4194304 5064252 140737273304528 140737273303440 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5176/statm: 2287 275 233 213 0 72 0
[pid=5177] ppid=5176 vsize=375720 CPUtime=8.39 cores=0,2,4,6
/proc/5177/stat : 5177 (npSolver-pbo) S 5176 5176 4391 0 -1 4202496 21008 59699 0 0 328 105 379 27 20 0 1 0 383945317 384737280 69499 33554432000 4194304 6004724 140733371623328 140733371615680 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 25 0 0
/proc/5177/statm: 93930 69499 179 442 0 93484 0
[pid=5189] ppid=5177 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5189/stat : 5189 (satsolver.sh) S 5177 5176 4391 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 383946183 9367552 266 33554432000 4194304 5064252 140737352044176 140737352043088 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5189/statm: 2287 266 226 213 0 72 0
[pid=5190] ppid=5189 vsize=585964 CPUtime=1791.69 cores=0,2,4,6
/proc/5190/stat : 5190 (glucose) R 5189 5176 4391 0 -1 4202496 103271 0 0 0 179073 96 0 0 20 0 1 0 383946184 600027136 136085 33554432000 4194304 5208918 140737297823072 140737297819384 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5190/statm: 146491 136085 105 248 0 146240 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 979980
Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.13
CPU user time (s): 1797.82
CPU system time (s): 2.31065
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 1191596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.82
system time used= 2.31065
maximum resident set size= 690752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184966
page faults= 0
swaps= 0
block input operations= 0
block output operations= 423912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 729
involuntary context switches= 1899
runsolver used 3.36249 second user time and 9.38357 second system time
The end