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 [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: 41, 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.54 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.97/1.09 c formula is SAT
0.97/1.09 c [INC SEARCH] copied best model
0.97/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.18 c set iterative enc to: card
1.07/1.18 c set iterative enc to: none
1.07/1.18 c [INC SEARCH] isOptimum variable: 0
3.36/3.44 c formula is SAT
3.36/3.45 c [INC SEARCH] copied best model
3.36/3.45 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
3.46/3.50 c model valid
3.46/3.50 c current solution ok
3.46/3.50 o -33
3.46/3.50 c [INC SEARCH] iteration: 4
3.46/3.50 c [INC BOUNDS] best value:912 search for 911
3.46/3.50 c [INC SYSTEM] there exists a inc, kill it!
3.46/3.50 c write failed with 2
3.46/3.50 c [INC SYSTEM] create new solver instance
3.46/3.50 c [INC] encode full formula
3.46/3.50 c (debug) using card networks
3.46/3.50 c old isEQ: 240, new EQ is 0
3.46/3.53 c set iterative enc to: card
3.46/3.53 c set iterative enc to: none
3.46/3.53 c [INC SEARCH] isOptimum variable: 0
5.55/5.61 c formula is SAT
5.55/5.61 c [INC SEARCH] copied best model
5.55/5.62 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
5.55/5.67 c model valid
5.55/5.67 c current solution ok
5.55/5.67 o -34
5.55/5.67 c [INC SEARCH] iteration: 5
5.55/5.67 c [INC BOUNDS] best value:911 search for 910
5.55/5.67 c [INC SYSTEM] there exists a inc, kill it!
5.55/5.67 c write failed with 2
5.55/5.68 c [INC SYSTEM] create new solver instance
5.55/5.68 c [INC] encode full formula
5.55/5.68 c (debug) using card networks
5.55/5.68 c old isEQ: 240, new EQ is 0
5.66/5.70 c set iterative enc to: card
5.66/5.70 c set iterative enc to: none
5.66/5.70 c [INC SEARCH] isOptimum variable: 0
8.56/8.65 c formula is SAT
8.56/8.65 c [INC SEARCH] copied best model
8.67/8.73 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
8.67/8.73 c model valid
8.67/8.73 c current solution ok
8.67/8.73 o -35
8.67/8.73 c [INC SEARCH] iteration: 6
8.67/8.73 c [INC BOUNDS] best value:910 search for 909
8.67/8.73 c [INC SYSTEM] there exists a inc, kill it!
8.67/8.73 c write failed with 2
8.67/8.73 c [INC SYSTEM] create new solver instance
8.67/8.73 c [INC] encode full formula
8.67/8.73 c (debug) using card networks
8.67/8.73 c old isEQ: 240, new EQ is 0
8.67/8.73 c set iterative enc to: card
8.67/8.73 c set iterative enc to: none
8.67/8.74 c [INC SEARCH] isOptimum variable: 0
13.05/13.17 c formula is SAT
13.05/13.17 c [INC SEARCH] copied best model
13.05/13.17 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
13.15/13.23 c model valid
13.15/13.23 c current solution ok
13.15/13.23 o -36
13.15/13.23 c [INC SEARCH] iteration: 7
13.15/13.23 c [INC BOUNDS] best value:909 search for 908
13.15/13.23 c [INC SYSTEM] there exists a inc, kill it!
13.15/13.23 c write failed with 2
13.15/13.24 c [INC SYSTEM] create new solver instance
13.15/13.24 c [INC] encode full formula
13.15/13.24 c (debug) using card networks
13.15/13.24 c old isEQ: 240, new EQ is 0
13.15/13.26 c set iterative enc to: card
13.15/13.26 c set iterative enc to: none
13.15/13.27 c [INC SEARCH] isOptimum variable: 0
16.75/16.85 c formula is SAT
16.75/16.85 c [INC SEARCH] copied best model
16.75/16.85 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
16.84/16.91 c model valid
16.84/16.91 c current solution ok
16.84/16.91 o -37
16.84/16.91 c [INC SEARCH] iteration: 8
16.84/16.91 c [INC BOUNDS] best value:908 search for 907
16.84/16.91 c [INC SYSTEM] there exists a inc, kill it!
16.84/16.91 c write failed with 2
16.84/16.91 c [INC SYSTEM] create new solver instance
16.84/16.91 c [INC] encode full formula
16.84/16.91 c (debug) using card networks
16.84/16.91 c old isEQ: 240, new EQ is 0
16.84/16.93 c set iterative enc to: card
16.84/16.93 c set iterative enc to: none
16.84/16.94 c [INC SEARCH] isOptimum variable: 0
21.95/22.02 c formula is SAT
21.95/22.03 c [INC SEARCH] copied best model
21.95/22.03 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
21.95/22.08 c model valid
21.95/22.08 c current solution ok
21.95/22.08 o -38
21.95/22.08 c [INC SEARCH] iteration: 9
21.95/22.08 c [INC BOUNDS] best value:907 search for 906
21.95/22.08 c [INC SYSTEM] there exists a inc, kill it!
21.95/22.08 c write failed with 2
21.95/22.09 c [INC SYSTEM] create new solver instance
21.95/22.09 c [INC] encode full formula
21.95/22.09 c (debug) using card networks
21.95/22.09 c old isEQ: 240, new EQ is 0
22.05/22.11 c set iterative enc to: card
22.05/22.11 c set iterative enc to: none
22.05/22.12 c [INC SEARCH] isOptimum variable: 0
29.03/29.13 c formula is SAT
29.03/29.14 c [INC SEARCH] copied best model
29.03/29.14 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
29.14/29.20 c model valid
29.14/29.20 c current solution ok
29.14/29.20 o -39
29.14/29.20 c [INC SEARCH] iteration: 10
29.14/29.20 c [INC BOUNDS] best value:906 search for 905
29.14/29.20 c [INC SYSTEM] there exists a inc, kill it!
29.14/29.20 c write failed with 2
29.14/29.20 c [INC SYSTEM] create new solver instance
29.14/29.20 c [INC] encode full formula
29.14/29.20 c (debug) using card networks
29.14/29.20 c old isEQ: 240, new EQ is 0
29.14/29.22 c set iterative enc to: card
29.14/29.22 c set iterative enc to: none
29.14/29.23 c [INC SEARCH] isOptimum variable: 0
37.64/37.76 c formula is SAT
37.64/37.76 c [INC SEARCH] copied best model
37.64/37.76 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
37.74/37.82 c model valid
37.74/37.82 c current solution ok
37.74/37.82 o -40
37.74/37.82 c [INC SEARCH] iteration: 11
37.74/37.82 c [INC BOUNDS] best value:905 search for 904
37.74/37.82 c [INC SYSTEM] there exists a inc, kill it!
37.74/37.82 c write failed with 2
37.74/37.82 c [INC SYSTEM] create new solver instance
37.74/37.82 c [INC] encode full formula
37.74/37.82 c (debug) using card networks
37.74/37.82 c old isEQ: 240, new EQ is 0
37.74/37.85 c set iterative enc to: card
37.74/37.85 c set iterative enc to: none
37.74/37.85 c [INC SEARCH] isOptimum variable: 0
47.52/47.65 c formula is SAT
47.52/47.65 c [INC SEARCH] copied best model
47.52/47.65 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
47.62/47.71 c model valid
47.62/47.71 c current solution ok
47.62/47.71 o -41
47.62/47.71 c [INC SEARCH] iteration: 12
47.62/47.71 c [INC BOUNDS] best value:904 search for 903
47.62/47.71 c [INC SYSTEM] there exists a inc, kill it!
47.62/47.71 c write failed with 2
47.62/47.71 c [INC SYSTEM] create new solver instance
47.62/47.71 c [INC] encode full formula
47.62/47.71 c (debug) using card networks
47.62/47.71 c old isEQ: 240, new EQ is 0
47.62/47.73 c set iterative enc to: card
47.62/47.73 c set iterative enc to: none
47.62/47.74 c [INC SEARCH] isOptimum variable: 0
81.03/81.19 c formula is SAT
81.03/81.19 c [INC SEARCH] copied best model
81.03/81.19 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
81.13/81.25 c model valid
81.13/81.25 c current solution ok
81.13/81.25 o -42
81.13/81.25 c [INC SEARCH] iteration: 13
81.13/81.25 c [INC BOUNDS] best value:903 search for 902
81.13/81.25 c [INC SYSTEM] there exists a inc, kill it!
81.13/81.25 c write failed with 2
81.13/81.25 c [INC SYSTEM] create new solver instance
81.13/81.25 c [INC] encode full formula
81.13/81.25 c (debug) using card networks
81.13/81.25 c old isEQ: 240, new EQ is 0
81.13/81.27 c set iterative enc to: card
81.13/81.27 c set iterative enc to: none
81.13/81.28 c [INC SEARCH] isOptimum variable: 0
423.77/423.92 c formula is SAT
423.77/423.92 c [INC SEARCH] copied best model
423.77/423.92 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
423.77/423.98 c model valid
423.77/423.98 c current solution ok
423.77/423.98 o -43
423.77/423.98 c [INC SEARCH] iteration: 14
423.77/423.98 c [INC BOUNDS] best value:902 search for 901
423.77/423.98 c [INC SYSTEM] there exists a inc, kill it!
423.77/423.98 c write failed with 2
423.77/423.98 c [INC SYSTEM] create new solver instance
423.77/423.98 c [INC] encode full formula
423.77/423.98 c (debug) using card networks
423.77/423.98 c old isEQ: 240, new EQ is 0
423.87/424.00 c set iterative enc to: card
423.87/424.00 c set iterative enc to: none
423.87/424.01 c [INC SEARCH] isOptimum variable: 0
1342.50/1342.85 c formula is SAT
1342.50/1342.85 c [INC SEARCH] copied best model
1342.50/1342.85 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1342.60/1342.91 c model valid
1342.60/1342.91 c current solution ok
1342.60/1342.91 o -44
1342.60/1342.91 c [INC SEARCH] iteration: 15
1342.60/1342.91 c [INC BOUNDS] best value:901 search for 900
1342.60/1342.91 c [INC SYSTEM] there exists a inc, kill it!
1342.60/1342.91 c write failed with 2
1342.60/1342.91 c [INC SYSTEM] create new solver instance
1342.60/1342.91 c [INC] encode full formula
1342.60/1342.91 c (debug) using card networks
1342.60/1342.91 c old isEQ: 240, new EQ is 0
1342.60/1342.94 c set iterative enc to: card
1342.60/1342.94 c set iterative enc to: none
1342.60/1342.95 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-3747218-1339100025/watcher-3747218-1339100025 -o /tmp/evaluation-result-3747218-1339100025/solver-3747218-1339100025 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747218-1339100025.opb 941159086 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 1.97 1.69 3/178 30923
/proc/meminfo: memFree=29294292/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[startup+0.0241159 s]
/proc/loadavg: 2.00 1.97 1.69 3/178 30923
/proc/meminfo: memFree=29294292/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100286 s]
/proc/loadavg: 2.00 1.97 1.69 3/178 30923
/proc/meminfo: memFree=29294292/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300266 s]
/proc/loadavg: 2.00 1.97 1.69 3/178 30923
/proc/meminfo: memFree=29294292/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/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 1.97 1.69 3/178 30923
/proc/meminfo: memFree=29294292/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/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 1.97 1.69 4/181 30936
/proc/meminfo: memFree=29254132/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=1.17 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 12077 17886 0 0 48 11 54 4 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 32636
[startup+3.1004 s]
/proc/loadavg: 2.00 1.97 1.69 4/181 30938
/proc/meminfo: memFree=29252892/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=1.17 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 12077 17886 0 0 48 11 54 4 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30938] ppid=30924 vsize=20152 CPUtime=1.89 cores=1,3,5,7
/proc/30938/stat : 30938 (glucosInc) R 30924 30923 30697 0 -1 4202496 4244 0 0 0 189 0 0 0 20 0 1 0 376127601 20635648 4349 33554432000 4194304 5654031 140735767733456 140735767731224 4208659 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30938/statm: 5038 4349 140 357 0 4678 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 52788
[startup+6.30024 s]
/proc/loadavg: 2.00 1.97 1.69 4/181 30940
/proc/meminfo: memFree=29253816/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=5.68 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 14871 26977 0 0 64 12 485 7 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
Current children cumulated CPU time (s) 5.68
Current children cumulated vsize (KiB) 32636
[startup+12.7004 s]
/proc/loadavg: 2.00 1.97 1.69 4/181 30944
/proc/meminfo: memFree=29252096/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=8.7 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 16278 31662 0 0 72 12 778 8 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30944] ppid=30924 vsize=20632 CPUtime=3.94 cores=1,3,5,7
/proc/30944/stat : 30944 (glucosInc) R 30924 30923 30697 0 -1 4202496 5003 0 0 0 393 1 0 0 20 0 1 0 376128357 21127168 4203 33554432000 4194304 5654031 140734646388384 140734646376200 4232605 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30944/statm: 5158 4203 142 357 0 4798 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 53268
[startup+25.5004 s]
/proc/loadavg: 2.00 1.97 1.70 4/181 30950
/proc/meminfo: memFree=29251032/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=22.07 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 20459 49072 0 0 97 13 2082 15 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30950] ppid=30924 vsize=18760 CPUtime=3.37 cores=1,3,5,7
/proc/30950/stat : 30950 (glucosInc) R 30924 30923 30697 0 -1 4202496 4176 0 0 0 336 1 0 0 20 0 1 0 376129694 19210240 4017 33554432000 4194304 5654031 140735171099824 140735171087640 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30950/statm: 4690 4017 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.00 1.97 1.71 4/181 30956
/proc/meminfo: memFree=29250396/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=47.7 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 24660 71334 0 0 123 15 4610 22 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30956] ppid=30924 vsize=20472 CPUtime=3.35 cores=1,3,5,7
/proc/30956/stat : 30956 (glucosInc) R 30924 30923 30697 0 -1 4202496 4182 0 0 0 334 1 0 0 20 0 1 0 376132256 20963328 4341 33554432000 4194304 5654031 140736317462480 140736317450296 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30956/statm: 5118 4341 141 357 0 4758 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 53108
[startup+102.307 s]
/proc/loadavg: 2.07 1.99 1.73 4/181 30959
/proc/meminfo: memFree=29217516/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=81.22 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 26047 78646 0 0 131 15 7950 26 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30958] ppid=30924 vsize=37064 CPUtime=21.01 cores=1,3,5,7
/proc/30958/stat : 30958 (glucosInc) R 30924 30923 30697 0 -1 4202496 7619 0 0 0 2100 1 0 0 20 0 1 0 376135610 37953536 8685 33554432000 4194304 5654031 140737464341440 140737464329256 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30958/statm: 9266 8685 142 357 0 8906 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 69700
[startup+162.3 s]
/proc/loadavg: 2.02 1.99 1.74 4/181 30959
/proc/meminfo: memFree=29178852/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=81.22 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 26047 78646 0 0 131 15 7950 26 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30958] ppid=30924 vsize=58708 CPUtime=81 cores=1,3,5,7
/proc/30958/stat : 30958 (glucosInc) R 30924 30923 30697 0 -1 4202496 9472 0 0 0 8098 2 0 0 20 0 1 0 376135610 60116992 14112 33554432000 4194304 5654031 140737464341440 140737464339240 4232997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30958/statm: 14677 14112 142 357 0 14317 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 91344
[startup+222.3 s]
/proc/loadavg: 2.01 1.99 1.75 4/181 30959
/proc/meminfo: memFree=29164380/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=81.22 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 26047 78646 0 0 131 15 7950 26 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30958] ppid=30924 vsize=81984 CPUtime=140.98 cores=1,3,5,7
/proc/30958/stat : 30958 (glucosInc) R 30924 30923 30697 0 -1 4202496 10235 0 0 0 14095 3 0 0 20 0 1 0 376135610 83951616 19419 33554432000 4194304 5654031 140737464341440 140737464329256 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30958/statm: 20496 19419 142 357 0 20136 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 114620
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.76 4/181 30959
/proc/meminfo: memFree=29154140/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=81.22 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=29143212/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=423.89 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 27454 91348 0 0 139 16 42202 32 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30965] ppid=30924 vsize=112272 CPUtime=818.12 cores=1,3,5,7
/proc/30965/stat : 30965 (glucosInc) R 30924 30923 30697 0 -1 4202496 16614 0 0 0 81793 19 0 0 20 0 1 0 376169884 114966528 22884 33554432000 4194304 5654031 140734977547008 140734977534824 4215964 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30965/statm: 28068 22884 142 357 0 27708 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 144908
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.91 4/182 30972
/proc/meminfo: memFree=29096288/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=423.89 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 27454 91348 0 0 139 16 42202 32 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30965] ppid=30924 vsize=161592 CPUtime=878.13 cores=1,3,5,7
/proc/30965/stat : 30965 (glucosInc) R 30924 30923 30697 0 -1 4202496 17243 0 0 0 87792 21 0 0 20 0 1 0 376169884 165470208 34440 33554432000 4194304 5654031 140734977547008 140734977534824 4233176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30965/statm: 40398 34440 142 357 0 40038 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 194228
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/181 30975
/proc/meminfo: memFree=29198708/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=1342.66 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 28841 109437 0 0 147 17 134047 55 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30975] ppid=30924 vsize=37128 CPUtime=19.33 cores=1,3,5,7
/proc/30975/stat : 30975 (glucosInc) R 30924 30923 30697 0 -1 4202496 8707 0 0 0 1931 2 0 0 20 0 1 0 376261777 38019072 8464 33554432000 4194304 5654031 140737164217040 140737164204856 4215061 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30975/statm: 9282 8464 142 357 0 8922 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 69764
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 4/181 30975
/proc/meminfo: memFree=29160404/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=1342.66 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 28841 109437 0 0 147 17 134047 55 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30975] ppid=30924 vsize=63116 CPUtime=79.32 cores=1,3,5,7
/proc/30975/stat : 30975 (glucosInc) R 30924 30923 30697 0 -1 4202496 10949 0 0 0 7929 3 0 0 20 0 1 0 376261777 64630784 12506 33554432000 4194304 5654031 140737164217040 140737164204856 4232763 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30975/statm: 15779 12506 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 1.91 4/181 30975
/proc/meminfo: memFree=29136820/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=1342.66 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 28841 109437 0 0 147 17 134047 55 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30975] ppid=30924 vsize=81972 CPUtime=139.3 cores=1,3,5,7
/proc/30975/stat : 30975 (glucosInc) R 30924 30923 30697 0 -1 4202496 11702 0 0 0 13926 4 0 0 20 0 1 0 376261777 83939328 18200 33554432000 4194304 5654031 140737164217040 140737164204856 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30975/statm: 20493 18200 142 357 0 20133 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 114608
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/181 30975
/proc/meminfo: memFree=29153636/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=1342.66 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 28841 109437 0 0 147 17 134047 55 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30975] ppid=30924 vsize=81976 CPUtime=199.29 cores=1,3,5,7
/proc/30975/stat : 30975 (glucosInc) R 30924 30923 30697 0 -1 4202496 12378 0 0 0 19925 4 0 0 20 0 1 0 376261777 83943424 14044 33554432000 4194304 5654031 140737164217040 140737164204856 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30975/statm: 20494 14044 142 357 0 20134 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 114612
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.91 4/182 30978
/proc/meminfo: memFree=29118752/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=1342.66 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 28841 109437 0 0 147 17 134047 55 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30975] ppid=30924 vsize=94812 CPUtime=259.28 cores=1,3,5,7
/proc/30975/stat : 30975 (glucosInc) R 30924 30923 30697 0 -1 4202496 13258 0 0 0 25923 5 0 0 20 0 1 0 376261777 97087488 22746 33554432000 4194304 5654031 140737164217040 140737164204856 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30975/statm: 23703 22746 142 357 0 23343 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 127448
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.91 4/181 30979
/proc/meminfo: memFree=29116652/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=1342.66 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 28841 109437 0 0 147 17 134047 55 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30975] ppid=30924 vsize=94812 CPUtime=319.28 cores=1,3,5,7
/proc/30975/stat : 30975 (glucosInc) R 30924 30923 30697 0 -1 4202496 14752 0 0 0 31920 8 0 0 20 0 1 0 376261777 97087488 23138 33554432000 4194304 5654031 140737164217040 140737164215064 4232939 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30975/statm: 23703 23138 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 1.91 4/181 30979
/proc/meminfo: memFree=29116648/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=1342.66 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 28841 109437 0 0 147 17 134047 55 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30975] ppid=30924 vsize=94812 CPUtime=379.27 cores=1,3,5,7
/proc/30975/stat : 30975 (glucosInc) R 30924 30923 30697 0 -1 4202496 15574 0 0 0 37917 10 0 0 20 0 1 0 376261777 97087488 23138 33554432000 4194304 5654031 140737164217040 140737164215064 4233232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30975/statm: 23703 23138 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 1.91 3/181 31066
/proc/meminfo: memFree=29176144/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=1342.66 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 28841 109437 0 0 147 17 134047 55 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30975] ppid=30924 vsize=144132 CPUtime=439.25 cores=1,3,5,7
/proc/30975/stat : 30975 (glucosInc) R 30924 30923 30697 0 -1 4202496 16401 0 0 0 43913 12 0 0 20 0 1 0 376261777 147591168 32611 33554432000 4194304 5654031 140737164217040 140737164214968 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30975/statm: 36033 32611 142 357 0 35673 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 176768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 31066
/proc/meminfo: memFree=29137792/32873844 swapFree=7628/7628
[pid=30923] ppid=30921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30923/stat : 30923 (npSolver-pbo-It) S 30921 30923 30697 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376127482 9367552 275 33554432000 4194304 5064252 140737292256656 140737292255568 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30923/statm: 2287 275 233 213 0 72 0
[pid=30924] ppid=30923 vsize=23488 CPUtime=1342.66 cores=1,3,5,7
/proc/30924/stat : 30924 (npSolver-pbo) S 30923 30923 30697 0 -1 4202496 28841 109437 0 0 147 17 134047 55 20 0 1 0 376127482 24051712 5539 33554432000 4194304 6004724 140736396777392 140736396763240 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30924/statm: 5872 5539 175 442 0 5426 0
[pid=30975] ppid=30924 vsize=144132 CPUtime=457.36 cores=1,3,5,7
/proc/30975/stat : 30975 (glucosInc) R 30924 30923 30697 0 -1 4202496 16674 0 0 0 45723 13 0 0 20 0 1 0 376261777 147591168 31587 33554432000 4194304 5654031 140737164217040 140737164204856 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30975/statm: 36033 31587 142 357 0 35673 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 176768
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.05
CPU user time (s): 1799.19
CPU system time (s): 0.861868
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 194228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 0.861868
maximum resident set size= 139808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155334
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= 1231
involuntary context switches= 2140
runsolver used 2.91456 second user time and 8.5507 second system time
The end