0.00/0.20 c run inc solver
0.00/0.20 c [INC SYSTEM] run initial solver
0.00/0.20 c [INC SYSTEM] preprocess with white file
0.00/0.35 c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.35 c [INC SYSTEM] execute solver
0.00/0.36 c [INC SEARCH] formula is SAT
0.00/0.36 c [INC SYSTEM] solved the initial formula
0.00/0.45 c model valid
0.00/0.45 c current solution ok
0.00/0.57 o 0
0.00/0.57 c [INC SYSTEM] there exists a inc, kill it!
0.00/0.57 c write failed with 2
0.00/0.57 c [INC SEARCH] iteration: 0
0.00/0.57 c [INC BOUNDS] best value:1150 search for 1149
0.00/0.57 c [INC SYSTEM] create new solver instance
0.00/0.57 c [INC] encode full formula
0.00/0.57 c (debug) using card networks
0.00/0.57 c old isEQ: 41, new EQ is 0
0.00/0.63 c set iterative enc to: card
0.00/0.63 c set iterative enc to: none
0.00/0.64 c [INC SEARCH] isOptimum variable: 0
0.00/0.88 c formula is SAT
0.00/0.88 c [INC SEARCH] copied best model
0.00/0.88 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
0.00/0.97 c model valid
0.00/0.97 c current solution ok
0.00/0.97 o -29
0.00/0.97 c [INC SEARCH] iteration: 1
0.00/0.97 c [INC BOUNDS] best value:1121 search for 1120
0.00/0.97 c [INC SYSTEM] there exists a inc, kill it!
0.00/0.97 c write failed with 2
0.00/0.97 c [INC SYSTEM] create new solver instance
0.00/0.97 c [INC] encode full formula
0.00/0.97 c (debug) using card networks
0.00/0.97 c old isEQ: 126, new EQ is 0
0.98/1.02 c set iterative enc to: card
0.98/1.02 c set iterative enc to: none
0.98/1.03 c [INC SEARCH] isOptimum variable: 0
1.00/1.55 c formula is SAT
1.00/1.56 c [INC SEARCH] copied best model
1.00/1.56 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1.05/1.64 c model valid
1.05/1.64 c current solution ok
1.05/1.64 o -32
1.05/1.64 c [INC SEARCH] iteration: 2
1.05/1.64 c [INC BOUNDS] best value:1118 search for 1117
1.05/1.64 c [INC SYSTEM] there exists a inc, kill it!
1.05/1.64 c write failed with 2
1.05/1.64 c [INC SYSTEM] create new solver instance
1.05/1.64 c [INC] encode full formula
1.05/1.64 c (debug) using card networks
1.05/1.64 c old isEQ: 126, new EQ is 0
1.68/1.70 c set iterative enc to: card
1.68/1.70 c set iterative enc to: none
1.68/1.71 c [INC SEARCH] isOptimum variable: 0
2.68/2.70 c formula is SAT
2.68/2.70 c [INC SEARCH] copied best model
2.68/2.70 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
2.68/2.78 c model valid
2.68/2.78 c current solution ok
2.68/2.78 o -34
2.68/2.78 c [INC SEARCH] iteration: 3
2.68/2.78 c [INC BOUNDS] best value:1116 search for 1115
2.68/2.78 c [INC SYSTEM] there exists a inc, kill it!
2.68/2.78 c write failed with 2
2.68/2.79 c [INC SYSTEM] create new solver instance
2.68/2.79 c [INC] encode full formula
2.68/2.79 c (debug) using card networks
2.68/2.79 c old isEQ: 126, new EQ is 0
2.81/2.92 c set iterative enc to: card
2.81/2.92 c set iterative enc to: none
2.81/3.03 c [INC SEARCH] isOptimum variable: 0
5.79/6.00 c formula is SAT
5.79/6.00 c [INC SEARCH] copied best model
5.79/6.00 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
5.79/6.08 c model valid
5.79/6.08 c current solution ok
5.79/6.08 o -35
5.79/6.08 c [INC SEARCH] iteration: 4
5.79/6.08 c [INC BOUNDS] best value:1115 search for 1114
5.79/6.08 c [INC SYSTEM] there exists a inc, kill it!
5.79/6.08 c write failed with 2
5.79/6.09 c [INC SYSTEM] create new solver instance
5.79/6.09 c [INC] encode full formula
5.79/6.09 c (debug) using card networks
5.79/6.09 c old isEQ: 126, new EQ is 0
5.90/6.14 c set iterative enc to: card
5.90/6.14 c set iterative enc to: none
5.90/6.15 c [INC SEARCH] isOptimum variable: 0
9.98/10.29 c formula is SAT
10.08/10.30 c [INC SEARCH] copied best model
10.08/10.30 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
10.08/10.38 c model valid
10.08/10.38 c current solution ok
10.08/10.38 o -36
10.08/10.38 c [INC SEARCH] iteration: 5
10.08/10.38 c [INC BOUNDS] best value:1114 search for 1113
10.08/10.38 c [INC SYSTEM] there exists a inc, kill it!
10.08/10.38 c write failed with 2
10.08/10.38 c [INC SYSTEM] create new solver instance
10.08/10.38 c [INC] encode full formula
10.08/10.38 c (debug) using card networks
10.08/10.38 c old isEQ: 126, new EQ is 0
10.19/10.43 c set iterative enc to: card
10.19/10.43 c set iterative enc to: none
10.19/10.44 c [INC SEARCH] isOptimum variable: 0
12.98/13.24 c formula is SAT
12.98/13.25 c [INC SEARCH] copied best model
12.98/13.25 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
13.08/13.33 c model valid
13.08/13.33 c current solution ok
13.08/13.33 o -37
13.08/13.33 c [INC SEARCH] iteration: 6
13.08/13.33 c [INC BOUNDS] best value:1113 search for 1112
13.08/13.33 c [INC SYSTEM] there exists a inc, kill it!
13.08/13.33 c write failed with 2
13.08/13.33 c [INC SYSTEM] create new solver instance
13.08/13.33 c [INC] encode full formula
13.08/13.33 c (debug) using card networks
13.08/13.33 c old isEQ: 126, new EQ is 0
13.08/13.39 c set iterative enc to: card
13.08/13.39 c set iterative enc to: none
13.20/13.40 c [INC SEARCH] isOptimum variable: 0
16.89/17.18 c formula is SAT
16.89/17.19 c [INC SEARCH] copied best model
16.89/17.19 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
16.99/17.27 c model valid
16.99/17.27 c current solution ok
16.99/17.27 o -38
16.99/17.27 c [INC SEARCH] iteration: 7
16.99/17.27 c [INC BOUNDS] best value:1112 search for 1111
16.99/17.27 c [INC SYSTEM] there exists a inc, kill it!
16.99/17.27 c write failed with 2
16.99/17.27 c [INC SYSTEM] create new solver instance
16.99/17.27 c [INC] encode full formula
16.99/17.27 c (debug) using card networks
16.99/17.27 c old isEQ: 126, new EQ is 0
17.09/17.32 c set iterative enc to: card
17.09/17.32 c set iterative enc to: none
17.09/17.33 c [INC SEARCH] isOptimum variable: 0
25.10/25.32 c formula is SAT
25.10/25.32 c [INC SEARCH] copied best model
25.10/25.32 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
25.19/25.40 c model valid
25.19/25.40 c current solution ok
25.19/25.40 o -39
25.19/25.40 c [INC SEARCH] iteration: 8
25.19/25.40 c [INC BOUNDS] best value:1111 search for 1110
25.19/25.40 c [INC SYSTEM] there exists a inc, kill it!
25.19/25.40 c write failed with 2
25.19/25.40 c [INC SYSTEM] create new solver instance
25.19/25.40 c [INC] encode full formula
25.19/25.40 c (debug) using card networks
25.19/25.40 c old isEQ: 126, new EQ is 0
25.19/25.46 c set iterative enc to: card
25.19/25.46 c set iterative enc to: none
25.19/25.47 c [INC SEARCH] isOptimum variable: 0
34.98/35.21 c formula is SAT
34.98/35.22 c [INC SEARCH] copied best model
34.98/35.22 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
35.08/35.30 c model valid
35.08/35.30 c current solution ok
35.08/35.30 o -40
35.08/35.30 c [INC SEARCH] iteration: 9
35.08/35.30 c [INC BOUNDS] best value:1110 search for 1109
35.08/35.30 c [INC SYSTEM] there exists a inc, kill it!
35.08/35.30 c write failed with 2
35.08/35.30 c [INC SYSTEM] create new solver instance
35.08/35.30 c [INC] encode full formula
35.08/35.30 c (debug) using card networks
35.08/35.30 c old isEQ: 126, new EQ is 0
35.08/35.36 c set iterative enc to: card
35.08/35.36 c set iterative enc to: none
35.08/35.37 c [INC SEARCH] isOptimum variable: 0
45.47/45.70 c formula is SAT
45.47/45.70 c [INC SEARCH] copied best model
45.47/45.70 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
45.47/45.79 c model valid
45.47/45.79 c current solution ok
45.47/45.79 o -41
45.47/45.79 c [INC SEARCH] iteration: 10
45.47/45.79 c [INC BOUNDS] best value:1109 search for 1108
45.47/45.79 c [INC SYSTEM] there exists a inc, kill it!
45.47/45.79 c write failed with 2
45.47/45.79 c [INC SYSTEM] create new solver instance
45.47/45.79 c [INC] encode full formula
45.47/45.79 c (debug) using card networks
45.47/45.79 c old isEQ: 126, new EQ is 0
45.58/45.84 c set iterative enc to: card
45.58/45.84 c set iterative enc to: none
45.58/45.85 c [INC SEARCH] isOptimum variable: 0
61.08/61.33 c formula is SAT
61.08/61.33 c [INC SEARCH] copied best model
61.08/61.33 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
61.18/61.41 c model valid
61.18/61.41 c current solution ok
61.18/61.41 o -42
61.18/61.41 c [INC SEARCH] iteration: 11
61.18/61.41 c [INC BOUNDS] best value:1108 search for 1107
61.18/61.41 c [INC SYSTEM] there exists a inc, kill it!
61.18/61.41 c write failed with 2
61.18/61.42 c [INC SYSTEM] create new solver instance
61.18/61.42 c [INC] encode full formula
61.18/61.42 c (debug) using card networks
61.18/61.42 c old isEQ: 126, new EQ is 0
61.18/61.47 c set iterative enc to: card
61.18/61.47 c set iterative enc to: none
61.18/61.48 c [INC SEARCH] isOptimum variable: 0
79.47/79.77 c formula is SAT
79.47/79.77 c [INC SEARCH] copied best model
79.47/79.77 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
79.58/79.85 c model valid
79.58/79.85 c current solution ok
79.58/79.85 o -43
79.58/79.85 c [INC SEARCH] iteration: 12
79.58/79.85 c [INC BOUNDS] best value:1107 search for 1106
79.58/79.85 c [INC SYSTEM] there exists a inc, kill it!
79.58/79.85 c write failed with 2
79.58/79.86 c [INC SYSTEM] create new solver instance
79.58/79.86 c [INC] encode full formula
79.58/79.86 c (debug) using card networks
79.58/79.86 c old isEQ: 126, new EQ is 0
79.69/79.91 c set iterative enc to: card
79.69/79.91 c set iterative enc to: none
79.69/79.92 c [INC SEARCH] isOptimum variable: 0
95.17/95.43 c formula is SAT
95.17/95.44 c [INC SEARCH] copied best model
95.17/95.44 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
95.28/95.52 c model valid
95.28/95.52 c current solution ok
95.28/95.52 o -44
95.28/95.52 c [INC SEARCH] iteration: 13
95.28/95.52 c [INC BOUNDS] best value:1106 search for 1105
95.28/95.52 c [INC SYSTEM] there exists a inc, kill it!
95.28/95.52 c write failed with 2
95.28/95.52 c [INC SYSTEM] create new solver instance
95.28/95.52 c [INC] encode full formula
95.28/95.52 c (debug) using card networks
95.28/95.52 c old isEQ: 126, new EQ is 0
95.28/95.57 c set iterative enc to: card
95.28/95.57 c set iterative enc to: none
95.28/95.58 c [INC SEARCH] isOptimum variable: 0
129.35/129.66 c formula is SAT
129.35/129.67 c [INC SEARCH] copied best model
129.35/129.67 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
129.47/129.75 c model valid
129.47/129.75 c current solution ok
129.47/129.75 o -45
129.47/129.75 c [INC SEARCH] iteration: 14
129.47/129.75 c [INC BOUNDS] best value:1105 search for 1104
129.47/129.75 c [INC SYSTEM] there exists a inc, kill it!
129.47/129.75 c write failed with 2
129.47/129.75 c [INC SYSTEM] create new solver instance
129.47/129.75 c [INC] encode full formula
129.47/129.75 c (debug) using card networks
129.47/129.75 c old isEQ: 126, new EQ is 0
129.58/129.80 c set iterative enc to: card
129.58/129.80 c set iterative enc to: none
129.58/129.81 c [INC SEARCH] isOptimum variable: 0
208.05/208.31 c formula is SAT
208.05/208.32 c [INC SEARCH] copied best model
208.05/208.32 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
208.15/208.40 c model valid
208.15/208.40 c current solution ok
208.15/208.40 o -46
208.15/208.40 c [INC SEARCH] iteration: 15
208.15/208.40 c [INC BOUNDS] best value:1104 search for 1103
208.15/208.40 c [INC SYSTEM] there exists a inc, kill it!
208.15/208.40 c write failed with 2
208.15/208.40 c [INC SYSTEM] create new solver instance
208.15/208.40 c [INC] encode full formula
208.15/208.40 c (debug) using card networks
208.15/208.40 c old isEQ: 126, new EQ is 0
208.15/208.45 c set iterative enc to: card
208.15/208.45 c set iterative enc to: none
208.15/208.47 c [INC SEARCH] isOptimum variable: 0
298.63/298.93 c formula is SAT
298.63/298.94 c [INC SEARCH] copied best model
298.63/298.94 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
298.75/299.02 c model valid
298.75/299.02 c current solution ok
298.75/299.02 o -47
298.75/299.02 c [INC SEARCH] iteration: 16
298.75/299.02 c [INC BOUNDS] best value:1103 search for 1102
298.75/299.02 c [INC SYSTEM] there exists a inc, kill it!
298.75/299.02 c write failed with 2
298.75/299.02 c [INC SYSTEM] create new solver instance
298.75/299.02 c [INC] encode full formula
298.75/299.02 c (debug) using card networks
298.75/299.02 c old isEQ: 126, new EQ is 0
298.75/299.08 c set iterative enc to: card
298.75/299.08 c set iterative enc to: none
298.75/299.09 c [INC SEARCH] isOptimum variable: 0
1800.11/1800.61 c [INC SYSTEM] an unexpexted return value has been received, exit
1800.11/1800.61 s UNKNOWN
1800.11/1800.61 c [INC SYSTEM] there exists a inc, kill it!
1800.11/1800.61 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-3747221-1339100032/watcher-3747221-1339100032 -o /tmp/evaluation-result-3747221-1339100032/solver-3747221-1339100032 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747221-1339100032.opb 658677749 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 12182
/proc/meminfo: memFree=29463776/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[startup+0.0719059 s]
/proc/loadavg: 2.00 1.97 1.69 3/178 12182
/proc/meminfo: memFree=29463776/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100328 s]
/proc/loadavg: 2.00 1.97 1.69 3/178 12182
/proc/meminfo: memFree=29463776/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300306 s]
/proc/loadavg: 2.00 1.97 1.69 3/178 12182
/proc/meminfo: memFree=29463776/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700143 s]
/proc/loadavg: 2.00 1.97 1.69 3/178 12182
/proc/meminfo: memFree=29463776/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 2.00 1.97 1.69 3/180 12191
/proc/meminfo: memFree=29400508/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=1 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 12749 13859 0 0 48 13 36 3 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 66548
[startup+3.10021 s]
/proc/loadavg: 2.00 1.97 1.69 3/181 12195
/proc/meminfo: memFree=29366884/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=2.82 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 17493 31017 0 0 76 14 184 8 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 66548
[startup+6.30022 s]
/proc/loadavg: 2.00 1.97 1.69 3/181 12197
/proc/meminfo: memFree=29354184/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=5.95 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 19865 39686 0 0 90 16 479 10 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 66548
[startup+12.7004 s]
/proc/loadavg: 2.00 1.97 1.70 3/181 12201
/proc/meminfo: memFree=29333356/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=10.23 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 22237 48180 0 0 104 16 891 12 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
[pid=12201] ppid=12183 vsize=37924 CPUtime=2.23 cores=1,3,5,7
/proc/12201/stat : 12201 (glucosInc) R 12183 12182 11851 0 -1 4202496 8105 0 0 0 222 1 0 0 20 0 1 0 376131058 38834176 8106 33554432000 4194304 5654031 140736066003872 140736066001960 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12201/statm: 9481 8106 140 357 0 9121 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 104472
[startup+25.5002 s]
/proc/loadavg: 2.00 1.97 1.70 3/181 12205
/proc/meminfo: memFree=29276672/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=25.26 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 29353 74410 0 0 147 18 2341 20 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 66548
[startup+51.1004 s]
/proc/loadavg: 2.00 1.97 1.71 3/181 12274
/proc/meminfo: memFree=30266108/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=45.65 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 34097 96005 0 0 176 20 4343 26 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
[pid=12272] ppid=12183 vsize=38108 CPUtime=5.23 cores=1,3,5,7
/proc/12272/stat : 12272 (glucosInc) R 12183 12182 11851 0 -1 4202496 7987 0 0 0 522 1 0 0 20 0 1 0 376134599 39022592 8679 33554432000 4194304 5654031 140734540434672 140734540422488 4233204 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12272/statm: 9527 8679 140 357 0 9167 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 104656
[startup+102.307 s]
/proc/loadavg: 2.00 1.97 1.72 3/181 12285
/proc/meminfo: memFree=30267448/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=95.37 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 41213 132535 0 0 218 23 9260 36 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
[pid=12283] ppid=12183 vsize=35576 CPUtime=6.7 cores=1,3,5,7
/proc/12283/stat : 12283 (glucosInc) R 12183 12182 11851 0 -1 4202496 8977 0 0 0 669 1 0 0 20 0 1 0 376139572 36429824 8179 33554432000 4194304 5654031 140737274456048 140737274443864 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12283/statm: 8894 8179 142 357 0 8534 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 102124
[startup+162.3 s]
/proc/loadavg: 2.25 2.05 1.76 3/182 12328
/proc/meminfo: memFree=25507852/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=129.59 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 43585 144915 0 0 233 23 12663 40 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
[pid=12328] ppid=12183 vsize=47180 CPUtime=32.47 cores=1,3,5,7
/proc/12328/stat : 12328 (glucosInc) R 12183 12182 11851 0 -1 4202496 12701 0 0 0 3244 3 0 0 20 0 1 0 376142995 48312320 11173 33554432000 4194304 5654031 140733596730352 140733596718168 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12328/statm: 11795 11173 142 357 0 11435 0
Current children cumulated CPU time (s) 162.06
Current children cumulated vsize (KiB) 113728
[startup+222.3 s]
/proc/loadavg: 2.12 2.05 1.78 3/181 12332
/proc/meminfo: memFree=25738636/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=208.23 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 45957 158895 0 0 247 23 20508 45 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
[pid=12332] ppid=12183 vsize=42732 CPUtime=13.82 cores=1,3,5,7
/proc/12332/stat : 12332 (glucosInc) R 12183 12182 11851 0 -1 4202496 9770 0 0 0 1380 2 0 0 20 0 1 0 376150861 43757568 9638 33554432000 4194304 5654031 140736924821600 140736924809416 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12332/statm: 10683 9638 142 357 0 10323 0
Current children cumulated CPU time (s) 222.05
Current children cumulated vsize (KiB) 109280
[startup+282.3 s]
/proc/loadavg: 2.04 2.04 1.79 3/181 12332
/proc/meminfo: memFree=25646112/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=208.23 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 45957 158895 0 0 247 23 20508 45 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
[pid=12332] ppid=12183 vsize=73156 CPUtime=73.8 cores=1,3,5,7
/proc/12332/stat : 12332 (glucosInc) R 12183 12182 11851 0 -1 4202496 13491 0 0 0 7377 3 0 0 20 0 1 0 376150861 74911744 16774 33554432000 4194304 5654031 140736924821600 140736924809416 4233204 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12332/statm: 18289 16774 142 357 0 17929 0
Current children cumulated CPU time (s) 282.03
################
# More data... #
################
/proc/meminfo: memFree=25522316/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=298.83 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 48329 173264 0 0 261 24 29548 50 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
[pid=12334] ppid=12183 vsize=111584 CPUtime=943.05 cores=1,3,5,7
/proc/12334/stat : 12334 (glucosInc) R 12183 12182 11851 0 -1 4202496 35527 0 0 0 94273 32 0 0 20 0 1 0 376159923 114262016 27241 33554432000 4194304 5654031 140735292393248 140735292381064 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12334/statm: 27896 27241 142 357 0 27536 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 178132
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 12344
/proc/meminfo: memFree=25435024/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=298.83 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 48329 173264 0 0 261 24 29548 50 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
[pid=12334] ppid=12183 vsize=179856 CPUtime=1003.04 cores=1,3,5,7
/proc/12334/stat : 12334 (glucosInc) R 12183 12182 11851 0 -1 4202496 37290 0 0 0 100271 33 0 0 20 0 1 0 376159923 184172544 37607 33554432000 4194304 5654031 140735292393248 140735292391176 4214944 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12334/statm: 44964 37607 142 357 0 44604 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 246404
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 12345
/proc/meminfo: memFree=25394412/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=298.83 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 48329 173264 0 0 261 24 29548 50 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
[pid=12334] ppid=12183 vsize=142588 CPUtime=1063.03 cores=1,3,5,7
/proc/12334/stat : 12334 (glucosInc) R 12183 12182 11851 0 -1 4202496 39679 0 0 0 106267 36 0 0 20 0 1 0 376159923 146010112 34981 33554432000 4194304 5654031 140735292393248 140735292391272 4232833 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12334/statm: 35647 34981 142 357 0 35287 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 209136
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 12345
/proc/meminfo: memFree=25301836/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=298.83 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 48329 173264 0 0 261 24 29548 50 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
[pid=12334] ppid=12183 vsize=191908 CPUtime=1123.03 cores=1,3,5,7
/proc/12334/stat : 12334 (glucosInc) R 12183 12182 11851 0 -1 4202496 41287 0 0 0 112264 39 0 0 20 0 1 0 376159923 196513792 46729 33554432000 4194304 5654031 140735292393248 140735292381064 4232988 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12334/statm: 47977 46729 142 357 0 47617 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 258456
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 1.91 3/181 12345
/proc/meminfo: memFree=25513212/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=298.83 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 48329 173264 0 0 261 24 29548 50 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
[pid=12334] ppid=12183 vsize=142588 CPUtime=1183.01 cores=1,3,5,7
/proc/12334/stat : 12334 (glucosInc) R 12183 12182 11851 0 -1 4202496 42992 0 0 0 118260 41 0 0 20 0 1 0 376159923 146010112 34981 33554432000 4194304 5654031 140735292393248 140735292391272 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12334/statm: 35647 34981 142 357 0 35287 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 209136
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/181 12345
/proc/meminfo: memFree=25435812/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=298.83 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 48329 173264 0 0 261 24 29548 50 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
[pid=12334] ppid=12183 vsize=191908 CPUtime=1243 cores=1,3,5,7
/proc/12334/stat : 12334 (glucosInc) R 12183 12182 11851 0 -1 4202496 44596 0 0 0 124256 44 0 0 20 0 1 0 376159923 196513792 44681 33554432000 4194304 5654031 140735292393248 140735292381064 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12334/statm: 47977 44681 142 357 0 47617 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 258456
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/182 12348
/proc/meminfo: memFree=25381608/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=298.83 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 48329 173264 0 0 261 24 29548 50 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
[pid=12334] ppid=12183 vsize=222728 CPUtime=1303 cores=1,3,5,7
/proc/12334/stat : 12334 (glucosInc) R 12183 12182 11851 0 -1 4202496 46288 0 0 0 130253 47 0 0 20 0 1 0 376159923 228073472 49356 33554432000 4194304 5654031 140735292393248 140735292391336 4233173 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12334/statm: 55682 49356 142 357 0 55322 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 289276
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.92 3/181 12349
/proc/meminfo: memFree=25344860/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=298.83 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 48329 173264 0 0 261 24 29548 50 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
[pid=12334] ppid=12183 vsize=222728 CPUtime=1362.99 cores=1,3,5,7
/proc/12334/stat : 12334 (glucosInc) R 12183 12182 11851 0 -1 4202496 47395 0 0 0 136250 49 0 0 20 0 1 0 376159923 228073472 49868 33554432000 4194304 5654031 140735292393248 140735292391336 4232988 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12334/statm: 55682 49868 142 357 0 55322 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 289276
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/181 12349
/proc/meminfo: memFree=25373348/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=298.83 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 48329 173264 0 0 261 24 29548 50 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
[pid=12334] ppid=12183 vsize=142588 CPUtime=1422.98 cores=1,3,5,7
/proc/12334/stat : 12334 (glucosInc) R 12183 12182 11851 0 -1 4202496 48500 0 0 0 142247 51 0 0 20 0 1 0 376159923 146010112 34981 33554432000 4194304 5654031 140735292393248 140735292381064 4232994 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12334/statm: 35647 34981 142 357 0 35287 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 209136
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 12349
/proc/meminfo: memFree=25299916/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=298.83 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 48329 173264 0 0 261 24 29548 50 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
[pid=12334] ppid=12183 vsize=191908 CPUtime=1482.97 cores=1,3,5,7
/proc/12334/stat : 12334 (glucosInc) R 12183 12182 11851 0 -1 4202496 50100 0 0 0 148244 53 0 0 20 0 1 0 376159923 196513792 43145 33554432000 4194304 5654031 140735292393248 140735292391176 4232784 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12334/statm: 47977 43145 142 357 0 47617 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 258456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 12349
/proc/meminfo: memFree=25275184/32873648 swapFree=7372/7372
[pid=12182] ppid=12180 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (npSolver-pbo-It) S 12180 12182 11851 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376130014 9367552 275 33554432000 4194304 5064252 140733556695984 140733556694896 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12182/statm: 2287 275 233 213 0 72 0
[pid=12183] ppid=12182 vsize=57400 CPUtime=298.83 cores=1,3,5,7
/proc/12183/stat : 12183 (npSolver-pbo) S 12182 12182 11851 0 -1 4202496 48329 173264 0 0 261 24 29548 50 20 0 1 0 376130014 58777600 14016 33554432000 4194304 6004724 140736946141152 140736946127000 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12183/statm: 14350 14016 175 442 0 13904 0
[pid=12334] ppid=12183 vsize=191908 CPUtime=1501.28 cores=1,3,5,7
/proc/12334/stat : 12334 (glucosInc) R 12183 12182 11851 0 -1 4202496 50107 0 0 0 150075 53 0 0 20 0 1 0 376159923 196513792 46729 33554432000 4194304 5654031 140735292393248 140735292381064 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12334/statm: 47977 46729 142 357 0 47617 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 258456
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.62
CPU time (s): 1800.15
CPU user time (s): 1798.86
CPU system time (s): 1.2898
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 289276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.2898
maximum resident set size= 207664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272083
page faults= 0
swaps= 0
block input operations= 0
block output operations= 142312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3170
involuntary context switches= 2402
runsolver used 5.72413 second user time and 20.3889 second system time
The end