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 09:42:29 CEST 2018
0.66/0.55 c PID: 7900
0.66/0.55 c IP: 172.20.3.150
0.66/0.55 c HOST: node150.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.77/1.09 c (0,0) Parsing End
1.77/1.11 c (0,0) CSP: 378 int (0 aux), 0 bool (0 aux), 366 ctr, max domain size 14
1.77/1.11 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.77/1.11 c (0,0) Constraint Name Generate Begin
2.07/1.11 c (0,0) Ctr:HOME/instance-4295913-1532590948.xml,AllDifferentMatrix:Element:Instantiation:IntVar
2.07/1.11 c (0,0) Constraint Name Generate End
2.07/1.11 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.07/1.11 c (0,0) CSP to CSPinCNF Begin
3.40/1.64 c (1,1) translated 37 (10%) constraints
3.40/1.69 c (1,1) translated 74 (20%) constraints
3.67/1.72 c (1,1) translated 110 (30%) constraints
3.67/1.76 c (1,1) translated 147 (40%) constraints
3.97/1.80 c (1,1) translated 183 (50%) constraints
3.97/1.83 c (1,1) translated 220 (60%) constraints
3.97/1.87 c (1,1) translated 257 (70%) constraints
4.28/1.90 c (1,1) translated 293 (80%) constraints
4.28/1.93 c (1,1) translated 330 (90%) constraints
4.28/1.96 c (1,1) translated 366 (100%) constraints
4.62/2.10 c (1,1) STATISTICS1:HOME/instance-4295913-1532590948.xml,AllDifferentMatrix:Element:Instantiation:IntVar,378,7714,14,14,14,2,14:11648;1:1092,14:20384;1:798,14:56;3:5096;2:2548;1:14,2:12740;1:5908,
4.62/2.10 c (1,1) ===========================================
4.62/2.10 c (1,1) Order
4.62/2.10 c (1,1) ===========================================
5.31/2.20 c (1,1) translated 772 (10%) constraints
5.31/2.24 c (1,1) translated 1543 (20%) constraints
5.31/2.28 c (1,1) translated 2315 (30%) constraints
5.96/2.41 c (1,1) translated 3086 (40%) constraints
6.28/2.53 c (2,1) translated 3857 (50%) constraints
6.58/2.63 c (2,2) translated 4629 (60%) constraints
6.88/2.72 c (2,2) translated 5400 (70%) constraints
7.18/2.82 c (2,2) translated 6172 (80%) constraints
7.48/2.90 c (2,2) translated 6943 (90%) constraints
7.48/2.99 c (2,2) translated 7714 (100%) constraints
7.48/3.00 c (2,2) CSP to CSPinCNF End
7.81/3.01 c (2,2) CSP: 378 int (0 aux), 4914 bool (4914 aux), 17920 ctr, max domain size 14
7.81/3.01 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.81/3.01 c (2,2) CSPinCNF Propagation Begin
8.43/3.20 c (2,2) 2 values, 1052 unsatisfiable literals, and 252 valid clauses are removed
8.43/3.20 c (2,2) CSPinCNF Propagation End
8.43/3.20 c (2,2) CSP: 378 int (0 aux), 4914 bool (4914 aux), 17668 ctr, max domain size 14
8.43/3.20 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
8.43/3.20 c (2,2) Simplify CSPinCNF Begin
8.73/3.37 c (2,2) Simplify CSPinCNF End
8.73/3.37 c (2,2) CSP: 378 int (0 aux), 9898 bool (9898 aux), 22652 ctr, max domain size 14
8.73/3.37 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
8.73/3.37 c (2,2) Calculate Precise Domain Begin
8.73/3.38 c (2,2) 0 values are removed by re-calculation
8.73/3.38 c (2,2) Calculate Precise Domain End
8.73/3.38 c (2,2) CSP: 378 int (0 aux), 9898 bool (9898 aux), 22652 ctr, max domain size 14
8.73/3.38 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
8.73/3.38 c (2,2) CSPinCNF to SatSolver Begin
9.71/3.63 c (3,3) 2266 (10 %) CSP clauses are encoded (14574 SAT variables, 23065 SAT clauses)
10.01/3.73 c (3,3) 4531 (20 %) CSP clauses are encoded (14574 SAT variables, 41838 SAT clauses)
10.32/3.81 c (3,3) 6796 (30 %) CSP clauses are encoded (14574 SAT variables, 60431 SAT clauses)
10.32/3.88 c (3,3) 9061 (40 %) CSP clauses are encoded (14574 SAT variables, 79498 SAT clauses)
10.62/3.94 c (3,3) 11326 (50 %) CSP clauses are encoded (14574 SAT variables, 98472 SAT clauses)
10.62/3.99 c (3,3) 13592 (60 %) CSP clauses are encoded (14574 SAT variables, 117448 SAT clauses)
10.88/4.05 c (3,3) 15857 (70 %) CSP clauses are encoded (14574 SAT variables, 136565 SAT clauses)
10.88/4.10 c (3,3) 18122 (80 %) CSP clauses are encoded (14574 SAT variables, 155602 SAT clauses)
11.01/4.16 c (3,3) 20387 (90 %) CSP clauses are encoded (14574 SAT variables, 174643 SAT clauses)
11.11/4.21 c (3,3) 22652 (100 %) CSP clauses are encoded (14574 SAT variables, 193691 SAT clauses)
11.11/4.21 c (3,3) CSPinCNF to SatSolver End
11.11/4.21 c (3,3) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
11.38/4.35 c (3,3) STATISTICS2:HOME/instance-4295913-1532590948.xml,AllDifferentMatrix:Element:Instantiation:IntVar,10276,22652,14,14,12,2,14:9504;13:3736;12:592;1:1292,14:31260;13:6688;12:872;2:25092;1:1292,12:52;3:4256;2:18344,2:15124;1:34956,
11.38/4.35 c (3,3) SatSolver.solve Begin
11.38/4.35 c (3,3) 14574 bool, 193692 clause
11.38/4.35 c (3,3) 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-4295913-1532590948.xml-scop-7900.cnf HOME/instance-4295913-1532590948.xml-scop-7900.cnf.out
2520.01/2511.40 c (2510,3) SatSolver is killed by some reasons.
2520.01/2511.40 c (2510,3) 0,0,2,2,2,2,3,TO,TO,STOP-AFTER(DIMACS)
2520.01/2511.40 c (2510,0) receiving signal SIGTERM
2520.01/2511.40 s UNKNOWN
2520.01/2511.40 s UNKNOWN
2520.01/2511.40 c END-Prog: Thu Jul 26 10:24:19 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 (9860 MiB free)
memory of node 1: 16384 MiB (10860 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295913-1532590948/watcher-4295913-1532590948 -o /tmp/evaluation-result-4295913-1532590948/solver-4295913-1532590948 -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-4295913-1532590948.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=7900, runsolver pid=7897
[startup+0.100059 s]*
/proc/loadavg: 2.04 2.03 2.05 4/221 7915
/proc/meminfo: memFree=21157244/32770624 swapFree=67108860/67108860
[pid=7900] ppid=7897 vsize=15011656 memory=73184 CPUtime=0.11 cores=0,2,4,6
/proc/7900/stat : 7900 (java) S 7897 7900 32649 0 -1 1077944320 6986 0 0 0 9 2 0 0 20 0 15 0 76658070 15371935744 18296 33554432000 4194304 4196468 140728595568480 140728595551024 139964778708727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
/proc/7900/statm: 3752914 18296 2782 1 0 3715374 0
[pid=7900/tid=7902] ppid=7897 vsize=15011656 memory=7100839887217068648 CPUtime=0.09 cores=0,2,4,6
/proc/7900/task/7902/stat : 7902 (java) R 7897 7900 32649 0 -1 4202560 5366 0 0 0 7 2 0 0 20 0 15 0 76658070 15371935744 18560 33554432000 4194304 4196468 140728595568480 139964750535056 139964758985552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7903] ppid=7897 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7903/stat : 7903 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76658072 15371935744 18626 33554432000 4194304 4196468 140728595568480 139964782951056 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7904] ppid=7897 vsize=15011656 memory=140555117598336 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7904/stat : 7904 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658072 15371935744 18626 33554432000 4194304 4196468 140728595568480 139964597107216 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7905] ppid=7897 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7905/stat : 7905 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76658072 15371935744 18626 33554432000 4194304 4196468 140728595568480 139964238342544 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7906] ppid=7897 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7906/stat : 7906 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658072 15371935744 18626 33554432000 4194304 4196468 140728595568480 139964237289744 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7907] ppid=7897 vsize=15011656 memory=140555117598336 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7907/stat : 7907 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76658073 15371935744 18626 33554432000 4194304 4196468 140728595568480 139963817053040 139964778719874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7908] ppid=7897 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7908/stat : 7908 (java) S 7897 7900 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76658074 15371935744 18626 33554432000 4194304 4196468 140728595568480 139963320493600 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7909] ppid=7897 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7909/stat : 7909 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658074 15371935744 18626 33554432000 4194304 4196468 140728595568480 139963052057968 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7910] ppid=7897 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7910/stat : 7910 (java) S 7897 7900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76658076 15371935744 18626 33554432000 4194304 4196468 140728595568480 139962677549392 139964778727323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7911] ppid=7897 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7911/stat : 7911 (java) S 7897 7900 32649 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 76658076 15371935744 18626 33554432000 4194304 4196468 140728595568480 139963815999856 139964778719874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7912] ppid=7897 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7912/stat : 7912 (java) S 7897 7900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76658076 15371935744 18626 33554432000 4194304 4196468 140728595568480 139963814947056 139964778719874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7913] ppid=7897 vsize=15011656 memory=140555117598336 CPUtime=0.01 cores=0,2,4,6
/proc/7900/task/7913/stat : 7913 (java) S 7897 7900 32649 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 15 0 76658076 15371935744 18626 33554432000 4194304 4196468 140728595568480 139963813894256 139964778719874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7914] ppid=7897 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7914/stat : 7914 (java) S 7897 7900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76658077 15371935744 18692 33554432000 4194304 4196468 140728595568480 139962179643616 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7915] ppid=7897 vsize=15011656 memory=140555117598336 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7915/stat : 7915 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658077 15371935744 18692 33554432000 4194304 4196468 140728595568480 139963812842672 139964778719874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73184 KiB
[startup+0.21056 s]*
/proc/loadavg: 2.04 2.03 2.05 3/221 7915
/proc/meminfo: memFree=21141680/32770624 swapFree=67108860/67108860
[pid=7900] ppid=7897 vsize=15011656 memory=88500 CPUtime=0.25 cores=0,2,4,6
/proc/7900/stat : 7900 (java) S 7897 7900 32649 0 -1 1077944320 11088 0 0 0 22 3 0 0 20 0 15 0 76658070 15371935744 22125 33554432000 4194304 4196468 140728595568480 140728595551024 139964778708727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
/proc/7900/statm: 3752914 22125 2911 1 0 3715374 0
[pid=7900/tid=7902] ppid=7897 vsize=15011656 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/7900/task/7902/stat : 7902 (java) R 7897 7900 32649 0 -1 4202560 8998 0 0 0 17 2 0 0 20 0 15 0 76658070 15371935744 22125 33554432000 4194304 4196468 140728595568480 139964750535120 139964778720662 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7903] ppid=7897 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7903/stat : 7903 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76658072 15371935744 22125 33554432000 4194304 4196468 140728595568480 139964782951056 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7904] ppid=7897 vsize=15011656 memory=140555117957217 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7904/stat : 7904 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658072 15371935744 22125 33554432000 4194304 4196468 140728595568480 139964597107216 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7905] ppid=7897 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7905/stat : 7905 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76658072 15371935744 22125 33554432000 4194304 4196468 140728595568480 139964238342544 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7906] ppid=7897 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7906/stat : 7906 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658072 15371935744 22125 33554432000 4194304 4196468 140728595568480 139964237289744 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7907] ppid=7897 vsize=15011656 memory=140555117598336 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7907/stat : 7907 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76658073 15371935744 22125 33554432000 4194304 4196468 140728595568480 139963817053040 139964778719874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7908] ppid=7897 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7908/stat : 7908 (java) S 7897 7900 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76658074 15371935744 22125 33554432000 4194304 4196468 140728595568480 139963320493600 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7909] ppid=7897 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7909/stat : 7909 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658074 15371935744 22125 33554432000 4194304 4196468 140728595568480 139963052057968 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7910] ppid=7897 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7910/stat : 7910 (java) S 7897 7900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76658076 15371935744 22125 33554432000 4194304 4196468 140728595568480 139962677549392 139964778727323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7911] ppid=7897 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7911/stat : 7911 (java) R 7897 7900 32649 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 76658076 15371935744 22125 33554432000 4194304 4196468 140728595568480 139963815999952 139964778718933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7912] ppid=7897 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7912/stat : 7912 (java) R 7897 7900 32649 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 15 0 76658076 15371935744 22125 33554432000 4194304 4196468 140728595568480 139963814947056 139964771693769 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7913] ppid=7897 vsize=15011656 memory=140555117598336 CPUtime=0.03 cores=0,2,4,6
/proc/7900/task/7913/stat : 7913 (java) R 7897 7900 32649 0 -1 4202560 282 0 0 0 3 0 0 0 20 0 15 0 76658076 15371935744 22125 33554432000 4194304 4196468 140728595568480 139963813894256 139964778730074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7914] ppid=7897 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7914/stat : 7914 (java) S 7897 7900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76658077 15371935744 22125 33554432000 4194304 4196468 140728595568480 139962179643616 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7915] ppid=7897 vsize=15011656 memory=140555117598336 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7915/stat : 7915 (java) R 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658077 15371935744 22125 33554432000 4194304 4196468 140728595568480 139963812842672 139964778719874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88500 KiB
[startup+0.310521 s]*
/proc/loadavg: 2.04 2.03 2.05 3/221 7915
/proc/meminfo: memFree=21138324/32770624 swapFree=67108860/67108860
[pid=7900] ppid=7897 vsize=15011656 memory=92132 CPUtime=0.42 cores=0,2,4,6
/proc/7900/stat : 7900 (java) S 7897 7900 32649 0 -1 1077944320 11551 0 0 0 39 3 0 0 20 0 15 0 76658070 15371935744 23033 33554432000 4194304 4196468 140728595568480 140728595551024 139964778708727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
/proc/7900/statm: 3752914 23033 3023 1 0 3715374 0
[pid=7900/tid=7902] ppid=7897 vsize=15011656 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/7900/task/7902/stat : 7902 (java) R 7897 7900 32649 0 -1 4202560 9298 0 0 0 27 3 0 0 20 0 15 0 76658070 15371935744 23033 33554432000 4194304 4196468 140728595568480 139964750536352 140728596289928 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7903] ppid=7897 vsize=15011656 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7903/stat : 7903 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76658072 15371935744 23033 33554432000 4194304 4196468 140728595568480 139964782951056 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7904] ppid=7897 vsize=15011656 memory=140555117598336 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7904/stat : 7904 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658072 15371935744 23033 33554432000 4194304 4196468 140728595568480 139964597107216 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7905] ppid=7897 vsize=15011656 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7905/stat : 7905 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76658072 15371935744 23033 33554432000 4194304 4196468 140728595568480 139964238342544 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7906] ppid=7897 vsize=15011656 memory=140555019460815 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7906/stat : 7906 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658072 15371935744 23033 33554432000 4194304 4196468 140728595568480 139964237289744 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7907] ppid=7897 vsize=15011656 memory=140555117598336 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7907/stat : 7907 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76658073 15371935744 23033 33554432000 4194304 4196468 140728595568480 139963817053040 139964778719874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7908] ppid=7897 vsize=15011656 memory=140555019481551 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7908/stat : 7908 (java) S 7897 7900 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76658074 15371935744 23033 33554432000 4194304 4196468 140728595568480 139963320493600 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7909] ppid=7897 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7909/stat : 7909 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658074 15371935744 23033 33554432000 4194304 4196468 140728595568480 139963052057968 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7910] ppid=7897 vsize=15011656 memory=281110038935424 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7910/stat : 7910 (java) S 7897 7900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76658076 15371935744 23033 33554432000 4194304 4196468 140728595568480 139962677549392 139964778727323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7911] ppid=7897 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7900/task/7911/stat : 7911 (java) R 7897 7900 32649 0 -1 1077944384 412 0 0 0 2 0 0 0 20 0 15 0 76658076 15371935744 23033 33554432000 4194304 4196468 140728595568480 139963815999856 139964778719874 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7912] ppid=7897 vsize=15011656 memory=140555019493263 CPUtime=0.02 cores=0,2,4,6
/proc/7900/task/7912/stat : 7912 (java) R 7897 7900 32649 0 -1 4202560 212 0 0 0 2 0 0 0 20 0 15 0 76658076 15371935744 23033 33554432000 4194304 4196468 140728595568480 139963814947056 139964760230161 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7913] ppid=7897 vsize=15011656 memory=140555117598336 CPUtime=0.07 cores=0,2,4,6
/proc/7900/task/7913/stat : 7913 (java) R 7897 7900 32649 0 -1 4202560 300 0 0 0 7 0 0 0 20 0 15 0 76658076 15371935744 23033 33554432000 4194304 4196468 140728595568480 139963813894256 139964757508141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7914] ppid=7897 vsize=15011656 memory=140555019498399 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7914/stat : 7914 (java) S 7897 7900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76658077 15371935744 23033 33554432000 4194304 4196468 140728595568480 139962179643616 139964778718933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7915] ppid=7897 vsize=15011656 memory=140555194256406 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7915/stat : 7915 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658077 15371935744 23033 33554432000 4194304 4196468 140728595568480 139963812842672 139964778719874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 92132 KiB
[startup+0.702434 s]
/proc/loadavg: 2.04 2.03 2.05 3/221 7915
/proc/meminfo: memFree=21115752/32770624 swapFree=67108860/67108860
[pid=7900] ppid=7897 vsize=15019976 memory=133616 CPUtime=1.02 cores=0,2,4,6
/proc/7900/stat : 7900 (java) S 7897 7900 32649 0 -1 1077944320 18074 0 0 0 97 5 0 0 20 0 15 0 76658070 15380455424 33404 33554432000 4194304 4196468 140728595568480 140728595551024 139964778708727 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
/proc/7900/statm: 3754994 33404 3136 1 0 3716398 0
[pid=7900/tid=7902] ppid=7897 vsize=15019976 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/7900/task/7902/stat : 7902 (java) R 7897 7900 32649 0 -1 4202560 15316 0 0 0 63 4 0 0 20 0 15 0 76658070 15380455424 33404 33554432000 4194304 4196468 140728595568480 139964750530016 139964760296640 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7903] ppid=7897 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7903/stat : 7903 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76658072 15380455424 33404 33554432000 4194304 4196468 140728595568480 139964782951056 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7904] ppid=7897 vsize=15019976 memory=79 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7904/stat : 7904 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658072 15380455424 33404 33554432000 4194304 4196468 140728595568480 139964597107216 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7905] ppid=7897 vsize=15019976 memory=1 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7905/stat : 7905 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76658072 15380455424 33404 33554432000 4194304 4196468 140728595568480 139964238342544 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7906] ppid=7897 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7906/stat : 7906 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658072 15380455424 33404 33554432000 4194304 4196468 140728595568480 139964237289744 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7907] ppid=7897 vsize=15019976 memory=174515325776450 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7907/stat : 7907 (java) S 7897 7900 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76658073 15380455424 33404 33554432000 4194304 4196468 140728595568480 139963817053040 139964778719874 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7908] ppid=7897 vsize=15019976 memory=276804 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7908/stat : 7908 (java) S 7897 7900 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76658074 15380455424 33404 33554432000 4194304 4196468 140728595568480 139963320493600 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7909] ppid=7897 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7909/stat : 7909 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658074 15380455424 33404 33554432000 4194304 4196468 140728595568480 139963052057968 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7910] ppid=7897 vsize=15019976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7910/stat : 7910 (java) S 7897 7900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76658076 15380455424 33404 33554432000 4194304 4196468 140728595568480 139962677549392 139964778727323 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7911] ppid=7897 vsize=15019976 memory=7809523229951467574 CPUtime=0.06 cores=0,2,4,6
/proc/7900/task/7911/stat : 7911 (java) R 7897 7900 32649 0 -1 1077944384 481 0 0 0 6 0 0 0 20 0 15 0 76658076 15380455424 33404 33554432000 4194304 4196468 140728595568480 139963815991808 139964778718933 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7912] ppid=7897 vsize=15019976 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7900/task/7912/stat : 7912 (java) R 7897 7900 32649 0 -1 4202560 452 0 0 0 9 0 0 0 20 0 15 0 76658076 15380455424 33404 33554432000 4194304 4196468 140728595568480 139963814936528 139964758539008 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7913] ppid=7897 vsize=15019976 memory=-3535359994705171810 CPUtime=0.18 cores=0,2,4,6
/proc/7900/task/7913/stat : 7913 (java) R 7897 7900 32649 0 -1 4202560 484 0 0 0 18 0 0 0 20 0 15 0 76658076 15380455424 33404 33554432000 4194304 4196468 140728595568480 139963813890208 139964778720662 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7914] ppid=7897 vsize=15019976 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7914/stat : 7914 (java) S 7897 7900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76658077 15380455424 33404 33554432000 4194304 4196468 140728595568480 139962179643616 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7915] ppid=7897 vsize=15019976 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7915/stat : 7915 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658077 15380455424 33404 33554432000 4194304 4196468 140728595568480 139963812842672 139964778719874 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 133616 KiB
[startup+1.50117 s]
/proc/loadavg: 2.04 2.03 2.05 7/221 7915
/proc/meminfo: memFree=21078060/32770624 swapFree=67108860/67108860
[pid=7900] ppid=7897 vsize=15022100 memory=191740 CPUtime=3.07 cores=0,2,4,6
/proc/7900/stat : 7900 (java) S 7897 7900 32649 0 -1 1077944320 22367 0 0 0 298 9 0 0 20 0 15 0 76658070 15382630400 47935 33554432000 4194304 4196468 140728595568480 140728595551024 139964778708727 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
/proc/7900/statm: 3755525 47935 3202 1 0 3716910 0
[pid=7900/tid=7902] ppid=7897 vsize=15022100 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/7900/task/7902/stat : 7902 (java) R 7897 7900 32649 0 -1 4202560 16481 0 0 0 140 6 0 0 20 0 15 0 76658070 15382630400 47935 33554432000 4194304 4196468 140728595568480 139964750533248 139964284614655 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7903] ppid=7897 vsize=15022100 memory=6368742327277738082 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7903/stat : 7903 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76658072 15382630400 47935 33554432000 4194304 4196468 140728595568480 139964782951056 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7904] ppid=7897 vsize=15022100 memory=7013623403623507287 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7904/stat : 7904 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658072 15382630400 47935 33554432000 4194304 4196468 140728595568480 139964597107216 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7905] ppid=7897 vsize=15022100 memory=7013623403623507287 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7905/stat : 7905 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76658072 15382630400 47935 33554432000 4194304 4196468 140728595568480 139964238342544 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7906] ppid=7897 vsize=15022100 memory=7013623403623507287 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7906/stat : 7906 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76658072 15382630400 47935 33554432000 4194304 4196468 140728595568480 139964237289744 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7907] ppid=7897 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7907/stat : 7907 (java) S 7897 7900 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76658073 15382630400 47935 33554432000 4194304 4196468 140728595568480 139963817053040 139964778719874 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
################
# More data... #
################
/proc/meminfo: memFree=22553432/32770624 swapFree=67108860/67108860
[pid=7900] ppid=7897 vsize=15683912 memory=1260840 CPUtime=13.22 cores=0,2,4,6
/proc/7900/stat : 7900 (java) S 7897 7900 32649 0 -1 1077944320 29255 0 0 0 1238 84 0 0 20 0 19 0 76658070 16060325888 315210 33554432000 4194304 4196468 140728595568480 140728595551024 139964778708727 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
/proc/7900/statm: 3920978 315210 3234 1 0 3881834 0
[pid=7916] ppid=7900 vsize=89380 memory=70912 CPUtime=2437.65 cores=0,2,4,6
/proc/7916/stat : 7916 (minisat_release) R 7900 7900 32649 0 -1 4202496 247367 0 0 0 243745 20 0 0 20 0 1 0 76658507 91525120 17728 33554432000 4194304 4308513 140726017043488 140726017040392 4250430 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 29024256 140726017045169 140726017045678 140726017045678 140726017048517 0
/proc/7916/statm: 22345 17728 355 28 0 18585 0
[pid=7900/tid=7902] ppid=7897 vsize=15683912 memory=1260840 CPUtime=4.37 cores=0,2,4,6
/proc/7900/task/7902/stat : 7902 (java) S 7897 7900 32649 0 -1 1077944384 17872 0 0 0 414 23 0 0 20 0 19 0 76658070 16060325888 315210 33554432000 4194304 4196468 140728595568480 139964750547968 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7903] ppid=7897 vsize=15683912 memory=70912 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7903/stat : 7903 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76658072 16060325888 315210 33554432000 4194304 4196468 140728595568480 139964782951056 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7904] ppid=7897 vsize=15683912 memory=1260840 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7904/stat : 7904 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76658072 16060325888 315210 33554432000 4194304 4196468 140728595568480 139964597107216 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7905] ppid=7897 vsize=15683912 memory=1260840 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7905/stat : 7905 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76658072 16060325888 315210 33554432000 4194304 4196468 140728595568480 139964238342544 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7906] ppid=7897 vsize=15683912 memory=70912 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7906/stat : 7906 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76658072 16060325888 315210 33554432000 4194304 4196468 140728595568480 139964237289744 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7907] ppid=7897 vsize=15683912 memory=1260840 CPUtime=0.05 cores=0,2,4,6
/proc/7900/task/7907/stat : 7907 (java) S 7897 7900 32649 0 -1 1077944384 6 0 0 0 3 2 0 0 20 0 19 0 76658073 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963817053040 139964778719874 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7908] ppid=7897 vsize=15683912 memory=1260840 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7908/stat : 7908 (java) S 7897 7900 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 76658074 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963320493600 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7909] ppid=7897 vsize=15683912 memory=1260840 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7909/stat : 7909 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76658074 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963052057968 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7910] ppid=7897 vsize=15683912 memory=1260840 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7910/stat : 7910 (java) S 7897 7900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76658076 16060325888 315210 33554432000 4194304 4196468 140728595568480 139962677549392 139964778727323 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7911] ppid=7897 vsize=15683912 memory=70912 CPUtime=3.17 cores=0,2,4,6
/proc/7900/task/7911/stat : 7911 (java) S 7897 7900 32649 0 -1 1077944384 2687 0 0 0 316 1 0 0 20 0 19 0 76658076 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963815999856 139964778719874 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7912] ppid=7897 vsize=15683912 memory=1260840 CPUtime=3.06 cores=0,2,4,6
/proc/7900/task/7912/stat : 7912 (java) S 7897 7900 32649 0 -1 1077944384 3473 0 0 0 305 1 0 0 20 0 19 0 76658076 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963814947056 139964778719874 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7913] ppid=7897 vsize=15683912 memory=1260840 CPUtime=1.21 cores=0,2,4,6
/proc/7900/task/7913/stat : 7913 (java) S 7897 7900 32649 0 -1 1077944384 3668 0 0 0 119 2 0 0 20 0 19 0 76658076 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963813894256 139964778719874 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7914] ppid=7897 vsize=15683912 memory=1260840 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7914/stat : 7914 (java) S 7897 7900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76658077 16060325888 315210 33554432000 4194304 4196468 140728595568480 139962179643616 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7915] ppid=7897 vsize=15683912 memory=1260840 CPUtime=1.3 cores=0,2,4,6
/proc/7900/task/7915/stat : 7915 (java) S 7897 7900 32649 0 -1 1077944384 161 0 0 0 67 63 0 0 20 0 19 0 76658077 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963812842672 139964778719874 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7917] ppid=7897 vsize=15683912 memory=70912 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7917/stat : 7917 (java) S 7897 7900 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 76658507 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963796575936 139964778733337 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7919] ppid=7897 vsize=15683912 memory=70912 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7919/stat : 7919 (java) S 7897 7900 32649 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 76658507 16060325888 315210 33554432000 4194304 4196468 140728595568480 139961642761904 139964778730653 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7920] ppid=7897 vsize=15683912 memory=1260840 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7920/stat : 7920 (java) S 7897 7900 32649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 76658508 16060325888 315210 33554432000 4194304 4196468 140728595568480 139961374326320 139964778730653 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7921] ppid=7897 vsize=15683912 memory=1260840 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7921/stat : 7921 (java) S 7897 7900 32649 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 76658510 16060325888 315210 33554432000 4194304 4196468 140728595568480 139961911205024 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
Current children cumulated CPU time: 2450.87 s
Current children cumulated vsize: 15773292 KiB
Current children cumulated memory: 1331752 KiB
[startup+2502.3 s]
/proc/loadavg: 1.94 2.09 2.10 2/200 8146
/proc/meminfo: memFree=23107748/32770624 swapFree=67108860/67108860
[pid=7900] ppid=7897 vsize=15683912 memory=1260840 CPUtime=13.25 cores=0,2,4,6
/proc/7900/stat : 7900 (java) S 7897 7900 32649 0 -1 1077944320 29259 0 0 0 1240 85 0 0 20 0 19 0 76658070 16060325888 315210 33554432000 4194304 4196468 140728595568480 140728595551024 139964778708727 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
/proc/7900/statm: 3920978 315210 3234 1 0 3881834 0
[pid=7916] ppid=7900 vsize=89380 memory=70912 CPUtime=2497.64 cores=0,2,4,6
/proc/7916/stat : 7916 (minisat_release) R 7900 7900 32649 0 -1 4202496 252618 0 0 0 249744 20 0 0 20 0 1 0 76658507 91525120 17728 33554432000 4194304 4308513 140726017043488 140726017040392 4275941 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 29024256 140726017045169 140726017045678 140726017045678 140726017048517 0
/proc/7916/statm: 22345 17728 355 28 0 18585 0
[pid=7900/tid=7902] ppid=7897 vsize=15683912 memory=70912 CPUtime=4.37 cores=0,2,4,6
/proc/7900/task/7902/stat : 7902 (java) S 7897 7900 32649 0 -1 1077944384 17872 0 0 0 414 23 0 0 20 0 19 0 76658070 16060325888 315210 33554432000 4194304 4196468 140728595568480 139964750547968 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7903] ppid=7897 vsize=15683912 memory=1260840 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7903/stat : 7903 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76658072 16060325888 315210 33554432000 4194304 4196468 140728595568480 139964782951056 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7904] ppid=7897 vsize=15683912 memory=1260840 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7904/stat : 7904 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76658072 16060325888 315210 33554432000 4194304 4196468 140728595568480 139964597107216 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7905] ppid=7897 vsize=15683912 memory=1260840 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7905/stat : 7905 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76658072 16060325888 315210 33554432000 4194304 4196468 140728595568480 139964238342544 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7906] ppid=7897 vsize=15683912 memory=1260840 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7906/stat : 7906 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76658072 16060325888 315210 33554432000 4194304 4196468 140728595568480 139964237289744 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7907] ppid=7897 vsize=15683912 memory=70912 CPUtime=0.05 cores=0,2,4,6
/proc/7900/task/7907/stat : 7907 (java) S 7897 7900 32649 0 -1 1077944384 6 0 0 0 3 2 0 0 20 0 19 0 76658073 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963817053040 139964778719874 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7908] ppid=7897 vsize=15683912 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7908/stat : 7908 (java) S 7897 7900 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 76658074 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963320493600 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7909] ppid=7897 vsize=15683912 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7909/stat : 7909 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76658074 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963052057968 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7910] ppid=7897 vsize=15683912 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7910/stat : 7910 (java) S 7897 7900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76658076 16060325888 315210 33554432000 4194304 4196468 140728595568480 139962677549392 139964778727323 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7911] ppid=7897 vsize=15683912 memory=23164 CPUtime=3.17 cores=0,2,4,6
/proc/7900/task/7911/stat : 7911 (java) S 7897 7900 32649 0 -1 1077944384 2687 0 0 0 316 1 0 0 20 0 19 0 76658076 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963815999856 139964778719874 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7912] ppid=7897 vsize=15683912 memory=1292 CPUtime=3.06 cores=0,2,4,6
/proc/7900/task/7912/stat : 7912 (java) S 7897 7900 32649 0 -1 1077944384 3473 0 0 0 305 1 0 0 20 0 19 0 76658076 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963814947056 139964778719874 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7913] ppid=7897 vsize=15683912 memory=1260840 CPUtime=1.21 cores=0,2,4,6
/proc/7900/task/7913/stat : 7913 (java) S 7897 7900 32649 0 -1 1077944384 3668 0 0 0 119 2 0 0 20 0 19 0 76658076 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963813894256 139964778719874 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7914] ppid=7897 vsize=15683912 memory=70912 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7914/stat : 7914 (java) S 7897 7900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76658077 16060325888 315210 33554432000 4194304 4196468 140728595568480 139962179643616 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7915] ppid=7897 vsize=15683912 memory=1260840 CPUtime=1.33 cores=0,2,4,6
/proc/7900/task/7915/stat : 7915 (java) S 7897 7900 32649 0 -1 1077944384 165 0 0 0 69 64 0 0 20 0 19 0 76658077 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963812842672 139964778719874 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7917] ppid=7897 vsize=15683912 memory=1260840 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7917/stat : 7917 (java) S 7897 7900 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 76658507 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963796575936 139964778733337 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7919] ppid=7897 vsize=15683912 memory=70912 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7919/stat : 7919 (java) S 7897 7900 32649 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 76658507 16060325888 315210 33554432000 4194304 4196468 140728595568480 139961642761904 139964778730653 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7920] ppid=7897 vsize=15683912 memory=1260840 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7920/stat : 7920 (java) S 7897 7900 32649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 76658508 16060325888 315210 33554432000 4194304 4196468 140728595568480 139961374326320 139964778730653 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7921] ppid=7897 vsize=15683912 memory=1260840 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7921/stat : 7921 (java) S 7897 7900 32649 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 76658510 16060325888 315210 33554432000 4194304 4196468 140728595568480 139961911205024 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
Current children cumulated CPU time: 2510.89 s
Current children cumulated vsize: 15773292 KiB
Current children cumulated memory: 1331752 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511.4 s]
/proc/loadavg: 1.79 2.06 2.09 2/200 8146
/proc/meminfo: memFree=23107872/32770624 swapFree=67108860/67108860
[pid=7900] ppid=7897 vsize=15683912 memory=1260840 CPUtime=13.27 cores=0,2,4,6
/proc/7900/stat : 7900 (java) S 7897 7900 32649 0 -1 1077944320 29261 0 0 0 1241 86 0 0 20 0 19 0 76658070 16060325888 315210 33554432000 4194304 4196468 140728595568480 140728595551024 139964778708727 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
/proc/7900/statm: 3920978 315210 3234 1 0 3881834 0
[pid=7916] ppid=7900 vsize=89380 memory=70912 CPUtime=2506.74 cores=0,2,4,6
/proc/7916/stat : 7916 (minisat_release) R 7900 7900 32649 0 -1 4202496 252628 0 0 0 250654 20 0 0 20 0 1 0 76658507 91525120 17728 33554432000 4194304 4308513 140726017043488 140726017039744 4269488 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 29024256 140726017045169 140726017045678 140726017045678 140726017048517 0
/proc/7916/statm: 22345 17728 355 28 0 18585 0
[pid=7900/tid=7902] ppid=7897 vsize=15683912 memory=8532 CPUtime=4.37 cores=0,2,4,6
/proc/7900/task/7902/stat : 7902 (java) S 7897 7900 32649 0 -1 1077944384 17872 0 0 0 414 23 0 0 20 0 19 0 76658070 16060325888 315210 33554432000 4194304 4196468 140728595568480 139964750547968 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7903] ppid=7897 vsize=15683912 memory=792 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7903/stat : 7903 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76658072 16060325888 315210 33554432000 4194304 4196468 140728595568480 139964782951056 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7904] ppid=7897 vsize=15683912 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7904/stat : 7904 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76658072 16060325888 315210 33554432000 4194304 4196468 140728595568480 139964597107216 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7905] ppid=7897 vsize=15683912 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7905/stat : 7905 (java) S 7897 7900 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76658072 16060325888 315210 33554432000 4194304 4196468 140728595568480 139964238342544 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7906] ppid=7897 vsize=15683912 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7906/stat : 7906 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76658072 16060325888 315210 33554432000 4194304 4196468 140728595568480 139964237289744 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7907] ppid=7897 vsize=15683912 memory=15876 CPUtime=0.05 cores=0,2,4,6
/proc/7900/task/7907/stat : 7907 (java) S 7897 7900 32649 0 -1 1077944384 6 0 0 0 3 2 0 0 20 0 19 0 76658073 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963817053040 139964778719874 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7908] ppid=7897 vsize=15683912 memory=18268 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7908/stat : 7908 (java) S 7897 7900 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 76658074 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963320493600 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7909] ppid=7897 vsize=15683912 memory=4121979148183044292 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7909/stat : 7909 (java) S 7897 7900 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 76658074 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963052057968 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7910] ppid=7897 vsize=15683912 memory=3472468850439602693 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7910/stat : 7910 (java) S 7897 7900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76658076 16060325888 315210 33554432000 4194304 4196468 140728595568480 139962677549392 139964778727323 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7911] ppid=7897 vsize=15683912 memory=281110038853544 CPUtime=3.17 cores=0,2,4,6
/proc/7900/task/7911/stat : 7911 (java) S 7897 7900 32649 0 -1 1077944384 2687 0 0 0 316 1 0 0 20 0 19 0 76658076 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963815999856 139964778719874 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7912] ppid=7897 vsize=15683912 memory=4641634990339604325 CPUtime=3.06 cores=0,2,4,6
/proc/7900/task/7912/stat : 7912 (java) S 7897 7900 32649 0 -1 1077944384 3473 0 0 0 305 1 0 0 20 0 19 0 76658076 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963814947056 139964778719874 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7913] ppid=7897 vsize=15683912 memory=281110038708464 CPUtime=1.21 cores=0,2,4,6
/proc/7900/task/7913/stat : 7913 (java) S 7897 7900 32649 0 -1 1077944384 3668 0 0 0 119 2 0 0 20 0 19 0 76658076 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963813894256 139964778719874 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7914] ppid=7897 vsize=15683912 memory=281110038708464 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7914/stat : 7914 (java) S 7897 7900 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76658077 16060325888 315210 33554432000 4194304 4196468 140728595568480 139962179643616 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7915] ppid=7897 vsize=15683912 memory=140555020065073 CPUtime=1.33 cores=0,2,4,6
/proc/7900/task/7915/stat : 7915 (java) S 7897 7900 32649 0 -1 1077944384 167 0 0 0 69 64 0 0 20 0 19 0 76658077 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963812842672 139964778719874 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7917] ppid=7897 vsize=15683912 memory=281110038708464 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7917/stat : 7917 (java) S 7897 7900 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 76658507 16060325888 315210 33554432000 4194304 4196468 140728595568480 139963796575936 139964778733337 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7919] ppid=7897 vsize=15683912 memory=281110038708464 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7919/stat : 7919 (java) S 7897 7900 32649 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 76658507 16060325888 315210 33554432000 4194304 4196468 140728595568480 139961642761904 139964778730653 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7920] ppid=7897 vsize=15683912 memory=14308 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7920/stat : 7920 (java) S 7897 7900 32649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 76658508 16060325888 315210 33554432000 4194304 4196468 140728595568480 139961374326320 139964778730653 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
[pid=7900/tid=7921] ppid=7897 vsize=15683912 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/7900/task/7921/stat : 7921 (java) S 7897 7900 32649 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 76658510 16060325888 315210 33554432000 4194304 4196468 140728595568480 139961911205024 139964778718933 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17117184 140728595571699 140728595571977 140728595571977 140728595574735 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 15773292 KiB
Current children cumulated memory: 1331752 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.42 s]
# the end of solver process 7900 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.96 s, system=1.09077 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2511.42
CPU time (s): 2520.05
CPU user time (s): 2518.96
CPU system time (s): 1.09077
CPU usage (%): 100.344
Max. virtual memory (cumulated for all children) (KiB): 15791936
Max. memory (cumulated for all children) (KiB): 1331752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.96
system time used= 1.09077
maximum resident set size= 1263648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281958
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58950
involuntary context switches= 2787
# summary of solver processes directly reported to runsolver:
# pid: 7900
# total CPU time (s): 2520.05
# total CPU user time (s): 2518.96
# total CPU system time (s): 1.09077
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7668 second user time and 27.2834 second system time
The end