0.00/0.01 c run inc solver
0.00/0.01 c [INC SYSTEM] run initial solver
0.00/0.01 c [INC SYSTEM] preprocess with white file
0.00/0.01 c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.01 c [INC SYSTEM] execute solver
0.00/0.01 c [INC SEARCH] formula is SAT
0.00/0.01 c [INC SYSTEM] solved the initial formula
0.00/0.02 c model valid
0.00/0.02 c current solution ok
0.00/0.02 o 12048
0.00/0.02 c [INC SYSTEM] there exists a inc, kill it!
0.00/0.02 c write failed with 2
0.00/0.02 c [INC SEARCH] iteration: 0
0.00/0.02 c [INC BOUNDS] best value:12048 search for 12047
0.00/0.02 c [INC SYSTEM] create new solver instance
0.00/0.02 c [INC] encode full formula
0.00/0.02 c fallback to adder encoding
0.00/0.03 c set iterative enc to: adder
0.00/0.03 c set iterative enc to: none
0.00/0.04 c [INC SEARCH] isOptimum variable: 0
0.00/0.47 c formula is SAT
0.00/0.47 c [INC SEARCH] copied best model
0.00/0.47 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
0.00/0.47 c model valid
0.00/0.47 c current solution ok
0.00/0.47 o 12030
0.00/0.47 c [INC SEARCH] iteration: 1
0.00/0.47 c [INC BOUNDS] best value:12030 search for 12029
0.00/0.47 c [INC SYSTEM] there exists a inc, kill it!
0.00/0.47 c write failed with 2
0.00/0.47 c [INC SYSTEM] create new solver instance
0.00/0.47 c [INC] encode full formula
0.00/0.47 c fallback to adder encoding
0.00/0.48 c set iterative enc to: adder
0.00/0.48 c set iterative enc to: none
0.00/0.49 c [INC SEARCH] isOptimum variable: 0
1.17/1.27 c formula is SAT
1.17/1.27 c [INC SEARCH] copied best model
1.17/1.27 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1.17/1.27 c model valid
1.17/1.27 c current solution ok
1.17/1.27 o 11858
1.17/1.27 c [INC SEARCH] iteration: 2
1.17/1.27 c [INC BOUNDS] best value:11858 search for 11857
1.17/1.27 c [INC SYSTEM] there exists a inc, kill it!
1.17/1.27 c write failed with 2
1.17/1.27 c [INC SYSTEM] create new solver instance
1.17/1.27 c [INC] encode full formula
1.17/1.27 c fallback to adder encoding
1.17/1.28 c set iterative enc to: adder
1.17/1.28 c set iterative enc to: none
1.17/1.29 c [INC SEARCH] isOptimum variable: 0
1.27/1.99 c formula is SAT
1.27/1.99 c [INC SEARCH] copied best model
1.27/1.99 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1.27/1.99 c model valid
1.27/1.99 c current solution ok
1.27/1.99 o 11797
1.27/1.99 c [INC SEARCH] iteration: 3
1.27/1.99 c [INC BOUNDS] best value:11797 search for 11796
1.27/1.99 c [INC SYSTEM] there exists a inc, kill it!
1.27/1.99 c write failed with 2
1.27/1.99 c [INC SYSTEM] create new solver instance
1.27/1.99 c [INC] encode full formula
1.27/1.99 c fallback to adder encoding
1.98/2.00 c set iterative enc to: adder
1.98/2.00 c set iterative enc to: none
1.98/2.00 c [INC SEARCH] isOptimum variable: 0
2.27/2.32 c formula is SAT
2.27/2.32 c [INC SEARCH] copied best model
2.27/2.32 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
2.27/2.32 c model valid
2.27/2.32 c current solution ok
2.27/2.32 o 11707
2.27/2.32 c [INC SEARCH] iteration: 4
2.27/2.32 c [INC BOUNDS] best value:11707 search for 11706
2.27/2.32 c [INC SYSTEM] there exists a inc, kill it!
2.27/2.32 c write failed with 2
2.27/2.32 c [INC SYSTEM] create new solver instance
2.27/2.32 c [INC] encode full formula
2.27/2.32 c fallback to adder encoding
2.27/2.33 c set iterative enc to: adder
2.27/2.33 c set iterative enc to: none
2.27/2.34 c [INC SEARCH] isOptimum variable: 0
2.32/3.07 c formula is SAT
2.32/3.07 c [INC SEARCH] copied best model
2.32/3.07 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
2.32/3.07 c model valid
2.32/3.07 c current solution ok
2.32/3.07 o 10853
2.32/3.07 c [INC SEARCH] iteration: 5
2.32/3.07 c [INC BOUNDS] best value:10853 search for 10852
2.32/3.07 c [INC SYSTEM] there exists a inc, kill it!
2.32/3.07 c write failed with 2
2.32/3.07 c [INC SYSTEM] create new solver instance
2.32/3.07 c [INC] encode full formula
2.32/3.07 c fallback to adder encoding
2.32/3.09 c set iterative enc to: adder
2.32/3.09 c set iterative enc to: none
2.32/3.09 c [INC SEARCH] isOptimum variable: 0
3.37/3.46 c formula is SAT
3.37/3.46 c [INC SEARCH] copied best model
3.37/3.46 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
3.37/3.46 c model valid
3.37/3.46 c current solution ok
3.37/3.46 o 10589
3.37/3.46 c [INC SEARCH] iteration: 6
3.37/3.46 c [INC BOUNDS] best value:10589 search for 10588
3.37/3.46 c [INC SYSTEM] there exists a inc, kill it!
3.37/3.46 c write failed with 2
3.37/3.46 c [INC SYSTEM] create new solver instance
3.37/3.46 c [INC] encode full formula
3.37/3.46 c fallback to adder encoding
3.37/3.48 c set iterative enc to: adder
3.37/3.48 c set iterative enc to: none
3.37/3.48 c [INC SEARCH] isOptimum variable: 0
3.45/4.05 c formula is SAT
3.45/4.05 c [INC SEARCH] copied best model
3.45/4.05 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
3.45/4.05 c model valid
3.45/4.05 c current solution ok
3.45/4.05 o 9387
3.45/4.05 c [INC SEARCH] iteration: 7
3.45/4.05 c [INC BOUNDS] best value:9387 search for 9386
3.45/4.05 c [INC SYSTEM] there exists a inc, kill it!
3.45/4.05 c write failed with 2
3.45/4.05 c [INC SYSTEM] create new solver instance
3.45/4.05 c [INC] encode full formula
3.45/4.05 c fallback to adder encoding
3.45/4.06 c set iterative enc to: adder
3.45/4.06 c set iterative enc to: none
3.45/4.07 c [INC SEARCH] isOptimum variable: 0
5.66/5.75 c formula is SAT
5.66/5.75 c [INC SEARCH] copied best model
5.66/5.75 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
5.66/5.75 c model valid
5.66/5.75 c current solution ok
5.66/5.75 o 9179
5.66/5.75 c [INC SEARCH] iteration: 8
5.66/5.75 c [INC BOUNDS] best value:9179 search for 9178
5.66/5.75 c [INC SYSTEM] there exists a inc, kill it!
5.66/5.75 c write failed with 2
5.66/5.75 c [INC SYSTEM] create new solver instance
5.66/5.75 c [INC] encode full formula
5.66/5.75 c fallback to adder encoding
5.66/5.77 c set iterative enc to: adder
5.66/5.77 c set iterative enc to: none
5.66/5.77 c [INC SEARCH] isOptimum variable: 0
7.67/7.74 c formula is SAT
7.67/7.74 c [INC SEARCH] copied best model
7.67/7.74 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
7.67/7.74 c model valid
7.67/7.74 c current solution ok
7.67/7.74 o 8944
7.67/7.74 c [INC SEARCH] iteration: 9
7.67/7.74 c [INC BOUNDS] best value:8944 search for 8943
7.67/7.74 c [INC SYSTEM] there exists a inc, kill it!
7.67/7.74 c write failed with 2
7.67/7.74 c [INC SYSTEM] create new solver instance
7.67/7.74 c [INC] encode full formula
7.67/7.74 c fallback to adder encoding
7.67/7.76 c set iterative enc to: adder
7.67/7.76 c set iterative enc to: none
7.67/7.76 c [INC SEARCH] isOptimum variable: 0
9.66/9.78 c formula is SAT
9.66/9.78 c [INC SEARCH] copied best model
9.66/9.78 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
9.66/9.79 c model valid
9.66/9.79 c current solution ok
9.66/9.79 o 8898
9.66/9.79 c [INC SEARCH] iteration: 10
9.66/9.79 c [INC BOUNDS] best value:8898 search for 8897
9.66/9.79 c [INC SYSTEM] there exists a inc, kill it!
9.66/9.79 c write failed with 2
9.66/9.79 c [INC SYSTEM] create new solver instance
9.66/9.79 c [INC] encode full formula
9.66/9.79 c fallback to adder encoding
9.66/9.80 c set iterative enc to: adder
9.66/9.80 c set iterative enc to: none
9.77/9.80 c [INC SEARCH] isOptimum variable: 0
10.86/10.95 c formula is SAT
10.86/10.95 c [INC SEARCH] copied best model
10.93/11.00 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
10.93/11.00 c model valid
10.93/11.00 c current solution ok
10.93/11.00 o 8872
10.93/11.00 c [INC SEARCH] iteration: 11
10.93/11.00 c [INC BOUNDS] best value:8872 search for 8871
10.93/11.00 c [INC SYSTEM] there exists a inc, kill it!
10.93/11.00 c write failed with 2
10.93/11.00 c [INC SYSTEM] create new solver instance
10.93/11.00 c [INC] encode full formula
10.93/11.00 c fallback to adder encoding
10.93/11.00 c set iterative enc to: adder
10.93/11.00 c set iterative enc to: none
10.93/11.00 c [INC SEARCH] isOptimum variable: 0
12.91/13.02 c formula is SAT
12.91/13.02 c [INC SEARCH] copied best model
12.91/13.02 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
12.91/13.02 c model valid
12.91/13.02 c current solution ok
12.91/13.02 o 8853
12.91/13.02 c [INC SEARCH] iteration: 12
12.91/13.02 c [INC BOUNDS] best value:8853 search for 8852
12.91/13.02 c [INC SYSTEM] there exists a inc, kill it!
12.91/13.02 c write failed with 2
12.91/13.02 c [INC SYSTEM] create new solver instance
12.91/13.02 c [INC] encode full formula
12.91/13.02 c fallback to adder encoding
12.91/13.04 c set iterative enc to: adder
12.91/13.04 c set iterative enc to: none
12.91/13.04 c [INC SEARCH] isOptimum variable: 0
16.11/16.22 c formula is SAT
16.11/16.28 c [INC SEARCH] copied best model
16.11/16.28 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
16.11/16.28 c model valid
16.11/16.28 c current solution ok
16.11/16.28 o 8796
16.11/16.28 c [INC SEARCH] iteration: 13
16.11/16.28 c [INC BOUNDS] best value:8796 search for 8795
16.11/16.28 c [INC SYSTEM] there exists a inc, kill it!
16.11/16.28 c write failed with 2
16.11/16.28 c [INC SYSTEM] create new solver instance
16.11/16.28 c [INC] encode full formula
16.11/16.28 c fallback to adder encoding
16.11/16.28 c set iterative enc to: adder
16.11/16.28 c set iterative enc to: none
16.11/16.28 c [INC SEARCH] isOptimum variable: 0
17.66/17.88 c formula is SAT
17.66/17.88 c [INC SEARCH] copied best model
17.66/17.88 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
17.66/17.88 c model valid
17.66/17.88 c current solution ok
17.66/17.88 o 8752
17.66/17.88 c [INC SEARCH] iteration: 14
17.66/17.88 c [INC BOUNDS] best value:8752 search for 8751
17.66/17.88 c [INC SYSTEM] there exists a inc, kill it!
17.66/17.88 c write failed with 2
17.66/17.88 c [INC SYSTEM] create new solver instance
17.66/17.88 c [INC] encode full formula
17.66/17.88 c fallback to adder encoding
17.76/17.90 c set iterative enc to: adder
17.76/17.90 c set iterative enc to: none
17.76/17.90 c [INC SEARCH] isOptimum variable: 0
19.96/20.16 c formula is SAT
19.96/20.16 c [INC SEARCH] copied best model
19.96/20.16 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
19.96/20.16 c model valid
19.96/20.16 c current solution ok
19.96/20.16 o 8268
19.96/20.16 c [INC SEARCH] iteration: 15
19.96/20.16 c [INC BOUNDS] best value:8268 search for 8267
19.96/20.16 c [INC SYSTEM] there exists a inc, kill it!
19.96/20.16 c write failed with 2
19.96/20.16 c [INC SYSTEM] create new solver instance
19.96/20.16 c [INC] encode full formula
19.96/20.16 c fallback to adder encoding
19.96/20.18 c set iterative enc to: adder
19.96/20.18 c set iterative enc to: none
19.96/20.18 c [INC SEARCH] isOptimum variable: 0
22.46/22.62 c formula is SAT
22.46/22.62 c [INC SEARCH] copied best model
22.46/22.62 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
22.46/22.62 c model valid
22.46/22.62 c current solution ok
22.46/22.62 o 8034
22.46/22.62 c [INC SEARCH] iteration: 16
22.46/22.62 c [INC BOUNDS] best value:8034 search for 8033
22.46/22.62 c [INC SYSTEM] there exists a inc, kill it!
22.46/22.62 c write failed with 2
22.46/22.62 c [INC SYSTEM] create new solver instance
22.46/22.62 c [INC] encode full formula
22.46/22.62 c fallback to adder encoding
22.46/22.63 c set iterative enc to: adder
22.46/22.63 c set iterative enc to: none
22.46/22.64 c [INC SEARCH] isOptimum variable: 0
25.06/25.28 c [INC SEARCH] formula is UNSAT
25.06/25.28 c [INC SYSTEM] there exists a inc, kill it!
25.06/25.28 c write failed with 2
25.06/25.28 c [INC SEARCH] sat variable: 0 optimum/unsat variable: 1
25.06/25.28 c [INC SEARCH] found optimum
25.06/25.28 c display solution
25.06/25.28 s OPTIMUM FOUND
25.06/25.28 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210
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-3747453-1339102367/watcher-3747453-1339102367 -o /tmp/evaluation-result-3747453-1339102367/solver-3747453-1339102367 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747453-1339102367.opb 1683185807 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: 1.99 1.97 1.91 3/178 26645
/proc/meminfo: memFree=28953216/32873648 swapFree=7112/7112
[pid=26645] ppid=26643 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26645/stat : 26645 (npSolver-pbo-It) S 26643 26645 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376362630 9367552 274 33554432000 4194304 5064252 140737106971568 140737106970480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26645/statm: 2287 274 233 213 0 72 0
[startup+0.070203 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 26645
/proc/meminfo: memFree=28953216/32873648 swapFree=7112/7112
[pid=26645] ppid=26643 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26645/stat : 26645 (npSolver-pbo-It) S 26643 26645 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376362630 9367552 274 33554432000 4194304 5064252 140737106971568 140737106970480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26645/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.1002 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 26645
/proc/meminfo: memFree=28953216/32873648 swapFree=7112/7112
[pid=26645] ppid=26643 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26645/stat : 26645 (npSolver-pbo-It) S 26643 26645 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376362630 9367552 274 33554432000 4194304 5064252 140737106971568 140737106970480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26645/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300112 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 26645
/proc/meminfo: memFree=28953216/32873648 swapFree=7112/7112
[pid=26645] ppid=26643 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26645/stat : 26645 (npSolver-pbo-It) S 26643 26645 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376362630 9367552 274 33554432000 4194304 5064252 140737106971568 140737106970480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26645/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700227 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 26645
/proc/meminfo: memFree=28953216/32873648 swapFree=7112/7112
[pid=26645] ppid=26643 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26645/stat : 26645 (npSolver-pbo-It) S 26643 26645 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376362630 9367552 274 33554432000 4194304 5064252 140737106971568 140737106970480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26645/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50016 s]
/proc/loadavg: 1.99 1.97 1.91 3/181 26656
/proc/meminfo: memFree=28944504/32873648 swapFree=7112/7112
[pid=26645] ppid=26643 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26645/stat : 26645 (npSolver-pbo-It) S 26643 26645 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376362630 9367552 274 33554432000 4194304 5064252 140737106971568 140737106970480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26645/statm: 2287 274 233 213 0 72 0
[pid=26646] ppid=26645 vsize=4404 CPUtime=1.27 cores=1,3,5,7
/proc/26646/stat : 26646 (npSolver-pbo) S 26645 26645 25783 0 -1 4202496 4100 8172 0 0 4 1 120 2 20 0 1 0 376362630 4509696 720 33554432000 4194304 6004724 140736929828896 140736929814744 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26646/statm: 1101 720 176 442 0 655 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 13552
[startup+3.10017 s]
/proc/loadavg: 1.91 1.95 1.90 3/181 26660
/proc/meminfo: memFree=28945116/32873648 swapFree=7112/7112
[pid=26645] ppid=26643 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26645/stat : 26645 (npSolver-pbo-It) S 26643 26645 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376362630 9367552 274 33554432000 4194304 5064252 140737106971568 140737106970480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26645/statm: 2287 274 233 213 0 72 0
[pid=26646] ppid=26645 vsize=4404 CPUtime=3.08 cores=1,3,5,7
/proc/26646/stat : 26646 (npSolver-pbo) S 26645 26645 25783 0 -1 4202496 6384 16184 0 0 9 1 294 4 20 0 1 0 376362630 4509696 721 33554432000 4194304 6004724 140736929828896 140736929814744 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26646/statm: 1101 721 177 442 0 655 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13552
[startup+6.30015 s]
/proc/loadavg: 1.91 1.95 1.90 3/181 26668
/proc/meminfo: memFree=28939532/32873648 swapFree=7112/7112
[pid=26645] ppid=26643 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26645/stat : 26645 (npSolver-pbo-It) S 26643 26645 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376362630 9367552 274 33554432000 4194304 5064252 140737106971568 140737106970480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26645/statm: 2287 274 233 213 0 72 0
[pid=26646] ppid=26645 vsize=4404 CPUtime=5.75 cores=1,3,5,7
/proc/26646/stat : 26646 (npSolver-pbo) S 26645 26645 25783 0 -1 4202496 8667 24678 0 0 13 2 554 6 20 0 1 0 376362630 4509696 721 33554432000 4194304 6004724 140736929828896 140736929814744 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26646/statm: 1101 721 177 442 0 655 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 13552
[startup+12.7003 s]
/proc/loadavg: 2.01 1.97 1.91 3/181 26676
/proc/meminfo: memFree=28939184/32873648 swapFree=7112/7112
[pid=26645] ppid=26643 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26645/stat : 26645 (npSolver-pbo-It) S 26643 26645 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376362630 9367552 274 33554432000 4194304 5064252 140737106971568 140737106970480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26645/statm: 2287 274 233 213 0 72 0
[pid=26646] ppid=26645 vsize=4404 CPUtime=10.93 cores=1,3,5,7
/proc/26646/stat : 26646 (npSolver-pbo) S 26645 26645 25783 0 -1 4202496 10950 34092 0 0 17 2 1066 8 20 0 1 0 376362630 4509696 721 33554432000 4194304 6004724 140736929828896 140736929814744 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/26646/statm: 1101 721 177 442 0 655 0
[pid=26676] ppid=26646 vsize=10720 CPUtime=1.68 cores=1,3,5,7
/proc/26676/stat : 26676 (glucosInc) R 26646 26645 25783 0 -1 4202496 2753 0 0 0 168 0 0 0 20 0 1 0 376363730 10977280 2289 33554432000 4194304 5654031 140735547318816 140735547306632 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26676/statm: 2680 2289 141 357 0 2320 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 24272
Solver just ended. Dumping a history of the last processes samples
[startup+19.1002 s]
/proc/loadavg: 2.17 2.00 1.92 3/181 26684
/proc/meminfo: memFree=28989900/32873648 swapFree=7112/7112
[pid=26645] ppid=26643 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26645/stat : 26645 (npSolver-pbo-It) S 26643 26645 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376362630 9367552 274 33554432000 4194304 5064252 140737106971568 140737106970480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26645/statm: 2287 274 233 213 0 72 0
[pid=26646] ppid=26645 vsize=4404 CPUtime=17.78 cores=1,3,5,7
/proc/26646/stat : 26646 (npSolver-pbo) S 26645 26645 25783 0 -1 4202496 13233 44726 0 0 22 3 1744 9 20 0 1 0 376362630 4509696 721 33554432000 4194304 6004724 140736929828896 140736929814744 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/26646/statm: 1101 721 177 442 0 655 0
[pid=26684] ppid=26646 vsize=11472 CPUtime=1.18 cores=1,3,5,7
/proc/26684/stat : 26684 (glucosInc) R 26646 26645 25783 0 -1 4202496 2822 0 0 0 118 0 0 0 20 0 1 0 376364420 11747328 2423 33554432000 4194304 5654031 140734709588448 140734709586328 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26684/statm: 2868 2423 132 357 0 2508 0
Current children cumulated CPU time (s) 18.96
Current children cumulated vsize (KiB) 25024
[startup+22.3002 s]
/proc/loadavg: 2.15 2.00 1.92 3/181 26686
/proc/meminfo: memFree=28981620/32873648 swapFree=7112/7112
[pid=26645] ppid=26643 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26645/stat : 26645 (npSolver-pbo-It) S 26643 26645 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376362630 9367552 274 33554432000 4194304 5064252 140737106971568 140737106970480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26645/statm: 2287 274 233 213 0 72 0
[pid=26646] ppid=26645 vsize=4404 CPUtime=20.06 cores=1,3,5,7
/proc/26646/stat : 26646 (npSolver-pbo) S 26645 26645 25783 0 -1 4202496 13994 48581 0 0 23 3 1969 11 20 0 1 0 376362630 4509696 721 33554432000 4194304 6004724 140736929828896 140736929814744 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/26646/statm: 1101 721 177 442 0 655 0
[pid=26686] ppid=26646 vsize=10744 CPUtime=2.1 cores=1,3,5,7
/proc/26686/stat : 26686 (glucosInc) R 26646 26645 25783 0 -1 4202496 2863 0 0 0 210 0 0 0 20 0 1 0 376364648 11001856 2221 33554432000 4194304 5654031 140737353944336 140737353932152 4232752 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26686/statm: 2686 2221 138 357 0 2326 0
Current children cumulated CPU time (s) 22.16
Current children cumulated vsize (KiB) 24296
[startup+23.9002 s]
/proc/loadavg: 2.15 2.00 1.92 3/181 26688
/proc/meminfo: memFree=28984472/32873648 swapFree=7112/7112
[pid=26645] ppid=26643 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26645/stat : 26645 (npSolver-pbo-It) S 26643 26645 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376362630 9367552 274 33554432000 4194304 5064252 140737106971568 140737106970480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26645/statm: 2287 274 233 213 0 72 0
[pid=26646] ppid=26645 vsize=4404 CPUtime=22.51 cores=1,3,5,7
/proc/26646/stat : 26646 (npSolver-pbo) S 26645 26645 25783 0 -1 4202496 14720 52056 0 0 25 3 2212 11 20 0 1 0 376362630 4509696 722 33554432000 4194304 6004724 140736929828896 140736929814744 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/26646/statm: 1101 722 177 442 0 655 0
[pid=26688] ppid=26646 vsize=9008 CPUtime=1.24 cores=1,3,5,7
/proc/26688/stat : 26688 (glucosInc) R 26646 26645 25783 0 -1 4202496 2257 0 0 0 124 0 0 0 20 0 1 0 376364894 9224192 1850 33554432000 4194304 5654031 140733851676656 140733851664472 4232968 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26688/statm: 2252 1850 141 357 0 1892 0
Current children cumulated CPU time (s) 23.75
Current children cumulated vsize (KiB) 22560
[startup+24.7002 s]
/proc/loadavg: 2.15 2.00 1.92 3/181 26688
/proc/meminfo: memFree=28981628/32873648 swapFree=7112/7112
[pid=26645] ppid=26643 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26645/stat : 26645 (npSolver-pbo-It) S 26643 26645 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376362630 9367552 274 33554432000 4194304 5064252 140737106971568 140737106970480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26645/statm: 2287 274 233 213 0 72 0
[pid=26646] ppid=26645 vsize=4404 CPUtime=22.51 cores=1,3,5,7
/proc/26646/stat : 26646 (npSolver-pbo) S 26645 26645 25783 0 -1 4202496 14720 52056 0 0 25 3 2212 11 20 0 1 0 376362630 4509696 722 33554432000 4194304 6004724 140736929828896 140736929814744 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/26646/statm: 1101 722 177 442 0 655 0
[pid=26688] ppid=26646 vsize=10672 CPUtime=2.04 cores=1,3,5,7
/proc/26688/stat : 26688 (glucosInc) R 26646 26645 25783 0 -1 4202496 2707 0 0 0 204 0 0 0 20 0 1 0 376364894 10928128 2262 33554432000 4194304 5654031 140733851676656 140733851664472 4215091 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26688/statm: 2668 2262 141 357 0 2308 0
Current children cumulated CPU time (s) 24.55
Current children cumulated vsize (KiB) 24224
[startup+25.1002 s]
/proc/loadavg: 2.15 2.00 1.92 3/181 26688
/proc/meminfo: memFree=28981628/32873648 swapFree=7112/7112
[pid=26645] ppid=26643 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26645/stat : 26645 (npSolver-pbo-It) S 26643 26645 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376362630 9367552 274 33554432000 4194304 5064252 140737106971568 140737106970480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26645/statm: 2287 274 233 213 0 72 0
[pid=26646] ppid=26645 vsize=4404 CPUtime=22.51 cores=1,3,5,7
/proc/26646/stat : 26646 (npSolver-pbo) S 26645 26645 25783 0 -1 4202496 14720 52056 0 0 25 3 2212 11 20 0 1 0 376362630 4509696 722 33554432000 4194304 6004724 140736929828896 140736929814744 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/26646/statm: 1101 722 177 442 0 655 0
[pid=26688] ppid=26646 vsize=13472 CPUtime=2.44 cores=1,3,5,7
/proc/26688/stat : 26688 (glucosInc) R 26646 26645 25783 0 -1 4202496 2739 0 0 0 244 0 0 0 20 0 1 0 376364894 13795328 2805 33554432000 4194304 5654031 140733851676656 140733851664472 4215097 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26688/statm: 3368 2805 141 357 0 3008 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 27024
[startup+25.2002 s]
/proc/loadavg: 2.15 2.00 1.92 3/181 26688
/proc/meminfo: memFree=28978824/32873648 swapFree=7112/7112
[pid=26645] ppid=26643 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26645/stat : 26645 (npSolver-pbo-It) S 26643 26645 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376362630 9367552 274 33554432000 4194304 5064252 140737106971568 140737106970480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26645/statm: 2287 274 233 213 0 72 0
[pid=26646] ppid=26645 vsize=4404 CPUtime=22.51 cores=1,3,5,7
/proc/26646/stat : 26646 (npSolver-pbo) S 26645 26645 25783 0 -1 4202496 14720 52056 0 0 25 3 2212 11 20 0 1 0 376362630 4509696 722 33554432000 4194304 6004724 140736929828896 140736929814744 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/26646/statm: 1101 722 177 442 0 655 0
[pid=26688] ppid=26646 vsize=13472 CPUtime=2.55 cores=1,3,5,7
/proc/26688/stat : 26688 (glucosInc) R 26646 26645 25783 0 -1 4202496 2739 0 0 0 255 0 0 0 20 0 1 0 376364894 13795328 2805 33554432000 4194304 5654031 140733851676656 140733851664472 4215009 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26688/statm: 3368 2805 141 357 0 3008 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 27024
Child status: 0
Real time (s): 25.2831
CPU time (s): 25.1682
CPU user time (s): 25.0112
CPU system time (s): 0.156976
CPU usage (%): 99.5455
Max. virtual memory (cumulated for all children) (KiB): 27024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.0112
system time used= 0.156976
maximum resident set size= 29272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69917
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 250
involuntary context switches= 213
runsolver used 0.047992 second user time and 0.124981 second system time
The end