0.00/0.15 c run inc solver
0.00/0.15 c [INC SYSTEM] run initial solver
0.00/0.15 c [INC SYSTEM] preprocess with white file
0.00/0.26 c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.26 c [INC SYSTEM] execute solver
0.00/0.27 c [INC SEARCH] formula is SAT
0.00/0.27 c [INC SYSTEM] solved the initial formula
0.00/0.33 c model valid
0.00/0.33 c current solution ok
0.00/0.42 o 0
0.00/0.42 c starting approximation
0.00/0.42 c factor = 1
0.00/0.42 c can not find a suitable factor, leaving approximation
0.00/0.42 c finished approximation
0.00/0.42 c [INC SYSTEM] there exists a inc, kill it!
0.00/0.42 c write failed with 2
0.00/0.42 c [INC SEARCH] iteration: 0
0.00/0.42 c [INC BOUNDS] best value:945 search for 944
0.00/0.42 c [INC SYSTEM] create new solver instance
0.00/0.42 c [INC] encode full formula
0.00/0.42 c (debug) using card networks
0.00/0.42 c old isEQ: 32, new EQ is 0
0.00/0.45 c set iterative enc to: card
0.00/0.45 c set iterative enc to: none
0.00/0.45 c [INC SEARCH] isOptimum variable: 0
0.00/0.53 c formula is SAT
0.00/0.54 c [INC SEARCH] copied best model
0.00/0.54 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
0.00/0.59 c model valid
0.00/0.59 c current solution ok
0.00/0.59 o -27
0.00/0.59 c [INC SEARCH] iteration: 1
0.00/0.59 c [INC BOUNDS] best value:918 search for 917
0.00/0.59 c [INC SYSTEM] there exists a inc, kill it!
0.00/0.59 c write failed with 2
0.00/0.60 c [INC SYSTEM] create new solver instance
0.00/0.60 c [INC] encode full formula
0.00/0.60 c (debug) using card networks
0.00/0.60 c old isEQ: 240, new EQ is 0
0.00/0.62 c set iterative enc to: card
0.00/0.62 c set iterative enc to: none
0.00/0.63 c [INC SEARCH] isOptimum variable: 0
0.00/0.70 c formula is SAT
0.00/0.70 c [INC SEARCH] copied best model
0.00/0.70 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
0.00/0.76 c model valid
0.00/0.76 c current solution ok
0.00/0.76 o -31
0.00/0.76 c [INC SEARCH] iteration: 2
0.00/0.76 c [INC BOUNDS] best value:914 search for 913
0.00/0.76 c [INC SYSTEM] there exists a inc, kill it!
0.00/0.76 c write failed with 2
0.00/0.76 c [INC SYSTEM] create new solver instance
0.00/0.76 c [INC] encode full formula
0.00/0.76 c (debug) using card networks
0.00/0.76 c old isEQ: 64, new EQ is 0
0.00/0.79 c set iterative enc to: card
0.00/0.79 c set iterative enc to: none
0.00/0.79 c [INC SEARCH] isOptimum variable: 0
0.96/1.09 c formula is SAT
0.96/1.09 c [INC SEARCH] copied best model
0.96/1.09 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1.07/1.15 c model valid
1.07/1.15 c current solution ok
1.07/1.15 o -32
1.07/1.15 c [INC SEARCH] iteration: 3
1.07/1.15 c [INC BOUNDS] best value:913 search for 912
1.07/1.15 c [INC SYSTEM] there exists a inc, kill it!
1.07/1.15 c write failed with 2
1.07/1.15 c [INC SYSTEM] create new solver instance
1.07/1.15 c [INC] encode full formula
1.07/1.15 c (debug) using card networks
1.07/1.15 c old isEQ: 240, new EQ is 0
1.07/1.17 c set iterative enc to: card
1.07/1.17 c set iterative enc to: none
1.07/1.18 c [INC SEARCH] isOptimum variable: 0
3.36/3.40 c formula is SAT
3.36/3.41 c [INC SEARCH] copied best model
3.36/3.41 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
3.36/3.46 c model valid
3.36/3.46 c current solution ok
3.36/3.46 o -33
3.36/3.46 c [INC SEARCH] iteration: 4
3.36/3.46 c [INC BOUNDS] best value:912 search for 911
3.36/3.46 c [INC SYSTEM] there exists a inc, kill it!
3.36/3.46 c write failed with 2
3.36/3.47 c [INC SYSTEM] create new solver instance
3.36/3.47 c [INC] encode full formula
3.36/3.47 c (debug) using card networks
3.36/3.47 c old isEQ: 240, new EQ is 0
3.36/3.49 c set iterative enc to: card
3.36/3.49 c set iterative enc to: none
3.47/3.50 c [INC SEARCH] isOptimum variable: 0
5.55/5.60 c formula is SAT
5.55/5.61 c [INC SEARCH] copied best model
5.55/5.61 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
5.55/5.66 c model valid
5.55/5.66 c current solution ok
5.55/5.66 o -34
5.55/5.66 c [INC SEARCH] iteration: 5
5.55/5.66 c [INC BOUNDS] best value:911 search for 910
5.55/5.66 c [INC SYSTEM] there exists a inc, kill it!
5.55/5.66 c write failed with 2
5.55/5.67 c [INC SYSTEM] create new solver instance
5.55/5.67 c [INC] encode full formula
5.55/5.67 c (debug) using card networks
5.55/5.67 c old isEQ: 240, new EQ is 0
5.55/5.69 c set iterative enc to: card
5.55/5.69 c set iterative enc to: none
5.67/5.70 c [INC SEARCH] isOptimum variable: 0
8.55/8.66 c formula is SAT
8.55/8.66 c [INC SEARCH] copied best model
8.55/8.66 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
8.66/8.72 c model valid
8.66/8.72 c current solution ok
8.66/8.72 o -35
8.66/8.72 c [INC SEARCH] iteration: 6
8.66/8.72 c [INC BOUNDS] best value:910 search for 909
8.66/8.72 c [INC SYSTEM] there exists a inc, kill it!
8.66/8.72 c write failed with 2
8.66/8.72 c [INC SYSTEM] create new solver instance
8.66/8.72 c [INC] encode full formula
8.66/8.72 c (debug) using card networks
8.66/8.72 c old isEQ: 240, new EQ is 0
8.66/8.74 c set iterative enc to: card
8.66/8.74 c set iterative enc to: none
8.66/8.75 c [INC SEARCH] isOptimum variable: 0
13.05/13.19 c formula is SAT
13.05/13.19 c [INC SEARCH] copied best model
13.05/13.19 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
13.15/13.25 c model valid
13.15/13.25 c current solution ok
13.15/13.25 o -36
13.15/13.25 c [INC SEARCH] iteration: 7
13.15/13.25 c [INC BOUNDS] best value:909 search for 908
13.15/13.25 c [INC SYSTEM] there exists a inc, kill it!
13.15/13.25 c write failed with 2
13.15/13.25 c [INC SYSTEM] create new solver instance
13.15/13.25 c [INC] encode full formula
13.15/13.25 c (debug) using card networks
13.15/13.25 c old isEQ: 240, new EQ is 0
13.15/13.27 c set iterative enc to: card
13.15/13.27 c set iterative enc to: none
13.15/13.28 c [INC SEARCH] isOptimum variable: 0
16.74/16.82 c formula is SAT
16.74/16.83 c [INC SEARCH] copied best model
16.74/16.83 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
16.74/16.88 c model valid
16.74/16.88 c current solution ok
16.74/16.88 o -37
16.74/16.88 c [INC SEARCH] iteration: 8
16.74/16.88 c [INC BOUNDS] best value:908 search for 907
16.74/16.88 c [INC SYSTEM] there exists a inc, kill it!
16.74/16.88 c write failed with 2
16.74/16.89 c [INC SYSTEM] create new solver instance
16.74/16.89 c [INC] encode full formula
16.74/16.89 c (debug) using card networks
16.74/16.89 c old isEQ: 240, new EQ is 0
16.85/16.91 c set iterative enc to: card
16.85/16.91 c set iterative enc to: none
16.85/16.92 c [INC SEARCH] isOptimum variable: 0
21.86/21.97 c formula is SAT
21.86/21.97 c [INC SEARCH] copied best model
21.86/21.97 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
21.95/22.03 c model valid
21.95/22.03 c current solution ok
21.95/22.03 o -38
21.95/22.03 c [INC SEARCH] iteration: 9
21.95/22.03 c [INC BOUNDS] best value:907 search for 906
21.95/22.03 c [INC SYSTEM] there exists a inc, kill it!
21.95/22.03 c write failed with 2
21.95/22.03 c [INC SYSTEM] create new solver instance
21.95/22.03 c [INC] encode full formula
21.95/22.03 c (debug) using card networks
21.95/22.03 c old isEQ: 240, new EQ is 0
21.95/22.06 c set iterative enc to: card
21.95/22.06 c set iterative enc to: none
21.95/22.06 c [INC SEARCH] isOptimum variable: 0
28.94/29.05 c formula is SAT
28.94/29.05 c [INC SEARCH] copied best model
28.94/29.05 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
29.04/29.11 c model valid
29.04/29.11 c current solution ok
29.04/29.11 o -39
29.04/29.11 c [INC SEARCH] iteration: 10
29.04/29.11 c [INC BOUNDS] best value:906 search for 905
29.04/29.11 c [INC SYSTEM] there exists a inc, kill it!
29.04/29.11 c write failed with 2
29.04/29.11 c [INC SYSTEM] create new solver instance
29.04/29.11 c [INC] encode full formula
29.04/29.11 c (debug) using card networks
29.04/29.11 c old isEQ: 240, new EQ is 0
29.04/29.13 c set iterative enc to: card
29.04/29.13 c set iterative enc to: none
29.04/29.14 c [INC SEARCH] isOptimum variable: 0
37.51/37.66 c formula is SAT
37.51/37.66 c [INC SEARCH] copied best model
37.51/37.66 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
37.62/37.72 c model valid
37.62/37.72 c current solution ok
37.62/37.72 o -40
37.62/37.72 c [INC SEARCH] iteration: 11
37.62/37.72 c [INC BOUNDS] best value:905 search for 904
37.62/37.72 c [INC SYSTEM] there exists a inc, kill it!
37.62/37.72 c write failed with 2
37.62/37.72 c [INC SYSTEM] create new solver instance
37.62/37.72 c [INC] encode full formula
37.62/37.72 c (debug) using card networks
37.62/37.72 c old isEQ: 240, new EQ is 0
37.62/37.74 c set iterative enc to: card
37.62/37.74 c set iterative enc to: none
37.62/37.75 c [INC SEARCH] isOptimum variable: 0
47.44/47.50 c formula is SAT
47.44/47.50 c [INC SEARCH] copied best model
47.44/47.50 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
47.44/47.56 c model valid
47.44/47.56 c current solution ok
47.44/47.56 o -41
47.44/47.56 c [INC SEARCH] iteration: 12
47.44/47.56 c [INC BOUNDS] best value:904 search for 903
47.44/47.56 c [INC SYSTEM] there exists a inc, kill it!
47.44/47.56 c write failed with 2
47.44/47.56 c [INC SYSTEM] create new solver instance
47.44/47.56 c [INC] encode full formula
47.44/47.56 c (debug) using card networks
47.44/47.56 c old isEQ: 240, new EQ is 0
47.44/47.58 c set iterative enc to: card
47.44/47.58 c set iterative enc to: none
47.44/47.59 c [INC SEARCH] isOptimum variable: 0
81.21/81.36 c formula is SAT
81.21/81.37 c [INC SEARCH] copied best model
81.21/81.37 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
81.31/81.42 c model valid
81.31/81.42 c current solution ok
81.31/81.42 o -42
81.31/81.42 c [INC SEARCH] iteration: 13
81.31/81.42 c [INC BOUNDS] best value:903 search for 902
81.31/81.42 c [INC SYSTEM] there exists a inc, kill it!
81.31/81.42 c write failed with 2
81.31/81.43 c [INC SYSTEM] create new solver instance
81.31/81.43 c [INC] encode full formula
81.31/81.43 c (debug) using card networks
81.31/81.43 c old isEQ: 240, new EQ is 0
81.31/81.45 c set iterative enc to: card
81.31/81.45 c set iterative enc to: none
81.31/81.46 c [INC SEARCH] isOptimum variable: 0
419.84/420.05 c formula is SAT
419.84/420.06 c [INC SEARCH] copied best model
419.84/420.06 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
419.96/420.12 c model valid
419.96/420.12 c current solution ok
419.96/420.12 o -43
419.96/420.12 c [INC SEARCH] iteration: 14
419.96/420.12 c [INC BOUNDS] best value:902 search for 901
419.96/420.12 c [INC SYSTEM] there exists a inc, kill it!
419.96/420.12 c write failed with 2
419.96/420.12 c [INC SYSTEM] create new solver instance
419.96/420.12 c [INC] encode full formula
419.96/420.12 c (debug) using card networks
419.96/420.12 c old isEQ: 240, new EQ is 0
419.96/420.14 c set iterative enc to: card
419.96/420.14 c set iterative enc to: none
419.96/420.15 c [INC SEARCH] isOptimum variable: 0
1337.29/1337.63 c formula is SAT
1337.29/1337.63 c [INC SEARCH] copied best model
1337.29/1337.63 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1337.29/1337.69 c model valid
1337.29/1337.69 c current solution ok
1337.29/1337.69 o -44
1337.29/1337.69 c [INC SEARCH] iteration: 15
1337.29/1337.69 c [INC BOUNDS] best value:901 search for 900
1337.29/1337.69 c [INC SYSTEM] there exists a inc, kill it!
1337.29/1337.69 c write failed with 2
1337.29/1337.69 c [INC SYSTEM] create new solver instance
1337.29/1337.69 c [INC] encode full formula
1337.29/1337.69 c (debug) using card networks
1337.29/1337.69 c old isEQ: 240, new EQ is 0
1337.39/1337.71 c set iterative enc to: card
1337.39/1337.71 c set iterative enc to: none
1337.39/1337.72 c [INC SEARCH] isOptimum variable: 0
1800.02/1800.40 c [INC SYSTEM] an unexpexted return value has been received, exit
1800.02/1800.40 s UNKNOWN
1800.02/1800.40 c [INC SYSTEM] there exists a inc, kill it!
1800.02/1800.40 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-3752006-1339121509/watcher-3752006-1339121509 -o /tmp/evaluation-result-3752006-1339121509/solver-3752006-1339121509 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752006-1339121509.opb 969576931 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24939
/proc/meminfo: memFree=28991592/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[startup+0.01259 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24939
/proc/meminfo: memFree=28991592/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100278 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24939
/proc/meminfo: memFree=28991592/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300283 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24939
/proc/meminfo: memFree=28991592/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700161 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24939
/proc/meminfo: memFree=28991592/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24952
/proc/meminfo: memFree=28951796/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=1.16 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 12087 17341 0 0 47 12 52 5 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 32636
[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24954
/proc/meminfo: memFree=28951184/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=1.16 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 12087 17341 0 0 47 12 52 5 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=24954] ppid=24940 vsize=20148 CPUtime=1.9 cores=1,3,5,7
/proc/24954/stat : 24954 (glucosInc) R 24940 24939 22344 0 -1 4202496 4156 0 0 0 190 0 0 0 20 0 1 0 378275877 20631552 4279 33554432000 4194304 5654031 140733483625776 140733483623544 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24954/statm: 5037 4279 140 357 0 4677 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 52784
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24956
/proc/meminfo: memFree=28950316/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=5.67 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 14879 26595 0 0 63 13 484 7 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 32636
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24960
/proc/meminfo: memFree=28917440/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=8.72 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 16285 31360 0 0 72 13 778 9 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=24960] ppid=24940 vsize=20636 CPUtime=3.93 cores=1,3,5,7
/proc/24960/stat : 24960 (glucosInc) R 24940 24939 22344 0 -1 4202496 4439 0 0 0 393 0 0 0 20 0 1 0 378276634 21131264 4199 33554432000 4194304 5654031 140733893665872 140733893653688 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24960/statm: 5159 4199 142 357 0 4799 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 53272
[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 24966
/proc/meminfo: memFree=28912924/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=22.02 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 20463 48662 0 0 97 14 2077 14 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=24966] ppid=24940 vsize=18760 CPUtime=3.42 cores=1,3,5,7
/proc/24966/stat : 24966 (glucosInc) R 24940 24939 22344 0 -1 4202496 5014 0 0 0 341 1 0 0 20 0 1 0 378277965 19210240 4038 33554432000 4194304 5654031 140735391896176 140735391883992 4976752 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24966/statm: 4690 4038 142 357 0 4330 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 51396
[startup+51.1004 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 24972
/proc/meminfo: memFree=28930860/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=47.53 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 24661 71971 0 0 122 15 4595 21 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=24972] ppid=24940 vsize=18792 CPUtime=3.48 cores=1,3,5,7
/proc/24972/stat : 24972 (glucosInc) R 24940 24939 22344 0 -1 4202496 4750 0 0 0 348 0 0 0 20 0 1 0 378280518 19243008 4007 33554432000 4194304 5654031 140737058950208 140737058938024 4233315 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24972/statm: 4698 4007 142 357 0 4338 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 51428
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 24974
/proc/meminfo: memFree=28864336/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=81.38 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 26047 80203 0 0 131 15 7968 24 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=24974] ppid=24940 vsize=37064 CPUtime=20.82 cores=1,3,5,7
/proc/24974/stat : 24974 (glucosInc) R 24940 24939 22344 0 -1 4202496 7597 0 0 0 2081 1 0 0 20 0 1 0 378283905 37953536 8685 33554432000 4194304 5654031 140734463960480 140734463948296 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24974/statm: 9266 8685 142 357 0 8906 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 69700
[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 25025
/proc/meminfo: memFree=28953168/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=81.38 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 26047 80203 0 0 131 15 7968 24 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=24974] ppid=24940 vsize=58708 CPUtime=80.8 cores=1,3,5,7
/proc/24974/stat : 24974 (glucosInc) R 24940 24939 22344 0 -1 4202496 10960 0 0 0 8078 2 0 0 20 0 1 0 378283905 60116992 14070 33554432000 4194304 5654031 140734463960480 140734463958280 4232495 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24974/statm: 14677 14070 142 357 0 14317 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 91344
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 25039
/proc/meminfo: memFree=28931004/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=81.38 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 26047 80203 0 0 131 15 7968 24 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=24974] ppid=24940 vsize=81984 CPUtime=140.78 cores=1,3,5,7
/proc/24974/stat : 24974 (glucosInc) R 24940 24939 22344 0 -1 4202496 11333 0 0 0 14075 3 0 0 20 0 1 0 378283905 83951616 19431 33554432000 4194304 5654031 140734463960480 140734463948296 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24974/statm: 20496 19431 142 357 0 20136 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 114620
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 25044
/proc/meminfo: memFree=28899400/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=81.38 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=28850280/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=420 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 27453 93897 0 0 139 16 41814 31 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=25050] ppid=24940 vsize=161592 CPUtime=822 cores=1,3,5,7
/proc/25050/stat : 25050 (glucosInc) R 24940 24939 22344 0 -1 4202496 13455 0 0 0 82183 17 0 0 20 0 1 0 378317774 165470208 31047 33554432000 4194304 5654031 140737293300832 140737293288648 4215913 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25050/statm: 40398 31047 142 357 0 40038 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 194228
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25064
/proc/meminfo: memFree=28849668/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=420 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 27453 93897 0 0 139 16 41814 31 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=25050] ppid=24940 vsize=112272 CPUtime=882 cores=1,3,5,7
/proc/25050/stat : 25050 (glucosInc) R 24940 24939 22344 0 -1 4202496 13626 0 0 0 88182 18 0 0 20 0 1 0 378317774 114966528 23227 33554432000 4194304 5654031 140737293300832 140737293298856 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25050/statm: 28068 23227 142 357 0 27708 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 144908
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25066
/proc/meminfo: memFree=28874444/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=1337.43 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 28839 108217 0 0 148 17 133527 51 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=25066] ppid=24940 vsize=37128 CPUtime=24.55 cores=1,3,5,7
/proc/25066/stat : 25066 (glucosInc) R 24940 24939 22344 0 -1 4202496 8539 0 0 0 2453 2 0 0 20 0 1 0 378409531 38019072 8433 33554432000 4194304 5654031 140734664408416 140734664396232 4232853 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25066/statm: 9282 8433 142 357 0 8922 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 69764
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25066
/proc/meminfo: memFree=28856000/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=1337.43 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 28839 108217 0 0 148 17 133527 51 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=25066] ppid=24940 vsize=63116 CPUtime=84.55 cores=1,3,5,7
/proc/25066/stat : 25066 (glucosInc) R 24940 24939 22344 0 -1 4202496 10826 0 0 0 8452 3 0 0 20 0 1 0 378409531 64630784 12374 33554432000 4194304 5654031 140734664408416 140734664396232 4233452 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25066/statm: 15779 12374 142 357 0 15419 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 95752
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25067
/proc/meminfo: memFree=28835396/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=1337.43 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 28839 108217 0 0 148 17 133527 51 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=25066] ppid=24940 vsize=81972 CPUtime=144.54 cores=1,3,5,7
/proc/25066/stat : 25066 (glucosInc) R 24940 24939 22344 0 -1 4202496 11667 0 0 0 14450 4 0 0 20 0 1 0 378409531 83939328 18580 33554432000 4194304 5654031 140734664408416 140734664396232 4232763 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25066/statm: 20493 18580 142 357 0 20133 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 114608
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25067
/proc/meminfo: memFree=28869776/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=1337.43 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 28839 108217 0 0 148 17 133527 51 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=25066] ppid=24940 vsize=81976 CPUtime=204.53 cores=1,3,5,7
/proc/25066/stat : 25066 (glucosInc) R 24940 24939 22344 0 -1 4202496 12280 0 0 0 20448 5 0 0 20 0 1 0 378409531 83943424 18192 33554432000 4194304 5654031 140734664408416 140734664396232 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25066/statm: 20494 18192 142 357 0 20134 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 114612
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25067
/proc/meminfo: memFree=28849296/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=1337.43 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 28839 108217 0 0 148 17 133527 51 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=25066] ppid=24940 vsize=94812 CPUtime=264.52 cores=1,3,5,7
/proc/25066/stat : 25066 (glucosInc) R 24940 24939 22344 0 -1 4202496 13201 0 0 0 26446 6 0 0 20 0 1 0 378409531 97087488 23139 33554432000 4194304 5654031 140734664408416 140734664396232 4217208 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25066/statm: 23703 23139 142 357 0 23343 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 127448
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25067
/proc/meminfo: memFree=28810508/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=1337.43 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 28839 108217 0 0 148 17 133527 51 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=25066] ppid=24940 vsize=94812 CPUtime=324.51 cores=1,3,5,7
/proc/25066/stat : 25066 (glucosInc) R 24940 24939 22344 0 -1 4202496 14333 0 0 0 32443 8 0 0 20 0 1 0 378409531 97087488 23139 33554432000 4194304 5654031 140734664408416 140734664406440 4232997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25066/statm: 23703 23139 142 357 0 23343 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 127448
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25070
/proc/meminfo: memFree=28788532/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=1337.43 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 28839 108217 0 0 148 17 133527 51 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=25066] ppid=24940 vsize=94812 CPUtime=384.5 cores=1,3,5,7
/proc/25066/stat : 25066 (glucosInc) R 24940 24939 22344 0 -1 4202496 15466 0 0 0 38440 10 0 0 20 0 1 0 378409531 97087488 23139 33554432000 4194304 5654031 140734664408416 140734664396232 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25066/statm: 23703 23139 142 357 0 23343 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 127448
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25070
/proc/meminfo: memFree=28790192/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=1337.43 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 28839 108217 0 0 148 17 133527 51 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=25066] ppid=24940 vsize=94812 CPUtime=444.49 cores=1,3,5,7
/proc/25066/stat : 25066 (glucosInc) R 24940 24939 22344 0 -1 4202496 16606 0 0 0 44436 13 0 0 20 0 1 0 378409531 97087488 23139 33554432000 4194304 5654031 140734664408416 140734664406440 4215026 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25066/statm: 23703 23139 142 357 0 23343 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 127448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25071
/proc/meminfo: memFree=28827312/32873844 swapFree=7120/7120
[pid=24939] ppid=24937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24939/stat : 24939 (npSolver-pbo-It) S 24937 24939 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378275758 9367552 275 33554432000 4194304 5064252 140737108407904 140737108406816 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24939/statm: 2287 275 233 213 0 72 0
[pid=24940] ppid=24939 vsize=23488 CPUtime=1337.43 cores=1,3,5,7
/proc/24940/stat : 24940 (npSolver-pbo) S 24939 24939 22344 0 -1 4202496 28839 108217 0 0 148 17 133527 51 20 0 1 0 378275758 24051712 5551 33554432000 4194304 6004724 140733765730848 140733765716696 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24940/statm: 5872 5551 188 442 0 5426 0
[pid=25066] ppid=24940 vsize=94812 CPUtime=462.59 cores=1,3,5,7
/proc/25066/stat : 25066 (glucosInc) R 24940 24939 22344 0 -1 4202496 16985 0 0 0 46246 13 0 0 20 0 1 0 378409531 97087488 23139 33554432000 4194304 5654031 140734664408416 140734664406440 4233173 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25066/statm: 23703 23139 142 357 0 23343 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 127448
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.06
CPU user time (s): 1799.23
CPU system time (s): 0.825874
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 194228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.23
system time used= 0.825874
maximum resident set size= 140860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154423
page faults= 0
swaps= 0
block input operations= 0
block output operations= 65072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1230
involuntary context switches= 2436
runsolver used 3.46647 second user time and 9.49956 second system time
The end