0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 c old isEQ: 0, new EQ is 0
0.00/0.03 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.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.06 c old isEQ: 0, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.16 c run inc solver
0.00/0.16 c [INC SYSTEM] run initial solver
0.00/0.16 c [INC SYSTEM] preprocess with white file
0.00/0.77 c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.77 c [INC SYSTEM] execute solver
25.86/25.95 c [INC SEARCH] formula is SAT
25.86/25.96 c [INC SYSTEM] solved the initial formula
25.86/25.96 c model valid
25.86/25.96 c current solution ok
26.16/26.23 o -10
26.16/26.23 c [INC SYSTEM] there exists a inc, kill it!
26.16/26.23 c write failed with 2
26.16/26.23 c [INC SEARCH] iteration: 0
26.16/26.23 c [INC BOUNDS] best value:110 search for 109
26.16/26.23 c [INC SYSTEM] create new solver instance
26.16/26.23 c [INC] encode full formula
26.16/26.23 c (debug) using card networks
26.16/26.23 c old isEQ: 41, new EQ is 0
26.16/26.23 c set iterative enc to: card
26.16/26.23 c set iterative enc to: none
26.16/26.24 c [INC SEARCH] isOptimum variable: 0
26.26/26.34 c formula is SAT
26.26/26.34 c [INC SEARCH] copied best model
26.26/26.34 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
26.26/26.35 c model valid
26.26/26.35 c current solution ok
26.26/26.35 o -15
26.26/26.35 c [INC SEARCH] iteration: 1
26.26/26.35 c [INC BOUNDS] best value:105 search for 104
26.26/26.35 c [INC SYSTEM] there exists a inc, kill it!
26.26/26.35 c write failed with 2
26.26/26.35 c [INC SYSTEM] create new solver instance
26.26/26.35 c [INC] encode full formula
26.26/26.35 c (debug) using card networks
26.26/26.35 c old isEQ: 64, new EQ is 0
26.26/26.35 c set iterative enc to: card
26.26/26.35 c set iterative enc to: none
26.26/26.36 c [INC SEARCH] isOptimum variable: 0
26.33/26.45 c formula is SAT
26.33/26.46 c [INC SEARCH] copied best model
26.33/26.46 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
26.33/26.46 c model valid
26.33/26.46 c current solution ok
26.33/26.46 o -16
26.33/26.46 c [INC SEARCH] iteration: 2
26.33/26.46 c [INC BOUNDS] best value:104 search for 103
26.33/26.46 c [INC SYSTEM] there exists a inc, kill it!
26.33/26.46 c write failed with 2
26.33/26.47 c [INC SYSTEM] create new solver instance
26.33/26.47 c [INC] encode full formula
26.33/26.47 c (debug) using card networks
26.33/26.47 c old isEQ: 64, new EQ is 0
26.33/26.47 c set iterative enc to: card
26.33/26.47 c set iterative enc to: none
26.33/26.47 c [INC SEARCH] isOptimum variable: 0
26.45/26.58 c formula is SAT
26.45/26.58 c [INC SEARCH] copied best model
26.45/26.58 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
26.45/26.59 c model valid
26.45/26.59 c current solution ok
26.45/26.59 o -17
26.45/26.59 c [INC SEARCH] iteration: 3
26.45/26.59 c [INC BOUNDS] best value:103 search for 102
26.45/26.59 c [INC SYSTEM] there exists a inc, kill it!
26.45/26.59 c write failed with 2
26.45/26.59 c [INC SYSTEM] create new solver instance
26.45/26.59 c [INC] encode full formula
26.45/26.59 c (debug) using card networks
26.45/26.59 c old isEQ: 64, new EQ is 0
26.45/26.59 c set iterative enc to: card
26.45/26.59 c set iterative enc to: none
26.57/26.60 c [INC SEARCH] isOptimum variable: 0
26.57/26.73 c formula is SAT
26.57/26.74 c [INC SEARCH] copied best model
26.57/26.74 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
26.57/26.75 c model valid
26.57/26.75 c current solution ok
26.57/26.75 o -18
26.57/26.75 c [INC SEARCH] iteration: 4
26.57/26.75 c [INC BOUNDS] best value:102 search for 101
26.57/26.75 c [INC SYSTEM] there exists a inc, kill it!
26.57/26.75 c write failed with 2
26.57/26.75 c [INC SYSTEM] create new solver instance
26.57/26.75 c [INC] encode full formula
26.57/26.75 c (debug) using card networks
26.57/26.75 c old isEQ: 64, new EQ is 0
26.57/26.75 c set iterative enc to: card
26.57/26.75 c set iterative enc to: none
26.57/26.76 c [INC SEARCH] isOptimum variable: 0
27.76/27.86 c formula is SAT
27.76/27.87 c [INC SEARCH] copied best model
27.76/27.87 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
27.76/27.88 c model valid
27.76/27.88 c current solution ok
27.76/27.88 o -19
27.76/27.88 c [INC SEARCH] iteration: 5
27.76/27.88 c [INC BOUNDS] best value:101 search for 100
27.76/27.88 c [INC SYSTEM] there exists a inc, kill it!
27.76/27.88 c write failed with 2
27.76/27.88 c [INC SYSTEM] create new solver instance
27.76/27.88 c [INC] encode full formula
27.76/27.88 c (debug) using card networks
27.76/27.88 c old isEQ: 64, new EQ is 0
27.76/27.88 c set iterative enc to: card
27.76/27.88 c set iterative enc to: none
27.76/27.89 c [INC SEARCH] isOptimum variable: 0
27.85/28.08 c formula is SAT
27.85/28.09 c [INC SEARCH] copied best model
27.85/28.09 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
27.88/28.10 c model valid
27.88/28.10 c current solution ok
27.88/28.10 o -20
27.88/28.10 c [INC SEARCH] iteration: 6
27.88/28.10 c [INC BOUNDS] best value:100 search for 99
27.88/28.10 c [INC SYSTEM] there exists a inc, kill it!
27.88/28.10 c write failed with 2
27.88/28.10 c [INC SYSTEM] create new solver instance
27.88/28.10 c [INC] encode full formula
27.88/28.10 c (debug) using card networks
27.88/28.10 c old isEQ: 64, new EQ is 0
27.88/28.10 c set iterative enc to: card
27.88/28.10 c set iterative enc to: none
27.88/28.11 c [INC SEARCH] isOptimum variable: 0
31.57/31.66 c formula is SAT
31.57/31.67 c [INC SEARCH] copied best model
31.57/31.67 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
31.57/31.68 c model valid
31.57/31.68 c current solution ok
31.57/31.68 o -21
31.57/31.68 c [INC SEARCH] iteration: 7
31.57/31.68 c [INC BOUNDS] best value:99 search for 98
31.57/31.68 c [INC SYSTEM] there exists a inc, kill it!
31.57/31.68 c write failed with 2
31.57/31.68 c [INC SYSTEM] create new solver instance
31.57/31.68 c [INC] encode full formula
31.57/31.68 c (debug) using card networks
31.57/31.68 c old isEQ: 64, new EQ is 0
31.57/31.68 c set iterative enc to: card
31.57/31.68 c set iterative enc to: none
31.57/31.69 c [INC SEARCH] isOptimum variable: 0
42.36/42.48 c formula is SAT
42.36/42.48 c [INC SEARCH] copied best model
42.36/42.48 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
42.36/42.49 c model valid
42.36/42.49 c current solution ok
42.36/42.49 o -22
42.36/42.49 c [INC SEARCH] iteration: 8
42.36/42.49 c [INC BOUNDS] best value:98 search for 97
42.36/42.49 c [INC SYSTEM] there exists a inc, kill it!
42.36/42.49 c write failed with 2
42.36/42.49 c [INC SYSTEM] create new solver instance
42.36/42.49 c [INC] encode full formula
42.36/42.49 c (debug) using card networks
42.36/42.49 c old isEQ: 64, new EQ is 0
42.36/42.49 c set iterative enc to: card
42.36/42.49 c set iterative enc to: none
42.47/42.50 c [INC SEARCH] isOptimum variable: 0
88.95/89.02 c formula is SAT
88.95/89.02 c [INC SEARCH] copied best model
88.95/89.02 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
88.95/89.03 c model valid
88.95/89.03 c current solution ok
88.95/89.03 o -23
88.95/89.03 c [INC SEARCH] iteration: 9
88.95/89.03 c [INC BOUNDS] best value:97 search for 96
88.95/89.03 c [INC SYSTEM] there exists a inc, kill it!
88.95/89.03 c write failed with 2
88.95/89.03 c [INC SYSTEM] create new solver instance
88.95/89.03 c [INC] encode full formula
88.95/89.03 c (debug) using card networks
88.95/89.03 c old isEQ: 64, new EQ is 0
88.95/89.03 c set iterative enc to: card
88.95/89.03 c set iterative enc to: none
88.95/89.04 c [INC SEARCH] isOptimum variable: 0
108.15/108.20 c formula is SAT
108.15/108.20 c [INC SEARCH] copied best model
108.15/108.20 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
108.15/108.21 c model valid
108.15/108.21 c current solution ok
108.15/108.21 o -24
108.15/108.21 c [INC SEARCH] iteration: 10
108.15/108.21 c [INC BOUNDS] best value:96 search for 95
108.15/108.21 c [INC SYSTEM] there exists a inc, kill it!
108.15/108.21 c write failed with 2
108.15/108.22 c [INC SYSTEM] create new solver instance
108.15/108.22 c [INC] encode full formula
108.15/108.22 c (debug) using card networks
108.15/108.22 c old isEQ: 64, new EQ is 0
108.15/108.22 c set iterative enc to: card
108.15/108.22 c set iterative enc to: none
108.15/108.22 c [INC SEARCH] isOptimum variable: 0
334.51/334.65 c formula is SAT
334.51/334.65 c [INC SEARCH] copied best model
334.51/334.65 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
334.51/334.66 c model valid
334.51/334.66 c current solution ok
334.51/334.66 o -25
334.51/334.66 c [INC SEARCH] iteration: 11
334.51/334.66 c [INC BOUNDS] best value:95 search for 94
334.51/334.66 c [INC SYSTEM] there exists a inc, kill it!
334.51/334.66 c write failed with 2
334.51/334.67 c [INC SYSTEM] create new solver instance
334.51/334.67 c [INC] encode full formula
334.51/334.67 c (debug) using card networks
334.51/334.67 c old isEQ: 64, new EQ is 0
334.51/334.67 c set iterative enc to: card
334.51/334.67 c set iterative enc to: none
334.51/334.68 c [INC SEARCH] isOptimum variable: 0
1800.06/1800.41 HOME/npSolver-pbo-Itd.sh: line 18: 15390 Terminated ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -useBinSearch=0 -useCP2=1 -useInc=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-3747063-1339098204/watcher-3747063-1339098204 -o /tmp/evaluation-result-3747063-1339098204/solver-3747063-1339098204 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747063-1339098204.opb 1310266412 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: 0.38 0.09 0.03 2/178 15389
/proc/meminfo: memFree=29794804/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[startup+0.0275369 s]
/proc/loadavg: 0.38 0.09 0.03 2/178 15389
/proc/meminfo: memFree=29794804/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100304 s]
/proc/loadavg: 0.38 0.09 0.03 2/178 15389
/proc/meminfo: memFree=29794804/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300145 s]
/proc/loadavg: 0.38 0.09 0.03 2/178 15389
/proc/meminfo: memFree=29794804/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700165 s]
/proc/loadavg: 0.38 0.09 0.03 2/178 15389
/proc/meminfo: memFree=29794804/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 0.38 0.09 0.03 3/181 15395
/proc/meminfo: memFree=29763580/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=0.75 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 4693 12118 0 0 15 1 56 3 20 0 1 0 375948982 11079680 2274 33554432000 4194304 6004724 140733391279664 140733391265944 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2274 167 442 0 2259 0
[pid=15395] ppid=15390 vsize=25676 CPUtime=0.71 cores=0,2,4,6
/proc/15395/stat : 15395 (glucosInc) R 15390 15389 15254 0 -1 4202496 6031 0 0 0 71 0 0 0 20 0 1 0 375949059 26292224 5637 33554432000 4194304 5654031 140736191799328 140736191797112 4232810 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15395/statm: 6419 5637 132 357 0 6059 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 45644
[startup+3.10031 s]
/proc/loadavg: 0.51 0.12 0.04 3/181 15395
/proc/meminfo: memFree=29760248/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=0.75 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 4693 12118 0 0 15 1 56 3 20 0 1 0 375948982 11079680 2274 33554432000 4194304 6004724 140733391279664 140733391265944 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2274 167 442 0 2259 0
[pid=15395] ppid=15390 vsize=28896 CPUtime=2.32 cores=0,2,4,6
/proc/15395/stat : 15395 (glucosInc) R 15390 15389 15254 0 -1 4202496 7495 0 0 0 231 1 0 0 20 0 1 0 375949059 29589504 6172 33554432000 4194304 5654031 140736191799328 140736191797224 4215653 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15395/statm: 7224 6172 132 357 0 6864 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 48864
[startup+6.30032 s]
/proc/loadavg: 0.51 0.12 0.04 3/181 15395
/proc/meminfo: memFree=29741008/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=0.75 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 4693 12118 0 0 15 1 56 3 20 0 1 0 375948982 11079680 2274 33554432000 4194304 6004724 140733391279664 140733391265944 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2274 167 442 0 2259 0
[pid=15395] ppid=15390 vsize=59108 CPUtime=5.51 cores=0,2,4,6
/proc/15395/stat : 15395 (glucosInc) R 15390 15389 15254 0 -1 4202496 8536 0 0 0 550 1 0 0 20 0 1 0 375949059 60526592 13853 33554432000 4194304 5654031 140736191799328 140736191797208 4232988 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15395/statm: 14777 13853 132 357 0 14417 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 79076
[startup+12.7004 s]
/proc/loadavg: 0.73 0.18 0.06 3/181 15395
/proc/meminfo: memFree=29724708/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=0.75 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 4693 12118 0 0 15 1 56 3 20 0 1 0 375948982 11079680 2274 33554432000 4194304 6004724 140733391279664 140733391265944 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2274 167 442 0 2259 0
[pid=15395] ppid=15390 vsize=77964 CPUtime=11.92 cores=0,2,4,6
/proc/15395/stat : 15395 (glucosInc) R 15390 15389 15254 0 -1 4202496 9290 0 0 0 1190 2 0 0 20 0 1 0 375949059 79835136 16369 33554432000 4194304 5654031 140736191799328 140736191797208 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15395/statm: 19491 16369 132 357 0 19131 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 97932
[startup+25.5004 s]
/proc/loadavg: 0.93 0.24 0.08 3/176 15402
/proc/meminfo: memFree=30209916/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=0.75 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 4693 12118 0 0 15 1 56 3 20 0 1 0 375948982 11079680 2274 33554432000 4194304 6004724 140733391279664 140733391265944 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2274 167 442 0 2259 0
[pid=15395] ppid=15390 vsize=77964 CPUtime=24.71 cores=0,2,4,6
/proc/15395/stat : 15395 (glucosInc) R 15390 15389 15254 0 -1 4202496 9675 0 0 0 2469 2 0 0 20 0 1 0 375949059 79835136 18798 33554432000 4194304 5654031 140736191799328 140736191797208 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15395/statm: 19491 18798 132 357 0 19131 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 97932
[startup+51.1004 s]
/proc/loadavg: 1.35 0.40 0.13 3/181 15462
/proc/meminfo: memFree=29845540/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=42.47 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 11408 77816 0 0 32 24 4167 24 20 0 1 0 375948982 11079680 2283 33554432000 4194304 6004724 140733391279664 140733391265512 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2283 176 442 0 2259 0
[pid=15462] ppid=15390 vsize=45432 CPUtime=8.58 cores=0,2,4,6
/proc/15462/stat : 15462 (glucosInc) R 15390 15389 15254 0 -1 4202496 7992 0 0 0 856 2 0 0 20 0 1 0 375953232 46522368 10809 33554432000 4194304 5654031 140734156434848 140734156422664 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15462/statm: 11358 10809 142 357 0 10998 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 65400
[startup+102.307 s]
/proc/loadavg: 1.78 0.68 0.24 3/181 15467
/proc/meminfo: memFree=29848640/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=89.01 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 12185 91247 0 0 33 24 8813 31 20 0 1 0 375948982 11079680 2283 33554432000 4194304 6004724 140733391279664 140733391265512 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2283 176 442 0 2259 0
[pid=15467] ppid=15390 vsize=45592 CPUtime=13.24 cores=0,2,4,6
/proc/15467/stat : 15467 (glucosInc) R 15390 15389 15254 0 -1 4202496 9852 0 0 0 1323 1 0 0 20 0 1 0 375957886 46686208 9484 33554432000 4194304 5654031 140733823030160 140733823017976 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15467/statm: 11398 9484 142 357 0 11038 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 65560
[startup+162.3 s]
/proc/loadavg: 1.91 0.90 0.34 3/181 15469
/proc/meminfo: memFree=29787840/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=108.19 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 12963 101885 0 0 35 25 10726 33 20 0 1 0 375948982 11079680 2283 33554432000 4194304 6004724 140733391279664 140733391265512 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2283 176 442 0 2259 0
[pid=15469] ppid=15390 vsize=87840 CPUtime=54.05 cores=0,2,4,6
/proc/15469/stat : 15469 (glucosInc) R 15390 15389 15254 0 -1 4202496 12694 0 0 0 5401 4 0 0 20 0 1 0 375959805 89948160 21411 33554432000 4194304 5654031 140734722963888 140734722951704 4232491 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15469/statm: 21960 21411 142 357 0 21600 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 107808
[startup+222.3 s]
/proc/loadavg: 1.97 1.11 0.45 3/181 15471
/proc/meminfo: memFree=29741168/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=108.19 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 12963 101885 0 0 35 25 10726 33 20 0 1 0 375948982 11079680 2283 33554432000 4194304 6004724 140733391279664 140733391265512 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2283 176 442 0 2259 0
[pid=15469] ppid=15390 vsize=137160 CPUtime=114.04 cores=0,2,4,6
/proc/15469/stat : 15469 (glucosInc) R 15390 15389 15254 0 -1 4202496 13356 0 0 0 11396 8 0 0 20 0 1 0 375959805 140451840 31763 33554432000 4194304 5654031 140734722963888 140734722951704 4216577 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15469/statm: 34290 31763 142 357 0 33930 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 157128
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 1.97 1.49 3/180 15506
/proc/meminfo: memFree=29320200/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=334.6 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 13741 120105 0 0 36 25 33347 52 20 0 1 0 375948982 11079680 2283 33554432000 4194304 6004724 140733391279664 140733391265512 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2283 176 442 0 2259 0
[pid=15473] ppid=15390 vsize=168008 CPUtime=967.45 cores=0,2,4,6
/proc/15473/stat : 15473 (glucosInc) R 15390 15389 15254 0 -1 4202496 47673 0 0 0 96669 76 0 0 20 0 1 0 375982450 172040192 40171 33554432000 4194304 5654031 140736212962048 140736212949864 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15473/statm: 42002 40171 142 357 0 41642 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 187976
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/181 15507
/proc/meminfo: memFree=29369012/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=334.6 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 13741 120105 0 0 36 25 33347 52 20 0 1 0 375948982 11079680 2283 33554432000 4194304 6004724 140733391279664 140733391265512 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2283 176 442 0 2259 0
[pid=15473] ppid=15390 vsize=218096 CPUtime=1027.43 cores=0,2,4,6
/proc/15473/stat : 15473 (glucosInc) R 15390 15389 15254 0 -1 4202496 50675 0 0 0 102663 80 0 0 20 0 1 0 375982450 223330304 45080 33554432000 4194304 5654031 140736212962048 140736212960136 4232611 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15473/statm: 54524 45080 142 357 0 54164 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 238064
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.55 3/181 15507
/proc/meminfo: memFree=29641080/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=334.6 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 13741 120105 0 0 36 25 33347 52 20 0 1 0 375948982 11079680 2283 33554432000 4194304 6004724 140733391279664 140733391265512 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2283 176 442 0 2259 0
[pid=15473] ppid=15390 vsize=218096 CPUtime=1087.43 cores=0,2,4,6
/proc/15473/stat : 15473 (glucosInc) R 15390 15389 15254 0 -1 4202496 52863 0 0 0 108659 84 0 0 20 0 1 0 375982450 223330304 44568 33554432000 4194304 5654031 140736212962048 140736212949864 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15473/statm: 54524 44568 142 357 0 54164 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 238064
[startup+1482.3 s]
/proc/loadavg: 2.04 1.99 1.58 3/181 15507
/proc/meminfo: memFree=29337056/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=334.6 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 13741 120105 0 0 36 25 33347 52 20 0 1 0 375948982 11079680 2283 33554432000 4194304 6004724 140733391279664 140733391265512 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2283 176 442 0 2259 0
[pid=15473] ppid=15390 vsize=218096 CPUtime=1147.42 cores=0,2,4,6
/proc/15473/stat : 15473 (glucosInc) R 15390 15389 15254 0 -1 4202496 54598 0 0 0 114654 88 0 0 20 0 1 0 375982450 223330304 48152 33554432000 4194304 5654031 140736212962048 140736212949864 4233226 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15473/statm: 54524 48152 142 357 0 54164 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 238064
[startup+1542.3 s]
/proc/loadavg: 2.01 1.99 1.60 3/181 15507
/proc/meminfo: memFree=29107712/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=334.6 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 13741 120105 0 0 36 25 33347 52 20 0 1 0 375948982 11079680 2283 33554432000 4194304 6004724 140733391279664 140733391265512 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2283 176 442 0 2259 0
[pid=15473] ppid=15390 vsize=237376 CPUtime=1207.39 cores=0,2,4,6
/proc/15473/stat : 15473 (glucosInc) R 15390 15389 15254 0 -1 4202496 56965 0 0 0 120647 92 0 0 20 0 1 0 375982450 243073024 52696 33554432000 4194304 5654031 140736212962048 140736212949864 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15473/statm: 59344 52696 142 357 0 58984 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 257344
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/182 15510
/proc/meminfo: memFree=29489148/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=334.6 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 13741 120105 0 0 36 25 33347 52 20 0 1 0 375948982 11079680 2283 33554432000 4194304 6004724 140733391279664 140733391265512 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2283 176 442 0 2259 0
[pid=15473] ppid=15390 vsize=330536 CPUtime=1267.38 cores=0,2,4,6
/proc/15473/stat : 15473 (glucosInc) R 15390 15389 15254 0 -1 4202496 60439 0 0 0 126640 98 0 0 20 0 1 0 375982450 338468864 62570 33554432000 4194304 5654031 140736212962048 140736212960136 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15473/statm: 82634 62570 142 357 0 82274 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 350504
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/181 15511
/proc/meminfo: memFree=29394272/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=334.6 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 13741 120105 0 0 36 25 33347 52 20 0 1 0 375948982 11079680 2283 33554432000 4194304 6004724 140733391279664 140733391265512 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2283 176 442 0 2259 0
[pid=15473] ppid=15390 vsize=249148 CPUtime=1327.37 cores=0,2,4,6
/proc/15473/stat : 15473 (glucosInc) R 15390 15389 15254 0 -1 4202496 62102 0 0 0 132635 102 0 0 20 0 1 0 375982450 255127552 60010 33554432000 4194304 5654031 140736212962048 140736212949864 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15473/statm: 62287 60010 142 357 0 61927 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 269116
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/181 15511
/proc/meminfo: memFree=29286524/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=334.6 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 13741 120105 0 0 36 25 33347 52 20 0 1 0 375948982 11079680 2283 33554432000 4194304 6004724 140733391279664 140733391265512 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2283 176 442 0 2259 0
[pid=15473] ppid=15390 vsize=249148 CPUtime=1387.36 cores=0,2,4,6
/proc/15473/stat : 15473 (glucosInc) R 15390 15389 15254 0 -1 4202496 64282 0 0 0 138631 105 0 0 20 0 1 0 375982450 255127552 60010 33554432000 4194304 5654031 140736212962048 140736212949864 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15473/statm: 62287 60010 142 357 0 61927 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 269116
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/181 15511
/proc/meminfo: memFree=29268952/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=334.6 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 13741 120105 0 0 36 25 33347 52 20 0 1 0 375948982 11079680 2283 33554432000 4194304 6004724 140733391279664 140733391265512 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2283 176 442 0 2259 0
[pid=15473] ppid=15390 vsize=249148 CPUtime=1447.35 cores=0,2,4,6
/proc/15473/stat : 15473 (glucosInc) R 15390 15389 15254 0 -1 4202496 66459 0 0 0 144625 110 0 0 20 0 1 0 375982450 255127552 53866 33554432000 4194304 5654031 140736212962048 140736212949864 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15473/statm: 62287 53866 142 357 0 61927 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 269116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 1.99 1.68 3/181 15511
/proc/meminfo: memFree=29224872/32873844 swapFree=7116/7116
[pid=15389] ppid=15387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15389/stat : 15389 (npSolver-pbo-It) S 15387 15389 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375948982 9367552 275 33554432000 4194304 5064252 140735536875984 140735536874896 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15389/statm: 2287 275 233 213 0 72 0
[pid=15390] ppid=15389 vsize=10820 CPUtime=334.6 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo) S 15389 15389 15254 0 -1 4202496 13741 120105 0 0 36 25 33347 52 20 0 1 0 375948982 11079680 2283 33554432000 4194304 6004724 140733391279664 140733391265512 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15390/statm: 2705 2283 176 442 0 2259 0
[pid=15473] ppid=15390 vsize=330536 CPUtime=1465.46 cores=0,2,4,6
/proc/15473/stat : 15473 (glucosInc) R 15390 15389 15254 0 -1 4202496 66989 0 0 0 146436 110 0 0 20 0 1 0 375982450 338468864 62570 33554432000 4194304 5654031 140736212962048 140736212960136 4215353 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15473/statm: 82634 62570 142 357 0 82274 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 350504
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15389 and gives
# childrusage.ru_utime.tv_sec=333
# childrusage.ru_utime.tv_usec=839248
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=778881
# CPU time returned by wait4() is 334.618
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1798.19
CPU system time (s): 1.87
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 350504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 333.839
system time used= 0.778881
maximum resident set size= 160088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134221
page faults= 0
swaps= 0
block input operations= 0
block output operations= 82536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1577
involuntary context switches= 519
runsolver used 3.42748 second user time and 9.1946 second system time
The end