0.00/0.01 c old isEQ: 11, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.02 c run inc solver
0.00/0.02 c [INC SYSTEM] run initial solver
0.00/0.02 c [INC SYSTEM] preprocess with white file
0.00/0.04 c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.04 c [INC SYSTEM] execute solver
0.00/0.04 c [INC SEARCH] formula is SAT
0.00/0.04 c [INC SYSTEM] solved the initial formula
0.00/0.04 c model valid
0.00/0.04 c current solution ok
0.00/0.05 o 80
0.00/0.05 c starting approximation
0.00/0.05 c factor = 2
0.00/0.05 c current bound: 181
46.66/46.74 c leaving approximation
46.66/46.74 c finished approximation
46.66/46.74 c [INC SYSTEM] there exists a inc, kill it!
46.66/46.74 c write failed with 2
46.66/46.74 c [INC SEARCH] iteration: 0
46.66/46.74 c [INC BOUNDS] best value:362 search for 361
46.66/46.74 c [INC SYSTEM] create new solver instance
46.66/46.74 c [INC] encode full formula
46.77/46.82 c set iterative enc to: swc
46.77/46.83 c [INC SEARCH] isOptimum variable: 0
55.56/55.65 c formula is SAT
55.56/55.66 c [INC SEARCH] copied best model
55.56/55.66 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
55.56/55.66 c model valid
55.56/55.66 c current solution ok
55.56/55.66 o 21
55.56/55.66 c [INC SEARCH] iteration: 1
55.56/55.66 c [INC BOUNDS] best value:303 search for 302
55.56/55.66 c [INC ENCODE] setup new number of clauses ...
55.56/55.66 c [INC] encode incremental formula
55.56/55.66 c return only the limitting unit clause for 302
55.56/55.66 c [INC SYSTEM] transmit new clauses to solver: 1
55.56/55.66 c [INC SEARCH] isOptimum variable: 0
57.26/57.32 c formula is SAT
57.26/57.32 c [INC SEARCH] copied best model
57.26/57.32 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
57.26/57.33 c model valid
57.26/57.33 c current solution ok
57.26/57.33 o 20
57.26/57.33 c [INC SEARCH] iteration: 2
57.26/57.33 c [INC BOUNDS] best value:302 search for 301
57.26/57.33 c [INC ENCODE] setup new number of clauses ...
57.26/57.33 c [INC] encode incremental formula
57.26/57.33 c return only the limitting unit clause for 301
57.26/57.33 c [INC SYSTEM] transmit new clauses to solver: 1
57.26/57.33 c [INC SEARCH] isOptimum variable: 0
57.37/57.41 c formula is SAT
57.37/57.42 c [INC SEARCH] copied best model
57.37/57.42 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
57.37/57.42 c model valid
57.37/57.42 c current solution ok
57.37/57.42 o 16
57.37/57.42 c [INC SEARCH] iteration: 3
57.37/57.42 c [INC BOUNDS] best value:298 search for 297
57.37/57.42 c [INC ENCODE] setup new number of clauses ...
57.37/57.42 c [INC] encode incremental formula
57.37/57.42 c return only the limitting unit clause for 297
57.37/57.42 c [INC SYSTEM] transmit new clauses to solver: 1
57.37/57.42 c [INC SEARCH] isOptimum variable: 0
131.46/131.56 c formula is SAT
131.46/131.57 c [INC SEARCH] copied best model
131.46/131.57 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
131.46/131.57 c model valid
131.46/131.57 c current solution ok
131.46/131.57 o 15
131.46/131.57 c [INC SEARCH] iteration: 4
131.46/131.57 c [INC BOUNDS] best value:297 search for 296
131.46/131.57 c [INC ENCODE] setup new number of clauses ...
131.46/131.57 c [INC] encode incremental formula
131.46/131.57 c return only the limitting unit clause for 296
131.46/131.57 c [INC SYSTEM] transmit new clauses to solver: 1
131.46/131.57 c [INC SEARCH] isOptimum variable: 0
131.56/131.69 c formula is SAT
131.66/131.70 c [INC SEARCH] copied best model
131.66/131.70 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
131.66/131.70 c model valid
131.66/131.70 c current solution ok
131.66/131.70 o 14
131.66/131.70 c [INC SEARCH] iteration: 5
131.66/131.70 c [INC BOUNDS] best value:296 search for 295
131.66/131.70 c [INC ENCODE] setup new number of clauses ...
131.66/131.70 c [INC] encode incremental formula
131.66/131.70 c return only the limitting unit clause for 295
131.66/131.70 c [INC SYSTEM] transmit new clauses to solver: 1
131.66/131.70 c [INC SEARCH] isOptimum variable: 0
241.94/242.09 c formula is SAT
241.94/242.10 c [INC SEARCH] copied best model
242.04/242.10 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
242.04/242.10 c model valid
242.04/242.10 c current solution ok
242.04/242.10 o 13
242.04/242.10 c [INC SEARCH] iteration: 6
242.04/242.10 c [INC BOUNDS] best value:295 search for 294
242.04/242.10 c [INC ENCODE] setup new number of clauses ...
242.04/242.10 c [INC] encode incremental formula
242.04/242.10 c return only the limitting unit clause for 294
242.04/242.10 c [INC SYSTEM] transmit new clauses to solver: 1
242.04/242.10 c [INC SEARCH] isOptimum variable: 0
273.74/273.84 c formula is SAT
273.74/273.85 c [INC SEARCH] copied best model
273.74/273.85 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
273.74/273.85 c model valid
273.74/273.85 c current solution ok
273.74/273.85 o 12
273.74/273.85 c [INC SEARCH] iteration: 7
273.74/273.85 c [INC BOUNDS] best value:294 search for 293
273.74/273.85 c [INC ENCODE] setup new number of clauses ...
273.74/273.85 c [INC] encode incremental formula
273.74/273.85 c return only the limitting unit clause for 293
273.74/273.85 c [INC SYSTEM] transmit new clauses to solver: 1
273.74/273.85 c [INC SEARCH] isOptimum variable: 0
647.69/647.87 c formula is SAT
647.69/647.87 c [INC SEARCH] copied best model
647.69/647.87 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
647.69/647.87 c model valid
647.69/647.87 c current solution ok
647.69/647.87 o 11
647.69/647.87 c [INC SEARCH] iteration: 8
647.69/647.87 c [INC BOUNDS] best value:293 search for 292
647.69/647.87 c [INC ENCODE] setup new number of clauses ...
647.69/647.87 c [INC] encode incremental formula
647.69/647.87 c return only the limitting unit clause for 292
647.69/647.87 c [INC SYSTEM] transmit new clauses to solver: 1
647.69/647.87 c [INC SEARCH] isOptimum variable: 0
1377.54/1377.83 c formula is SAT
1377.54/1377.84 c [INC SEARCH] copied best model
1377.54/1377.84 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1377.54/1377.84 c model valid
1377.54/1377.84 c current solution ok
1377.54/1377.84 o 10
1377.54/1377.84 c [INC SEARCH] iteration: 9
1377.54/1377.84 c [INC BOUNDS] best value:292 search for 291
1377.54/1377.84 c [INC ENCODE] setup new number of clauses ...
1377.54/1377.84 c [INC] encode incremental formula
1377.54/1377.84 c return only the limitting unit clause for 291
1377.54/1377.84 c [INC SYSTEM] transmit new clauses to solver: 1
1377.54/1377.84 c [INC SEARCH] isOptimum variable: 0
1800.08/1800.41 HOME/npSolver-pbo-Itdqb.sh: line 18: 24955 Terminated ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=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-3752027-1339119936/watcher-3752027-1339119936 -o /tmp/evaluation-result-3752027-1339119936/solver-3752027-1339119936 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752027-1339119936.opb 83949357 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.08 2.02 2.00 3/178 24954
/proc/meminfo: memFree=31627224/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[startup+0.0944229 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 24954
/proc/meminfo: memFree=31627224/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10031 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 24954
/proc/meminfo: memFree=31627224/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300233 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 24954
/proc/meminfo: memFree=31627224/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700228 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 24954
/proc/meminfo: memFree=31627224/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 24963
/proc/meminfo: memFree=31608388/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[pid=24955] ppid=24954 vsize=6676 CPUtime=0.05 cores=1,3,5,7
/proc/24955/stat : 24955 (npSolver-pbo) S 24954 24954 22322 0 -1 4202496 2777 2883 0 0 3 1 1 0 20 0 1 0 378119681 6836224 1109 33554432000 4194304 6004724 140733994780448 140733994772752 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24955/statm: 1669 1109 189 442 0 1223 0
[pid=24960] ppid=24955 vsize=7512 CPUtime=0 cores=1,3,5,7
/proc/24960/stat : 24960 (glucosInc) S 24955 24954 22322 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 378119685 7692288 322 33554432000 4194304 5654031 140734002445872 140734002444184 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24960/statm: 1878 322 146 357 0 1518 0
[pid=24962] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24962/stat : 24962 (satsolver.sh) S 24955 24954 22322 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378119688 9367552 267 33554432000 4194304 5064252 140737049454496 140737049453408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24962/statm: 2287 267 226 213 0 72 0
[pid=24963] ppid=24962 vsize=13376 CPUtime=1.41 cores=1,3,5,7
/proc/24963/stat : 24963 (glucose) R 24962 24954 22322 0 -1 4202496 3526 0 0 0 141 0 0 0 20 0 1 0 378119689 13697024 2998 33554432000 4194304 5208918 140735121926240 140735121924088 4229299 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24963/statm: 3344 2998 102 248 0 3093 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 45860
[startup+3.10039 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 24963
/proc/meminfo: memFree=31608948/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[pid=24955] ppid=24954 vsize=6676 CPUtime=0.05 cores=1,3,5,7
/proc/24955/stat : 24955 (npSolver-pbo) S 24954 24954 22322 0 -1 4202496 2777 2883 0 0 3 1 1 0 20 0 1 0 378119681 6836224 1109 33554432000 4194304 6004724 140733994780448 140733994772752 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24955/statm: 1669 1109 189 442 0 1223 0
[pid=24960] ppid=24955 vsize=7512 CPUtime=0 cores=1,3,5,7
/proc/24960/stat : 24960 (glucosInc) S 24955 24954 22322 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 378119685 7692288 322 33554432000 4194304 5654031 140734002445872 140734002444184 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24960/statm: 1878 322 146 357 0 1518 0
[pid=24962] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24962/stat : 24962 (satsolver.sh) S 24955 24954 22322 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378119688 9367552 267 33554432000 4194304 5064252 140737049454496 140737049453408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24962/statm: 2287 267 226 213 0 72 0
[pid=24963] ppid=24962 vsize=16328 CPUtime=3.01 cores=1,3,5,7
/proc/24963/stat : 24963 (glucose) R 24962 24954 22322 0 -1 4202496 4351 0 0 0 301 0 0 0 20 0 1 0 378119689 16719872 3732 33554432000 4194304 5208918 140735121926240 140735121924184 4205128 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24963/statm: 4082 3732 102 248 0 3831 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 48812
[startup+6.30048 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 24963
/proc/meminfo: memFree=31604172/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[pid=24955] ppid=24954 vsize=6676 CPUtime=0.05 cores=1,3,5,7
/proc/24955/stat : 24955 (npSolver-pbo) S 24954 24954 22322 0 -1 4202496 2777 2883 0 0 3 1 1 0 20 0 1 0 378119681 6836224 1109 33554432000 4194304 6004724 140733994780448 140733994772752 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24955/statm: 1669 1109 189 442 0 1223 0
[pid=24960] ppid=24955 vsize=7512 CPUtime=0 cores=1,3,5,7
/proc/24960/stat : 24960 (glucosInc) S 24955 24954 22322 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 378119685 7692288 322 33554432000 4194304 5654031 140734002445872 140734002444184 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24960/statm: 1878 322 146 357 0 1518 0
[pid=24962] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24962/stat : 24962 (satsolver.sh) S 24955 24954 22322 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378119688 9367552 267 33554432000 4194304 5064252 140737049454496 140737049453408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24962/statm: 2287 267 226 213 0 72 0
[pid=24963] ppid=24962 vsize=23360 CPUtime=6.21 cores=1,3,5,7
/proc/24963/stat : 24963 (glucose) R 24962 24954 22322 0 -1 4202496 5202 0 0 0 621 0 0 0 20 0 1 0 378119689 23920640 4994 33554432000 4194304 5208918 140735121926240 140735121924184 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24963/statm: 5840 4994 102 248 0 5589 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 55844
[startup+12.7004 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 24963
/proc/meminfo: memFree=31600032/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[pid=24955] ppid=24954 vsize=6676 CPUtime=0.05 cores=1,3,5,7
/proc/24955/stat : 24955 (npSolver-pbo) S 24954 24954 22322 0 -1 4202496 2777 2883 0 0 3 1 1 0 20 0 1 0 378119681 6836224 1109 33554432000 4194304 6004724 140733994780448 140733994772752 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24955/statm: 1669 1109 189 442 0 1223 0
[pid=24960] ppid=24955 vsize=7512 CPUtime=0 cores=1,3,5,7
/proc/24960/stat : 24960 (glucosInc) S 24955 24954 22322 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 378119685 7692288 322 33554432000 4194304 5654031 140734002445872 140734002444184 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24960/statm: 1878 322 146 357 0 1518 0
[pid=24962] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24962/stat : 24962 (satsolver.sh) S 24955 24954 22322 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378119688 9367552 267 33554432000 4194304 5064252 140737049454496 140737049453408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24962/statm: 2287 267 226 213 0 72 0
[pid=24963] ppid=24962 vsize=23360 CPUtime=12.61 cores=1,3,5,7
/proc/24963/stat : 24963 (glucose) R 24962 24954 22322 0 -1 4202496 5405 0 0 0 1261 0 0 0 20 0 1 0 378119689 23920640 5185 33554432000 4194304 5208918 140735121926240 140735121924184 4229748 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24963/statm: 5840 5185 102 248 0 5589 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 55844
[startup+25.5004 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 24963
/proc/meminfo: memFree=31593584/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[pid=24955] ppid=24954 vsize=6676 CPUtime=0.05 cores=1,3,5,7
/proc/24955/stat : 24955 (npSolver-pbo) S 24954 24954 22322 0 -1 4202496 2777 2883 0 0 3 1 1 0 20 0 1 0 378119681 6836224 1109 33554432000 4194304 6004724 140733994780448 140733994772752 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24955/statm: 1669 1109 189 442 0 1223 0
[pid=24960] ppid=24955 vsize=7512 CPUtime=0 cores=1,3,5,7
/proc/24960/stat : 24960 (glucosInc) S 24955 24954 22322 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 378119685 7692288 322 33554432000 4194304 5654031 140734002445872 140734002444184 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24960/statm: 1878 322 146 357 0 1518 0
[pid=24962] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24962/stat : 24962 (satsolver.sh) S 24955 24954 22322 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378119688 9367552 267 33554432000 4194304 5064252 140737049454496 140737049453408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24962/statm: 2287 267 226 213 0 72 0
[pid=24963] ppid=24962 vsize=25312 CPUtime=25.41 cores=1,3,5,7
/proc/24963/stat : 24963 (glucose) R 24962 24954 22322 0 -1 4202496 6338 0 0 0 2540 1 0 0 20 0 1 0 378119689 25919488 6013 33554432000 4194304 5208918 140735121926240 140735121924104 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24963/statm: 6328 6013 102 248 0 6077 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 57796
[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 24970
/proc/meminfo: memFree=31551948/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[pid=24955] ppid=24954 vsize=19428 CPUtime=46.81 cores=1,3,5,7
/proc/24955/stat : 24955 (npSolver-pbo) S 24954 24954 22322 0 -1 4202496 5750 13700 0 0 11 2 4665 3 20 0 1 0 378119681 19894272 4113 33554432000 4194304 6004724 140733994780448 140733994766296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24955/statm: 4857 4113 192 442 0 4411 0
[pid=24970] ppid=24955 vsize=51856 CPUtime=4.25 cores=1,3,5,7
/proc/24970/stat : 24970 (glucosInc) R 24955 24954 22322 0 -1 4202496 11756 0 0 0 423 2 0 0 20 0 1 0 378124364 53100544 11547 33554432000 4194304 5654031 140736604526512 140736604524536 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24970/statm: 12964 11547 132 357 0 12604 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 80432
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 24970
/proc/meminfo: memFree=31514220/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[pid=24955] ppid=24954 vsize=19428 CPUtime=46.85 cores=1,3,5,7
/proc/24955/stat : 24955 (npSolver-pbo) S 24954 24954 22322 0 -1 4202496 7032 13700 0 0 15 2 4665 3 20 0 1 0 378119681 19894272 4114 33554432000 4194304 6004724 140733994780448 140733994766296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24955/statm: 4857 4114 193 442 0 4411 0
[pid=24970] ppid=24955 vsize=87140 CPUtime=55.42 cores=1,3,5,7
/proc/24970/stat : 24970 (glucosInc) R 24955 24954 22322 0 -1 4202496 15460 0 0 0 5537 5 0 0 20 0 1 0 378124364 89231360 19290 33554432000 4194304 5654031 140736604526512 140736604514328 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24970/statm: 21785 19290 152 357 0 21425 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 115716
[startup+162.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.01 2.00 3/181 25003
/proc/meminfo: memFree=31319828/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[pid=24955] ppid=24954 vsize=19428 CPUtime=46.92 cores=1,3,5,7
/proc/24955/stat : 24955 (npSolver-pbo) S 24954 24954 22322 0 -1 4202496 7147 13700 0 0 21 3 4665 3 20 0 1 0 378119681 19894272 4114 33554432000 4194304 6004724 140733994780448 140733994766296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24955/statm: 4857 4114 193 442 0 4411 0
[pid=24970] ppid=24955 vsize=167720 CPUtime=1255.14 cores=1,3,5,7
/proc/24970/stat : 24970 (glucosInc) R 24955 24954 22322 0 -1 4202496 21656 0 0 0 125495 19 0 0 20 0 1 0 378124364 171745280 37420 33554432000 4194304 5654031 140736604526512 140736604514328 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24970/statm: 41930 37420 152 357 0 41570 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 196296
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 25003
/proc/meminfo: memFree=31306288/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[pid=24955] ppid=24954 vsize=19428 CPUtime=46.92 cores=1,3,5,7
/proc/24955/stat : 24955 (npSolver-pbo) S 24954 24954 22322 0 -1 4202496 7147 13700 0 0 21 3 4665 3 20 0 1 0 378119681 19894272 4114 33554432000 4194304 6004724 140733994780448 140733994766296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24955/statm: 4857 4114 193 442 0 4411 0
[pid=24970] ppid=24955 vsize=198540 CPUtime=1315.13 cores=1,3,5,7
/proc/24970/stat : 24970 (glucosInc) R 24955 24954 22322 0 -1 4202496 22260 0 0 0 131493 20 0 0 20 0 1 0 378124364 203304960 41583 33554432000 4194304 5654031 140736604526512 140736604514328 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24970/statm: 49635 41583 152 357 0 49275 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 227116
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25003
/proc/meminfo: memFree=31359648/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[pid=24955] ppid=24954 vsize=19428 CPUtime=46.93 cores=1,3,5,7
/proc/24955/stat : 24955 (npSolver-pbo) S 24954 24954 22322 0 -1 4202496 7147 13700 0 0 22 3 4665 3 20 0 1 0 378119681 19894272 4114 33554432000 4194304 6004724 140733994780448 140733994766296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24955/statm: 4857 4114 193 442 0 4411 0
[pid=24970] ppid=24955 vsize=118400 CPUtime=1375.12 cores=1,3,5,7
/proc/24970/stat : 24970 (glucosInc) R 24955 24954 22322 0 -1 4202496 22262 0 0 0 137491 21 0 0 20 0 1 0 378124364 121241600 28342 33554432000 4194304 5654031 140736604526512 140736604514328 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24970/statm: 29600 28342 152 357 0 29240 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 146976
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25006
/proc/meminfo: memFree=31317676/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[pid=24955] ppid=24954 vsize=19428 CPUtime=46.93 cores=1,3,5,7
/proc/24955/stat : 24955 (npSolver-pbo) S 24954 24954 22322 0 -1 4202496 7147 13700 0 0 22 3 4665 3 20 0 1 0 378119681 19894272 4114 33554432000 4194304 6004724 140733994780448 140733994766296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24955/statm: 4857 4114 193 442 0 4411 0
[pid=24970] ppid=24955 vsize=167720 CPUtime=1435.09 cores=1,3,5,7
/proc/24970/stat : 24970 (glucosInc) R 24955 24954 22322 0 -1 4202496 22658 0 0 0 143488 21 0 0 20 0 1 0 378124364 171745280 39980 33554432000 4194304 5654031 140736604526512 140736604514328 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24970/statm: 41930 39980 152 357 0 41570 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 196296
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25007
/proc/meminfo: memFree=31284408/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[pid=24955] ppid=24954 vsize=19428 CPUtime=46.93 cores=1,3,5,7
/proc/24955/stat : 24955 (npSolver-pbo) S 24954 24954 22322 0 -1 4202496 7147 13700 0 0 22 3 4665 3 20 0 1 0 378119681 19894272 4114 33554432000 4194304 6004724 140733994780448 140733994766296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24955/statm: 4857 4114 193 442 0 4411 0
[pid=24970] ppid=24955 vsize=198540 CPUtime=1495.09 cores=1,3,5,7
/proc/24970/stat : 24970 (glucosInc) R 24955 24954 22322 0 -1 4202496 23262 0 0 0 149486 23 0 0 20 0 1 0 378124364 203304960 43631 33554432000 4194304 5654031 140736604526512 140736604514328 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24970/statm: 49635 43631 152 357 0 49275 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 227116
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25007
/proc/meminfo: memFree=31280144/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[pid=24955] ppid=24954 vsize=19428 CPUtime=46.93 cores=1,3,5,7
/proc/24955/stat : 24955 (npSolver-pbo) S 24954 24954 22322 0 -1 4202496 7147 13700 0 0 22 3 4665 3 20 0 1 0 378119681 19894272 4114 33554432000 4194304 6004724 140733994780448 140733994766296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24955/statm: 4857 4114 193 442 0 4411 0
[pid=24970] ppid=24955 vsize=198540 CPUtime=1555.07 cores=1,3,5,7
/proc/24970/stat : 24970 (glucosInc) R 24955 24954 22322 0 -1 4202496 23283 0 0 0 155484 23 0 0 20 0 1 0 378124364 203304960 46703 33554432000 4194304 5654031 140736604526512 140736604514328 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24970/statm: 49635 46703 152 357 0 49275 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 227116
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25007
/proc/meminfo: memFree=31248932/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[pid=24955] ppid=24954 vsize=19428 CPUtime=46.93 cores=1,3,5,7
/proc/24955/stat : 24955 (npSolver-pbo) S 24954 24954 22322 0 -1 4202496 7147 13700 0 0 22 3 4665 3 20 0 1 0 378119681 19894272 4114 33554432000 4194304 6004724 140733994780448 140733994766296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24955/statm: 4857 4114 193 442 0 4411 0
[pid=24970] ppid=24955 vsize=248628 CPUtime=1615.06 cores=1,3,5,7
/proc/24970/stat : 24970 (glucosInc) R 24955 24954 22322 0 -1 4202496 23596 0 0 0 161481 25 0 0 20 0 1 0 378124364 254595072 50076 33554432000 4194304 5654031 140736604526512 140736604514328 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24970/statm: 62157 50076 152 357 0 61797 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 277204
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25007
/proc/meminfo: memFree=31248352/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[pid=24955] ppid=24954 vsize=19428 CPUtime=46.93 cores=1,3,5,7
/proc/24955/stat : 24955 (npSolver-pbo) S 24954 24954 22322 0 -1 4202496 7147 13700 0 0 22 3 4665 3 20 0 1 0 378119681 19894272 4114 33554432000 4194304 6004724 140733994780448 140733994766296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24955/statm: 4857 4114 193 442 0 4411 0
[pid=24970] ppid=24955 vsize=248628 CPUtime=1675.05 cores=1,3,5,7
/proc/24970/stat : 24970 (glucosInc) R 24955 24954 22322 0 -1 4202496 23602 0 0 0 167480 25 0 0 20 0 1 0 378124364 254595072 53148 33554432000 4194304 5654031 140736604526512 140736604514328 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24970/statm: 62157 53148 152 357 0 61797 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 277204
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25007
/proc/meminfo: memFree=31243992/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[pid=24955] ppid=24954 vsize=19428 CPUtime=46.93 cores=1,3,5,7
/proc/24955/stat : 24955 (npSolver-pbo) S 24954 24954 22322 0 -1 4202496 7147 13700 0 0 22 3 4665 3 20 0 1 0 378119681 19894272 4114 33554432000 4194304 6004724 140733994780448 140733994766296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24955/statm: 4857 4114 193 442 0 4411 0
[pid=24970] ppid=24955 vsize=248628 CPUtime=1735.04 cores=1,3,5,7
/proc/24970/stat : 24970 (glucosInc) R 24955 24954 22322 0 -1 4202496 23607 0 0 0 173479 25 0 0 20 0 1 0 378124364 254595072 55708 33554432000 4194304 5654031 140736604526512 140736604514328 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24970/statm: 62157 55708 152 357 0 61797 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 277204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.15 2.03 2.01 3/181 25058
/proc/meminfo: memFree=31503508/32873844 swapFree=7380/7380
[pid=24954] ppid=24952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (npSolver-pbo-It) S 24952 24954 22322 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378119681 9367552 275 33554432000 4194304 5064252 140733798147664 140733798146576 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24954/statm: 2287 275 233 213 0 72 0
[pid=24955] ppid=24954 vsize=19428 CPUtime=46.93 cores=1,3,5,7
/proc/24955/stat : 24955 (npSolver-pbo) S 24954 24954 22322 0 -1 4202496 7147 13700 0 0 22 3 4665 3 20 0 1 0 378119681 19894272 4114 33554432000 4194304 6004724 140733994780448 140733994766296 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24955/statm: 4857 4114 193 442 0 4411 0
[pid=24970] ppid=24955 vsize=248628 CPUtime=1753.15 cores=1,3,5,7
/proc/24970/stat : 24970 (glucosInc) R 24955 24954 22322 0 -1 4202496 23609 0 0 0 175290 25 0 0 20 0 1 0 378124364 254595072 56732 33554432000 4194304 5654031 140736604526512 140736604514328 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24970/statm: 62157 56732 152 357 0 61797 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 277204
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24954 and gives
# childrusage.ru_utime.tv_sec=46
# childrusage.ru_utime.tv_usec=882872
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=64990
# CPU time returned by wait4() is 46.9479
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.77
CPU system time (s): 0.31
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 277204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.8829
system time used= 0.06499
maximum resident set size= 30416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21221
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2442
involuntary context switches= 69
runsolver used 3.12952 second user time and 9.04862 second system time
The end