0.00/0.02 c run inc solver
0.00/0.02 c [INC SYSTEM] run initial solver
0.00/0.02 c [INC SYSTEM] preprocess with white file
0.00/0.03 c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.03 c [INC SYSTEM] execute solver
0.00/0.03 c [INC SEARCH] formula is SAT
0.00/0.03 c [INC SYSTEM] solved the initial formula
0.00/0.04 c model valid
0.00/0.04 c current solution ok
0.00/0.05 o 421
0.00/0.05 c starting approximation
0.00/0.05 c factor = 1
0.00/0.05 c can not find a suitable factor, leaving approximation
0.00/0.05 c finished approximation
0.00/0.05 c [INC SYSTEM] there exists a inc, kill it!
0.00/0.05 c write failed with 2
0.00/0.05 c [INC SEARCH] iteration: 0
0.00/0.05 c [INC BOUNDS] best value:421 search for 420
0.00/0.05 c [INC SYSTEM] create new solver instance
0.00/0.05 c [INC] encode full formula
0.00/0.05 c (debug) using card networks
0.00/0.05 c old isEQ: 208, new EQ is 0
0.00/0.08 c set iterative enc to: card
0.00/0.08 c set iterative enc to: none
0.00/0.08 c [INC SEARCH] isOptimum variable: 0
0.00/0.26 c formula is SAT
0.00/0.27 c [INC SEARCH] copied best model
0.00/0.27 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
0.00/0.27 c model valid
0.00/0.27 c current solution ok
0.00/0.27 o 405
0.00/0.27 c [INC SEARCH] iteration: 1
0.00/0.27 c [INC BOUNDS] best value:405 search for 404
0.00/0.27 c [INC SYSTEM] there exists a inc, kill it!
0.00/0.27 c write failed with 2
0.00/0.27 c [INC SYSTEM] create new solver instance
0.00/0.27 c [INC] encode full formula
0.00/0.27 c (debug) using card networks
0.00/0.27 c old isEQ: 32, new EQ is 0
0.00/0.31 c set iterative enc to: card
0.00/0.31 c set iterative enc to: none
0.00/0.31 c [INC SEARCH] isOptimum variable: 0
0.97/1.06 c formula is SAT
0.97/1.06 c [INC SEARCH] copied best model
0.97/1.06 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
0.97/1.07 c model valid
0.97/1.07 c current solution ok
0.97/1.07 o 397
0.97/1.07 c [INC SEARCH] iteration: 2
0.97/1.07 c [INC BOUNDS] best value:397 search for 396
0.97/1.07 c [INC SYSTEM] there exists a inc, kill it!
0.97/1.07 c write failed with 2
0.97/1.07 c [INC SYSTEM] create new solver instance
0.97/1.07 c [INC] encode full formula
0.97/1.07 c (debug) using card networks
0.97/1.07 c old isEQ: 32, new EQ is 0
1.08/1.10 c set iterative enc to: card
1.08/1.10 c set iterative enc to: none
1.08/1.11 c [INC SEARCH] isOptimum variable: 0
1.09/1.90 c formula is SAT
1.09/1.91 c [INC SEARCH] copied best model
1.09/1.91 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1.09/1.91 c model valid
1.09/1.91 c current solution ok
1.09/1.91 o 387
1.09/1.91 c [INC SEARCH] iteration: 3
1.09/1.91 c [INC BOUNDS] best value:387 search for 386
1.09/1.91 c [INC SYSTEM] there exists a inc, kill it!
1.09/1.91 c write failed with 2
1.09/1.91 c [INC SYSTEM] create new solver instance
1.09/1.91 c [INC] encode full formula
1.09/1.91 c (debug) using card networks
1.09/1.91 c old isEQ: 48, new EQ is 0
1.09/1.94 c set iterative enc to: card
1.09/1.94 c set iterative enc to: none
1.09/1.95 c [INC SEARCH] isOptimum variable: 0
2.26/2.37 c formula is SAT
2.26/2.38 c [INC SEARCH] copied best model
2.39/2.54 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
2.39/2.54 c model valid
2.39/2.54 c current solution ok
2.39/2.54 o 386
2.39/2.54 c [INC SEARCH] iteration: 4
2.39/2.54 c [INC BOUNDS] best value:386 search for 385
2.39/2.54 c [INC SYSTEM] there exists a inc, kill it!
2.39/2.54 c write failed with 2
2.39/2.54 c [INC SYSTEM] create new solver instance
2.39/2.54 c [INC] encode full formula
2.39/2.54 c (debug) using card networks
2.39/2.54 c old isEQ: 32, new EQ is 0
2.39/2.54 c set iterative enc to: card
2.39/2.54 c set iterative enc to: none
2.39/2.54 c [INC SEARCH] isOptimum variable: 0
3.38/3.52 c formula is SAT
3.38/3.52 c [INC SEARCH] copied best model
3.38/3.52 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
3.38/3.53 c model valid
3.38/3.53 c current solution ok
3.38/3.53 o 382
3.38/3.53 c [INC SEARCH] iteration: 5
3.38/3.53 c [INC BOUNDS] best value:382 search for 381
3.38/3.53 c [INC SYSTEM] there exists a inc, kill it!
3.38/3.53 c write failed with 2
3.38/3.53 c [INC SYSTEM] create new solver instance
3.38/3.53 c [INC] encode full formula
3.38/3.53 c (debug) using card networks
3.38/3.53 c old isEQ: 32, new EQ is 0
3.38/3.56 c set iterative enc to: card
3.38/3.56 c set iterative enc to: none
3.38/3.56 c [INC SEARCH] isOptimum variable: 0
3.45/3.90 c formula is SAT
3.45/3.91 c [INC SEARCH] copied best model
3.45/3.91 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
3.45/3.91 c model valid
3.45/3.91 c current solution ok
3.45/3.91 o 376
3.45/3.91 c [INC SEARCH] iteration: 6
3.45/3.91 c [INC BOUNDS] best value:376 search for 375
3.45/3.91 c [INC SYSTEM] there exists a inc, kill it!
3.45/3.91 c write failed with 2
3.45/3.91 c [INC SYSTEM] create new solver instance
3.45/3.91 c [INC] encode full formula
3.45/3.91 c (debug) using card networks
3.45/3.91 c old isEQ: 32, new EQ is 0
3.45/3.94 c set iterative enc to: card
3.45/3.94 c set iterative enc to: none
3.45/3.95 c [INC SEARCH] isOptimum variable: 0
6.38/6.54 c formula is SAT
6.38/6.54 c [INC SEARCH] copied best model
6.38/6.54 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
6.38/6.55 c model valid
6.38/6.55 c current solution ok
6.38/6.55 o 368
6.38/6.55 c [INC SEARCH] iteration: 7
6.38/6.55 c [INC BOUNDS] best value:368 search for 367
6.38/6.55 c [INC SYSTEM] there exists a inc, kill it!
6.38/6.55 c write failed with 2
6.38/6.55 c [INC SYSTEM] create new solver instance
6.38/6.55 c [INC] encode full formula
6.38/6.55 c (debug) using card networks
6.38/6.55 c old isEQ: 32, new EQ is 0
6.38/6.58 c set iterative enc to: card
6.38/6.58 c set iterative enc to: none
6.38/6.59 c [INC SEARCH] isOptimum variable: 0
10.28/10.40 c formula is SAT
10.28/10.41 c [INC SEARCH] copied best model
10.28/10.41 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
10.28/10.41 c model valid
10.28/10.41 c current solution ok
10.28/10.41 o 365
10.28/10.41 c [INC SEARCH] iteration: 8
10.28/10.41 c [INC BOUNDS] best value:365 search for 364
10.28/10.41 c [INC SYSTEM] there exists a inc, kill it!
10.28/10.41 c write failed with 2
10.28/10.41 c [INC SYSTEM] create new solver instance
10.28/10.41 c [INC] encode full formula
10.28/10.41 c (debug) using card networks
10.28/10.41 c old isEQ: 32, new EQ is 0
10.28/10.45 c set iterative enc to: card
10.28/10.45 c set iterative enc to: none
10.28/10.45 c [INC SEARCH] isOptimum variable: 0
15.19/15.39 c formula is SAT
15.19/15.40 c [INC SEARCH] copied best model
15.19/15.40 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
15.29/15.40 c model valid
15.29/15.40 c current solution ok
15.29/15.40 o 363
15.29/15.40 c [INC SEARCH] iteration: 9
15.29/15.40 c [INC BOUNDS] best value:363 search for 362
15.29/15.40 c [INC SYSTEM] there exists a inc, kill it!
15.29/15.40 c write failed with 2
15.29/15.40 c [INC SYSTEM] create new solver instance
15.29/15.40 c [INC] encode full formula
15.29/15.40 c (debug) using card networks
15.29/15.40 c old isEQ: 32, new EQ is 0
15.29/15.44 c set iterative enc to: card
15.29/15.44 c set iterative enc to: none
15.29/15.46 c [INC SEARCH] isOptimum variable: 0
19.76/19.96 c formula is SAT
19.76/19.97 c [INC SEARCH] copied best model
19.76/19.97 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
19.76/19.97 c model valid
19.76/19.97 c current solution ok
19.76/19.97 o 361
19.76/19.97 c [INC SEARCH] iteration: 10
19.76/19.97 c [INC BOUNDS] best value:361 search for 360
19.76/19.97 c [INC SYSTEM] there exists a inc, kill it!
19.76/19.97 c write failed with 2
19.76/19.97 c [INC SYSTEM] create new solver instance
19.76/19.97 c [INC] encode full formula
19.76/19.97 c (debug) using card networks
19.76/19.97 c old isEQ: 32, new EQ is 0
19.87/20.01 c set iterative enc to: card
19.87/20.01 c set iterative enc to: none
19.87/20.01 c [INC SEARCH] isOptimum variable: 0
24.16/24.33 c formula is SAT
24.16/24.33 c [INC SEARCH] copied best model
24.16/24.33 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
24.16/24.34 c model valid
24.16/24.34 c current solution ok
24.16/24.34 o 352
24.16/24.34 c [INC SEARCH] iteration: 11
24.16/24.34 c [INC BOUNDS] best value:352 search for 351
24.16/24.34 c [INC SYSTEM] there exists a inc, kill it!
24.16/24.34 c write failed with 2
24.16/24.34 c [INC SYSTEM] create new solver instance
24.16/24.34 c [INC] encode full formula
24.16/24.34 c (debug) using card networks
24.16/24.34 c old isEQ: 32, new EQ is 0
24.16/24.37 c set iterative enc to: card
24.16/24.37 c set iterative enc to: none
24.16/24.38 c [INC SEARCH] isOptimum variable: 0
86.93/87.11 c formula is SAT
86.93/87.11 c [INC SEARCH] copied best model
86.93/87.11 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
86.93/87.12 c model valid
86.93/87.12 c current solution ok
86.93/87.12 o 347
86.93/87.12 c [INC SEARCH] iteration: 12
86.93/87.12 c [INC BOUNDS] best value:347 search for 346
86.93/87.12 c [INC SYSTEM] there exists a inc, kill it!
86.93/87.12 c write failed with 2
86.93/87.12 c [INC SYSTEM] create new solver instance
86.93/87.12 c [INC] encode full formula
86.93/87.12 c (debug) using card networks
86.93/87.12 c old isEQ: 32, new EQ is 0
86.93/87.15 c set iterative enc to: card
86.93/87.15 c set iterative enc to: none
86.93/87.16 c [INC SEARCH] isOptimum variable: 0
99.33/99.57 c formula is SAT
99.33/99.58 c [INC SEARCH] copied best model
99.33/99.58 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
99.33/99.58 c model valid
99.33/99.58 c current solution ok
99.33/99.58 o 344
99.33/99.58 c [INC SEARCH] iteration: 13
99.33/99.58 c [INC BOUNDS] best value:344 search for 343
99.33/99.58 c [INC SYSTEM] there exists a inc, kill it!
99.33/99.58 c write failed with 2
99.33/99.58 c [INC SYSTEM] create new solver instance
99.33/99.58 c [INC] encode full formula
99.33/99.58 c (debug) using card networks
99.33/99.58 c old isEQ: 32, new EQ is 0
99.43/99.62 c set iterative enc to: card
99.43/99.62 c set iterative enc to: none
99.43/99.62 c [INC SEARCH] isOptimum variable: 0
601.82/602.13 c formula is SAT
601.82/602.14 c [INC SEARCH] copied best model
601.82/602.14 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
601.82/602.14 c model valid
601.82/602.14 c current solution ok
601.82/602.14 o 343
601.82/602.14 c [INC SEARCH] iteration: 14
601.82/602.14 c [INC BOUNDS] best value:343 search for 342
601.82/602.14 c [INC SYSTEM] there exists a inc, kill it!
601.82/602.14 c write failed with 2
601.82/602.14 c [INC SYSTEM] create new solver instance
601.82/602.14 c [INC] encode full formula
601.82/602.14 c (debug) using card networks
601.82/602.14 c old isEQ: 32, new EQ is 0
601.82/602.18 c set iterative enc to: card
601.82/602.18 c set iterative enc to: none
601.82/602.19 c [INC SEARCH] isOptimum variable: 0
1800.04/1800.50 c [INC SYSTEM] an unexpexted return value has been received, exit
1800.04/1800.50 s UNKNOWN
1800.04/1800.50 c [INC SYSTEM] there exists a inc, kill it!
1800.04/1800.50 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-3751893-1339119578/watcher-3751893-1339119578 -o /tmp/evaluation-result-3751893-1339119578/solver-3751893-1339119578 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751893-1339119578.opb 1975984613 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.06 2.04 2.00 3/179 6920
/proc/meminfo: memFree=30335324/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[startup+0.0721621 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 6920
/proc/meminfo: memFree=30335324/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100294 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 6920
/proc/meminfo: memFree=30335324/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30026 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 6920
/proc/meminfo: memFree=30335324/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700241 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 6920
/proc/meminfo: memFree=30335324/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.06 2.04 2.00 3/182 6931
/proc/meminfo: memFree=30306568/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=1.09 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 6602 13496 0 0 13 2 91 3 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 19060
[startup+3.10032 s]
/proc/loadavg: 2.06 2.04 2.00 3/182 6935
/proc/meminfo: memFree=30307128/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=2.4 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 9868 24088 0 0 21 2 211 6 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 19060
heavy processes:
[startup+6.30042 s]
/proc/loadavg: 2.05 2.04 2.00 3/182 6941
/proc/meminfo: memFree=30302668/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=3.84 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 13134 34346 0 0 29 3 343 9 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6941] ppid=6921 vsize=21976 CPUtime=2.33 cores=0,2,4,6
/proc/6941/stat : 6941 (glucosInc) R 6921 6920 2890 0 -1 4202496 4623 0 0 0 233 0 0 0 20 0 1 0 378085042 22503424 4749 33554432000 4194304 5654031 140734801351136 140734801338952 4215353 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6941/statm: 5494 4749 141 357 0 5134 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 41036
[startup+12.7004 s]
/proc/loadavg: 2.05 2.03 2.00 3/182 6945
/proc/meminfo: memFree=30306520/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=10.35 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 16400 45790 0 0 38 4 981 12 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6945] ppid=6921 vsize=24036 CPUtime=2.23 cores=0,2,4,6
/proc/6945/stat : 6945 (glucosInc) R 6921 6920 2890 0 -1 4202496 5684 0 0 0 223 0 0 0 20 0 1 0 378085693 24612864 4892 33554432000 4194304 5654031 140733770512432 140733770510120 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6945/statm: 6009 4892 141 357 0 5649 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 43096
[startup+25.5004 s]
/proc/loadavg: 2.04 2.03 2.00 3/182 6953
/proc/meminfo: memFree=30302892/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=24.24 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 21299 66183 0 0 50 4 2353 17 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6953] ppid=6921 vsize=23472 CPUtime=1.11 cores=0,2,4,6
/proc/6953/stat : 6953 (glucosInc) R 6921 6920 2890 0 -1 4202496 4504 0 0 0 111 0 0 0 20 0 1 0 378087085 24035328 4722 33554432000 4194304 5654031 140735728149712 140735728137528 4232495 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6953/statm: 5868 4722 140 357 0 5508 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 42532
[startup+51.1004 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 6953
/proc/meminfo: memFree=30266072/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=24.24 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 21299 66183 0 0 50 4 2353 17 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6953] ppid=6921 vsize=38160 CPUtime=26.7 cores=0,2,4,6
/proc/6953/stat : 6953 (glucosInc) R 6921 6920 2890 0 -1 4202496 7533 0 0 0 2668 2 0 0 20 0 1 0 378087085 39075840 8770 33554432000 4194304 5654031 140735728149712 140735728137528 4232949 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6953/statm: 9540 8770 141 357 0 9180 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 57220
[startup+102.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 6958
/proc/meminfo: memFree=30273624/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=99.45 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 24565 84260 0 0 59 5 9858 23 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6958] ppid=6921 vsize=24132 CPUtime=2.66 cores=0,2,4,6
/proc/6958/stat : 6958 (glucosInc) R 6921 6920 2890 0 -1 4202496 4786 0 0 0 265 1 0 0 20 0 1 0 378094610 24711168 4956 33554432000 4194304 5654031 140733972920736 140733972908552 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6958/statm: 6033 4956 141 357 0 5673 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 43192
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 6958
/proc/meminfo: memFree=30244124/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=99.45 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 24565 84260 0 0 59 5 9858 23 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6958] ppid=6921 vsize=52916 CPUtime=62.64 cores=0,2,4,6
/proc/6958/stat : 6958 (glucosInc) R 6921 6920 2890 0 -1 4202496 9885 0 0 0 6261 3 0 0 20 0 1 0 378094610 54185984 12263 33554432000 4194304 5654031 140733972920736 140733972908552 4232659 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6958/statm: 13229 12263 141 357 0 12869 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 71976
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 6958
/proc/meminfo: memFree=30236540/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=99.45 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 24565 84260 0 0 59 5 9858 23 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6958] ppid=6921 vsize=52916 CPUtime=122.63 cores=0,2,4,6
/proc/6958/stat : 6958 (glucosInc) R 6921 6920 2890 0 -1 4202496 10533 0 0 0 12260 3 0 0 20 0 1 0 378094610 54185984 12609 33554432000 4194304 5654031 140733972920736 140733972908552 4232784 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6958/statm: 13229 12609 141 357 0 12869 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 71976
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/181 6960
/proc/meminfo: memFree=30275776/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
################
# More data... #
################
/proc/meminfo: memFree=30141624/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=601.93 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 26198 97375 0 0 64 6 60093 30 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6963] ppid=6921 vsize=152084 CPUtime=699.98 cores=0,2,4,6
/proc/6963/stat : 6963 (glucosInc) R 6921 6920 2890 0 -1 4202496 16088 0 0 0 69989 9 0 0 20 0 1 0 378144866 155734016 34014 33554432000 4194304 5654031 140736121788896 140736121776712 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6963/statm: 38021 34014 141 357 0 37661 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 171144
[startup+1362.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/181 6995
/proc/meminfo: memFree=30131680/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=601.93 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 26198 97375 0 0 64 6 60093 30 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6963] ppid=6921 vsize=152084 CPUtime=759.97 cores=0,2,4,6
/proc/6963/stat : 6963 (glucosInc) R 6921 6920 2890 0 -1 4202496 16455 0 0 0 75987 10 0 0 20 0 1 0 378144866 155734016 37086 33554432000 4194304 5654031 140736121788896 140736121776712 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6963/statm: 38021 37086 141 357 0 37661 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 171144
[startup+1422.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 6995
/proc/meminfo: memFree=30109604/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=601.93 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 26198 97375 0 0 64 6 60093 30 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6963] ppid=6921 vsize=182904 CPUtime=819.96 cores=0,2,4,6
/proc/6963/stat : 6963 (glucosInc) R 6921 6920 2890 0 -1 4202496 17742 0 0 0 81984 12 0 0 20 0 1 0 378144866 187293696 37417 33554432000 4194304 5654031 140736121788896 140736121786984 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6963/statm: 45726 37417 141 357 0 45366 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 201964
[startup+1482.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/181 6995
/proc/meminfo: memFree=30124580/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=601.93 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 26198 97375 0 0 64 6 60093 30 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6963] ppid=6921 vsize=115808 CPUtime=879.96 cores=0,2,4,6
/proc/6963/stat : 6963 (glucosInc) R 6921 6920 2890 0 -1 4202496 18456 0 0 0 87982 14 0 0 20 0 1 0 378144866 118587392 25812 33554432000 4194304 5654031 140736121788896 140736121786776 4217334 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6963/statm: 28952 25812 141 357 0 28592 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 134868
[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/180 7058
/proc/meminfo: memFree=30237876/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=601.93 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 26198 97375 0 0 64 6 60093 30 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6963] ppid=6921 vsize=115808 CPUtime=939.95 cores=0,2,4,6
/proc/6963/stat : 6963 (glucosInc) R 6921 6920 2890 0 -1 4202496 18460 0 0 0 93981 14 0 0 20 0 1 0 378144866 118587392 27860 33554432000 4194304 5654031 140736121788896 140736121776712 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6963/statm: 28952 27860 141 357 0 28592 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 134868
[startup+1602.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/181 7061
/proc/meminfo: memFree=30160320/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=601.93 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 26198 97375 0 0 64 6 60093 30 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6963] ppid=6921 vsize=165128 CPUtime=999.93 cores=0,2,4,6
/proc/6963/stat : 6963 (glucosInc) R 6921 6920 2890 0 -1 4202496 19567 0 0 0 99978 15 0 0 20 0 1 0 378144866 169091072 40360 33554432000 4194304 5654031 140736121788896 140736121776712 4216549 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6963/statm: 41282 40360 141 357 0 40922 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 184188
[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/181 7064
/proc/meminfo: memFree=30195208/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=601.93 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 26198 97375 0 0 64 6 60093 30 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6963] ppid=6921 vsize=195948 CPUtime=1059.92 cores=0,2,4,6
/proc/6963/stat : 6963 (glucosInc) R 6921 6920 2890 0 -1 4202496 20938 0 0 0 105975 17 0 0 20 0 1 0 378144866 200650752 40772 33554432000 4194304 5654031 140736121788896 140736121776712 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6963/statm: 48987 40772 141 357 0 48627 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 215008
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 7064
/proc/meminfo: memFree=30164896/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=601.93 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 26198 97375 0 0 64 6 60093 30 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6963] ppid=6921 vsize=165128 CPUtime=1119.91 cores=0,2,4,6
/proc/6963/stat : 6963 (glucosInc) R 6921 6920 2890 0 -1 4202496 21473 0 0 0 111972 19 0 0 20 0 1 0 378144866 169091072 40360 33554432000 4194304 5654031 140736121788896 140736121776712 4232830 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6963/statm: 41282 40360 141 357 0 40922 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 184188
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/181 7064
/proc/meminfo: memFree=30178672/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=601.93 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 26198 97375 0 0 64 6 60093 30 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6963] ppid=6921 vsize=165128 CPUtime=1179.91 cores=0,2,4,6
/proc/6963/stat : 6963 (glucosInc) R 6921 6920 2890 0 -1 4202496 22414 0 0 0 117970 21 0 0 20 0 1 0 378144866 169091072 36776 33554432000 4194304 5654031 140736121788896 140736121776712 4215344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6963/statm: 41282 36776 141 357 0 40922 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 184188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.04 2.04 2.00 3/181 7064
/proc/meminfo: memFree=30148760/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=601.93 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 26198 97375 0 0 64 6 60093 30 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6963] ppid=6921 vsize=165128 CPUtime=1198.11 cores=0,2,4,6
/proc/6963/stat : 6963 (glucosInc) R 6921 6920 2890 0 -1 4202496 22421 0 0 0 119790 21 0 0 20 0 1 0 378144866 169091072 40360 33554432000 4194304 5654031 140736121788896 140736121776712 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6963/statm: 41282 40360 141 357 0 40922 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 184188
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.04 2.04 2.00 3/181 7064
/proc/meminfo: memFree=30148760/32873648 swapFree=7376/7376
[pid=6920] ppid=6918 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6920/stat : 6920 (npSolver-pbo-It) S 6918 6920 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378084647 9367552 275 33554432000 4194304 5064252 140734728082464 140734728081376 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6920/statm: 2287 275 233 213 0 72 0
[pid=6921] ppid=6920 vsize=9912 CPUtime=601.93 cores=0,2,4,6
/proc/6921/stat : 6921 (npSolver-pbo) S 6920 6920 2890 0 -1 4202496 26198 97375 0 0 64 6 60093 30 20 0 1 0 378084647 10149888 2097 33554432000 4194304 6004724 140734444144848 140734444130696 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6921/statm: 2478 2097 189 442 0 2032 0
[pid=6963] ppid=6921 vsize=165128 CPUtime=1198.11 cores=0,2,4,6
/proc/6963/stat : 6963 (glucosInc) R 6921 6920 2890 0 -1 4202496 22421 0 0 0 119790 21 0 0 20 0 1 0 378144866 169091072 40360 33554432000 4194304 5654031 140736121788896 140736121776712 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6963/statm: 41282 40360 141 357 0 40922 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 184188
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.49
CPU system time (s): 0.58791
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 215008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.58791
maximum resident set size= 176044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146374
page faults= 0
swaps= 0
block input operations= 0
block output operations= 53736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1766
involuntary context switches= 2074
runsolver used 3.51446 second user time and 9.90549 second system time
The end