0.00/0.27 c run inc solver
0.00/0.27 c [INC SYSTEM] run initial solver
0.00/0.27 c [INC SYSTEM] preprocess with white file
0.00/0.47 c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.47 c [INC SYSTEM] execute solver
0.00/0.49 c [INC SEARCH] formula is SAT
0.00/0.49 c [INC SYSTEM] solved the initial formula
0.00/0.60 c model valid
0.00/0.60 c current solution ok
0.00/0.76 o 0
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 SEARCH] iteration: 0
0.00/0.76 c [INC BOUNDS] best value:1400 search for 1399
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: 41, new EQ is 0
0.00/0.82 c set iterative enc to: card
0.00/0.82 c set iterative enc to: none
0.00/0.83 c [INC SEARCH] isOptimum variable: 0
1.16/1.26 c formula is SAT
1.16/1.27 c [INC SEARCH] copied best model
1.16/1.27 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1.27/1.38 c model valid
1.27/1.38 c current solution ok
1.27/1.38 o -36
1.27/1.38 c [INC SEARCH] iteration: 1
1.27/1.38 c [INC BOUNDS] best value:1364 search for 1363
1.27/1.38 c [INC SYSTEM] there exists a inc, kill it!
1.27/1.38 c write failed with 2
1.27/1.38 c [INC SYSTEM] create new solver instance
1.27/1.38 c [INC] encode full formula
1.27/1.38 c (debug) using card networks
1.27/1.38 c old isEQ: 192, new EQ is 0
1.37/1.43 c set iterative enc to: card
1.37/1.43 c set iterative enc to: none
1.37/1.44 c [INC SEARCH] isOptimum variable: 0
3.46/3.57 c formula is SAT
3.46/3.57 c [INC SEARCH] copied best model
3.46/3.57 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
3.56/3.68 c model valid
3.56/3.68 c current solution ok
3.56/3.68 o -37
3.56/3.68 c [INC SEARCH] iteration: 2
3.56/3.68 c [INC BOUNDS] best value:1363 search for 1362
3.56/3.68 c [INC SYSTEM] there exists a inc, kill it!
3.56/3.68 c write failed with 2
3.72/3.82 c [INC SYSTEM] create new solver instance
3.72/3.82 c [INC] encode full formula
3.72/3.82 c (debug) using card networks
3.72/3.82 c old isEQ: 224, new EQ is 0
3.72/3.82 c set iterative enc to: card
3.72/3.82 c set iterative enc to: none
3.72/4.13 c [INC SEARCH] isOptimum variable: 0
6.39/6.86 c formula is SAT
6.39/6.86 c [INC SEARCH] copied best model
6.39/6.86 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
6.50/6.97 c model valid
6.50/6.97 c current solution ok
6.50/6.97 o -40
6.50/6.97 c [INC SEARCH] iteration: 3
6.50/6.97 c [INC BOUNDS] best value:1360 search for 1359
6.50/6.97 c [INC SYSTEM] there exists a inc, kill it!
6.50/6.97 c write failed with 2
6.50/6.97 c [INC SYSTEM] create new solver instance
6.50/6.97 c [INC] encode full formula
6.50/6.97 c (debug) using card networks
6.50/6.97 c old isEQ: 224, new EQ is 0
6.60/7.03 c set iterative enc to: card
6.60/7.03 c set iterative enc to: none
6.60/7.04 c [INC SEARCH] isOptimum variable: 0
14.10/14.52 c formula is SAT
14.10/14.53 c [INC SEARCH] copied best model
14.10/14.53 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
14.20/14.64 c model valid
14.20/14.64 c current solution ok
14.20/14.64 o -41
14.20/14.64 c [INC SEARCH] iteration: 4
14.20/14.64 c [INC BOUNDS] best value:1359 search for 1358
14.20/14.64 c [INC SYSTEM] there exists a inc, kill it!
14.20/14.64 c write failed with 2
14.20/14.64 c [INC SYSTEM] create new solver instance
14.20/14.64 c [INC] encode full formula
14.20/14.64 c (debug) using card networks
14.20/14.64 c old isEQ: 224, new EQ is 0
14.20/14.69 c set iterative enc to: card
14.20/14.69 c set iterative enc to: none
14.30/14.70 c [INC SEARCH] isOptimum variable: 0
23.98/24.45 c formula is SAT
23.98/24.45 c [INC SEARCH] copied best model
23.98/24.45 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
24.08/24.56 c model valid
24.08/24.56 c current solution ok
24.08/24.56 o -42
24.08/24.56 c [INC SEARCH] iteration: 5
24.08/24.56 c [INC BOUNDS] best value:1358 search for 1357
24.08/24.56 c [INC SYSTEM] there exists a inc, kill it!
24.08/24.56 c write failed with 2
24.08/24.57 c [INC SYSTEM] create new solver instance
24.08/24.57 c [INC] encode full formula
24.08/24.57 c (debug) using card networks
24.08/24.57 c old isEQ: 224, new EQ is 0
24.20/24.62 c set iterative enc to: card
24.20/24.62 c set iterative enc to: none
24.20/24.63 c [INC SEARCH] isOptimum variable: 0
33.96/34.42 c formula is SAT
33.96/34.43 c [INC SEARCH] copied best model
33.96/34.43 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
34.07/34.54 c model valid
34.07/34.54 c current solution ok
34.07/34.54 o -43
34.07/34.54 c [INC SEARCH] iteration: 6
34.07/34.54 c [INC BOUNDS] best value:1357 search for 1356
34.07/34.54 c [INC SYSTEM] there exists a inc, kill it!
34.07/34.54 c write failed with 2
34.07/34.54 c [INC SYSTEM] create new solver instance
34.07/34.54 c [INC] encode full formula
34.07/34.54 c (debug) using card networks
34.07/34.54 c old isEQ: 224, new EQ is 0
34.07/34.59 c set iterative enc to: card
34.07/34.59 c set iterative enc to: none
34.19/34.60 c [INC SEARCH] isOptimum variable: 0
44.77/45.21 c formula is SAT
44.77/45.21 c [INC SEARCH] copied best model
44.77/45.21 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
44.87/45.32 c model valid
44.87/45.32 c current solution ok
44.87/45.32 o -45
44.87/45.32 c [INC SEARCH] iteration: 7
44.87/45.32 c [INC BOUNDS] best value:1355 search for 1354
44.87/45.32 c [INC SYSTEM] there exists a inc, kill it!
44.87/45.32 c write failed with 2
44.87/45.32 c [INC SYSTEM] create new solver instance
44.87/45.32 c [INC] encode full formula
44.87/45.32 c (debug) using card networks
44.87/45.32 c old isEQ: 224, new EQ is 0
44.87/45.38 c set iterative enc to: card
44.87/45.38 c set iterative enc to: none
44.87/45.39 c [INC SEARCH] isOptimum variable: 0
58.46/58.93 c formula is SAT
58.46/58.94 c [INC SEARCH] copied best model
58.46/58.94 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
58.57/59.05 c model valid
58.57/59.05 c current solution ok
58.57/59.05 o -46
58.57/59.05 c [INC SEARCH] iteration: 8
58.57/59.05 c [INC BOUNDS] best value:1354 search for 1353
58.57/59.05 c [INC SYSTEM] there exists a inc, kill it!
58.57/59.05 c write failed with 2
58.57/59.05 c [INC SYSTEM] create new solver instance
58.57/59.05 c [INC] encode full formula
58.57/59.05 c (debug) using card networks
58.57/59.05 c old isEQ: 224, new EQ is 0
58.68/59.10 c set iterative enc to: card
58.68/59.10 c set iterative enc to: none
58.68/59.11 c [INC SEARCH] isOptimum variable: 0
79.05/79.57 c formula is SAT
79.05/79.57 c [INC SEARCH] copied best model
79.05/79.57 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
79.16/79.68 c model valid
79.16/79.68 c current solution ok
79.16/79.68 o -47
79.16/79.68 c [INC SEARCH] iteration: 9
79.16/79.68 c [INC BOUNDS] best value:1353 search for 1352
79.16/79.68 c [INC SYSTEM] there exists a inc, kill it!
79.16/79.68 c write failed with 2
79.16/79.68 c [INC SYSTEM] create new solver instance
79.16/79.68 c [INC] encode full formula
79.16/79.68 c (debug) using card networks
79.16/79.68 c old isEQ: 224, new EQ is 0
79.27/79.74 c set iterative enc to: card
79.27/79.74 c set iterative enc to: none
79.27/79.75 c [INC SEARCH] isOptimum variable: 0
96.93/97.47 c formula is SAT
96.93/97.48 c [INC SEARCH] copied best model
96.93/97.48 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
97.04/97.59 c model valid
97.04/97.59 c current solution ok
97.04/97.59 o -48
97.04/97.59 c [INC SEARCH] iteration: 10
97.04/97.59 c [INC BOUNDS] best value:1352 search for 1351
97.04/97.59 c [INC SYSTEM] there exists a inc, kill it!
97.04/97.59 c write failed with 2
97.04/97.59 c [INC SYSTEM] create new solver instance
97.04/97.59 c [INC] encode full formula
97.04/97.59 c (debug) using card networks
97.04/97.59 c old isEQ: 224, new EQ is 0
97.16/97.64 c set iterative enc to: card
97.16/97.64 c set iterative enc to: none
97.16/97.65 c [INC SEARCH] isOptimum variable: 0
126.24/126.73 c formula is SAT
126.24/126.73 c [INC SEARCH] copied best model
126.24/126.73 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
126.35/126.84 c model valid
126.35/126.84 c current solution ok
126.35/126.84 o -49
126.35/126.84 c [INC SEARCH] iteration: 11
126.35/126.84 c [INC BOUNDS] best value:1351 search for 1350
126.35/126.84 c [INC SYSTEM] there exists a inc, kill it!
126.35/126.84 c write failed with 2
126.35/126.84 c [INC SYSTEM] create new solver instance
126.35/126.84 c [INC] encode full formula
126.35/126.84 c (debug) using card networks
126.35/126.84 c old isEQ: 224, new EQ is 0
126.45/126.90 c set iterative enc to: card
126.45/126.90 c set iterative enc to: none
126.45/126.91 c [INC SEARCH] isOptimum variable: 0
156.91/157.45 c formula is SAT
156.91/157.46 c [INC SEARCH] copied best model
156.91/157.46 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
157.01/157.57 c model valid
157.01/157.57 c current solution ok
157.01/157.57 o -50
157.01/157.57 c [INC SEARCH] iteration: 12
157.01/157.57 c [INC BOUNDS] best value:1350 search for 1349
157.01/157.57 c [INC SYSTEM] there exists a inc, kill it!
157.01/157.57 c write failed with 2
157.01/157.57 c [INC SYSTEM] create new solver instance
157.01/157.57 c [INC] encode full formula
157.01/157.57 c (debug) using card networks
157.01/157.57 c old isEQ: 224, new EQ is 0
157.12/157.62 c set iterative enc to: card
157.12/157.62 c set iterative enc to: none
157.12/157.63 c [INC SEARCH] isOptimum variable: 0
187.30/187.88 c formula is SAT
187.30/187.89 c [INC SEARCH] copied best model
187.30/187.89 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
187.39/188.00 c model valid
187.39/188.00 c current solution ok
187.39/188.00 o -51
187.39/188.00 c [INC SEARCH] iteration: 13
187.39/188.00 c [INC BOUNDS] best value:1349 search for 1348
187.39/188.00 c [INC SYSTEM] there exists a inc, kill it!
187.39/188.00 c write failed with 2
187.39/188.00 c [INC SYSTEM] create new solver instance
187.39/188.00 c [INC] encode full formula
187.39/188.00 c (debug) using card networks
187.39/188.00 c old isEQ: 224, new EQ is 0
187.52/188.05 c set iterative enc to: card
187.52/188.05 c set iterative enc to: none
187.52/188.07 c [INC SEARCH] isOptimum variable: 0
217.87/218.42 c formula is SAT
217.87/218.42 c [INC SEARCH] copied best model
217.87/218.42 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
217.97/218.53 c model valid
217.97/218.53 c current solution ok
217.97/218.53 o -52
217.97/218.53 c [INC SEARCH] iteration: 14
217.97/218.53 c [INC BOUNDS] best value:1348 search for 1347
217.97/218.53 c [INC SYSTEM] there exists a inc, kill it!
217.97/218.53 c write failed with 2
217.97/218.53 c [INC SYSTEM] create new solver instance
217.97/218.53 c [INC] encode full formula
217.97/218.53 c (debug) using card networks
217.97/218.53 c old isEQ: 224, new EQ is 0
217.97/218.59 c set iterative enc to: card
217.97/218.59 c set iterative enc to: none
218.10/218.60 c [INC SEARCH] isOptimum variable: 0
341.47/342.01 c formula is SAT
341.47/342.01 c [INC SEARCH] copied best model
341.47/342.01 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
341.56/342.12 c model valid
341.56/342.12 c current solution ok
341.56/342.12 o -53
341.56/342.12 c [INC SEARCH] iteration: 15
341.56/342.12 c [INC BOUNDS] best value:1347 search for 1346
341.56/342.12 c [INC SYSTEM] there exists a inc, kill it!
341.56/342.12 c write failed with 2
341.56/342.12 c [INC SYSTEM] create new solver instance
341.56/342.12 c [INC] encode full formula
341.56/342.12 c (debug) using card networks
341.56/342.12 c old isEQ: 224, new EQ is 0
341.56/342.18 c set iterative enc to: card
341.56/342.18 c set iterative enc to: none
341.56/342.19 c [INC SEARCH] isOptimum variable: 0
1800.02/1800.80 c [INC SYSTEM] an unexpexted return value has been received, exit
1800.02/1800.80 s UNKNOWN
1800.02/1800.80 c [INC SYSTEM] there exists a inc, kill it!
1800.02/1800.80 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-3747229-1339100011/watcher-3747229-1339100011 -o /tmp/evaluation-result-3747229-1339100011/solver-3747229-1339100011 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747229-1339100011.opb 1111146102 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.99 1.68 3/178 9731
/proc/meminfo: memFree=27902420/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[startup+0.0163501 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 9731
/proc/meminfo: memFree=27902420/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100223 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 9731
/proc/meminfo: memFree=27902420/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300228 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 9731
/proc/meminfo: memFree=27902420/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700118 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 9731
/proc/meminfo: memFree=27902420/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/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.99 1.68 3/181 9742
/proc/meminfo: memFree=27798920/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=1.42 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 15481 14755 0 0 61 16 61 4 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 76288
[startup+3.10032 s]
/proc/loadavg: 2.00 1.99 1.68 3/181 9744
/proc/meminfo: memFree=27797928/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=1.42 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 15481 14755 0 0 61 16 61 4 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9744] ppid=9732 vsize=39068 CPUtime=1.64 cores=1,3,5,7
/proc/9744/stat : 9744 (glucosInc) R 9732 9731 9300 0 -1 4202496 8417 0 0 0 163 1 0 0 20 0 1 0 376127040 40005632 8357 33554432000 4194304 5654031 140735329138640 140735329136408 4232438 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9744/statm: 9767 8357 131 357 0 9407 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 115356
[startup+6.30027 s]
/proc/loadavg: 2.00 1.99 1.69 3/181 9748
/proc/meminfo: memFree=27798260/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=3.73 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 18137 23728 0 0 78 17 272 6 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9748] ppid=9732 vsize=39204 CPUtime=2.16 cores=1,3,5,7
/proc/9748/stat : 9748 (glucosInc) R 9732 9731 9300 0 -1 4202496 8515 0 0 0 215 1 0 0 20 0 1 0 376127308 40144896 8387 33554432000 4194304 5654031 140737466687328 140737466685096 4208659 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9748/statm: 9801 8387 131 357 0 9441 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 115492
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.69 3/181 9754
/proc/meminfo: memFree=27796224/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=6.65 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 20793 32799 0 0 95 18 544 8 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9752] ppid=9732 vsize=39036 CPUtime=5.65 cores=1,3,5,7
/proc/9752/stat : 9752 (glucosInc) R 9732 9731 9300 0 -1 4202496 7682 0 0 0 564 1 0 0 20 0 1 0 376127599 39972864 8499 33554432000 4194304 5654031 140733920119584 140733920117352 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9752/statm: 9759 8499 140 357 0 9399 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 115324
[startup+25.5004 s]
/proc/loadavg: 2.00 1.99 1.69 3/181 9762
/proc/meminfo: memFree=27799284/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=24.22 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 26105 50746 0 0 129 19 2261 13 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9762] ppid=9732 vsize=39104 CPUtime=0.85 cores=1,3,5,7
/proc/9762/stat : 9762 (glucosInc) R 9732 9731 9300 0 -1 4202496 8390 0 0 0 83 2 0 0 20 0 1 0 376129359 40042496 8340 33554432000 4194304 5654031 140735082182576 140735082180344 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9762/statm: 9776 8340 131 357 0 9416 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 115392
[startup+51.1003 s]
/proc/loadavg: 2.00 1.99 1.70 3/181 9768
/proc/meminfo: memFree=27781440/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=44.97 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 31417 70147 0 0 163 21 4293 20 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9768] ppid=9732 vsize=39212 CPUtime=5.69 cores=1,3,5,7
/proc/9768/stat : 9768 (glucosInc) R 9732 9731 9300 0 -1 4202496 8644 0 0 0 568 1 0 0 20 0 1 0 376131434 40153088 8550 33554432000 4194304 5654031 140737191347056 140737191334872 4214505 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9768/statm: 9803 8550 140 357 0 9443 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 115500
[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.71 3/181 9774
/proc/meminfo: memFree=27759532/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=97.21 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 39385 103793 0 0 214 23 9454 30 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9774] ppid=9732 vsize=39004 CPUtime=4.64 cores=1,3,5,7
/proc/9774/stat : 9774 (glucosInc) R 9732 9731 9300 0 -1 4202496 8523 0 0 0 463 1 0 0 20 0 1 0 376136661 39940096 8468 33554432000 4194304 5654031 140737451447296 140737451435112 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9774/statm: 9751 8468 140 357 0 9391 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 115292
[startup+162.3 s]
/proc/loadavg: 2.03 2.00 1.73 3/181 9781
/proc/meminfo: memFree=27787152/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=157.17 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 44697 128705 0 0 249 24 15404 40 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9781] ppid=9732 vsize=39060 CPUtime=4.64 cores=1,3,5,7
/proc/9781/stat : 9781 (glucosInc) R 9732 9731 9300 0 -1 4202496 8614 0 0 0 463 1 0 0 20 0 1 0 376142659 39997440 8481 33554432000 4194304 5654031 140736815258032 140736815245848 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9781/statm: 9765 8481 140 357 0 9405 0
Current children cumulated CPU time (s) 161.81
Current children cumulated vsize (KiB) 115348
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 1.75 3/181 9785
/proc/meminfo: memFree=27762648/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=218.1 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 50009 153286 0 0 283 26 21452 49 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9785] ppid=9732 vsize=39052 CPUtime=3.69 cores=1,3,5,7
/proc/9785/stat : 9785 (glucosInc) R 9732 9731 9300 0 -1 4202496 7626 0 0 0 368 1 0 0 20 0 1 0 376148755 39989248 8448 33554432000 4194304 5654031 140736497294688 140736497282504 4232386 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9785/statm: 9763 8448 140 357 0 9403 0
Current children cumulated CPU time (s) 221.79
Current children cumulated vsize (KiB) 115340
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/181 9785
/proc/meminfo: memFree=27713312/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=22870064/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=341.65 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 52665 168213 0 0 299 27 33785 54 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9869] ppid=9732 vsize=169260 CPUtime=899.94 cores=1,3,5,7
/proc/9869/stat : 9869 (glucosInc) R 9732 9731 9300 0 -1 4202496 22981 0 0 0 89964 30 0 0 20 0 1 0 376161114 173322240 37223 33554432000 4194304 5654031 140735307866256 140735307864184 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9869/statm: 42315 37223 142 357 0 41955 0
Current children cumulated CPU time (s) 1241.59
Current children cumulated vsize (KiB) 245548
[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 1.91 3/181 9884
/proc/meminfo: memFree=22854504/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=341.65 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 52665 168213 0 0 299 27 33785 54 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9869] ppid=9732 vsize=135540 CPUtime=959.94 cores=1,3,5,7
/proc/9869/stat : 9869 (glucosInc) R 9732 9731 9300 0 -1 4202496 24803 0 0 0 95961 33 0 0 20 0 1 0 376161114 138792960 30986 33554432000 4194304 5654031 140735307866256 140735307854072 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9869/statm: 33885 30986 142 357 0 33525 0
Current children cumulated CPU time (s) 1301.59
Current children cumulated vsize (KiB) 211828
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/181 9885
/proc/meminfo: memFree=22774784/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=341.65 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 52665 168213 0 0 299 27 33785 54 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9869] ppid=9732 vsize=184860 CPUtime=1019.92 cores=1,3,5,7
/proc/9869/stat : 9869 (glucosInc) R 9732 9731 9300 0 -1 4202496 25951 0 0 0 101956 36 0 0 20 0 1 0 376161114 189296640 42158 33554432000 4194304 5654031 140735307866256 140735307864184 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9869/statm: 46215 42158 142 357 0 45855 0
Current children cumulated CPU time (s) 1361.57
Current children cumulated vsize (KiB) 261148
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 9885
/proc/meminfo: memFree=22917368/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=341.65 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 52665 168213 0 0 299 27 33785 54 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9869] ppid=9732 vsize=184860 CPUtime=1079.92 cores=1,3,5,7
/proc/9869/stat : 9869 (glucosInc) R 9732 9731 9300 0 -1 4202496 26662 0 0 0 107954 38 0 0 20 0 1 0 376161114 189296640 44718 33554432000 4194304 5654031 140735307866256 140735307864184 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9869/statm: 46215 44718 142 357 0 45855 0
Current children cumulated CPU time (s) 1421.57
Current children cumulated vsize (KiB) 261148
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 9885
/proc/meminfo: memFree=22863704/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=341.65 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 52665 168213 0 0 299 27 33785 54 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9869] ppid=9732 vsize=215680 CPUtime=1139.91 cores=1,3,5,7
/proc/9869/stat : 9869 (glucosInc) R 9732 9731 9300 0 -1 4202496 27970 0 0 0 113950 41 0 0 20 0 1 0 376161114 220856320 46321 33554432000 4194304 5654031 140735307866256 140735307864344 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9869/statm: 53920 46321 142 357 0 53560 0
Current children cumulated CPU time (s) 1481.56
Current children cumulated vsize (KiB) 291968
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 9885
/proc/meminfo: memFree=22860948/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=341.65 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 52665 168213 0 0 299 27 33785 54 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9869] ppid=9732 vsize=135540 CPUtime=1199.89 cores=1,3,5,7
/proc/9869/stat : 9869 (glucosInc) R 9732 9731 9300 0 -1 4202496 28686 0 0 0 119947 42 0 0 20 0 1 0 376161114 138792960 33361 33554432000 4194304 5654031 140735307866256 140735307864280 4233232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9869/statm: 33885 33361 142 357 0 33525 0
Current children cumulated CPU time (s) 1541.54
Current children cumulated vsize (KiB) 211828
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 9888
/proc/meminfo: memFree=22804888/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=341.65 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 52665 168213 0 0 299 27 33785 54 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9869] ppid=9732 vsize=135540 CPUtime=1259.89 cores=1,3,5,7
/proc/9869/stat : 9869 (glucosInc) R 9732 9731 9300 0 -1 4202496 29397 0 0 0 125945 44 0 0 20 0 1 0 376161114 138792960 33361 33554432000 4194304 5654031 140735307866256 140735307864280 4232960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9869/statm: 33885 33361 142 357 0 33525 0
Current children cumulated CPU time (s) 1601.54
Current children cumulated vsize (KiB) 211828
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 9889
/proc/meminfo: memFree=22731672/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=341.65 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 52665 168213 0 0 299 27 33785 54 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9869] ppid=9732 vsize=184860 CPUtime=1319.88 cores=1,3,5,7
/proc/9869/stat : 9869 (glucosInc) R 9732 9731 9300 0 -1 4202496 30219 0 0 0 131942 46 0 0 20 0 1 0 376161114 189296640 42670 33554432000 4194304 5654031 140735307866256 140735307864184 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9869/statm: 46215 42670 142 357 0 45855 0
Current children cumulated CPU time (s) 1661.53
Current children cumulated vsize (KiB) 261148
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 9889
/proc/meminfo: memFree=22697432/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=341.65 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 52665 168213 0 0 299 27 33785 54 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9869] ppid=9732 vsize=184860 CPUtime=1379.87 cores=1,3,5,7
/proc/9869/stat : 9869 (glucosInc) R 9732 9731 9300 0 -1 4202496 30927 0 0 0 137939 48 0 0 20 0 1 0 376161114 189296640 41646 33554432000 4194304 5654031 140735307866256 140735307864184 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9869/statm: 46215 41646 142 357 0 45855 0
Current children cumulated CPU time (s) 1721.52
Current children cumulated vsize (KiB) 261148
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/181 9889
/proc/meminfo: memFree=22899256/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=341.65 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 52665 168213 0 0 299 27 33785 54 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9869] ppid=9732 vsize=135540 CPUtime=1439.86 cores=1,3,5,7
/proc/9869/stat : 9869 (glucosInc) R 9732 9731 9300 0 -1 4202496 31528 0 0 0 143936 50 0 0 20 0 1 0 376161114 138792960 33361 33554432000 4194304 5654031 140735307866256 140735307864280 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9869/statm: 33885 33361 142 357 0 33525 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 211828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.02 2.01 1.92 3/181 9889
/proc/meminfo: memFree=22841788/32873660 swapFree=7120/7120
[pid=9731] ppid=9729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9731/stat : 9731 (npSolver-pbo-It) S 9729 9731 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376126895 9367552 275 33554432000 4194304 5064252 140736112097760 140736112096672 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9731/statm: 2287 275 233 213 0 72 0
[pid=9732] ppid=9731 vsize=67140 CPUtime=341.65 cores=1,3,5,7
/proc/9732/stat : 9732 (npSolver-pbo) S 9731 9731 9300 0 -1 4202496 52665 168213 0 0 299 27 33785 54 20 0 1 0 376126895 68751360 16452 33554432000 4194304 6004724 140735508252560 140735508238408 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9732/statm: 16785 16452 175 442 0 16339 0
[pid=9869] ppid=9732 vsize=184860 CPUtime=1458.37 cores=1,3,5,7
/proc/9869/stat : 9869 (glucosInc) R 9732 9731 9300 0 -1 4202496 31642 0 0 0 145786 51 0 0 20 0 1 0 376161114 189296640 44206 33554432000 4194304 5654031 140735307866256 140735307854072 4233455 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9869/statm: 46215 44206 142 357 0 45855 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 261148
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.81
CPU time (s): 1800.05
CPU user time (s): 1798.72
CPU system time (s): 1.3298
CPU usage (%): 99.9579
Max. virtual memory (cumulated for all children) (KiB): 291968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.72
system time used= 1.3298
maximum resident set size= 199620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252901
page faults= 0
swaps= 0
block input operations= 0
block output operations= 149304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2972
involuntary context switches= 3860
runsolver used 3.37149 second user time and 8.70268 second system time
The end