0.55/0.51
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 14:52:55 CEST 2018
0.67/0.54 c PID: 14466
0.67/0.54 c IP: 172.20.3.102
0.67/0.54 c HOST: node102.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.65/1.07 c (0,0) Parsing End
1.65/1.08 c (0,0) CSP: 0 int (0 aux), 840 bool (0 aux), 82 ctr, max domain size 2
1.65/1.08 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.65/1.08 c (0,0) Constraint Name Generate Begin
1.65/1.08 c (0,0) Ctr:HOME/instance-4293819-1532350374.xml,IntVar:Num:WeightedSum
1.65/1.08 c (0,0) Constraint Name Generate End
1.65/1.08 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.65/1.08 c (0,0) CSP to CSPinCNF Begin
2.11/1.22 c (0,0) translated 9 (10%) constraints
2.11/1.25 c (0,0) translated 17 (20%) constraints
2.11/1.26 c (0,0) translated 25 (30%) constraints
2.11/1.28 c (0,0) translated 33 (40%) constraints
2.11/1.29 c (0,0) translated 41 (50%) constraints
2.48/1.32 c (0,0) translated 50 (60%) constraints
2.48/1.33 c (0,0) translated 58 (70%) constraints
2.48/1.34 c (0,0) translated 66 (80%) constraints
2.48/1.35 c (0,0) translated 74 (90%) constraints
2.48/1.36 c (0,0) translated 82 (100%) constraints
2.79/1.41 c (0,0) STATISTICS1:HOME/instance-4293819-1532350374.xml,IntVar:Num:WeightedSum,840,82,1048576,2,1,21,1048576:40;524288:42,2:1680,1:82,21:40;20:42,
2.79/1.41 c (0,0) ===========================================
2.79/1.41 c (0,0) Both Encoding selects:
2.79/1.41 c (0,0) Log
2.79/1.41 c (0,0) ===========================================
2.79/1.42 c (0,0) translated 9 (10%) constraints
2.79/1.43 c (0,0) translated 17 (20%) constraints
2.79/1.43 c (0,0) translated 25 (30%) constraints
2.79/1.43 c (0,0) translated 33 (40%) constraints
2.79/1.43 c (0,0) translated 41 (50%) constraints
2.79/1.44 c (0,0) translated 50 (60%) constraints
2.79/1.44 c (0,0) translated 58 (70%) constraints
2.79/1.44 c (0,0) translated 66 (80%) constraints
2.79/1.45 c (0,0) translated 74 (90%) constraints
2.79/1.45 c (0,0) translated 82 (100%) constraints
2.79/1.46 c (0,0) CSP to CSPinCNF End
2.79/1.46 c (0,0) CSP: 0 int (0 aux), 840 bool (0 aux), 82 ctr, max domain size 2
2.79/1.46 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.79/1.46 c (0,0) CSPinCNF Propagation Begin
2.79/1.47 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.79/1.47 c (0,0) CSPinCNF Propagation End
2.79/1.47 c (0,0) CSP: 0 int (0 aux), 840 bool (0 aux), 82 ctr, max domain size 2
2.79/1.47 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.79/1.47 c (0,0) Simplify CSPinCNF Begin
2.79/1.48 c (0,0) Simplify CSPinCNF End
2.79/1.48 c (0,0) CSP: 0 int (0 aux), 840 bool (0 aux), 82 ctr, max domain size 2
2.79/1.48 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.79/1.48 c (0,0) Calculate Precise Domain Begin
2.79/1.48 c (0,0) 0 values are removed by re-calculation
2.79/1.48 c (0,0) Calculate Precise Domain End
2.79/1.48 c (0,0) CSP: 0 int (0 aux), 840 bool (0 aux), 82 ctr, max domain size 2
2.79/1.48 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.79/1.48 c (0,0) CSPinCNF to SatSolver Begin
3.12/1.58 c (1,1) 9 (10 %) CSP clauses are being encoded (1000 SAT variables, 168 SAT clauses)
3.12/1.59 c (1,1) 17 (20 %) CSP clauses are being encoded (1160 SAT variables, 336 SAT clauses)
3.12/1.60 c (1,1) 25 (30 %) CSP clauses are being encoded (1320 SAT variables, 504 SAT clauses)
3.48/1.61 c (1,1) 33 (40 %) CSP clauses are being encoded (1480 SAT variables, 672 SAT clauses)
3.48/1.61 c (1,1) 41 (50 %) CSP clauses are being encoded (1640 SAT variables, 840 SAT clauses)
3.48/1.63 c (1,1) 50 (60 %) CSP clauses are being encoded (1960 SAT variables, 1701 SAT clauses)
3.48/1.64 c (1,1) 58 (70 %) CSP clauses are being encoded (2280 SAT variables, 2637 SAT clauses)
3.48/1.65 c (1,1) 66 (80 %) CSP clauses are being encoded (2600 SAT variables, 3573 SAT clauses)
3.48/1.67 c (1,1) 74 (90 %) CSP clauses are being encoded (2920 SAT variables, 4509 SAT clauses)
3.48/1.68 c (1,1) 82 (100 %) CSP clauses are being encoded (3240 SAT variables, 5445 SAT clauses)
3.48/1.68 c (1,1) CSPinCNF to SatSolver End
3.48/1.68 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.79/1.71 c (1,1) STATISTICS2:HOME/instance-4293819-1532350374.xml,IntVar:Num:WeightedSum,840,82,1048576,2,1,21,1048576:40;524288:42,2:1680,1:82,21:40;20:42,
3.79/1.71 c (1,1) SatSolver.solve Begin
3.79/1.71 c (1,1) 3280 bool, 5562 clause
3.79/1.71 c (1,1) 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-4293819-1532350374.xml-scop-14466.cnf HOME/instance-4293819-1532350374.xml-scop-14466.cnf.out
2520.08/2516.80 c (2516,1) SatSolver is killed by some reasons.
2520.08/2516.80 c (2516,1) 0,0,0,0,0,0,1,TO,TO,STOP-AFTER(DIMACS)
2520.08/2516.80 s UNKNOWN
2520.08/2516.80 c END-Prog: Mon Jul 23 15:34:51 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 (5387 MiB free)
memory of node 1: 16384 MiB (10508 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293819-1532350374/watcher-4293819-1532350374 -o /tmp/evaluation-result-4293819-1532350374/solver-4293819-1532350374 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8951 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293819-1532350374.xml
running on 4 cores: 1,3,5,7
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
solver pid=14466, runsolver pid=14463
Current StackSize limit: 8192 KiB
[startup+0.100141 s]*
/proc/loadavg: 2.51 2.13 2.08 3/221 14481
/proc/meminfo: memFree=16216220/32770624 swapFree=67108860/67108860
[pid=14466] ppid=14463 vsize=15011656 memory=73920 CPUtime=0.11 cores=1,3,5,7
/proc/14466/stat : 14466 (java) S 14463 14466 8919 0 -1 1077944320 7199 0 0 0 10 1 0 0 20 0 15 0 52600604 15371935744 18480 33554432000 4194304 4196468 140725799208944 140725799191488 140250864189175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
/proc/14466/statm: 3752914 18480 2775 1 0 3715374 0
[pid=14466/tid=14468] ppid=14463 vsize=15011656 memory=-6799202250962287440 CPUtime=0.09 cores=1,3,5,7
/proc/14466/task/14468/stat : 14468 (java) R 14463 14466 8919 0 -1 4202560 5458 0 0 0 8 1 0 0 20 0 15 0 52600604 15371935744 18678 33554432000 4194304 4196468 140725799208944 140250836001160 140250844466000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14469] ppid=14463 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14469/stat : 14469 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52600606 15371935744 18678 33554432000 4194304 4196468 140725799208944 140250868431760 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14470] ppid=14463 vsize=15011656 memory=139788729710208 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14470/stat : 14470 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52600606 15371935744 18678 33554432000 4194304 4196468 140725799208944 140250682587920 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14471] ppid=14463 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14471/stat : 14471 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52600606 15371935744 18678 33554432000 4194304 4196468 140725799208944 140250323430544 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14472] ppid=14463 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14472/stat : 14472 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52600606 15371935744 18678 33554432000 4194304 4196468 140725799208944 140250322377744 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14473] ppid=14463 vsize=15011656 memory=139788729710208 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14473/stat : 14473 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52600607 15371935744 18678 33554432000 4194304 4196468 140725799208944 140249902139504 140250864200322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14474] ppid=14463 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14474/stat : 14474 (java) S 14463 14466 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52600608 15371935744 18744 33554432000 4194304 4196468 140725799208944 140249539797792 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14475] ppid=14463 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14475/stat : 14475 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52600608 15371935744 18744 33554432000 4194304 4196468 140725799208944 140249271362672 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14476] ppid=14463 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14476/stat : 14476 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52600610 15371935744 18744 33554432000 4194304 4196468 140725799208944 140248896854096 140250864207771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14477] ppid=14463 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14477/stat : 14477 (java) S 14463 14466 8919 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 52600610 15371935744 18744 33554432000 4194304 4196468 140725799208944 140249901087344 140250864200322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14478] ppid=14463 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14478/stat : 14478 (java) S 14463 14466 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52600610 15371935744 18744 33554432000 4194304 4196468 140725799208944 140249900034544 140250864200322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14479] ppid=14463 vsize=15011656 memory=139788729710208 CPUtime=0.01 cores=1,3,5,7
/proc/14466/task/14479/stat : 14479 (java) S 14463 14466 8919 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 52600611 15371935744 18744 33554432000 4194304 4196468 140725799208944 140249898982256 140250864200322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14480] ppid=14463 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14480/stat : 14480 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52600611 15371935744 18744 33554432000 4194304 4196468 140725799208944 140248398949344 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14481] ppid=14463 vsize=15011656 memory=139788729710208 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14481/stat : 14481 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52600611 15371935744 18744 33554432000 4194304 4196468 140725799208944 140249897929136 140250864200322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73920 KiB
[startup+0.210763 s]*
/proc/loadavg: 2.51 2.13 2.08 3/221 14481
/proc/meminfo: memFree=16202516/32770624 swapFree=67108860/67108860
[pid=14466] ppid=14463 vsize=15011656 memory=86220 CPUtime=0.26 cores=1,3,5,7
/proc/14466/stat : 14466 (java) S 14463 14466 8919 0 -1 1077944320 10499 0 0 0 24 2 0 0 20 0 15 0 52600604 15371935744 21555 33554432000 4194304 4196468 140725799208944 140725799191488 140250864189175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
/proc/14466/statm: 3752914 21555 2910 1 0 3715374 0
[pid=14466/tid=14468] ppid=14463 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/14466/task/14468/stat : 14468 (java) R 14463 14466 8919 0 -1 4202560 8392 0 0 0 18 2 0 0 20 0 15 0 52600604 15371935744 21555 33554432000 4194304 4196468 140725799208944 140250836018720 140250850257051 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14469] ppid=14463 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14469/stat : 14469 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52600606 15371935744 21555 33554432000 4194304 4196468 140725799208944 140250868431760 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14470] ppid=14463 vsize=15011656 memory=139788730007016 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14470/stat : 14470 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52600606 15371935744 21555 33554432000 4194304 4196468 140725799208944 140250682587920 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14471] ppid=14463 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14471/stat : 14471 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52600606 15371935744 21555 33554432000 4194304 4196468 140725799208944 140250323430544 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14472] ppid=14463 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14472/stat : 14472 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52600606 15371935744 21555 33554432000 4194304 4196468 140725799208944 140250322377744 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14473] ppid=14463 vsize=15011656 memory=139788729710208 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14473/stat : 14473 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52600607 15371935744 21555 33554432000 4194304 4196468 140725799208944 140249902139504 140250864200322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14474] ppid=14463 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14474/stat : 14474 (java) S 14463 14466 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52600608 15371935744 21555 33554432000 4194304 4196468 140725799208944 140249539797792 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14475] ppid=14463 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14475/stat : 14475 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52600608 15371935744 21555 33554432000 4194304 4196468 140725799208944 140249271362672 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14476] ppid=14463 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14476/stat : 14476 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52600610 15371935744 21555 33554432000 4194304 4196468 140725799208944 140248896854096 140250864207771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14477] ppid=14463 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14466/task/14477/stat : 14477 (java) R 14463 14466 8919 0 -1 4202560 319 0 0 0 1 0 0 0 20 0 15 0 52600610 15371935744 21555 33554432000 4194304 4196468 140725799208944 140249901087344 140250847675227 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14478] ppid=14463 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14478/stat : 14478 (java) R 14463 14466 8919 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 52600610 15371935744 21555 33554432000 4194304 4196468 140725799208944 140249900034544 140250864200322 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14479] ppid=14463 vsize=15011656 memory=139788729710208 CPUtime=0.03 cores=1,3,5,7
/proc/14466/task/14479/stat : 14479 (java) S 14463 14466 8919 0 -1 1077944384 298 0 0 0 3 0 0 0 20 0 15 0 52600611 15371935744 21555 33554432000 4194304 4196468 140725799208944 140249898982256 140250864200322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14480] ppid=14463 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14480/stat : 14480 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52600611 15371935744 21555 33554432000 4194304 4196468 140725799208944 140248398949344 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14481] ppid=14463 vsize=15011656 memory=139788729710208 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14481/stat : 14481 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52600611 15371935744 21555 33554432000 4194304 4196468 140725799208944 140249897929136 140250864200322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86220 KiB
[startup+0.310814 s]*
/proc/loadavg: 2.51 2.13 2.08 4/221 14481
/proc/meminfo: memFree=16199228/32770624 swapFree=67108860/67108860
[pid=14466] ppid=14463 vsize=15011656 memory=89692 CPUtime=0.43 cores=1,3,5,7
/proc/14466/stat : 14466 (java) S 14463 14466 8919 0 -1 1077944320 11016 0 0 0 41 2 0 0 20 0 15 0 52600604 15371935744 22423 33554432000 4194304 4196468 140725799208944 140725799191488 140250864189175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
/proc/14466/statm: 3752914 22423 3006 1 0 3715374 0
[pid=14466/tid=14468] ppid=14463 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/14466/task/14468/stat : 14468 (java) R 14463 14466 8919 0 -1 4202560 8771 0 0 0 28 2 0 0 20 0 15 0 52600604 15371935744 22423 33554432000 4194304 4196468 140725799208944 140250836016800 140250848269662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14469] ppid=14463 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14469/stat : 14469 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52600606 15371935744 22423 33554432000 4194304 4196468 140725799208944 140250868431760 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14470] ppid=14463 vsize=15011656 memory=139788730007007 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14470/stat : 14470 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52600606 15371935744 22423 33554432000 4194304 4196468 140725799208944 140250682587920 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14471] ppid=14463 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14471/stat : 14471 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52600606 15371935744 22423 33554432000 4194304 4196468 140725799208944 140250323430544 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14472] ppid=14463 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14472/stat : 14472 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52600606 15371935744 22423 33554432000 4194304 4196468 140725799208944 140250322377744 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14473] ppid=14463 vsize=15011656 memory=139788729710208 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14473/stat : 14473 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52600607 15371935744 22423 33554432000 4194304 4196468 140725799208944 140249902139504 140250864200322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14474] ppid=14463 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14474/stat : 14474 (java) S 14463 14466 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52600608 15371935744 22423 33554432000 4194304 4196468 140725799208944 140249539797792 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14475] ppid=14463 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14475/stat : 14475 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52600608 15371935744 22423 33554432000 4194304 4196468 140725799208944 140249271362672 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14476] ppid=14463 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14476/stat : 14476 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52600610 15371935744 22423 33554432000 4194304 4196468 140725799208944 140248896854096 140250864207771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14477] ppid=14463 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14466/task/14477/stat : 14477 (java) S 14463 14466 8919 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 15 0 52600610 15371935744 22423 33554432000 4194304 4196468 140725799208944 140249901087344 140250864200322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14478] ppid=14463 vsize=15011656 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/14466/task/14478/stat : 14478 (java) S 14463 14466 8919 0 -1 1077944384 266 0 0 0 3 0 0 0 20 0 15 0 52600610 15371935744 22423 33554432000 4194304 4196468 140725799208944 140249900034544 140250864200322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14479] ppid=14463 vsize=15011656 memory=139788729710208 CPUtime=0.07 cores=1,3,5,7
/proc/14466/task/14479/stat : 14479 (java) S 14463 14466 8919 0 -1 1077944384 317 0 0 0 7 0 0 0 20 0 15 0 52600611 15371935744 22423 33554432000 4194304 4196468 140725799208944 140249898982256 140250864200322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14480] ppid=14463 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14480/stat : 14480 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52600611 15371935744 22423 33554432000 4194304 4196468 140725799208944 140248398949344 140250864199381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14481] ppid=14463 vsize=15011656 memory=139788729710208 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14481/stat : 14481 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52600611 15371935744 22423 33554432000 4194304 4196468 140725799208944 140249897929136 140250864200322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89692 KiB
[startup+0.701011 s]
/proc/loadavg: 2.51 2.13 2.08 3/221 14481
/proc/meminfo: memFree=16174796/32770624 swapFree=67108860/67108860
[pid=14466] ppid=14463 vsize=15020052 memory=130260 CPUtime=1.02 cores=1,3,5,7
/proc/14466/stat : 14466 (java) S 14463 14466 8919 0 -1 1077944320 18260 0 0 0 96 6 0 0 20 0 15 0 52600604 15380533248 32565 33554432000 4194304 4196468 140725799208944 140725799191488 140250864189175 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
/proc/14466/statm: 3755013 32565 3158 1 0 3716398 0
[pid=14466/tid=14468] ppid=14463 vsize=15020052 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/14466/task/14468/stat : 14468 (java) R 14463 14466 8919 0 -1 4202560 15521 0 0 0 62 5 0 0 20 0 15 0 52600604 15380533248 32565 33554432000 4194304 4196468 140725799208944 140250836025088 140250848232805 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14469] ppid=14463 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14469/stat : 14469 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52600606 15380533248 32565 33554432000 4194304 4196468 140725799208944 140250868431760 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14470] ppid=14463 vsize=15019796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14470/stat : 14470 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52600606 15380271104 32578 33554432000 4194304 4196468 140725799208944 140250682587920 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14471] ppid=14463 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14471/stat : 14471 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52600606 15380533248 32578 33554432000 4194304 4196468 140725799208944 140250323430544 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14472] ppid=14463 vsize=15020052 memory=201949630712808 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14472/stat : 14472 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52600606 15380533248 32578 33554432000 4194304 4196468 140725799208944 140250322377744 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14473] ppid=14463 vsize=15020052 memory=286033 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14473/stat : 14473 (java) S 14463 14466 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52600607 15380533248 32578 33554432000 4194304 4196468 140725799208944 140249902139504 140250864200322 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14474] ppid=14463 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14474/stat : 14474 (java) S 14463 14466 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52600608 15380533248 32578 33554432000 4194304 4196468 140725799208944 140249539797792 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14475] ppid=14463 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14475/stat : 14475 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52600608 15380533248 32578 33554432000 4194304 4196468 140725799208944 140249271362672 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14476] ppid=14463 vsize=15020052 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14476/stat : 14476 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52600610 15380533248 32578 33554432000 4194304 4196468 140725799208944 140248896854096 140250864207771 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14477] ppid=14463 vsize=15020052 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14466/task/14477/stat : 14477 (java) R 14463 14466 8919 0 -1 4202560 581 0 0 0 9 0 0 0 20 0 15 0 52600610 15380533248 32578 33554432000 4194304 4196468 140725799208944 140249901066176 140250849315532 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14478] ppid=14463 vsize=15020052 memory=-3472574513799858009 CPUtime=0.07 cores=1,3,5,7
/proc/14466/task/14478/stat : 14478 (java) R 14463 14466 8919 0 -1 1077944384 338 0 0 0 7 0 0 0 20 0 15 0 52600610 15380533248 32578 33554432000 4194304 4196468 140725799208944 140249900024336 140250864199381 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14479] ppid=14463 vsize=15020052 memory=6944656592387989600 CPUtime=0.17 cores=1,3,5,7
/proc/14466/task/14479/stat : 14479 (java) S 14463 14466 8919 0 -1 1077944384 478 0 0 0 17 0 0 0 20 0 15 0 52600611 15380533248 32578 33554432000 4194304 4196468 140725799208944 140249898982256 140250864200322 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14480] ppid=14463 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14480/stat : 14480 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52600611 15380533248 32578 33554432000 4194304 4196468 140725799208944 140248398949344 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14481] ppid=14463 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14481/stat : 14481 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52600611 15380533248 32578 33554432000 4194304 4196468 140725799208944 140249897929136 140250864200322 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130260 KiB
[startup+1.5036 s]
/proc/loadavg: 2.51 2.13 2.08 3/221 14481
/proc/meminfo: memFree=16114068/32770624 swapFree=67108860/67108860
[pid=14466] ppid=14463 vsize=15022100 memory=191436 CPUtime=3.12 cores=1,3,5,7
/proc/14466/stat : 14466 (java) S 14463 14466 8919 0 -1 1077944320 21785 0 0 0 304 8 0 0 20 0 15 0 52600604 15382630400 47859 33554432000 4194304 4196468 140725799208944 140725799191488 140250864189175 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
/proc/14466/statm: 3755525 47859 3199 1 0 3716910 0
[pid=14466/tid=14468] ppid=14463 vsize=15022100 memory=127 CPUtime=1.47 cores=1,3,5,7
/proc/14466/task/14468/stat : 14468 (java) R 14463 14466 8919 0 -1 4202560 16550 0 0 0 141 6 0 0 20 0 15 0 52600604 15382630400 47859 33554432000 4194304 4196468 140725799208944 140250836026536 140250365429895 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14469] ppid=14463 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14469/stat : 14469 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52600606 15382630400 47859 33554432000 4194304 4196468 140725799208944 140250868431760 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14470] ppid=14463 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14470/stat : 14470 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52600606 15382630400 47859 33554432000 4194304 4196468 140725799208944 140250682587920 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14471] ppid=14463 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14471/stat : 14471 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52600606 15382630400 47859 33554432000 4194304 4196468 140725799208944 140250323430544 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14472] ppid=14463 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14472/stat : 14472 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52600606 15382630400 47859 33554432000 4194304 4196468 140725799208944 140250322377744 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14473] ppid=14463 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14473/stat : 14473 (java) S 14463 14466 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52600607 15382630400 47859 33554432000 4194304 4196468 140725799208944 140249902139504 140250864200322 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
################
# More data... #
################
/proc/meminfo: memFree=13125024/32770624 swapFree=67108860/67108860
[pid=14466] ppid=14463 vsize=15681864 memory=232804 CPUtime=4.92 cores=1,3,5,7
/proc/14466/stat : 14466 (java) S 14463 14466 8919 0 -1 1077944320 23187 0 0 0 437 55 0 0 20 0 19 0 52600604 16058228736 58201 33554432000 4194304 4196468 140725799208944 140725799191488 140250864189175 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
/proc/14466/statm: 3920466 58201 3216 1 0 3881322 0
[pid=14482] ppid=14466 vsize=154068 memory=126180 CPUtime=2440.63 cores=1,3,5,7
/proc/14482/stat : 14482 (minisat_release) R 14466 14466 8919 0 -1 4202496 116744 0 0 0 244053 10 0 0 20 0 1 0 52600777 157765632 31545 33554432000 4194304 4308513 140731037832752 140731037829656 4276400 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 31789056 140731037835951 140731037836462 140731037836462 140731037839301 0
/proc/14482/statm: 38517 31545 353 28 0 34757 0
[pid=14466/tid=14468] ppid=14463 vsize=15681864 memory=232804 CPUtime=1.73 cores=1,3,5,7
/proc/14466/task/14468/stat : 14468 (java) S 14463 14466 8919 0 -1 1077944384 17185 0 0 0 166 7 0 0 20 0 19 0 52600604 16058228736 58201 33554432000 4194304 4196468 140725799208944 140250836028416 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14469] ppid=14463 vsize=15681864 memory=232804 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14469/stat : 14469 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52600606 16058228736 58201 33554432000 4194304 4196468 140725799208944 140250868431760 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14470] ppid=14463 vsize=15681864 memory=232804 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14470/stat : 14470 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52600606 16058228736 58201 33554432000 4194304 4196468 140725799208944 140250682587920 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14471] ppid=14463 vsize=15681864 memory=232804 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14471/stat : 14471 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52600606 16058228736 58201 33554432000 4194304 4196468 140725799208944 140250323430544 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14472] ppid=14463 vsize=15681864 memory=232804 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14472/stat : 14472 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52600606 16058228736 58201 33554432000 4194304 4196468 140725799208944 140250322377744 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14473] ppid=14463 vsize=15681864 memory=232804 CPUtime=0.02 cores=1,3,5,7
/proc/14466/task/14473/stat : 14473 (java) S 14463 14466 8919 0 -1 1077944384 7 0 0 0 1 1 0 0 20 0 19 0 52600607 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249902139504 140250864200322 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14474] ppid=14463 vsize=15681864 memory=232804 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14474/stat : 14474 (java) S 14463 14466 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52600608 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249539797792 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14475] ppid=14463 vsize=15681864 memory=232804 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14475/stat : 14475 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52600608 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249271362672 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14476] ppid=14463 vsize=15681864 memory=232804 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14476/stat : 14476 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52600610 16058228736 58201 33554432000 4194304 4196468 140725799208944 140248896854096 140250864207771 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14477] ppid=14463 vsize=15681864 memory=232804 CPUtime=0.77 cores=1,3,5,7
/proc/14466/task/14477/stat : 14477 (java) S 14463 14466 8919 0 -1 1077944384 1353 0 0 0 77 0 0 0 20 0 19 0 52600610 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249901087344 140250864200322 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14478] ppid=14463 vsize=15681864 memory=2257 CPUtime=0.77 cores=1,3,5,7
/proc/14466/task/14478/stat : 14478 (java) S 14463 14466 8919 0 -1 1077944384 1250 0 0 0 76 1 0 0 20 0 19 0 52600610 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249900034544 140250864200322 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14479] ppid=14463 vsize=15681864 memory=-7824251494390650727 CPUtime=0.72 cores=1,3,5,7
/proc/14466/task/14479/stat : 14479 (java) S 14463 14466 8919 0 -1 1077944384 1840 0 0 0 71 1 0 0 20 0 19 0 52600611 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249898982256 140250864200322 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14480] ppid=14463 vsize=15681864 memory=126180 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14480/stat : 14480 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52600611 16058228736 58201 33554432000 4194304 4196468 140725799208944 140248398949344 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14481] ppid=14463 vsize=15681864 memory=4140 CPUtime=0.85 cores=1,3,5,7
/proc/14466/task/14481/stat : 14481 (java) S 14463 14466 8919 0 -1 1077944384 163 0 0 0 38 47 0 0 20 0 19 0 52600611 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249897929136 140250864200322 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14483] ppid=14463 vsize=15681864 memory=16960 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14483/stat : 14483 (java) S 14463 14466 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52600777 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249881994176 140250864213785 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14485] ppid=14463 vsize=15681864 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14485/stat : 14485 (java) S 14463 14466 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52600777 16058228736 58201 33554432000 4194304 4196468 140725799208944 140247862066608 140250864211101 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14486] ppid=14463 vsize=15681864 memory=8384 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14486/stat : 14486 (java) S 14463 14466 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52600778 16058228736 58201 33554432000 4194304 4196468 140725799208944 140247593631536 140250864211101 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14487] ppid=14463 vsize=15681864 memory=232804 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14487/stat : 14487 (java) S 14463 14466 8919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 52600780 16058228736 58201 33554432000 4194304 4196468 140725799208944 140248130510240 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
Current children cumulated CPU time: 2445.55 s
Current children cumulated vsize: 15835932 KiB
Current children cumulated memory: 358984 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.04 2.08 3/226 15236
/proc/meminfo: memFree=13125532/32770624 swapFree=67108860/67108860
[pid=14466] ppid=14463 vsize=15681864 memory=232804 CPUtime=4.95 cores=1,3,5,7
/proc/14466/stat : 14466 (java) S 14463 14466 8919 0 -1 1077944320 23191 0 0 0 439 56 0 0 20 0 19 0 52600604 16058228736 58201 33554432000 4194304 4196468 140725799208944 140725799191488 140250864189175 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
/proc/14466/statm: 3920466 58201 3216 1 0 3881322 0
[pid=14482] ppid=14466 vsize=154068 memory=126180 CPUtime=2500.63 cores=1,3,5,7
/proc/14482/stat : 14482 (minisat_release) R 14466 14466 8919 0 -1 4202496 119121 0 0 0 250053 10 0 0 20 0 1 0 52600777 157765632 31545 33554432000 4194304 4308513 140731037832752 140731037828992 4276392 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 31789056 140731037835951 140731037836462 140731037836462 140731037839301 0
/proc/14482/statm: 38517 31545 353 28 0 34757 0
[pid=14466/tid=14468] ppid=14463 vsize=15681864 memory=232804 CPUtime=1.73 cores=1,3,5,7
/proc/14466/task/14468/stat : 14468 (java) S 14463 14466 8919 0 -1 1077944384 17185 0 0 0 166 7 0 0 20 0 19 0 52600604 16058228736 58201 33554432000 4194304 4196468 140725799208944 140250836028416 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14469] ppid=14463 vsize=15681864 memory=232804 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14469/stat : 14469 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52600606 16058228736 58201 33554432000 4194304 4196468 140725799208944 140250868431760 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14470] ppid=14463 vsize=15681864 memory=126180 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14470/stat : 14470 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52600606 16058228736 58201 33554432000 4194304 4196468 140725799208944 140250682587920 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14471] ppid=14463 vsize=15681864 memory=232804 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14471/stat : 14471 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52600606 16058228736 58201 33554432000 4194304 4196468 140725799208944 140250323430544 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14472] ppid=14463 vsize=15681864 memory=232804 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14472/stat : 14472 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52600606 16058228736 58201 33554432000 4194304 4196468 140725799208944 140250322377744 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14473] ppid=14463 vsize=15681864 memory=232804 CPUtime=0.03 cores=1,3,5,7
/proc/14466/task/14473/stat : 14473 (java) S 14463 14466 8919 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 52600607 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249902139504 140250864200322 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14474] ppid=14463 vsize=15681864 memory=232804 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14474/stat : 14474 (java) S 14463 14466 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52600608 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249539797792 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14475] ppid=14463 vsize=15681864 memory=5524 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14475/stat : 14475 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52600608 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249271362672 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14476] ppid=14463 vsize=15681864 memory=3248 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14476/stat : 14476 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52600610 16058228736 58201 33554432000 4194304 4196468 140725799208944 140248896854096 140250864207771 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14477] ppid=14463 vsize=15681864 memory=15872 CPUtime=0.77 cores=1,3,5,7
/proc/14466/task/14477/stat : 14477 (java) S 14463 14466 8919 0 -1 1077944384 1353 0 0 0 77 0 0 0 20 0 19 0 52600610 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249901087344 140250864200322 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14478] ppid=14463 vsize=15681864 memory=4048 CPUtime=0.77 cores=1,3,5,7
/proc/14466/task/14478/stat : 14478 (java) S 14463 14466 8919 0 -1 1077944384 1250 0 0 0 76 1 0 0 20 0 19 0 52600610 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249900034544 140250864200322 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14479] ppid=14463 vsize=15681864 memory=232804 CPUtime=0.72 cores=1,3,5,7
/proc/14466/task/14479/stat : 14479 (java) S 14463 14466 8919 0 -1 1077944384 1840 0 0 0 71 1 0 0 20 0 19 0 52600611 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249898982256 140250864200322 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14480] ppid=14463 vsize=15681864 memory=126180 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14480/stat : 14480 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52600611 16058228736 58201 33554432000 4194304 4196468 140725799208944 140248398949344 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14481] ppid=14463 vsize=15681864 memory=16960 CPUtime=0.87 cores=1,3,5,7
/proc/14466/task/14481/stat : 14481 (java) S 14463 14466 8919 0 -1 1077944384 167 0 0 0 39 48 0 0 20 0 19 0 52600611 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249897929136 140250864200322 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14483] ppid=14463 vsize=15681864 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14483/stat : 14483 (java) S 14463 14466 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52600777 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249881994176 140250864213785 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14485] ppid=14463 vsize=15681864 memory=232804 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14485/stat : 14485 (java) S 14463 14466 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52600777 16058228736 58201 33554432000 4194304 4196468 140725799208944 140247862066608 140250864211101 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14486] ppid=14463 vsize=15681864 memory=232804 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14486/stat : 14486 (java) S 14463 14466 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52600778 16058228736 58201 33554432000 4194304 4196468 140725799208944 140247593631536 140250864211101 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14487] ppid=14463 vsize=15681864 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14487/stat : 14487 (java) S 14463 14466 8919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 52600780 16058228736 58201 33554432000 4194304 4196468 140725799208944 140248130510240 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
Current children cumulated CPU time: 2505.58 s
Current children cumulated vsize: 15835932 KiB
Current children cumulated memory: 358984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516.8 s]
/proc/loadavg: 2.00 2.03 2.08 3/226 15237
/proc/meminfo: memFree=13125160/32770624 swapFree=67108860/67108860
[pid=14466] ppid=14463 vsize=15681864 memory=232804 CPUtime=4.95 cores=1,3,5,7
/proc/14466/stat : 14466 (java) S 14463 14466 8919 0 -1 1077944320 23193 0 0 0 439 56 0 0 20 0 19 0 52600604 16058228736 58201 33554432000 4194304 4196468 140725799208944 140725799191488 140250864189175 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
/proc/14466/statm: 3920466 58201 3216 1 0 3881322 0
[pid=14482] ppid=14466 vsize=154068 memory=126180 CPUtime=2515.13 cores=1,3,5,7
/proc/14482/stat : 14482 (minisat_release) R 14466 14466 8919 0 -1 4202496 119144 0 0 0 251503 10 0 0 20 0 1 0 52600777 157765632 31545 33554432000 4194304 4308513 140731037832752 140731037828992 4276123 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 31789056 140731037835951 140731037836462 140731037836462 140731037839301 0
/proc/14482/statm: 38517 31545 353 28 0 34757 0
[pid=14466/tid=14468] ppid=14463 vsize=15681864 memory=-7824251494390650727 CPUtime=1.73 cores=1,3,5,7
/proc/14466/task/14468/stat : 14468 (java) S 14463 14466 8919 0 -1 1077944384 17185 0 0 0 166 7 0 0 20 0 19 0 52600604 16058228736 58201 33554432000 4194304 4196468 140725799208944 140250836028416 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14469] ppid=14463 vsize=15681864 memory=232804 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14469/stat : 14469 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52600606 16058228736 58201 33554432000 4194304 4196468 140725799208944 140250868431760 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14470] ppid=14463 vsize=15681864 memory=126180 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14470/stat : 14470 (java) S 14463 14466 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52600606 16058228736 58201 33554432000 4194304 4196468 140725799208944 140250682587920 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14471] ppid=14463 vsize=15681864 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14471/stat : 14471 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52600606 16058228736 58201 33554432000 4194304 4196468 140725799208944 140250323430544 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14472] ppid=14463 vsize=15681864 memory=2668 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14472/stat : 14472 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52600606 16058228736 58201 33554432000 4194304 4196468 140725799208944 140250322377744 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14473] ppid=14463 vsize=15681864 memory=1412 CPUtime=0.03 cores=1,3,5,7
/proc/14466/task/14473/stat : 14473 (java) S 14463 14466 8919 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 52600607 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249902139504 140250864200322 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14474] ppid=14463 vsize=15681864 memory=3536 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14474/stat : 14474 (java) S 14463 14466 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52600608 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249539797792 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14475] ppid=14463 vsize=15681864 memory=232804 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14475/stat : 14475 (java) S 14463 14466 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52600608 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249271362672 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14476] ppid=14463 vsize=15681864 memory=-7824251494390650727 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14476/stat : 14476 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52600610 16058228736 58201 33554432000 4194304 4196468 140725799208944 140248896854096 140250864207771 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14477] ppid=14463 vsize=15681864 memory=126180 CPUtime=0.77 cores=1,3,5,7
/proc/14466/task/14477/stat : 14477 (java) S 14463 14466 8919 0 -1 1077944384 1353 0 0 0 77 0 0 0 20 0 19 0 52600610 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249901087344 140250864200322 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14478] ppid=14463 vsize=15681864 memory=16960 CPUtime=0.77 cores=1,3,5,7
/proc/14466/task/14478/stat : 14478 (java) S 14463 14466 8919 0 -1 1077944384 1250 0 0 0 76 1 0 0 20 0 19 0 52600610 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249900034544 140250864200322 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14479] ppid=14463 vsize=15681864 memory=1296 CPUtime=0.72 cores=1,3,5,7
/proc/14466/task/14479/stat : 14479 (java) S 14463 14466 8919 0 -1 1077944384 1840 0 0 0 71 1 0 0 20 0 19 0 52600611 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249898982256 140250864200322 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14480] ppid=14463 vsize=15681864 memory=126180 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14480/stat : 14480 (java) S 14463 14466 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52600611 16058228736 58201 33554432000 4194304 4196468 140725799208944 140248398949344 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14481] ppid=14463 vsize=15681864 memory=232804 CPUtime=0.87 cores=1,3,5,7
/proc/14466/task/14481/stat : 14481 (java) S 14463 14466 8919 0 -1 1077944384 169 0 0 0 39 48 0 0 20 0 19 0 52600611 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249897929136 140250864200322 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14483] ppid=14463 vsize=15681864 memory=126180 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14483/stat : 14483 (java) S 14463 14466 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52600777 16058228736 58201 33554432000 4194304 4196468 140725799208944 140249881994176 140250864213785 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14485] ppid=14463 vsize=15681864 memory=960 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14485/stat : 14485 (java) S 14463 14466 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52600777 16058228736 58201 33554432000 4194304 4196468 140725799208944 140247862066608 140250864211101 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14486] ppid=14463 vsize=15681864 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14486/stat : 14486 (java) S 14463 14466 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52600778 16058228736 58201 33554432000 4194304 4196468 140725799208944 140247593631536 140250864211101 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
[pid=14466/tid=14487] ppid=14463 vsize=15681864 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/14466/task/14487/stat : 14487 (java) S 14463 14466 8919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 52600780 16058228736 58201 33554432000 4194304 4196468 140725799208944 140248130510240 140250864199381 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8790016 140725799216116 140725799216393 140725799216393 140725799219151 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 15835932 KiB
Current children cumulated memory: 358984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2516.82 s]
# the end of solver process 14466 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.44 s, system=0.68389 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2516.82
CPU time (s): 2520.13
CPU user time (s): 2519.44
CPU system time (s): 0.68389
CPU usage (%): 100.131
Max. virtual memory (cumulated for all children) (KiB): 15835932
Max. memory (cumulated for all children) (KiB): 358984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.44
system time used= 0.68389
maximum resident set size= 232804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142389
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57892
involuntary context switches= 654
# summary of solver processes directly reported to runsolver:
# pid: 14466
# total CPU time (s): 2520.13
# total CPU user time (s): 2519.44
# total CPU system time (s): 0.68389
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4203 second user time and 23.1937 second system time
The end