0.00/0.24 c old isEQ: 136, new EQ is 1
0.00/0.29 c run inc solver
0.00/0.29 c [INC SYSTEM] run initial solver
0.00/0.29 c [INC SYSTEM] preprocess with white file
1.26/1.32 c [INC SYSTEM] finished preprocessing in 1 s
1.26/1.32 c [INC SYSTEM] execute solver
3.05/3.14 c [INC SEARCH] formula is SAT
3.05/3.14 c [INC SYSTEM] solved the initial formula
3.05/3.15 c model valid
3.05/3.15 c current solution ok
3.36/3.42 o -86
3.36/3.42 c starting approximation
3.36/3.42 c factor = 1
3.36/3.42 c can not find a suitable factor, leaving approximation
3.36/3.42 c finished approximation
3.36/3.42 c [INC SYSTEM] there exists a inc, kill it!
3.36/3.42 c write failed with 2
3.36/3.42 c [INC SEARCH] iteration: 0
3.36/3.42 c [INC BOUNDS] best value:414 search for 413
3.36/3.42 c [INC SYSTEM] create new solver instance
3.36/3.42 c [INC] encode full formula
3.36/3.42 c (debug) using card networks
3.36/3.42 c old isEQ: 48, new EQ is 0
3.36/3.43 c set iterative enc to: card
3.36/3.43 c set iterative enc to: none
3.36/3.44 c [INC SEARCH] isOptimum variable: 0
5.05/5.16 c formula is SAT
5.05/5.17 c [INC SEARCH] copied best model
5.17/5.29 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
5.17/5.29 c model valid
5.17/5.29 c current solution ok
5.17/5.29 o -87
5.17/5.29 c [INC SEARCH] iteration: 1
5.17/5.29 c [INC BOUNDS] best value:413 search for 412
5.17/5.29 c [INC SYSTEM] there exists a inc, kill it!
5.17/5.29 c write failed with 2
5.17/5.29 c [INC SYSTEM] create new solver instance
5.17/5.29 c [INC] encode full formula
5.17/5.29 c (debug) using card networks
5.17/5.29 c old isEQ: 0, new EQ is 0
5.17/5.29 c set iterative enc to: card
5.17/5.29 c set iterative enc to: none
5.17/5.32 c [INC SEARCH] isOptimum variable: 0
6.73/6.94 c formula is SAT
6.73/6.94 c [INC SEARCH] copied best model
6.73/6.94 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
6.73/6.95 c model valid
6.73/6.95 c current solution ok
6.73/6.95 o -88
6.73/6.95 c [INC SEARCH] iteration: 2
6.73/6.95 c [INC BOUNDS] best value:412 search for 411
6.73/6.95 c [INC SYSTEM] there exists a inc, kill it!
6.73/6.95 c write failed with 2
6.73/6.95 c [INC SYSTEM] create new solver instance
6.73/6.95 c [INC] encode full formula
6.73/6.95 c (debug) using card networks
6.73/6.95 c old isEQ: 0, new EQ is 0
6.73/6.96 c set iterative enc to: card
6.73/6.96 c set iterative enc to: none
6.73/6.97 c [INC SEARCH] isOptimum variable: 0
11.55/11.70 c formula is SAT
11.55/11.71 c [INC SEARCH] copied best model
11.55/11.71 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
11.55/11.71 c model valid
11.55/11.71 c current solution ok
11.55/11.71 o -89
11.55/11.71 c [INC SEARCH] iteration: 3
11.55/11.71 c [INC BOUNDS] best value:411 search for 410
11.55/11.71 c [INC SYSTEM] there exists a inc, kill it!
11.55/11.71 c write failed with 2
11.55/11.71 c [INC SYSTEM] create new solver instance
11.55/11.71 c [INC] encode full formula
11.55/11.71 c (debug) using card networks
11.55/11.71 c old isEQ: 0, new EQ is 0
11.55/11.72 c set iterative enc to: card
11.55/11.72 c set iterative enc to: none
11.55/11.73 c [INC SEARCH] isOptimum variable: 0
16.74/16.90 c formula is SAT
16.74/16.90 c [INC SEARCH] copied best model
16.74/16.96 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
16.74/16.96 c model valid
16.74/16.96 c current solution ok
16.74/16.96 o -92
16.74/16.96 c [INC SEARCH] iteration: 4
16.74/16.96 c [INC BOUNDS] best value:408 search for 407
16.74/16.96 c [INC SYSTEM] there exists a inc, kill it!
16.74/16.96 c write failed with 2
16.74/16.96 c [INC SYSTEM] create new solver instance
16.74/16.96 c [INC] encode full formula
16.74/16.96 c (debug) using card networks
16.74/16.96 c old isEQ: 0, new EQ is 0
16.74/16.96 c set iterative enc to: card
16.74/16.96 c set iterative enc to: none
16.74/16.97 c [INC SEARCH] isOptimum variable: 0
22.10/22.32 c formula is SAT
22.10/22.33 c [INC SEARCH] copied best model
22.10/22.34 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
22.10/22.34 c model valid
22.10/22.34 c current solution ok
22.10/22.34 o -94
22.10/22.34 c [INC SEARCH] iteration: 5
22.10/22.34 c [INC BOUNDS] best value:406 search for 405
22.10/22.34 c [INC SYSTEM] there exists a inc, kill it!
22.10/22.34 c write failed with 2
22.10/22.34 c [INC SYSTEM] create new solver instance
22.10/22.34 c [INC] encode full formula
22.10/22.34 c (debug) using card networks
22.10/22.34 c old isEQ: 0, new EQ is 0
22.10/22.35 c set iterative enc to: card
22.10/22.35 c set iterative enc to: none
22.10/22.39 c [INC SEARCH] isOptimum variable: 0
31.06/31.36 c formula is SAT
31.06/31.37 c [INC SEARCH] copied best model
31.06/31.37 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
31.06/31.37 c model valid
31.06/31.37 c current solution ok
31.06/31.37 o -95
31.06/31.37 c [INC SEARCH] iteration: 6
31.06/31.37 c [INC BOUNDS] best value:405 search for 404
31.06/31.37 c [INC SYSTEM] there exists a inc, kill it!
31.06/31.37 c write failed with 2
31.06/31.38 c [INC SYSTEM] create new solver instance
31.06/31.38 c [INC] encode full formula
31.06/31.38 c (debug) using card networks
31.06/31.38 c old isEQ: 0, new EQ is 0
31.06/31.38 c set iterative enc to: card
31.06/31.38 c set iterative enc to: none
31.06/31.39 c [INC SEARCH] isOptimum variable: 0
45.75/46.06 c formula is SAT
45.75/46.07 c [INC SEARCH] copied best model
45.75/46.07 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
45.75/46.07 c model valid
45.75/46.07 c current solution ok
45.75/46.07 o -96
45.75/46.07 c [INC SEARCH] iteration: 7
45.75/46.07 c [INC BOUNDS] best value:404 search for 403
45.75/46.07 c [INC SYSTEM] there exists a inc, kill it!
45.75/46.07 c write failed with 2
45.75/46.08 c [INC SYSTEM] create new solver instance
45.75/46.08 c [INC] encode full formula
45.75/46.08 c (debug) using card networks
45.75/46.08 c old isEQ: 0, new EQ is 0
45.75/46.09 c set iterative enc to: card
45.75/46.09 c set iterative enc to: none
45.75/46.09 c [INC SEARCH] isOptimum variable: 0
68.96/69.28 c formula is SAT
68.96/69.28 c [INC SEARCH] copied best model
68.96/69.28 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
68.96/69.29 c model valid
68.96/69.29 c current solution ok
68.96/69.29 o -97
68.96/69.29 c [INC SEARCH] iteration: 8
68.96/69.29 c [INC BOUNDS] best value:403 search for 402
68.96/69.29 c [INC SYSTEM] there exists a inc, kill it!
68.96/69.29 c write failed with 2
68.96/69.29 c [INC SYSTEM] create new solver instance
68.96/69.29 c [INC] encode full formula
68.96/69.29 c (debug) using card networks
68.96/69.29 c old isEQ: 0, new EQ is 0
68.96/69.30 c set iterative enc to: card
68.96/69.30 c set iterative enc to: none
69.07/69.31 c [INC SEARCH] isOptimum variable: 0
83.74/84.00 c formula is SAT
83.74/84.00 c [INC SEARCH] copied best model
83.74/84.00 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
83.74/84.01 c model valid
83.74/84.01 c current solution ok
83.74/84.01 o -99
83.74/84.01 c [INC SEARCH] iteration: 9
83.74/84.01 c [INC BOUNDS] best value:401 search for 400
83.74/84.01 c [INC SYSTEM] there exists a inc, kill it!
83.74/84.01 c write failed with 2
83.74/84.01 c [INC SYSTEM] create new solver instance
83.74/84.01 c [INC] encode full formula
83.74/84.01 c (debug) using card networks
83.74/84.01 c old isEQ: 0, new EQ is 0
83.74/84.02 c set iterative enc to: card
83.74/84.02 c set iterative enc to: none
83.74/84.03 c [INC SEARCH] isOptimum variable: 0
100.25/100.55 c formula is SAT
100.25/100.55 c [INC SEARCH] copied best model
100.25/100.55 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
100.25/100.56 c model valid
100.25/100.56 c current solution ok
100.25/100.56 o -102
100.25/100.56 c [INC SEARCH] iteration: 10
100.25/100.56 c [INC BOUNDS] best value:398 search for 397
100.25/100.56 c [INC SYSTEM] there exists a inc, kill it!
100.25/100.56 c write failed with 2
100.25/100.56 c [INC SYSTEM] create new solver instance
100.25/100.56 c [INC] encode full formula
100.25/100.56 c (debug) using card networks
100.25/100.56 c old isEQ: 0, new EQ is 0
100.25/100.57 c set iterative enc to: card
100.25/100.57 c set iterative enc to: none
100.25/100.58 c [INC SEARCH] isOptimum variable: 0
163.73/164.01 c formula is SAT
163.73/164.01 c [INC SEARCH] copied best model
163.73/164.01 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
163.73/164.02 c model valid
163.73/164.02 c current solution ok
163.73/164.02 o -103
163.73/164.02 c [INC SEARCH] iteration: 11
163.73/164.02 c [INC BOUNDS] best value:397 search for 396
163.73/164.02 c [INC SYSTEM] there exists a inc, kill it!
163.73/164.02 c write failed with 2
163.73/164.02 c [INC SYSTEM] create new solver instance
163.73/164.02 c [INC] encode full formula
163.73/164.02 c (debug) using card networks
163.73/164.02 c old isEQ: 0, new EQ is 0
163.73/164.03 c set iterative enc to: card
163.73/164.03 c set iterative enc to: none
163.73/164.04 c [INC SEARCH] isOptimum variable: 0
214.61/214.98 c formula is SAT
214.61/214.98 c [INC SEARCH] copied best model
214.61/214.98 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
214.61/214.99 c model valid
214.61/214.99 c current solution ok
214.61/214.99 o -106
214.61/214.99 c [INC SEARCH] iteration: 12
214.61/214.99 c [INC BOUNDS] best value:394 search for 393
214.61/214.99 c [INC SYSTEM] there exists a inc, kill it!
214.61/214.99 c write failed with 2
214.61/214.99 c [INC SYSTEM] create new solver instance
214.61/214.99 c [INC] encode full formula
214.61/214.99 c (debug) using card networks
214.61/214.99 c old isEQ: 0, new EQ is 0
214.73/215.00 c set iterative enc to: card
214.73/215.00 c set iterative enc to: none
214.73/215.00 c [INC SEARCH] isOptimum variable: 0
259.39/259.75 c formula is SAT
259.39/259.75 c [INC SEARCH] copied best model
259.39/259.75 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
259.39/259.76 c model valid
259.39/259.76 c current solution ok
259.39/259.76 o -108
259.39/259.76 c [INC SEARCH] iteration: 13
259.39/259.76 c [INC BOUNDS] best value:392 search for 391
259.39/259.76 c [INC SYSTEM] there exists a inc, kill it!
259.39/259.76 c write failed with 2
259.39/259.76 c [INC SYSTEM] create new solver instance
259.39/259.76 c [INC] encode full formula
259.39/259.76 c (debug) using card networks
259.39/259.76 c old isEQ: 0, new EQ is 0
259.39/259.77 c set iterative enc to: card
259.39/259.77 c set iterative enc to: none
259.39/259.77 c [INC SEARCH] isOptimum variable: 0
394.06/394.42 c formula is SAT
394.06/394.42 c [INC SEARCH] copied best model
394.06/394.42 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
394.06/394.43 c model valid
394.06/394.43 c current solution ok
394.06/394.43 o -109
394.06/394.43 c [INC SEARCH] iteration: 14
394.06/394.43 c [INC BOUNDS] best value:391 search for 390
394.06/394.43 c [INC SYSTEM] there exists a inc, kill it!
394.06/394.43 c write failed with 2
394.06/394.43 c [INC SYSTEM] create new solver instance
394.06/394.43 c [INC] encode full formula
394.06/394.43 c (debug) using card networks
394.06/394.43 c old isEQ: 0, new EQ is 0
394.06/394.44 c set iterative enc to: card
394.06/394.44 c set iterative enc to: none
394.06/394.45 c [INC SEARCH] isOptimum variable: 0
519.74/520.11 c formula is SAT
519.74/520.12 c [INC SEARCH] copied best model
519.74/520.12 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
519.74/520.12 c model valid
519.74/520.12 c current solution ok
519.74/520.12 o -110
519.74/520.12 c [INC SEARCH] iteration: 15
519.74/520.12 c [INC BOUNDS] best value:390 search for 389
519.74/520.12 c [INC SYSTEM] there exists a inc, kill it!
519.74/520.12 c write failed with 2
519.74/520.13 c [INC SYSTEM] create new solver instance
519.74/520.13 c [INC] encode full formula
519.74/520.13 c (debug) using card networks
519.74/520.13 c old isEQ: 0, new EQ is 0
519.74/520.13 c set iterative enc to: card
519.74/520.13 c set iterative enc to: none
519.74/520.15 c [INC SEARCH] isOptimum variable: 0
1700.83/1701.44 c formula is SAT
1700.83/1701.44 c [INC SEARCH] copied best model
1700.83/1701.44 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1700.83/1701.45 c model valid
1700.83/1701.45 c current solution ok
1700.83/1701.45 o -112
1700.83/1701.45 c [INC SEARCH] iteration: 16
1700.83/1701.45 c [INC BOUNDS] best value:388 search for 387
1700.83/1701.45 c [INC SYSTEM] there exists a inc, kill it!
1700.83/1701.45 c write failed with 2
1700.83/1701.46 c [INC SYSTEM] create new solver instance
1700.83/1701.46 c [INC] encode full formula
1700.83/1701.46 c (debug) using card networks
1700.83/1701.46 c old isEQ: 0, new EQ is 0
1700.83/1701.46 c set iterative enc to: card
1700.83/1701.46 c set iterative enc to: none
1700.83/1701.48 c [INC SEARCH] isOptimum variable: 0
1800.01/1800.61 c [INC SYSTEM] an unexpexted return value has been received, exit
1800.01/1800.61 s UNKNOWN
1800.01/1800.61 c [INC SYSTEM] there exists a inc, kill it!
1800.01/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-3752489-1339145085/watcher-3752489-1339145085 -o /tmp/evaluation-result-3752489-1339145085/solver-3752489-1339145085 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752489-1339145085.opb 768738478 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 14789
/proc/meminfo: memFree=31614828/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[startup+0.082531 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 14789
/proc/meminfo: memFree=31614828/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100293 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 14789
/proc/meminfo: memFree=31614828/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300165 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 14789
/proc/meminfo: memFree=31614828/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700176 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 14789
/proc/meminfo: memFree=31614828/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.06 2.01 2.00 3/184 14793
/proc/meminfo: memFree=31558156/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=1.29 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 8823 12025 0 0 26 1 91 11 20 0 1 0 24475102 11071488 2154 33554432000 4194304 6004724 140736683566640 140736683552920 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2154 167 442 0 2257 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 19960
[startup+3.10031 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 14795
/proc/meminfo: memFree=31584512/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=1.29 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 8823 12025 0 0 26 1 91 11 20 0 1 0 24475102 11071488 2154 33554432000 4194304 6004724 140736683566640 140736683552920 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2154 167 442 0 2257 0
[pid=14795] ppid=14790 vsize=24804 CPUtime=1.76 cores=0,2,4,6
/proc/14795/stat : 14795 (glucosInc) R 14790 14789 13680 0 -1 4202496 4720 0 0 0 175 1 0 0 20 0 1 0 24475234 25399296 5032 33554432000 4194304 5654031 140734355897360 140734355885176 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14795/statm: 6201 5032 140 357 0 5841 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 44764
[startup+6.30031 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 14800
/proc/meminfo: memFree=31577088/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=5.17 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 10659 23675 0 0 35 24 442 16 20 0 1 0 24475102 11071488 2176 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2176 189 442 0 2257 0
[pid=14800] ppid=14790 vsize=28112 CPUtime=0.96 cores=0,2,4,6
/proc/14800/stat : 14800 (glucosInc) R 14790 14789 13680 0 -1 4202496 5835 0 0 0 95 1 0 0 20 0 1 0 24475634 28786688 6017 33554432000 4194304 5654031 140735431404256 140735431402136 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14800/statm: 7028 6017 140 357 0 6668 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 48072
[startup+12.7003 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 14804
/proc/meminfo: memFree=31577336/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=11.59 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 12523 37515 0 0 40 24 1074 21 20 0 1 0 24475102 11071488 2176 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2176 189 442 0 2257 0
[pid=14804] ppid=14790 vsize=28116 CPUtime=0.95 cores=0,2,4,6
/proc/14804/stat : 14804 (glucosInc) R 14790 14789 13680 0 -1 4202496 5838 0 0 0 94 1 0 0 20 0 1 0 24476275 28790784 6020 33554432000 4194304 5654031 140737355543776 140737355541560 4232571 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14804/statm: 7029 6020 140 357 0 6669 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 48076
[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 14809
/proc/meminfo: memFree=31538768/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=22.17 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 14387 52431 0 0 44 25 2122 26 20 0 1 0 24475102 11071488 2176 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2176 189 442 0 2257 0
[pid=14809] ppid=14790 vsize=28664 CPUtime=3.09 cores=0,2,4,6
/proc/14809/stat : 14809 (glucosInc) R 14790 14789 13680 0 -1 4202496 5948 0 0 0 308 1 0 0 20 0 1 0 24477341 29351936 6162 33554432000 4194304 5654031 140735109567328 140735109555144 4208659 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14809/statm: 7166 6162 141 357 0 6806 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 48624
[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14813
/proc/meminfo: memFree=31574892/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=45.87 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 16251 69389 0 0 48 25 4482 32 20 0 1 0 24475102 11071488 2176 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2176 189 442 0 2257 0
[pid=14813] ppid=14790 vsize=29328 CPUtime=4.99 cores=0,2,4,6
/proc/14813/stat : 14813 (glucosInc) R 14790 14789 13680 0 -1 4202496 6692 0 0 0 498 1 0 0 20 0 1 0 24479711 30031872 6238 33554432000 4194304 5654031 140734985201184 140734985189000 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14813/statm: 7332 6238 142 357 0 6972 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 49288
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 14821
/proc/meminfo: memFree=31636644/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=100.34 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 19047 95790 0 0 55 26 9914 39 20 0 1 0 24475102 11071488 2176 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2176 189 442 0 2257 0
[pid=14821] ppid=14790 vsize=28108 CPUtime=1.71 cores=0,2,4,6
/proc/14821/stat : 14821 (glucosInc) R 14790 14789 13680 0 -1 4202496 5724 0 0 0 171 0 0 0 20 0 1 0 24485159 28782592 5914 33554432000 4194304 5654031 140736490101696 140736490099576 4232916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14821/statm: 7027 5914 140 357 0 6667 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 48068
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14821
/proc/meminfo: memFree=31591700/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=100.34 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 19047 95790 0 0 55 26 9914 39 20 0 1 0 24475102 11071488 2176 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2176 189 442 0 2257 0
[pid=14821] ppid=14790 vsize=63596 CPUtime=61.69 cores=0,2,4,6
/proc/14821/stat : 14821 (glucosInc) R 14790 14789 13680 0 -1 4202496 10044 0 0 0 6166 3 0 0 20 0 1 0 24485159 65122304 14589 33554432000 4194304 5654031 140736490101696 140736490089512 4232700 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14821/statm: 15899 14589 142 357 0 15539 0
Current children cumulated CPU time (s) 162.03
Current children cumulated vsize (KiB) 83556
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14878
/proc/meminfo: memFree=31681028/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=214.73 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 20911 117126 0 0 59 26 21342 46 20 0 1 0 24475102 11071488 2176 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2176 189 442 0 2257 0
[pid=14876] ppid=14790 vsize=32572 CPUtime=7.28 cores=0,2,4,6
/proc/14876/stat : 14876 (glucosInc) R 14790 14789 13680 0 -1 4202496 7074 0 0 0 727 1 0 0 20 0 1 0 24496602 33353728 6560 33554432000 4194304 5654031 140734544705504 140734544693320 4233328 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14876/statm: 8143 6560 142 357 0 7783 0
Current children cumulated CPU time (s) 222.01
Current children cumulated vsize (KiB) 52532
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14884
/proc/meminfo: memFree=31659332/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=31486460/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=519.79 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 23708 151959 0 0 66 26 51828 59 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14893] ppid=14790 vsize=173056 CPUtime=722.02 cores=0,2,4,6
/proc/14893/stat : 14893 (glucosInc) R 14790 14789 13680 0 -1 4202496 16261 0 0 0 72187 15 0 0 20 0 1 0 24527116 177209344 36512 33554432000 4194304 5654031 140734976956048 140734976943864 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14893/statm: 43264 36512 142 357 0 42904 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 193016
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14922
/proc/meminfo: memFree=31529404/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=519.79 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 23708 151959 0 0 66 26 51828 59 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14893] ppid=14790 vsize=123736 CPUtime=782.01 cores=0,2,4,6
/proc/14893/stat : 14893 (glucosInc) R 14790 14789 13680 0 -1 4202496 16809 0 0 0 78185 16 0 0 20 0 1 0 24527116 126705664 25644 33554432000 4194304 5654031 140734976956048 140734976954072 4232484 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14893/statm: 30934 25644 142 357 0 30574 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 143696
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 14922
/proc/meminfo: memFree=31469224/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=519.79 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 23708 151959 0 0 66 26 51828 59 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14893] ppid=14790 vsize=137012 CPUtime=841.99 cores=0,2,4,6
/proc/14893/stat : 14893 (glucosInc) R 14790 14789 13680 0 -1 4202496 18112 0 0 0 84181 18 0 0 20 0 1 0 24527116 140300288 33324 33554432000 4194304 5654031 140734976956048 140734976943864 4232495 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14893/statm: 34253 33324 142 357 0 33893 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 156972
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14922
/proc/meminfo: memFree=31429816/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=519.79 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 23708 151959 0 0 66 26 51828 59 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14893] ppid=14790 vsize=186332 CPUtime=901.99 cores=0,2,4,6
/proc/14893/stat : 14893 (glucosInc) R 14790 14789 13680 0 -1 4202496 18749 0 0 0 90179 20 0 0 20 0 1 0 24527116 190803968 43217 33554432000 4194304 5654031 140734976956048 140734976943864 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14893/statm: 46583 43217 142 357 0 46223 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 206292
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14922
/proc/meminfo: memFree=31390236/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=519.79 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 23708 151959 0 0 66 26 51828 59 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14893] ppid=14790 vsize=186332 CPUtime=961.98 cores=0,2,4,6
/proc/14893/stat : 14893 (glucosInc) R 14790 14789 13680 0 -1 4202496 19484 0 0 0 96176 22 0 0 20 0 1 0 24527116 190803968 45265 33554432000 4194304 5654031 140734976956048 140734976943864 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14893/statm: 46583 45265 142 357 0 46223 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 206292
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 14925
/proc/meminfo: memFree=31415008/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=519.79 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 23708 151959 0 0 66 26 51828 59 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14893] ppid=14790 vsize=217152 CPUtime=1021.97 cores=0,2,4,6
/proc/14893/stat : 14893 (glucosInc) R 14790 14789 13680 0 -1 4202496 20801 0 0 0 102173 24 0 0 20 0 1 0 24527116 222363648 46868 33554432000 4194304 5654031 140734976956048 140734976943864 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14893/statm: 54288 46868 142 357 0 53928 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 237112
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14926
/proc/meminfo: memFree=31375376/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=519.79 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 23708 151959 0 0 66 26 51828 59 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14893] ppid=14790 vsize=217152 CPUtime=1081.96 cores=0,2,4,6
/proc/14893/stat : 14893 (glucosInc) R 14790 14789 13680 0 -1 4202496 21532 0 0 0 108170 26 0 0 20 0 1 0 24527116 222363648 48404 33554432000 4194304 5654031 140734976956048 140734976943864 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14893/statm: 54288 48404 142 357 0 53928 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 237112
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14926
/proc/meminfo: memFree=31408780/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=519.79 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 23708 151959 0 0 66 26 51828 59 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14893] ppid=14790 vsize=217152 CPUtime=1141.95 cores=0,2,4,6
/proc/14893/stat : 14893 (glucosInc) R 14790 14789 13680 0 -1 4202496 22266 0 0 0 114167 28 0 0 20 0 1 0 24527116 222363648 48404 33554432000 4194304 5654031 140734976956048 140734976943864 4233173 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14893/statm: 54288 48404 142 357 0 53928 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 237112
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 14928
/proc/meminfo: memFree=31563660/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=1700.92 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 24640 175508 0 0 68 26 169908 90 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14928] ppid=14790 vsize=45024 CPUtime=20.8 cores=0,2,4,6
/proc/14928/stat : 14928 (glucosInc) R 14790 14789 13680 0 -1 4202496 8456 0 0 0 2078 2 0 0 20 0 1 0 24645250 46104576 9966 33554432000 4194304 5654031 140737088055920 140737088043736 4215138 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14928/statm: 11256 9966 142 357 0 10896 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 64984
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14928
/proc/meminfo: memFree=31517060/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=1700.92 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 24640 175508 0 0 68 26 169908 90 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14928] ppid=14790 vsize=55792 CPUtime=80.79 cores=0,2,4,6
/proc/14928/stat : 14928 (glucosInc) R 14790 14789 13680 0 -1 4202496 11264 0 0 0 8076 3 0 0 20 0 1 0 24645250 57131008 13077 33554432000 4194304 5654031 140737088055920 140737088043736 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14928/statm: 13948 13077 142 357 0 13588 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 75752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14928
/proc/meminfo: memFree=31533940/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=1700.92 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 24640 175508 0 0 68 26 169908 90 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14928] ppid=14790 vsize=74468 CPUtime=99.09 cores=0,2,4,6
/proc/14928/stat : 14928 (glucosInc) R 14790 14789 13680 0 -1 4202496 11326 0 0 0 9906 3 0 0 20 0 1 0 24645250 76255232 17226 33554432000 4194304 5654031 140737088055920 140737088043736 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14928/statm: 18617 17226 142 357 0 18257 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 94428
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.05
CPU user time (s): 1798.84
CPU system time (s): 1.21581
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 237112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.21582
maximum resident set size= 197712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211853
page faults= 0
swaps= 0
block input operations= 0
block output operations= 129488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2415
involuntary context switches= 2191
runsolver used 3.22451 second user time and 8.58769 second system time
The end