0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Jul 26 02:16:21 CEST 2018
0.66/0.55 c PID: 2281
0.66/0.55 c IP: 172.20.3.150
0.66/0.55 c HOST: node150.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.53/0.96 c (0,0) Parsing End
1.53/0.96 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 233 ctr, max domain size 128
1.53/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.53/0.96 c (0,0) Constraint Name Generate Begin
1.53/0.97 c (0,0) Ctr:HOME/instance-4295257-1532564180.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
1.53/0.97 c (0,0) Constraint Name Generate End
1.53/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.53/0.97 c (0,0) CSP to CSPinCNF Begin
10.83/4.98 c (4,4) translated 24 (10%) constraints
13.87/7.82 c (7,7) translated 47 (20%) constraints
17.31/10.61 c (10,9) translated 70 (30%) constraints
20.08/13.31 c (12,12) translated 94 (40%) constraints
23.68/16.16 c (15,15) translated 117 (50%) constraints
26.31/18.74 c (18,17) translated 140 (60%) constraints
30.29/21.75 c (21,20) translated 164 (70%) constraints
30.99/22.44 c (21,21) translated 187 (80%) constraints
30.99/22.47 c (21,21) translated 210 (90%) constraints
30.99/22.50 c (21,21) translated 233 (100%) constraints
34.81/24.15 c (23,22) STATISTICS1:HOME/instance-4295257-1532564180.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,21400,523738,127,127,128,2,127:2016,127:1004248;2:542136,128:168;64:2;3:477792;2:45772;1:4,2:2016;1:1542352;0:172,
34.81/24.15 c (23,22) ===========================================
34.81/24.15 c (23,22) Order
34.81/24.15 c (23,22) ===========================================
36.65/24.99 c (24,23) translated 52374 (10%) constraints
37.40/25.66 c (25,24) translated 104748 (20%) constraints
38.10/26.32 c (25,24) translated 157122 (30%) constraints
38.73/26.98 c (26,25) translated 209496 (40%) constraints
39.43/27.64 c (27,26) translated 261869 (50%) constraints
40.13/28.30 c (27,26) translated 314243 (60%) constraints
40.74/28.96 c (28,27) translated 366617 (70%) constraints
41.44/29.62 c (29,28) translated 418991 (80%) constraints
42.04/30.28 c (29,28) translated 471365 (90%) constraints
42.74/30.95 c (30,29) translated 523738 (100%) constraints
42.74/30.95 c (30,29) CSP to CSPinCNF End
42.74/30.96 c (30,29) CSP: 64 int (0 aux), 21336 bool (21336 aux), 523738 ctr, max domain size 127
42.74/30.96 c (30,29) Heap : 3150 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
42.74/30.96 c (30,29) CSPinCNF Propagation Begin
118.36/99.68 c (99,96) 0 values, 168 unsatisfiable literals, and 4 valid clauses are removed
118.36/99.68 c (99,96) CSPinCNF Propagation End
118.36/99.68 c (99,96) CSP: 64 int (0 aux), 21336 bool (21336 aux), 523734 ctr, max domain size 127
118.36/99.68 c (99,96) Heap : 2099 MiB used (max 10953 MiB), NonHeap : 27 MiB used (max 0 MiB)
118.36/99.68 c (99,96) Simplify CSPinCNF Begin
119.50/100.43 c (99,96) Simplify CSPinCNF End
119.50/100.44 c (99,96) CSP: 64 int (0 aux), 25368 bool (25368 aux), 527766 ctr, max domain size 127
119.50/100.44 c (99,96) Heap : 2477 MiB used (max 10953 MiB), NonHeap : 28 MiB used (max 0 MiB)
119.50/100.44 c (99,96) Calculate Precise Domain Begin
119.50/100.44 c (99,96) 0 values are removed by re-calculation
119.50/100.44 c (99,96) Calculate Precise Domain End
119.50/100.44 c (99,96) CSP: 64 int (0 aux), 25368 bool (25368 aux), 527766 ctr, max domain size 127
119.50/100.44 c (99,96) Heap : 2477 MiB used (max 10953 MiB), NonHeap : 28 MiB used (max 0 MiB)
119.50/100.44 c (99,96) CSPinCNF to SatSolver Begin
122.34/102.16 c (101,98) 52777 (10 %) CSP clauses are encoded (33432 SAT variables, 568808 SAT clauses)
122.66/102.43 c (101,98) 105554 (20 %) CSP clauses are encoded (33432 SAT variables, 621585 SAT clauses)
122.87/102.69 c (102,98) 158330 (30 %) CSP clauses are encoded (33432 SAT variables, 674361 SAT clauses)
123.18/102.96 c (102,99) 211107 (40 %) CSP clauses are encoded (33432 SAT variables, 727138 SAT clauses)
123.48/103.22 c (102,99) 263883 (50 %) CSP clauses are encoded (33432 SAT variables, 779914 SAT clauses)
123.68/103.49 c (102,99) 316660 (60 %) CSP clauses are encoded (33432 SAT variables, 832691 SAT clauses)
123.98/103.75 c (103,100) 369437 (70 %) CSP clauses are encoded (33432 SAT variables, 885468 SAT clauses)
124.29/104.02 c (103,100) 422213 (80 %) CSP clauses are encoded (33432 SAT variables, 938244 SAT clauses)
124.48/104.28 c (103,100) 474990 (90 %) CSP clauses are encoded (33432 SAT variables, 991021 SAT clauses)
124.78/104.55 c (104,100) 527766 (100 %) CSP clauses are encoded (33432 SAT variables, 1043797 SAT clauses)
124.78/104.55 c (104,100) CSPinCNF to SatSolver End
124.78/104.55 c (104,100) Heap : 2893 MiB used (max 11010 MiB), NonHeap : 30 MiB used (max 0 MiB)
126.61/105.85 c (105,102) STATISTICS2:HOME/instance-4295257-1532564180.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,25432,527766,127,127,127,2,127:4032,127:1008280;2:550200,127:168;64:2;3:477792;2:49804,2:4032;1:1550416,
126.61/105.85 c (105,102) SatSolver.solve Begin
126.61/105.85 c (105,102) 33432 bool, 1043798 clause
126.61/105.85 c (105,102) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4295257-1532564180.xml-scop-2281.cnf HOME/instance-4295257-1532564180.xml-scop-2281.cnf.out
772.70/751.40 c (750,0) receiving signal SIGTERM
772.70/751.40 s UNKNOWN
772.70/751.41 c (750,102) SatSolver is killed by some reasons.
772.70/751.41 c (750,102) 0,0,30,99,99,99,104,TO,TO,STOP-AFTER(DIMACS)
772.70/751.41 c END-Prog: Thu Jul 26 02:28:52 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (9872 MiB free)
memory of node 1: 16384 MiB (10326 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295257-1532564180/watcher-4295257-1532564180 -o /tmp/evaluation-result-4295257-1532564180/solver-4295257-1532564180 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32680 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295257-1532564180.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2281, runsolver pid=2278
[startup+0.100132 s]*
/proc/loadavg: 2.75 3.99 3.89 4/220 2296
/proc/meminfo: memFree=20622708/32770624 swapFree=67108860/67108860
[pid=2281] ppid=2278 vsize=15011656 memory=73492 CPUtime=0.11 cores=0,2,4,6
/proc/2281/stat : 2281 (java) S 2278 2281 32649 0 -1 1077944320 6538 0 0 0 9 2 0 0 20 0 15 0 73981279 15371935744 18373 33554432000 4194304 4196468 140734943411312 140734943393856 140694017744631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
/proc/2281/statm: 3752914 18373 2783 1 0 3715374 0
[pid=2281/tid=2283] ppid=2278 vsize=15011656 memory=7100839861430815080 CPUtime=0.08 cores=0,2,4,6
/proc/2281/task/2283/stat : 2283 (java) R 2278 2281 32649 0 -1 4202560 4903 0 0 0 7 1 0 0 20 0 15 0 73981280 15371935744 18637 33554432000 4194304 4196468 140734943411312 140693989556616 140693998020380 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2284] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2284/stat : 2284 (java) S 2278 2281 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73981281 15371935744 18637 33554432000 4194304 4196468 140734943411312 140694021987344 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2285] ppid=2278 vsize=15011656 memory=140595077179008 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2285/stat : 2285 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981281 15371935744 18637 33554432000 4194304 4196468 140734943411312 140693813070992 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2286] ppid=2278 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2286/stat : 2286 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981281 15371935744 18637 33554432000 4194304 4196468 140734943411312 140693812017936 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2287] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2287/stat : 2287 (java) S 2278 2281 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73981281 15371935744 18637 33554432000 4194304 4196468 140734943411312 140693810965392 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2288] ppid=2278 vsize=15011656 memory=140595077179008 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2288/stat : 2288 (java) S 2278 2281 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73981283 15371935744 18637 33554432000 4194304 4196468 140734943411312 140692787529968 140694017755778 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2289] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2289/stat : 2289 (java) S 2278 2281 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73981283 15371935744 18703 33554432000 4194304 4196468 140734943411312 140692659627168 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2290] ppid=2278 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2290/stat : 2290 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981283 15371935744 18703 33554432000 4194304 4196468 140734943411312 140692391191280 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2291] ppid=2278 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2291/stat : 2291 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73981286 15371935744 18703 33554432000 4194304 4196468 140734943411312 140692016682960 140694017763227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2292] ppid=2278 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2292/stat : 2292 (java) S 2278 2281 32649 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 73981286 15371935744 18703 33554432000 4194304 4196468 140734943411312 140692786477808 140694017755778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2293] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2293/stat : 2293 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73981286 15371935744 18703 33554432000 4194304 4196468 140734943411312 140692785425264 140694017755778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2294] ppid=2278 vsize=15011656 memory=140595077179008 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2294/stat : 2294 (java) S 2278 2281 32649 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 73981286 15371935744 18703 33554432000 4194304 4196468 140734943411312 140692784372208 140694017755778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2295] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2295/stat : 2295 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73981286 15371935744 18703 33554432000 4194304 4196468 140734943411312 140691518778208 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2296] ppid=2278 vsize=15011656 memory=140595077179008 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2296/stat : 2296 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981286 15371935744 18703 33554432000 4194304 4196468 140734943411312 140692783319600 140694017755778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73492 KiB
[startup+0.210473 s]*
/proc/loadavg: 2.69 3.95 3.88 3/220 2296
/proc/meminfo: memFree=20609132/32770624 swapFree=67108860/67108860
[pid=2281] ppid=2278 vsize=15011656 memory=86620 CPUtime=0.25 cores=0,2,4,6
/proc/2281/stat : 2281 (java) S 2278 2281 32649 0 -1 1077944320 10063 0 0 0 22 3 0 0 20 0 15 0 73981279 15371935744 21655 33554432000 4194304 4196468 140734943411312 140734943393856 140694017744631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
/proc/2281/statm: 3752914 21655 2917 1 0 3715374 0
[pid=2281/tid=2283] ppid=2278 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/2281/task/2283/stat : 2283 (java) R 2278 2281 32649 0 -1 4202560 7977 0 0 0 18 2 0 0 20 0 15 0 73981280 15371935744 21655 33554432000 4194304 4196468 140734943411312 140693989571024 140693999308187 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2284] ppid=2278 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2284/stat : 2284 (java) S 2278 2281 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73981281 15371935744 21655 33554432000 4194304 4196468 140734943411312 140694021987344 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2285] ppid=2278 vsize=15011656 memory=288370971228890752 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2285/stat : 2285 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981281 15371935744 21655 33554432000 4194304 4196468 140734943411312 140693813070992 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2286] ppid=2278 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2286/stat : 2286 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981281 15371935744 21655 33554432000 4194304 4196468 140734943411312 140693812017936 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2287] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2287/stat : 2287 (java) S 2278 2281 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73981281 15371935744 21655 33554432000 4194304 4196468 140734943411312 140693810965392 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2288] ppid=2278 vsize=15011656 memory=140595077179008 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2288/stat : 2288 (java) S 2278 2281 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73981283 15371935744 21655 33554432000 4194304 4196468 140734943411312 140692787529968 140694017755778 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2289] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2289/stat : 2289 (java) S 2278 2281 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73981283 15371935744 21655 33554432000 4194304 4196468 140734943411312 140692659627168 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2290] ppid=2278 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2290/stat : 2290 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981283 15371935744 21655 33554432000 4194304 4196468 140734943411312 140692391191280 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2291] ppid=2278 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2291/stat : 2291 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73981286 15371935744 21655 33554432000 4194304 4196468 140734943411312 140692016682960 140694017763227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2292] ppid=2278 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2281/task/2292/stat : 2292 (java) R 2278 2281 32649 0 -1 4202560 323 0 0 0 1 0 0 0 20 0 15 0 73981286 15371935744 21655 33554432000 4194304 4196468 140734943411312 140692786469312 140694003407360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2293] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2293/stat : 2293 (java) R 2278 2281 32649 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 73981286 15371935744 21655 33554432000 4194304 4196468 140734943411312 140692785425360 140694017754837 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2294] ppid=2278 vsize=15011656 memory=140595077179008 CPUtime=0.03 cores=0,2,4,6
/proc/2281/task/2294/stat : 2294 (java) S 2278 2281 32649 0 -1 1077944384 294 0 0 0 3 0 0 0 20 0 15 0 73981286 15371935744 21655 33554432000 4194304 4196468 140734943411312 140692784372208 140694017755778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2295] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2295/stat : 2295 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73981286 15371935744 21655 33554432000 4194304 4196468 140734943411312 140691518778208 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2296] ppid=2278 vsize=15011656 memory=140595077179008 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2296/stat : 2296 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981286 15371935744 21655 33554432000 4194304 4196468 140734943411312 140692783319600 140694017755778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86620 KiB
[startup+0.310442 s]*
/proc/loadavg: 2.69 3.95 3.88 3/220 2296
/proc/meminfo: memFree=20606216/32770624 swapFree=67108860/67108860
[pid=2281] ppid=2278 vsize=15011656 memory=90092 CPUtime=0.42 cores=0,2,4,6
/proc/2281/stat : 2281 (java) S 2278 2281 32649 0 -1 1077944320 10590 0 0 0 39 3 0 0 20 0 15 0 73981279 15371935744 22523 33554432000 4194304 4196468 140734943411312 140734943393856 140694017744631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
/proc/2281/statm: 3752914 22523 3004 1 0 3715374 0
[pid=2281/tid=2283] ppid=2278 vsize=15011656 memory=4134692831991786133 CPUtime=0.29 cores=0,2,4,6
/proc/2281/task/2283/stat : 2283 (java) R 2278 2281 32649 0 -1 4202560 8351 0 0 0 27 2 0 0 20 0 15 0 73981280 15371935744 22523 33554432000 4194304 4196468 140734943411312 140693989574960 140693998016144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2284] ppid=2278 vsize=15011656 memory=140599244195279 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2284/stat : 2284 (java) S 2278 2281 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73981281 15371935744 22523 33554432000 4194304 4196468 140734943411312 140694021987344 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2285] ppid=2278 vsize=15011656 memory=140595077179008 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2285/stat : 2285 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981281 15371935744 22523 33554432000 4194304 4196468 140734943411312 140693813070992 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2286] ppid=2278 vsize=15011656 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2286/stat : 2286 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981281 15371935744 22523 33554432000 4194304 4196468 140734943411312 140693812017936 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2287] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2287/stat : 2287 (java) S 2278 2281 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73981281 15371935744 22523 33554432000 4194304 4196468 140734943411312 140693810965392 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2288] ppid=2278 vsize=15011656 memory=140595077179008 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2288/stat : 2288 (java) S 2278 2281 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73981283 15371935744 22523 33554432000 4194304 4196468 140734943411312 140692787529968 140694017755778 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2289] ppid=2278 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2289/stat : 2289 (java) S 2278 2281 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73981283 15371935744 22523 33554432000 4194304 4196468 140734943411312 140692659627168 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2290] ppid=2278 vsize=15011656 memory=281189898465184 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2290/stat : 2290 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981283 15371935744 22523 33554432000 4194304 4196468 140734943411312 140692391191280 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2291] ppid=2278 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2291/stat : 2291 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73981286 15371935744 22523 33554432000 4194304 4196468 140734943411312 140692016682960 140694017763227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2292] ppid=2278 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2281/task/2292/stat : 2292 (java) S 2278 2281 32649 0 -1 1077944384 344 0 0 0 2 0 0 0 20 0 15 0 73981286 15371935744 22523 33554432000 4194304 4196468 140734943411312 140692786477808 140694017755778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2293] ppid=2278 vsize=15011656 memory=140594949267375 CPUtime=0.03 cores=0,2,4,6
/proc/2281/task/2293/stat : 2293 (java) S 2278 2281 32649 0 -1 1077944384 254 0 0 0 3 0 0 0 20 0 15 0 73981286 15371935744 22523 33554432000 4194304 4196468 140734943411312 140692785425264 140694017755778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2294] ppid=2278 vsize=15011656 memory=140595077179008 CPUtime=0.07 cores=0,2,4,6
/proc/2281/task/2294/stat : 2294 (java) R 2278 2281 32649 0 -1 4202560 313 0 0 0 7 0 0 0 20 0 15 0 73981286 15371935744 22523 33554432000 4194304 4196468 140734943411312 140692784372336 140693996786451 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2295] ppid=2278 vsize=15011656 memory=140594949272479 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2295/stat : 2295 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73981286 15371935744 22523 33554432000 4194304 4196468 140734943411312 140691518778208 140694017754837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2296] ppid=2278 vsize=15011656 memory=140595151160287 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2296/stat : 2296 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981286 15371935744 22523 33554432000 4194304 4196468 140734943411312 140692783319600 140694017755778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90092 KiB
[startup+0.70071 s]
/proc/loadavg: 2.69 3.95 3.88 3/220 2296
/proc/meminfo: memFree=20581516/32770624 swapFree=67108860/67108860
[pid=2281] ppid=2278 vsize=15020052 memory=129624 CPUtime=0.99 cores=0,2,4,6
/proc/2281/stat : 2281 (java) S 2278 2281 32649 0 -1 1077944320 17658 0 0 0 94 5 0 0 20 0 15 0 73981279 15380533248 32406 33554432000 4194304 4196468 140734943411312 140734943393856 140694017744631 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
/proc/2281/statm: 3755013 32406 3155 1 0 3716398 0
[pid=2281/tid=2283] ppid=2278 vsize=15020052 memory=53 CPUtime=0.67 cores=0,2,4,6
/proc/2281/task/2283/stat : 2283 (java) R 2278 2281 32649 0 -1 4202560 15006 0 0 0 63 4 0 0 20 0 15 0 73981280 15380533248 32406 33554432000 4194304 4196468 140734943411312 140693989571216 140694009981758 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2284] ppid=2278 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2284/stat : 2284 (java) S 2278 2281 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73981281 15380533248 32406 33554432000 4194304 4196468 140734943411312 140694021987344 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2285] ppid=2278 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2285/stat : 2285 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981281 15380533248 32406 33554432000 4194304 4196468 140734943411312 140693813070992 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2286] ppid=2278 vsize=15020052 memory=79 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2286/stat : 2286 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981281 15380533248 32406 33554432000 4194304 4196468 140734943411312 140693812017936 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2287] ppid=2278 vsize=15020052 memory=1 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2287/stat : 2287 (java) S 2278 2281 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73981281 15380533248 32406 33554432000 4194304 4196468 140734943411312 140693810965392 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2288] ppid=2278 vsize=15020052 memory=7813587196152723253 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2288/stat : 2288 (java) S 2278 2281 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73981283 15380533248 32406 33554432000 4194304 4196468 140734943411312 140692787529968 140694017755778 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2289] ppid=2278 vsize=15020052 memory=5787495302040675136 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2289/stat : 2289 (java) S 2278 2281 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73981283 15380533248 32406 33554432000 4194304 4196468 140734943411312 140692659627168 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2290] ppid=2278 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2290/stat : 2290 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981283 15380533248 32406 33554432000 4194304 4196468 140734943411312 140692391191280 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2291] ppid=2278 vsize=15020052 memory=150421834308687 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2291/stat : 2291 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73981286 15380533248 32406 33554432000 4194304 4196468 140734943411312 140692016682960 140694017763227 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2292] ppid=2278 vsize=15020052 memory=431858 CPUtime=0.07 cores=0,2,4,6
/proc/2281/task/2292/stat : 2292 (java) R 2278 2281 32649 0 -1 4202560 579 0 0 0 7 0 0 0 20 0 15 0 73981286 15380533248 32406 33554432000 4194304 4196468 140734943411312 140692786468192 140693996991247 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2293] ppid=2278 vsize=15020052 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/2281/task/2293/stat : 2293 (java) S 2278 2281 32649 0 -1 1077944384 280 0 0 0 6 0 0 0 20 0 15 0 73981286 15380533248 32406 33554432000 4194304 4196468 140734943411312 140692785425264 140694017755778 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2294] ppid=2278 vsize=15020052 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/2281/task/2294/stat : 2294 (java) R 2278 2281 32649 0 -1 4202560 452 0 0 0 16 0 0 0 20 0 15 0 73981286 15380533248 32406 33554432000 4194304 4196468 140734943411312 140692784368576 140693996547855 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2295] ppid=2278 vsize=15020052 memory=281189898256624 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2295/stat : 2295 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73981286 15380533248 32406 33554432000 4194304 4196468 140734943411312 140691518778208 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2296] ppid=2278 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2296/stat : 2296 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981286 15380533248 32406 33554432000 4194304 4196468 140734943411312 140692783319600 140694017755778 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129624 KiB
[startup+1.50091 s]
/proc/loadavg: 2.69 3.95 3.88 3/220 2296
/proc/meminfo: memFree=20551912/32770624 swapFree=67108860/67108860
[pid=2281] ppid=2278 vsize=15024148 memory=184396 CPUtime=3.15 cores=0,2,4,6
/proc/2281/stat : 2281 (java) S 2278 2281 32649 0 -1 1077944320 22092 0 0 0 308 7 0 0 20 0 15 0 73981279 15384727552 46099 33554432000 4194304 4196468 140734943411312 140734943393856 140694017744631 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
/proc/2281/statm: 3756037 46099 3203 1 0 3717422 0
[pid=2281/tid=2283] ppid=2278 vsize=15024148 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/2281/task/2283/stat : 2283 (java) R 2278 2281 32649 0 -1 4202560 16205 0 0 0 141 5 0 0 20 0 15 0 73981280 15384727552 46099 33554432000 4194304 4196468 140734943411312 140693989575696 140693481852980 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2284] ppid=2278 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2284/stat : 2284 (java) S 2278 2281 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73981281 15384727552 46099 33554432000 4194304 4196468 140734943411312 140694021987344 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2285] ppid=2278 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2285/stat : 2285 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981281 15384727552 46099 33554432000 4194304 4196468 140734943411312 140693813070992 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2286] ppid=2278 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2286/stat : 2286 (java) S 2278 2281 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73981281 15384727552 46099 33554432000 4194304 4196468 140734943411312 140693812017936 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2287] ppid=2278 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2287/stat : 2287 (java) S 2278 2281 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73981281 15384727552 46099 33554432000 4194304 4196468 140734943411312 140693810965392 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2288] ppid=2278 vsize=15024148 memory=2209 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2288/stat : 2288 (java) S 2278 2281 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73981283 15384727552 46099 33554432000 4194304 4196468 140734943411312 140692787529968 140694017755778 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
################
# More data... #
################
/proc/meminfo: memFree=16614760/32770624 swapFree=67108860/67108860
[pid=2281] ppid=2278 vsize=15683912 memory=4519504 CPUtime=127.17 cores=0,2,4,6
/proc/2281/stat : 2281 (java) S 2278 2281 32649 0 -1 1077944320 68564 0 0 0 12470 247 0 0 20 0 19 0 73981279 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140734943393856 140694017744631 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
/proc/2281/statm: 3920978 1129876 3265 1 0 3881834 0
[pid=2298] ppid=2281 vsize=187744 memory=158004 CPUtime=536.38 cores=0,2,4,6
/proc/2298/stat : 2298 (minisat_release) R 2281 2281 32649 0 -1 4202496 245165 0 0 0 53597 41 0 0 20 0 1 0 73991866 192249856 39501 33554432000 4194304 4308513 140731071982960 140731071979864 4251511 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 14495744 140731071984305 140731071984814 140731071984814 140731071987653 0
/proc/2298/statm: 46936 39501 352 28 0 43176 0
[pid=2281/tid=2283] ppid=2278 vsize=15683912 memory=4519504 CPUtime=102.65 cores=0,2,4,6
/proc/2281/task/2283/stat : 2283 (java) S 2278 2281 32649 0 -1 1077944384 28072 0 0 0 10212 53 0 0 20 0 19 0 73981280 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140693989583872 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2284] ppid=2278 vsize=15683912 memory=4519504 CPUtime=3.12 cores=0,2,4,6
/proc/2281/task/2284/stat : 2284 (java) S 2278 2281 32649 0 -1 1077944384 2548 0 0 0 270 42 0 0 20 0 19 0 73981281 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140694021987344 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2285] ppid=2278 vsize=15683912 memory=4519504 CPUtime=3.13 cores=0,2,4,6
/proc/2281/task/2285/stat : 2285 (java) S 2278 2281 32649 0 -1 1077944384 1520 0 0 0 271 42 0 0 20 0 19 0 73981281 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140693813070992 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2286] ppid=2278 vsize=15683912 memory=4519504 CPUtime=3.15 cores=0,2,4,6
/proc/2281/task/2286/stat : 2286 (java) S 2278 2281 32649 0 -1 1077944384 1479 0 0 0 272 43 0 0 20 0 19 0 73981281 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140693812017936 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2287] ppid=2278 vsize=15683912 memory=157992 CPUtime=3.12 cores=0,2,4,6
/proc/2281/task/2287/stat : 2287 (java) S 2278 2281 32649 0 -1 1077944384 2287 0 0 0 269 43 0 0 20 0 19 0 73981281 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140693810965392 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2288] ppid=2278 vsize=15683912 memory=4100 CPUtime=0.05 cores=0,2,4,6
/proc/2281/task/2288/stat : 2288 (java) S 2278 2281 32649 0 -1 1077944384 516 0 0 0 4 1 0 0 20 0 19 0 73981283 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692787529968 140694017755778 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2289] ppid=2278 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2289/stat : 2289 (java) S 2278 2281 32649 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 73981283 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692659627232 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2290] ppid=2278 vsize=15683912 memory=155956 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2290/stat : 2290 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73981283 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692391191296 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2291] ppid=2278 vsize=15683912 memory=155956 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2291/stat : 2291 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692016682960 140694017763227 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2292] ppid=2278 vsize=15683912 memory=155956 CPUtime=4.8 cores=0,2,4,6
/proc/2281/task/2292/stat : 2292 (java) S 2278 2281 32649 0 -1 1077944384 9672 0 0 0 478 2 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692786477808 140694017755778 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2293] ppid=2278 vsize=15683912 memory=4519504 CPUtime=5.12 cores=0,2,4,6
/proc/2281/task/2293/stat : 2293 (java) S 2278 2281 32649 0 -1 1077944384 10184 0 0 0 510 2 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692785425264 140694017755778 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2294] ppid=2278 vsize=15683912 memory=4519504 CPUtime=1.46 cores=0,2,4,6
/proc/2281/task/2294/stat : 2294 (java) S 2278 2281 32649 0 -1 1077944384 10777 0 0 0 144 2 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692784372208 140694017755778 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2295] ppid=2278 vsize=15683912 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2295/stat : 2295 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140691518778208 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2296] ppid=2278 vsize=15683912 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/2281/task/2296/stat : 2296 (java) S 2278 2281 32649 0 -1 1077944384 89 0 0 0 24 23 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692783319600 140694017755778 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2299] ppid=2278 vsize=15683912 memory=4519504 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2299/stat : 2299 (java) S 2278 2281 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73991866 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692764955968 140694017769241 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2301] ppid=2278 vsize=15683912 memory=155956 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2301/stat : 2301 (java) S 2278 2281 32649 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 73991866 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140691116113200 140694017766557 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2302] ppid=2278 vsize=15683912 memory=4519504 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2302/stat : 2302 (java) S 2278 2281 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73991866 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140690981892016 140694017766557 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2303] ppid=2278 vsize=15683912 memory=155956 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2303/stat : 2303 (java) S 2278 2281 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 73991868 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140690713468704 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
Current children cumulated CPU time: 663.55 s
Current children cumulated vsize: 15871656 KiB
Current children cumulated memory: 4677508 KiB
[startup+702.301 s]
/proc/loadavg: 2.05 2.20 2.88 3/225 2409
/proc/meminfo: memFree=16604204/32770624 swapFree=67108860/67108860
[pid=2281] ppid=2278 vsize=15683912 memory=4519504 CPUtime=127.21 cores=0,2,4,6
/proc/2281/stat : 2281 (java) S 2278 2281 32649 0 -1 1077944320 68568 0 0 0 12472 249 0 0 20 0 19 0 73981279 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140734943393856 140694017744631 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
/proc/2281/statm: 3920978 1129876 3265 1 0 3881834 0
[pid=2298] ppid=2281 vsize=187744 memory=158000 CPUtime=596.38 cores=0,2,4,6
/proc/2298/stat : 2298 (minisat_release) R 2281 2281 32649 0 -1 4202496 262733 0 0 0 59592 46 0 0 20 0 1 0 73991866 192249856 39500 33554432000 4194304 4308513 140731071982960 140731071979864 4262652 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 14495744 140731071984305 140731071984814 140731071984814 140731071987653 0
/proc/2298/statm: 46936 39500 352 28 0 43176 0
[pid=2281/tid=2283] ppid=2278 vsize=15683912 memory=4519504 CPUtime=102.65 cores=0,2,4,6
/proc/2281/task/2283/stat : 2283 (java) S 2278 2281 32649 0 -1 1077944384 28072 0 0 0 10212 53 0 0 20 0 19 0 73981280 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140693989583872 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2284] ppid=2278 vsize=15683912 memory=4519504 CPUtime=3.12 cores=0,2,4,6
/proc/2281/task/2284/stat : 2284 (java) S 2278 2281 32649 0 -1 1077944384 2548 0 0 0 270 42 0 0 20 0 19 0 73981281 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140694021987344 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2285] ppid=2278 vsize=15683912 memory=155952 CPUtime=3.13 cores=0,2,4,6
/proc/2281/task/2285/stat : 2285 (java) S 2278 2281 32649 0 -1 1077944384 1520 0 0 0 271 42 0 0 20 0 19 0 73981281 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140693813070992 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2286] ppid=2278 vsize=15683912 memory=4519504 CPUtime=3.15 cores=0,2,4,6
/proc/2281/task/2286/stat : 2286 (java) S 2278 2281 32649 0 -1 1077944384 1479 0 0 0 272 43 0 0 20 0 19 0 73981281 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140693812017936 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2287] ppid=2278 vsize=15683912 memory=121608 CPUtime=3.12 cores=0,2,4,6
/proc/2281/task/2287/stat : 2287 (java) S 2278 2281 32649 0 -1 1077944384 2287 0 0 0 269 43 0 0 20 0 19 0 73981281 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140693810965392 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2288] ppid=2278 vsize=15683912 memory=158000 CPUtime=0.05 cores=0,2,4,6
/proc/2281/task/2288/stat : 2288 (java) S 2278 2281 32649 0 -1 1077944384 516 0 0 0 4 1 0 0 20 0 19 0 73981283 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692787529968 140694017755778 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2289] ppid=2278 vsize=15683912 memory=4519504 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2289/stat : 2289 (java) S 2278 2281 32649 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 73981283 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692659627232 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2290] ppid=2278 vsize=15683912 memory=4519504 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2290/stat : 2290 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73981283 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692391191296 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2291] ppid=2278 vsize=15683912 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2291/stat : 2291 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692016682960 140694017763227 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2292] ppid=2278 vsize=15683912 memory=4519504 CPUtime=4.8 cores=0,2,4,6
/proc/2281/task/2292/stat : 2292 (java) S 2278 2281 32649 0 -1 1077944384 9672 0 0 0 478 2 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692786477808 140694017755778 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2293] ppid=2278 vsize=15683912 memory=4519504 CPUtime=5.12 cores=0,2,4,6
/proc/2281/task/2293/stat : 2293 (java) S 2278 2281 32649 0 -1 1077944384 10184 0 0 0 510 2 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692785425264 140694017755778 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2294] ppid=2278 vsize=15683912 memory=4519504 CPUtime=1.46 cores=0,2,4,6
/proc/2281/task/2294/stat : 2294 (java) S 2278 2281 32649 0 -1 1077944384 10777 0 0 0 144 2 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692784372208 140694017755778 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2295] ppid=2278 vsize=15683912 memory=4519504 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2295/stat : 2295 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140691518778208 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2296] ppid=2278 vsize=15683912 memory=4519504 CPUtime=0.49 cores=0,2,4,6
/proc/2281/task/2296/stat : 2296 (java) S 2278 2281 32649 0 -1 1077944384 93 0 0 0 25 24 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692783319600 140694017755778 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2299] ppid=2278 vsize=15683912 memory=4519504 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2299/stat : 2299 (java) S 2278 2281 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73991866 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692764955968 140694017769241 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2301] ppid=2278 vsize=15683912 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2301/stat : 2301 (java) S 2278 2281 32649 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 73991866 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140691116113200 140694017766557 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2302] ppid=2278 vsize=15683912 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2302/stat : 2302 (java) S 2278 2281 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73991866 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140690981892016 140694017766557 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2303] ppid=2278 vsize=15683912 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2303/stat : 2303 (java) S 2278 2281 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 73991868 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140690713468704 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
Current children cumulated CPU time: 723.59 s
Current children cumulated vsize: 15871656 KiB
Current children cumulated memory: 4677504 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+751.401 s]
/proc/loadavg: 2.02 2.17 2.84 3/225 2410
/proc/meminfo: memFree=16599996/32770624 swapFree=67108860/67108860
[pid=2281] ppid=2278 vsize=15683912 memory=4519504 CPUtime=127.23 cores=0,2,4,6
/proc/2281/stat : 2281 (java) S 2278 2281 32649 0 -1 1077944320 68572 0 0 0 12473 250 0 0 20 0 19 0 73981279 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140734943393856 140694017744631 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
/proc/2281/statm: 3920978 1129876 3265 1 0 3881834 0
[pid=2298] ppid=2281 vsize=237064 memory=192640 CPUtime=645.47 cores=0,2,4,6
/proc/2298/stat : 2298 (minisat_release) R 2281 2281 32649 0 -1 4202496 279971 0 0 0 64497 50 0 0 20 0 1 0 73991866 242753536 48160 33554432000 4194304 4308513 140731071982960 140731071979864 4280654 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 14495744 140731071984305 140731071984814 140731071984814 140731071987653 0
/proc/2298/statm: 59266 48160 352 28 0 55506 0
[pid=2281/tid=2283] ppid=2278 vsize=15683912 memory=1708 CPUtime=102.65 cores=0,2,4,6
/proc/2281/task/2283/stat : 2283 (java) S 2278 2281 32649 0 -1 1077944384 28072 0 0 0 10212 53 0 0 20 0 19 0 73981280 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140693989583872 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2284] ppid=2278 vsize=15683912 memory=5792 CPUtime=3.12 cores=0,2,4,6
/proc/2281/task/2284/stat : 2284 (java) S 2278 2281 32649 0 -1 1077944384 2548 0 0 0 270 42 0 0 20 0 19 0 73981281 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140694021987344 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2285] ppid=2278 vsize=15683912 memory=4612 CPUtime=3.13 cores=0,2,4,6
/proc/2281/task/2285/stat : 2285 (java) S 2278 2281 32649 0 -1 1077944384 1520 0 0 0 271 42 0 0 20 0 19 0 73981281 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140693813070992 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2286] ppid=2278 vsize=15683912 memory=9920 CPUtime=3.15 cores=0,2,4,6
/proc/2281/task/2286/stat : 2286 (java) S 2278 2281 32649 0 -1 1077944384 1479 0 0 0 272 43 0 0 20 0 19 0 73981281 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140693812017936 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2287] ppid=2278 vsize=15683912 memory=1944 CPUtime=3.12 cores=0,2,4,6
/proc/2281/task/2287/stat : 2287 (java) S 2278 2281 32649 0 -1 1077944384 2287 0 0 0 269 43 0 0 20 0 19 0 73981281 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140693810965392 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2288] ppid=2278 vsize=15683912 memory=1428 CPUtime=0.05 cores=0,2,4,6
/proc/2281/task/2288/stat : 2288 (java) S 2278 2281 32649 0 -1 1077944384 516 0 0 0 4 1 0 0 20 0 19 0 73981283 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692787529968 140694017755778 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2289] ppid=2278 vsize=15683912 memory=8520 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2289/stat : 2289 (java) S 2278 2281 32649 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 73981283 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692659627232 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2290] ppid=2278 vsize=15683912 memory=792 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2290/stat : 2290 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73981283 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692391191296 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2291] ppid=2278 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2291/stat : 2291 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692016682960 140694017763227 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2292] ppid=2278 vsize=15683912 memory=1228 CPUtime=4.8 cores=0,2,4,6
/proc/2281/task/2292/stat : 2292 (java) S 2278 2281 32649 0 -1 1077944384 9672 0 0 0 478 2 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692786477808 140694017755778 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2293] ppid=2278 vsize=15683912 memory=1200 CPUtime=5.13 cores=0,2,4,6
/proc/2281/task/2293/stat : 2293 (java) S 2278 2281 32649 0 -1 1077944384 10184 0 0 0 510 3 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692785425264 140694017755778 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2294] ppid=2278 vsize=15683912 memory=15876 CPUtime=1.46 cores=0,2,4,6
/proc/2281/task/2294/stat : 2294 (java) S 2278 2281 32649 0 -1 1077944384 10777 0 0 0 144 2 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692784372208 140694017755778 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2295] ppid=2278 vsize=15683912 memory=18268 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2295/stat : 2295 (java) S 2278 2281 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140691518778208 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2296] ppid=2278 vsize=15683912 memory=13928 CPUtime=0.51 cores=0,2,4,6
/proc/2281/task/2296/stat : 2296 (java) S 2278 2281 32649 0 -1 1077944384 97 0 0 0 26 25 0 0 20 0 19 0 73981286 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692783319600 140694017755778 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2299] ppid=2278 vsize=15683912 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2299/stat : 2299 (java) S 2278 2281 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73991866 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140692764955968 140694017769241 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2301] ppid=2278 vsize=15683912 memory=644 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2301/stat : 2301 (java) S 2278 2281 32649 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 73991866 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140691116113200 140694017766557 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2302] ppid=2278 vsize=15683912 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2302/stat : 2302 (java) S 2278 2281 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73991866 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140690981892016 140694017766557 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
[pid=2281/tid=2303] ppid=2278 vsize=15683912 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/2281/task/2303/stat : 2303 (java) S 2278 2281 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 73991868 16060325888 1129876 33554432000 4194304 4196468 140734943411312 140690713468704 140694017754837 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29024256 140734943413235 140734943413513 140734943413513 140734943416271 0
Current children cumulated CPU time: 772.7 s
Current children cumulated vsize: 15920976 KiB
Current children cumulated memory: 4712144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+751.44 s]
# the end of solver process 2281 was just reported to runsolver
# cumulated CPU time of all completed processes: user=769.72 s, system=3.04508 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 751.44
CPU time (s): 772.766
CPU user time (s): 769.72
CPU system time (s): 3.04508
CPU usage (%): 102.838
Max. virtual memory (cumulated for all children) (KiB): 15920976
Max. memory (cumulated for all children) (KiB): 4712144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 769.72
system time used= 3.04508
maximum resident set size= 4522064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348652
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22391
involuntary context switches= 1127
# summary of solver processes directly reported to runsolver:
# pid: 2281
# total CPU time (s): 772.766
# total CPU user time (s): 769.72
# total CPU system time (s): 3.04508
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.0377 second user time and 7.69827 second system time
The end