0.00/0.03 c old isEQ: 11, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.04 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
0.00/0.05 c old isEQ: 0, new EQ is 0
1.78/1.81 c run inc solver
1.78/1.81 c [INC SYSTEM] run initial solver
1.78/1.81 c [INC SYSTEM] preprocess with white file
9.77/9.89 c [INC SYSTEM] finished preprocessing in 8 s
9.77/9.89 c [INC SYSTEM] execute solver
242.31/242.47 c [INC SEARCH] formula is SAT
242.43/242.50 c [INC SYSTEM] solved the initial formula
242.43/242.53 c model valid
242.43/242.53 c current solution ok
245.73/245.88 o 9637
245.73/245.88 c starting approximation
245.73/245.88 c factor = 88
245.73/245.88 c factor still to low - shrinking to 10447.5
245.73/245.88 c approx number of clauses: 1e+06
245.73/245.88 c current bound: 186748
246.76/246.92 c leaving approximation
246.76/246.92 c finished approximation
246.76/246.92 c [INC SYSTEM] there exists a inc, kill it!
246.76/246.92 c write failed with 2
246.76/246.92 c [INC SEARCH] iteration: 0
246.76/246.92 c [INC BOUNDS] best value:373497 search for 373496
246.76/246.92 c [INC SYSTEM] create new solver instance
246.76/246.92 c [INC] encode full formula
246.76/246.92 c fallback to adder encoding
247.72/247.88 c set iterative enc to: adder
247.72/247.88 c set iterative enc to: none
247.92/248.07 c [INC SEARCH] isOptimum variable: 0
1800.04/1800.41 c [INC SYSTEM] an unexpexted return value has been received, exit
1800.04/1800.41 s UNKNOWN
1800.04/1800.41 c [INC SYSTEM] there exists a inc, kill it!
1800.04/1800.41 c write failed with -1
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-3751853-1339114462/watcher-3751853-1339114462 -o /tmp/evaluation-result-3751853-1339114462/solver-3751853-1339114462 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751853-1339114462.opb 616946504 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 1.95 3/179 23961
/proc/meminfo: memFree=28996564/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[startup+0.074681 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 23961
/proc/meminfo: memFree=28996564/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100312 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 23961
/proc/meminfo: memFree=28996564/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300263 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 23961
/proc/meminfo: memFree=28996564/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700275 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 23961
/proc/meminfo: memFree=28996564/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 1.95 3/181 23963
/proc/meminfo: memFree=28919548/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=165528 CPUtime=1.49 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) R 23961 23961 22344 0 -1 4202496 5958 0 0 0 146 3 0 0 20 0 1 0 377571065 169500672 27859 33554432000 4194304 6004724 140733514326752 140733514321352 4536284 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23962/statm: 41382 27859 163 442 0 40936 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 174676
[startup+3.10036 s]
/proc/loadavg: 2.00 2.01 1.95 3/183 23965
/proc/meminfo: memFree=28773248/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=137008 CPUtime=1.81 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 6359 0 0 0 163 18 0 0 20 0 1 0 377571065 140296192 23809 33554432000 4194304 6004724 140733514326752 140733514321216 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23962/statm: 34252 23809 171 442 0 33806 0
[pid=23964] ppid=23962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23964/stat : 23964 (cp2_pre.sh) S 23962 23961 22344 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 377571247 9367552 276 33554432000 4194304 5064252 140734392879936 140734392878640 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23964/statm: 2287 276 234 213 0 72 0
[pid=23965] ppid=23964 vsize=325516 CPUtime=1.26 cores=0,2,4,6
/proc/23965/stat : 23965 (coprocessor) R 23964 23961 22344 0 -1 4202496 23523 0 0 0 118 8 0 0 20 0 1 0 377571247 333328384 70622 33554432000 4194304 6586260 140734916240560 140734916236808 4496608 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/23965/statm: 81379 70622 162 584 0 80791 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 480820
[startup+6.30037 s]
/proc/loadavg: 2.00 2.01 1.95 3/183 23965
/proc/meminfo: memFree=28348636/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=137008 CPUtime=1.81 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 6359 0 0 0 163 18 0 0 20 0 1 0 377571065 140296192 23809 33554432000 4194304 6004724 140733514326752 140733514321216 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23962/statm: 34252 23809 171 442 0 33806 0
[pid=23964] ppid=23962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23964/stat : 23964 (cp2_pre.sh) S 23962 23961 22344 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 377571247 9367552 276 33554432000 4194304 5064252 140734392879936 140734392878640 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23964/statm: 2287 276 234 213 0 72 0
[pid=23965] ppid=23964 vsize=506556 CPUtime=4.46 cores=0,2,4,6
/proc/23965/stat : 23965 (coprocessor) R 23964 23961 22344 0 -1 4202496 58745 0 0 0 430 16 0 0 20 0 1 0 377571247 518713344 123218 33554432000 4194304 6586260 140734916240560 140734916236584 4691869 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/23965/statm: 126639 123218 182 584 0 126051 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 661860
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.95 3/182 23967
/proc/meminfo: memFree=28645516/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=137008 CPUtime=9.87 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 6377 68873 0 0 163 18 766 40 20 0 1 0 377571065 140296192 23812 33554432000 4194304 6004724 140733514326752 140733514313032 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23962/statm: 34252 23812 174 442 0 33806 0
[pid=23967] ppid=23962 vsize=254592 CPUtime=2.8 cores=0,2,4,6
/proc/23967/stat : 23967 (glucosInc) R 23962 23961 22344 0 -1 4202496 41554 0 0 0 271 9 0 0 20 0 1 0 377572054 260702208 52366 33554432000 4194304 5654031 140736718177360 140736718175128 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23967/statm: 63648 52366 139 357 0 63288 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 400748
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.95 3/182 23967
/proc/meminfo: memFree=28629168/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=137008 CPUtime=9.87 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 6377 68873 0 0 163 18 766 40 20 0 1 0 377571065 140296192 23812 33554432000 4194304 6004724 140733514326752 140733514313032 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23962/statm: 34252 23812 174 442 0 33806 0
[pid=23967] ppid=23962 vsize=264356 CPUtime=15.6 cores=0,2,4,6
/proc/23967/stat : 23967 (glucosInc) R 23962 23961 22344 0 -1 4202496 43064 0 0 0 1551 9 0 0 20 0 1 0 377572054 270700544 56942 33554432000 4194304 5654031 140736718177360 140736718165176 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23967/statm: 66089 56942 140 357 0 65729 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 410512
[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 1.96 3/182 23967
/proc/meminfo: memFree=28622152/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=137008 CPUtime=9.87 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 6377 68873 0 0 163 18 766 40 20 0 1 0 377571065 140296192 23812 33554432000 4194304 6004724 140733514326752 140733514313032 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23962/statm: 34252 23812 174 442 0 33806 0
[pid=23967] ppid=23962 vsize=272464 CPUtime=41.19 cores=0,2,4,6
/proc/23967/stat : 23967 (glucosInc) R 23962 23961 22344 0 -1 4202496 45273 0 0 0 4109 10 0 0 20 0 1 0 377572054 279003136 58536 33554432000 4194304 5654031 140736718177360 140736718165176 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23967/statm: 68116 58536 141 357 0 67756 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 418620
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 1.96 3/181 23967
/proc/meminfo: memFree=28606080/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=137008 CPUtime=9.87 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 6377 68873 0 0 163 18 766 40 20 0 1 0 377571065 140296192 23812 33554432000 4194304 6004724 140733514326752 140733514313032 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23962/statm: 34252 23812 174 442 0 33806 0
[pid=23967] ppid=23962 vsize=311072 CPUtime=92.38 cores=0,2,4,6
/proc/23967/stat : 23967 (glucosInc) R 23962 23961 22344 0 -1 4202496 48613 0 0 0 9225 13 0 0 20 0 1 0 377572054 318537728 62399 33554432000 4194304 5654031 140736718177360 140736718165176 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23967/statm: 77768 62399 141 357 0 77408 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 457228
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/181 23967
/proc/meminfo: memFree=28598196/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=137008 CPUtime=9.87 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 6377 68873 0 0 163 18 766 40 20 0 1 0 377571065 140296192 23812 33554432000 4194304 6004724 140733514326752 140733514313032 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23962/statm: 34252 23812 174 442 0 33806 0
[pid=23967] ppid=23962 vsize=286660 CPUtime=152.35 cores=0,2,4,6
/proc/23967/stat : 23967 (glucosInc) R 23962 23961 22344 0 -1 4202496 51786 0 0 0 15219 16 0 0 20 0 1 0 377572054 293539840 61555 33554432000 4194304 5654031 140736718177360 140736718165176 4232939 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23967/statm: 71665 61555 141 357 0 71305 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 432816
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 23967
/proc/meminfo: memFree=28600508/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=137008 CPUtime=9.87 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 6377 68873 0 0 163 18 766 40 20 0 1 0 377571065 140296192 23812 33554432000 4194304 6004724 140733514326752 140733514313032 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/23962/statm: 34252 23812 174 442 0 33806 0
[pid=23967] ppid=23962 vsize=292300 CPUtime=212.34 cores=0,2,4,6
/proc/23967/stat : 23967 (glucosInc) R 23962 23961 22344 0 -1 4202496 54317 0 0 0 21216 18 0 0 20 0 1 0 377572054 299315200 64006 33554432000 4194304 5654031 140736718177360 140736718165176 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23967/statm: 73075 64006 141 357 0 72715 0
Current children cumulated CPU time (s) 222.21
################
# More data... #
################
/proc/meminfo: memFree=28209788/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=152364 CPUtime=248 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 15244 173439 0 0 331 304 24072 93 20 0 1 0 377571065 156020736 27677 33554432000 4194304 6004724 140733514326752 140733514312600 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/23962/statm: 38091 27677 200 442 0 37645 0
[pid=23977] ppid=23962 vsize=516440 CPUtime=994.02 cores=0,2,4,6
/proc/23977/stat : 23977 (glucosInc) R 23962 23961 22344 0 -1 4202496 86831 0 0 0 99344 58 0 0 20 0 1 0 377595872 528834560 118335 33554432000 4194304 5654031 140735893520224 140735893508040 4233306 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23977/statm: 129110 118335 141 357 0 128750 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 677952
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23987
/proc/meminfo: memFree=28196820/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=152364 CPUtime=248 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 15244 173439 0 0 331 304 24072 93 20 0 1 0 377571065 156020736 27677 33554432000 4194304 6004724 140733514326752 140733514312600 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/23962/statm: 38091 27677 200 442 0 37645 0
[pid=23977] ppid=23962 vsize=520384 CPUtime=1054.02 cores=0,2,4,6
/proc/23977/stat : 23977 (glucosInc) R 23962 23961 22344 0 -1 4202496 87999 0 0 0 105342 60 0 0 20 0 1 0 377595872 532873216 121705 33554432000 4194304 5654031 140735893520224 140735893508040 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23977/statm: 130096 121705 141 357 0 129736 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 681896
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23987
/proc/meminfo: memFree=28186828/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=152364 CPUtime=248 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 15244 173439 0 0 331 304 24072 93 20 0 1 0 377571065 156020736 27677 33554432000 4194304 6004724 140733514326752 140733514312600 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/23962/statm: 38091 27677 200 442 0 37645 0
[pid=23977] ppid=23962 vsize=520384 CPUtime=1114 cores=0,2,4,6
/proc/23977/stat : 23977 (glucosInc) R 23962 23961 22344 0 -1 4202496 88809 0 0 0 111337 63 0 0 20 0 1 0 377595872 532873216 123960 33554432000 4194304 5654031 140735893520224 140735893508040 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23977/statm: 130096 123960 141 357 0 129736 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 681896
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23987
/proc/meminfo: memFree=28176776/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=152364 CPUtime=248 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 15244 173439 0 0 331 304 24072 93 20 0 1 0 377571065 156020736 27677 33554432000 4194304 6004724 140733514326752 140733514312600 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/23962/statm: 38091 27677 200 442 0 37645 0
[pid=23977] ppid=23962 vsize=524652 CPUtime=1174 cores=0,2,4,6
/proc/23977/stat : 23977 (glucosInc) R 23962 23961 22344 0 -1 4202496 89478 0 0 0 117335 65 0 0 20 0 1 0 377595872 537243648 126310 33554432000 4194304 5654031 140735893520224 140735893508040 4232763 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23977/statm: 131163 126310 141 357 0 130803 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 686164
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23987
/proc/meminfo: memFree=28199428/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=152364 CPUtime=248 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 15244 173439 0 0 331 304 24072 93 20 0 1 0 377571065 156020736 27677 33554432000 4194304 6004724 140733514326752 140733514312600 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/23962/statm: 38091 27677 200 442 0 37645 0
[pid=23977] ppid=23962 vsize=529220 CPUtime=1233.98 cores=0,2,4,6
/proc/23977/stat : 23977 (glucosInc) R 23962 23961 22344 0 -1 4202496 90491 0 0 0 123330 68 0 0 20 0 1 0 377595872 541921280 121194 33554432000 4194304 5654031 140735893520224 140735893508040 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23977/statm: 132305 121194 141 357 0 131945 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 690732
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23991
/proc/meminfo: memFree=28194672/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=152364 CPUtime=248 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 15244 173439 0 0 331 304 24072 93 20 0 1 0 377571065 156020736 27677 33554432000 4194304 6004724 140733514326752 140733514312600 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/23962/statm: 38091 27677 200 442 0 37645 0
[pid=23977] ppid=23962 vsize=529220 CPUtime=1293.98 cores=0,2,4,6
/proc/23977/stat : 23977 (glucosInc) R 23962 23961 22344 0 -1 4202496 91471 0 0 0 129327 71 0 0 20 0 1 0 377595872 541921280 121835 33554432000 4194304 5654031 140735893520224 140735893508040 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23977/statm: 132305 121835 141 357 0 131945 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 690732
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 23991
/proc/meminfo: memFree=28187876/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=152364 CPUtime=248 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 15244 173439 0 0 331 304 24072 93 20 0 1 0 377571065 156020736 27677 33554432000 4194304 6004724 140733514326752 140733514312600 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/23962/statm: 38091 27677 200 442 0 37645 0
[pid=23977] ppid=23962 vsize=533116 CPUtime=1353.96 cores=0,2,4,6
/proc/23977/stat : 23977 (glucosInc) R 23962 23961 22344 0 -1 4202496 92033 0 0 0 135322 74 0 0 20 0 1 0 377595872 545910784 123449 33554432000 4194304 5654031 140735893520224 140735893508040 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23977/statm: 133279 123449 141 357 0 132919 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 694628
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 24047
/proc/meminfo: memFree=27910996/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=152364 CPUtime=248 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 15244 173439 0 0 331 304 24072 93 20 0 1 0 377571065 156020736 27677 33554432000 4194304 6004724 140733514326752 140733514312600 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/23962/statm: 38091 27677 200 442 0 37645 0
[pid=23977] ppid=23962 vsize=539216 CPUtime=1413.95 cores=0,2,4,6
/proc/23977/stat : 23977 (glucosInc) R 23962 23961 22344 0 -1 4202496 92923 0 0 0 141317 78 0 0 20 0 1 0 377595872 552157184 125906 33554432000 4194304 5654031 140735893520224 140735893508040 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23977/statm: 134804 125906 141 357 0 134444 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 700728
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24049
/proc/meminfo: memFree=27879528/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=152364 CPUtime=248 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 15244 173439 0 0 331 304 24072 93 20 0 1 0 377571065 156020736 27677 33554432000 4194304 6004724 140733514326752 140733514312600 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/23962/statm: 38091 27677 200 442 0 37645 0
[pid=23977] ppid=23962 vsize=539216 CPUtime=1473.95 cores=0,2,4,6
/proc/23977/stat : 23977 (glucosInc) R 23962 23961 22344 0 -1 4202496 93501 0 0 0 147313 82 0 0 20 0 1 0 377595872 552157184 127545 33554432000 4194304 5654031 140735893520224 140735893508040 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23977/statm: 134804 127545 141 357 0 134444 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 700728
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24049
/proc/meminfo: memFree=27834324/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=152364 CPUtime=248 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 15244 173439 0 0 331 304 24072 93 20 0 1 0 377571065 156020736 27677 33554432000 4194304 6004724 140733514326752 140733514312600 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/23962/statm: 38091 27677 200 442 0 37645 0
[pid=23977] ppid=23962 vsize=543232 CPUtime=1533.94 cores=0,2,4,6
/proc/23977/stat : 23977 (glucosInc) R 23962 23961 22344 0 -1 4202496 94228 0 0 0 153307 87 0 0 20 0 1 0 377595872 556269568 128306 33554432000 4194304 5654031 140735893520224 140735893508040 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23977/statm: 135808 128306 141 357 0 135448 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 704744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24049
/proc/meminfo: memFree=27691216/32873844 swapFree=7120/7120
[pid=23961] ppid=23959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23961/stat : 23961 (npSolver-pbo-It) S 23959 23961 22344 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377571064 9367552 274 33554432000 4194304 5064252 140735484994080 140735484992992 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23961/statm: 2287 274 233 213 0 72 0
[pid=23962] ppid=23961 vsize=152364 CPUtime=248 cores=0,2,4,6
/proc/23962/stat : 23962 (npSolver-pbo) S 23961 23961 22344 0 -1 4202496 15244 173439 0 0 331 304 24072 93 20 0 1 0 377571065 156020736 27677 33554432000 4194304 6004724 140733514326752 140733514312600 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/23962/statm: 38091 27677 200 442 0 37645 0
[pid=23977] ppid=23962 vsize=543232 CPUtime=1552.04 cores=0,2,4,6
/proc/23977/stat : 23977 (glucosInc) R 23962 23961 22344 0 -1 4202496 94321 0 0 0 155117 87 0 0 20 0 1 0 377595872 556269568 130954 33554432000 4194304 5654031 140735893520224 140735893508040 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23977/statm: 135808 130954 141 357 0 135448 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 704744
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.07
CPU user time (s): 1795.21
CPU system time (s): 4.86026
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 916360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.21
system time used= 4.86026
maximum resident set size= 640944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283383
page faults= 0
swaps= 0
block input operations= 0
block output operations= 770288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1441
involuntary context switches= 2077
runsolver used 3.36149 second user time and 9.37657 second system time
The end