0.54/0.51
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 16:05:29 CEST 2018
0.67/0.54 c PID: 10323
0.67/0.54 c IP: 172.20.3.105
0.67/0.54 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
5.86/2.28 c (1,1) Parsing End
6.18/2.30 c (1,1) CSP: 216 int (0 aux), 0 bool (0 aux), 9458 ctr, max domain size 6
6.18/2.30 c (1,1) Heap : 506 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.18/2.30 c (1,1) Constraint Name Generate Begin
6.18/2.40 c (1,1) Ctr:HOME/instance-4294433-1532354728.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
6.18/2.40 c (1,1) Constraint Name Generate End
6.18/2.40 c (1,1) Heap : 506 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.18/2.40 c (1,1) CSP to CSPinCNF Begin
7.05/2.68 c (2,2) translated 946 (10%) constraints
7.37/2.74 c (2,2) translated 1892 (20%) constraints
7.37/2.79 c (2,2) translated 2838 (30%) constraints
7.66/2.83 c (2,2) translated 3784 (40%) constraints
7.66/2.86 c (2,2) translated 4729 (50%) constraints
7.66/2.89 c (2,2) translated 5675 (60%) constraints
7.96/2.92 c (2,2) translated 6621 (70%) constraints
7.96/2.95 c (2,2) translated 7567 (80%) constraints
7.96/2.97 c (2,2) translated 8513 (90%) constraints
9.64/3.43 c (2,2) translated 9458 (100%) constraints
11.89/4.15 c (3,3) STATISTICS1:HOME/instance-4294433-1532354728.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,1822,12814,34359738368,6,4,36,34359738368:72;6:16349;1:3291,6:34929;2:4818;1:6979,4:9760;3:1336;2:1606;1:112,36:72;2:19640;1:7482,
11.89/4.15 c (3,3) ===========================================
11.89/4.15 c (3,3) Order
11.89/4.15 c (3,3) ===========================================
12.19/4.26 c (3,3) translated 1282 (10%) constraints
12.50/4.36 c (3,3) translated 2563 (20%) constraints
12.80/4.45 c (3,3) translated 3845 (30%) constraints
13.10/4.53 c (4,3) translated 5126 (40%) constraints
13.40/4.61 c (4,4) translated 6407 (50%) constraints
13.40/4.69 c (4,4) translated 7689 (60%) constraints
13.70/4.77 c (4,4) translated 8970 (70%) constraints
14.30/4.92 c (4,4) translated 10252 (80%) constraints
14.63/5.08 c (4,4) translated 11533 (90%) constraints
14.94/5.17 c (4,4) translated 12814 (100%) constraints
14.94/5.18 c (4,4) CSP to CSPinCNF End
14.94/5.18 c (4,4) CSP: 540 int (324 aux), 2902 bool (2902 aux), 16126 ctr, max domain size 7
14.94/5.18 c (4,4) Heap : 1239 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.94/5.18 c (4,4) CSPinCNF Propagation Begin
15.85/5.44 c (4,4) 786 values, 4996 unsatisfiable literals, and 4192 valid clauses are removed
15.85/5.44 c (4,4) CSPinCNF Propagation End
15.85/5.44 c (4,4) CSP: 1002 int (786 aux), 2440 bool (2440 aux), 11934 ctr, max domain size 7
15.85/5.44 c (4,4) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.85/5.44 c (4,4) Simplify CSPinCNF Begin
16.74/5.75 c (5,5) Simplify CSPinCNF End
16.74/5.76 c (5,5) CSP: 1002 int (786 aux), 9109 bool (9109 aux), 18603 ctr, max domain size 7
16.74/5.76 c (5,5) Heap : 1464 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.74/5.76 c (5,5) Calculate Precise Domain Begin
17.07/5.82 c (5,5) 0 values are removed by re-calculation
17.07/5.82 c (5,5) Calculate Precise Domain End
17.07/5.82 c (5,5) CSP: 1002 int (786 aux), 9109 bool (9109 aux), 18603 ctr, max domain size 7
17.07/5.82 c (5,5) Heap : 1464 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.07/5.82 c (5,5) CSPinCNF to SatSolver Begin
17.41/6.00 c (5,5) 1861 (10 %) CSP clauses are encoded (11629 SAT variables, 10410 SAT clauses)
17.71/6.09 c (5,5) 3721 (20 %) CSP clauses are encoded (11629 SAT variables, 19540 SAT clauses)
18.02/6.16 c (5,5) 5581 (30 %) CSP clauses are encoded (11629 SAT variables, 27560 SAT clauses)
18.28/6.21 c (5,5) 7442 (40 %) CSP clauses are encoded (11629 SAT variables, 35296 SAT clauses)
18.28/6.26 c (5,5) 9302 (50 %) CSP clauses are encoded (11629 SAT variables, 42871 SAT clauses)
18.28/6.27 c (5,5) 11162 (60 %) CSP clauses are encoded (11629 SAT variables, 44731 SAT clauses)
18.28/6.29 c (5,5) 13023 (70 %) CSP clauses are encoded (11629 SAT variables, 46592 SAT clauses)
18.85/6.40 c (5,5) 14883 (80 %) CSP clauses are encoded (11629 SAT variables, 60228 SAT clauses)
18.85/6.48 c (5,5) 16743 (90 %) CSP clauses are encoded (11629 SAT variables, 75240 SAT clauses)
19.10/6.52 c (5,5) 18603 (100 %) CSP clauses are encoded (11629 SAT variables, 83404 SAT clauses)
19.10/6.52 c (5,5) CSPinCNF to SatSolver End
19.10/6.52 c (5,5) Heap : 1689 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.41/6.65 c (6,6) STATISTICS2:HOME/instance-4294433-1532354728.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,10111,18603,64,7,4,7,64:360;49:240;6:6899;1:89,7:1080;6:17487;2:41448;1:89,4:6570;3:764;2:10635;1:634,7:360;3:240;2:6988;1:42888,
19.41/6.65 c (6,6) SatSolver.solve Begin
19.41/6.65 c (6,6) 11629 bool, 83409 clause
19.41/6.65 c (6,6) 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-4294433-1532354728.xml-scop-10323.cnf HOME/instance-4294433-1532354728.xml-scop-10323.cnf.out
2520.07/2505.20 c (2504,6) SatSolver is killed by some reasons.
2520.07/2505.20 c (2504,6) 1,1,4,4,5,5,5,TO,TO,STOP-AFTER(DIMACS)
2520.07/2505.20 s UNKNOWN
2520.07/2505.20 c END-Prog: Mon Jul 23 16:47:14 CEST 2018
2520.07/2505.20 c (2504,0) receiving signal SIGTERM
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 (3080 MiB free)
memory of node 1: 16384 MiB (11578 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294433-1532354728/watcher-4294433-1532354728 -o /tmp/evaluation-result-4294433-1532354728/solver-4294433-1532354728 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2303 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294433-1532354728.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
Current StackSize limit: 8192 KiB
solver pid=10323, runsolver pid=10320
[startup+0.100092 s]*
/proc/loadavg: 2.52 2.13 2.08 5/215 10338
/proc/meminfo: memFree=14920020/32770624 swapFree=67108860/67108860
[pid=10323] ppid=10320 vsize=15011656 memory=73956 CPUtime=0.12 cores=1,3,5,7
/proc/10323/stat : 10323 (java) S 10320 10323 2271 0 -1 1077944320 6666 0 0 0 10 2 0 0 20 0 15 0 53036003 15371935744 18489 33554432000 4194304 4196468 140730759752976 140730759735520 139700567097079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
/proc/10323/statm: 3752914 18489 2777 1 0 3715374 0
[pid=10323/tid=10325] ppid=10320 vsize=15011656 memory=-8556449466809356410 CPUtime=0.09 cores=1,3,5,7
/proc/10323/task/10325/stat : 10325 (java) R 10320 10323 2271 0 -1 4202560 4914 0 0 0 8 1 0 0 20 0 15 0 53036004 15371935744 18621 33554432000 4194304 4196468 140730759752976 139700538874160 139700547372786 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10326] ppid=10320 vsize=15011656 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10326/stat : 10326 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53036005 15371935744 18621 33554432000 4194304 4196468 140730759752976 139700571339536 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10327] ppid=10320 vsize=15011656 memory=140468022503040 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10327/stat : 10327 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036005 15371935744 18687 33554432000 4194304 4196468 140730759752976 139700389428112 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10328] ppid=10320 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10328/stat : 10328 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036005 15371935744 18687 33554432000 4194304 4196468 140730759752976 139700026813456 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10329] ppid=10320 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10329/stat : 10329 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53036005 15371935744 18687 33554432000 4194304 4196468 140730759752976 139700025760912 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10330] ppid=10320 vsize=15011656 memory=140468022503040 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10330/stat : 10330 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53036007 15371935744 18687 33554432000 4194304 4196468 140730759752976 139699605522416 139700567108226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10331] ppid=10320 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10331/stat : 10331 (java) S 10320 10323 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53036007 15371935744 18687 33554432000 4194304 4196468 140730759752976 139699112895392 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10332] ppid=10320 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10332/stat : 10332 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036008 15371935744 18687 33554432000 4194304 4196468 140730759752976 139698844460016 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10333] ppid=10320 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10333/stat : 10333 (java) S 10320 10323 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53036010 15371935744 18687 33554432000 4194304 4196468 140730759752976 139698469951696 139700567115675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10334] ppid=10320 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10334/stat : 10334 (java) S 10320 10323 2271 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 53036010 15371935744 18687 33554432000 4194304 4196468 140730759752976 139699604470256 139700567108226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10335] ppid=10320 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10335/stat : 10335 (java) S 10320 10323 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53036010 15371935744 18687 33554432000 4194304 4196468 140730759752976 139699603417712 139700567108226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10336] ppid=10320 vsize=15011656 memory=140468022503040 CPUtime=0.01 cores=1,3,5,7
/proc/10323/task/10336/stat : 10336 (java) S 10320 10323 2271 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 15 0 53036010 15371935744 18687 33554432000 4194304 4196468 140730759752976 139699602365168 139700567108226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10337] ppid=10320 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10337/stat : 10337 (java) S 10320 10323 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53036010 15371935744 18753 33554432000 4194304 4196468 140730759752976 139697972046944 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10338] ppid=10320 vsize=15011656 memory=140468022503040 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10338/stat : 10338 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036010 15371935744 18753 33554432000 4194304 4196468 140730759752976 139699601312048 139700567108226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73956 KiB
[startup+0.210474 s]*
/proc/loadavg: 2.52 2.13 2.08 5/215 10338
/proc/meminfo: memFree=14876904/32770624 swapFree=67108860/67108860
[pid=10323] ppid=10320 vsize=15011656 memory=88216 CPUtime=0.26 cores=1,3,5,7
/proc/10323/stat : 10323 (java) S 10320 10323 2271 0 -1 1077944320 10520 0 0 0 23 3 0 0 20 0 15 0 53036003 15371935744 22054 33554432000 4194304 4196468 140730759752976 140730759735520 139700567097079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
/proc/10323/statm: 3752914 22054 2906 1 0 3715374 0
[pid=10323/tid=10325] ppid=10320 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/10323/task/10325/stat : 10325 (java) R 10320 10323 2271 0 -1 4202560 8417 0 0 0 18 2 0 0 20 0 15 0 53036004 15371935744 22054 33554432000 4194304 4196468 140730759752976 139700538920528 139700567119005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10326] ppid=10320 vsize=15011656 memory=342 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10326/stat : 10326 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53036005 15371935744 22054 33554432000 4194304 4196468 140730759752976 139700571339536 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10327] ppid=10320 vsize=15011656 memory=140468022513616 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10327/stat : 10327 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036005 15371935744 22054 33554432000 4194304 4196468 140730759752976 139700389428112 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10328] ppid=10320 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10328/stat : 10328 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036005 15371935744 22054 33554432000 4194304 4196468 140730759752976 139700026813456 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10329] ppid=10320 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10329/stat : 10329 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53036005 15371935744 22054 33554432000 4194304 4196468 140730759752976 139700025760912 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10330] ppid=10320 vsize=15011656 memory=140468022503040 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10330/stat : 10330 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53036007 15371935744 22054 33554432000 4194304 4196468 140730759752976 139699605522416 139700567108226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10331] ppid=10320 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10331/stat : 10331 (java) S 10320 10323 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53036007 15371935744 22054 33554432000 4194304 4196468 140730759752976 139699112895392 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10332] ppid=10320 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10332/stat : 10332 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036008 15371935744 22054 33554432000 4194304 4196468 140730759752976 139698844460016 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10333] ppid=10320 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10333/stat : 10333 (java) S 10320 10323 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53036010 15371935744 22054 33554432000 4194304 4196468 140730759752976 139698469951696 139700567115675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10334] ppid=10320 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10334/stat : 10334 (java) R 10320 10323 2271 0 -1 4202560 319 0 0 0 0 0 0 0 20 0 15 0 53036010 15371935744 22054 33554432000 4194304 4196468 140730759752976 139699604470256 139700550993091 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10335] ppid=10320 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10335/stat : 10335 (java) R 10320 10323 2271 0 -1 4202560 160 0 0 0 0 0 0 0 20 0 15 0 53036010 15371935744 22054 33554432000 4194304 4196468 140730759752976 139699603417712 139700553111456 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10336] ppid=10320 vsize=15011656 memory=140468022503040 CPUtime=0.03 cores=1,3,5,7
/proc/10323/task/10336/stat : 10336 (java) R 10320 10323 2271 0 -1 1077944384 293 0 0 0 3 0 0 0 20 0 15 0 53036010 15371935744 22054 33554432000 4194304 4196468 140730759752976 139699602365168 139700567108226 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10337] ppid=10320 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10337/stat : 10337 (java) S 10320 10323 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53036010 15371935744 22054 33554432000 4194304 4196468 140730759752976 139697972046944 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10338] ppid=10320 vsize=15011656 memory=140468022503040 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10338/stat : 10338 (java) R 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036010 15371935744 22054 33554432000 4194304 4196468 140730759752976 139699601312048 139700567108226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88216 KiB
[startup+0.310515 s]*
/proc/loadavg: 2.52 2.13 2.08 6/215 10338
/proc/meminfo: memFree=14853388/32770624 swapFree=67108860/67108860
[pid=10323] ppid=10320 vsize=15011656 memory=91904 CPUtime=0.43 cores=1,3,5,7
/proc/10323/stat : 10323 (java) S 10320 10323 2271 0 -1 1077944320 11007 0 0 0 40 3 0 0 20 0 15 0 53036003 15371935744 22976 33554432000 4194304 4196468 140730759752976 140730759735520 139700567097079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
/proc/10323/statm: 3752914 22976 3021 1 0 3715374 0
[pid=10323/tid=10325] ppid=10320 vsize=15011656 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/10323/task/10325/stat : 10325 (java) R 10320 10323 2271 0 -1 4202560 8735 0 0 0 27 2 0 0 20 0 15 0 53036004 15371935744 22976 33554432000 4194304 4196468 140730759752976 139700538901232 139700547372401 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10326] ppid=10320 vsize=15011656 memory=304556149062238231 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10326/stat : 10326 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53036005 15371935744 22976 33554432000 4194304 4196468 140730759752976 139700571339536 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10327] ppid=10320 vsize=15011656 memory=140468022513535 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10327/stat : 10327 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036005 15371935744 22976 33554432000 4194304 4196468 140730759752976 139700389428112 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10328] ppid=10320 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10328/stat : 10328 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036005 15371935744 22976 33554432000 4194304 4196468 140730759752976 139700026813456 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10329] ppid=10320 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10329/stat : 10329 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53036005 15371935744 22976 33554432000 4194304 4196468 140730759752976 139700025760912 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10330] ppid=10320 vsize=15011656 memory=140468022503040 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10330/stat : 10330 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53036007 15371935744 22976 33554432000 4194304 4196468 140730759752976 139699605522416 139700567108226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10331] ppid=10320 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10331/stat : 10331 (java) S 10320 10323 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53036007 15371935744 22976 33554432000 4194304 4196468 140730759752976 139699112895392 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10332] ppid=10320 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10332/stat : 10332 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036008 15371935744 22976 33554432000 4194304 4196468 140730759752976 139698844460016 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10333] ppid=10320 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10333/stat : 10333 (java) S 10320 10323 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53036010 15371935744 22976 33554432000 4194304 4196468 140730759752976 139698469951696 139700567115675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10334] ppid=10320 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10323/task/10334/stat : 10334 (java) S 10320 10323 2271 0 -1 1077944384 408 0 0 0 3 0 0 0 20 0 15 0 53036010 15371935744 22976 33554432000 4194304 4196468 140730759752976 139699604470256 139700567108226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10335] ppid=10320 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10323/task/10335/stat : 10335 (java) S 10320 10323 2271 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 15 0 53036010 15371935744 22976 33554432000 4194304 4196468 140730759752976 139699603417712 139700567108226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10336] ppid=10320 vsize=15011656 memory=140468022503040 CPUtime=0.07 cores=1,3,5,7
/proc/10323/task/10336/stat : 10336 (java) S 10320 10323 2271 0 -1 1077944384 318 0 0 0 7 0 0 0 20 0 15 0 53036010 15371935744 22976 33554432000 4194304 4196468 140730759752976 139699602365168 139700567108226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10337] ppid=10320 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10337/stat : 10337 (java) S 10320 10323 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53036010 15371935744 22976 33554432000 4194304 4196468 140730759752976 139697972046944 139700567107285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10338] ppid=10320 vsize=15011656 memory=140468022503040 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10338/stat : 10338 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036010 15371935744 22976 33554432000 4194304 4196468 140730759752976 139699601312048 139700567108226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 91904 KiB
[startup+0.707169 s]
/proc/loadavg: 2.52 2.13 2.08 4/215 10338
/proc/meminfo: memFree=14726928/32770624 swapFree=67108860/67108860
[pid=10323] ppid=10320 vsize=15017928 memory=132252 CPUtime=1.08 cores=1,3,5,7
/proc/10323/stat : 10323 (java) S 10320 10323 2271 0 -1 1077944320 17737 0 0 0 103 5 0 0 20 0 15 0 53036003 15378358272 33063 33554432000 4194304 4196468 140730759752976 140730759735520 139700567097079 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
/proc/10323/statm: 3754482 33063 3153 1 0 3715886 0
[pid=10323/tid=10325] ppid=10320 vsize=15017928 memory=18448 CPUtime=0.67 cores=1,3,5,7
/proc/10323/task/10325/stat : 10325 (java) R 10320 10323 2271 0 -1 4202560 14728 0 0 0 64 3 0 0 20 0 15 0 53036004 15378358272 33063 33554432000 4194304 4196468 140730759752976 139700538932272 139700069236800 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10326] ppid=10320 vsize=15017928 memory=10368 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10326/stat : 10326 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53036005 15378358272 33063 33554432000 4194304 4196468 140730759752976 139700571339536 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10327] ppid=10320 vsize=15017928 memory=644 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10327/stat : 10327 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036005 15378358272 33063 33554432000 4194304 4196468 140730759752976 139700389428112 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10328] ppid=10320 vsize=15017928 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10328/stat : 10328 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036005 15378358272 33063 33554432000 4194304 4196468 140730759752976 139700026813456 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10329] ppid=10320 vsize=15017928 memory=960 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10329/stat : 10329 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53036005 15378358272 33063 33554432000 4194304 4196468 140730759752976 139700025760912 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10330] ppid=10320 vsize=15017928 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10330/stat : 10330 (java) S 10320 10323 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53036007 15378358272 33063 33554432000 4194304 4196468 140730759752976 139699605522416 139700567108226 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10331] ppid=10320 vsize=15017928 memory=2344 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10331/stat : 10331 (java) S 10320 10323 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53036007 15378358272 33063 33554432000 4194304 4196468 140730759752976 139699112895392 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10332] ppid=10320 vsize=15017928 memory=928 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10332/stat : 10332 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036008 15378358272 33063 33554432000 4194304 4196468 140730759752976 139698844460016 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10333] ppid=10320 vsize=15017928 memory=6153431502485414243 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10333/stat : 10333 (java) S 10320 10323 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53036010 15378358272 33063 33554432000 4194304 4196468 140730759752976 139698469951696 139700567115675 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10334] ppid=10320 vsize=15017928 memory=7733916894068367465 CPUtime=0.1 cores=1,3,5,7
/proc/10323/task/10334/stat : 10334 (java) R 10320 10323 2271 0 -1 4202560 633 0 0 0 10 0 0 0 20 0 15 0 53036010 15378358272 33063 33554432000 4194304 4196468 140730759752976 139699604470384 139700551978864 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10335] ppid=10320 vsize=15017928 memory=6148935659200796009 CPUtime=0.09 cores=1,3,5,7
/proc/10323/task/10335/stat : 10335 (java) R 10320 10323 2271 0 -1 4202560 510 0 0 0 9 0 0 0 20 0 15 0 53036010 15378358272 33063 33554432000 4194304 4196468 140730759752976 139699603398728 139700546315797 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10336] ppid=10320 vsize=15017928 memory=7440052414092175185 CPUtime=0.18 cores=1,3,5,7
/proc/10323/task/10336/stat : 10336 (java) S 10320 10323 2271 0 -1 1077944384 524 0 0 0 18 0 0 0 20 0 15 0 53036010 15378358272 33063 33554432000 4194304 4196468 140730759752976 139699602365168 139700567108226 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10337] ppid=10320 vsize=15017928 memory=8098710602360516455 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10337/stat : 10337 (java) S 10320 10323 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53036010 15378358272 33063 33554432000 4194304 4196468 140730759752976 139697972046944 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10338] ppid=10320 vsize=15017928 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10338/stat : 10338 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036010 15378358272 33063 33554432000 4194304 4196468 140730759752976 139699601312048 139700567108226 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 132252 KiB
[startup+1.50073 s]
/proc/loadavg: 2.52 2.13 2.08 7/215 10338
/proc/meminfo: memFree=14293524/32770624 swapFree=67108860/67108860
[pid=10323] ppid=10320 vsize=15022100 memory=268824 CPUtime=3.71 cores=1,3,5,7
/proc/10323/stat : 10323 (java) S 10320 10323 2271 0 -1 1077944320 20699 0 0 0 363 8 0 0 20 0 15 0 53036003 15382630400 67206 33554432000 4194304 4196468 140730759752976 140730759735520 139700567097079 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
/proc/10323/statm: 3755525 67206 3205 1 0 3716910 0
[pid=10323/tid=10325] ppid=10320 vsize=15022100 memory=253556 CPUtime=1.47 cores=1,3,5,7
/proc/10323/task/10325/stat : 10325 (java) R 10320 10323 2271 0 -1 4202560 15574 0 0 0 141 6 0 0 20 0 15 0 53036004 15382630400 67206 33554432000 4194304 4196468 140730759752976 139700538933264 139700069524448 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10326] ppid=10320 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10326/stat : 10326 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53036005 15382630400 67206 33554432000 4194304 4196468 140730759752976 139700571339536 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10327] ppid=10320 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10327/stat : 10327 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036005 15382630400 67206 33554432000 4194304 4196468 140730759752976 139700389428112 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10328] ppid=10320 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10328/stat : 10328 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53036005 15382630400 67206 33554432000 4194304 4196468 140730759752976 139700026813456 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10329] ppid=10320 vsize=15022100 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10329/stat : 10329 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53036005 15382630400 67206 33554432000 4194304 4196468 140730759752976 139700025760912 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10330] ppid=10320 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10330/stat : 10330 (java) S 10320 10323 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53036007 15382630400 67206 33554432000 4194304 4196468 140730759752976 139699605522416 139700567108226 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
################
# More data... #
################
/proc/meminfo: memFree=11099772/32770624 swapFree=67108860/67108860
[pid=10323] ppid=10320 vsize=15683912 memory=1857200 CPUtime=21.33 cores=1,3,5,7
/proc/10323/stat : 10323 (java) S 10320 10323 2271 0 -1 1077944320 35789 0 0 0 2040 93 0 0 20 0 19 0 53036003 16060325888 464300 33554432000 4194304 4196468 140730759752976 140730759735520 139700567097079 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
/proc/10323/statm: 3920978 464300 3244 1 0 3881834 0
[pid=10345] ppid=10323 vsize=112160 memory=96072 CPUtime=2435.81 cores=1,3,5,7
/proc/10345/stat : 10345 (minisat_release) R 10323 10323 2271 0 -1 4202496 148690 0 0 0 243566 15 0 0 20 0 1 0 53036671 114851840 24018 33554432000 4194304 4308513 140731302629456 140731302626456 4275941 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 11984896 140731302638255 140731302638766 140731302638766 140731302641605 0
/proc/10345/statm: 28040 24018 353 28 0 24280 0
[pid=10323/tid=10325] ppid=10320 vsize=15683912 memory=1857200 CPUtime=6.67 cores=1,3,5,7
/proc/10323/task/10325/stat : 10325 (java) S 10320 10323 2271 0 -1 1077944384 17810 0 0 0 636 31 0 0 20 0 19 0 53036004 16060325888 464300 33554432000 4194304 4196468 140730759752976 139700538936320 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10326] ppid=10320 vsize=15683912 memory=1857200 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10326/stat : 10326 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53036005 16060325888 464300 33554432000 4194304 4196468 140730759752976 139700571339536 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10327] ppid=10320 vsize=15683912 memory=1857200 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10327/stat : 10327 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53036005 16060325888 464300 33554432000 4194304 4196468 140730759752976 139700389428112 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10328] ppid=10320 vsize=15683912 memory=1857200 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10328/stat : 10328 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53036005 16060325888 464300 33554432000 4194304 4196468 140730759752976 139700026813456 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10329] ppid=10320 vsize=15683912 memory=96072 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10329/stat : 10329 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53036005 16060325888 464300 33554432000 4194304 4196468 140730759752976 139700025760912 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10330] ppid=10320 vsize=15683912 memory=1857200 CPUtime=0.05 cores=1,3,5,7
/proc/10323/task/10330/stat : 10330 (java) S 10320 10323 2271 0 -1 1077944384 8 0 0 0 2 3 0 0 20 0 19 0 53036007 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699605522416 139700567108226 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10331] ppid=10320 vsize=15683912 memory=1857200 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10331/stat : 10331 (java) S 10320 10323 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53036007 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699112895392 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10332] ppid=10320 vsize=15683912 memory=96072 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10332/stat : 10332 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53036008 16060325888 464300 33554432000 4194304 4196468 140730759752976 139698844460016 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10333] ppid=10320 vsize=15683912 memory=1857200 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10333/stat : 10333 (java) S 10320 10323 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139698469951696 139700567115675 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10334] ppid=10320 vsize=15683912 memory=1857200 CPUtime=5.83 cores=1,3,5,7
/proc/10323/task/10334/stat : 10334 (java) S 10320 10323 2271 0 -1 1077944384 4946 0 0 0 582 1 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699604470256 139700567108226 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10335] ppid=10320 vsize=15683912 memory=1857200 CPUtime=5.94 cores=1,3,5,7
/proc/10323/task/10335/stat : 10335 (java) S 10320 10323 2271 0 -1 1077944384 6612 0 0 0 593 1 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699603417712 139700567108226 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10336] ppid=10320 vsize=15683912 memory=1857200 CPUtime=1.57 cores=1,3,5,7
/proc/10323/task/10336/stat : 10336 (java) S 10320 10323 2271 0 -1 1077944384 4864 0 0 0 155 2 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699602365168 139700567108226 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10337] ppid=10320 vsize=15683912 memory=-7824251494390848360 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10337/stat : 10337 (java) S 10320 10323 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139697972046944 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10338] ppid=10320 vsize=15683912 memory=4136 CPUtime=1.21 cores=1,3,5,7
/proc/10323/task/10338/stat : 10338 (java) S 10320 10323 2271 0 -1 1077944384 163 0 0 0 54 67 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699601312048 139700567108226 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10346] ppid=10320 vsize=15683912 memory=1857200 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10346/stat : 10346 (java) S 10320 10323 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53036672 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699582948416 139700567121689 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10348] ppid=10320 vsize=15683912 memory=96072 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10348/stat : 10348 (java) S 10320 10323 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53036672 16060325888 464300 33554432000 4194304 4196468 140730759752976 139697435164208 139700567119005 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10349] ppid=10320 vsize=15683912 memory=1857200 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10349/stat : 10349 (java) S 10320 10323 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53036672 16060325888 464300 33554432000 4194304 4196468 140730759752976 139697166728880 139700567119005 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10350] ppid=10320 vsize=15683912 memory=96072 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10350/stat : 10350 (java) S 10320 10323 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53036674 16060325888 464300 33554432000 4194304 4196468 140730759752976 139697703607840 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
Current children cumulated CPU time: 2457.14 s
Current children cumulated vsize: 15796072 KiB
Current children cumulated memory: 1953272 KiB
[startup+2502.3 s]
/proc/loadavg: 2.21 2.13 2.09 5/220 10521
/proc/meminfo: memFree=13947684/32770624 swapFree=67108860/67108860
[pid=10323] ppid=10320 vsize=15683912 memory=1857200 CPUtime=21.36 cores=1,3,5,7
/proc/10323/stat : 10323 (java) S 10320 10323 2271 0 -1 1077944320 35793 0 0 0 2042 94 0 0 20 0 19 0 53036003 16060325888 464300 33554432000 4194304 4196468 140730759752976 140730759735520 139700567097079 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
/proc/10323/statm: 3920978 464300 3244 1 0 3881834 0
[pid=10345] ppid=10323 vsize=112160 memory=96072 CPUtime=2495.81 cores=1,3,5,7
/proc/10345/stat : 10345 (minisat_release) R 10323 10323 2271 0 -1 4202496 154924 0 0 0 249566 15 0 0 20 0 1 0 53036671 114851840 24018 33554432000 4194304 4308513 140731302629456 140731302626456 4276146 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 11984896 140731302638255 140731302638766 140731302638766 140731302641605 0
/proc/10345/statm: 28040 24018 353 28 0 24280 0
[pid=10323/tid=10325] ppid=10320 vsize=15683912 memory=1857200 CPUtime=6.67 cores=1,3,5,7
/proc/10323/task/10325/stat : 10325 (java) S 10320 10323 2271 0 -1 1077944384 17810 0 0 0 636 31 0 0 20 0 19 0 53036004 16060325888 464300 33554432000 4194304 4196468 140730759752976 139700538936320 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10326] ppid=10320 vsize=15683912 memory=1857200 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10326/stat : 10326 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53036005 16060325888 464300 33554432000 4194304 4196468 140730759752976 139700571339536 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10327] ppid=10320 vsize=15683912 memory=1857200 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10327/stat : 10327 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53036005 16060325888 464300 33554432000 4194304 4196468 140730759752976 139700389428112 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10328] ppid=10320 vsize=15683912 memory=96072 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10328/stat : 10328 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53036005 16060325888 464300 33554432000 4194304 4196468 140730759752976 139700026813456 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10329] ppid=10320 vsize=15683912 memory=1857200 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10329/stat : 10329 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53036005 16060325888 464300 33554432000 4194304 4196468 140730759752976 139700025760912 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10330] ppid=10320 vsize=15683912 memory=2257 CPUtime=0.05 cores=1,3,5,7
/proc/10323/task/10330/stat : 10330 (java) S 10320 10323 2271 0 -1 1077944384 8 0 0 0 2 3 0 0 20 0 19 0 53036007 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699605522416 139700567108226 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10331] ppid=10320 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10331/stat : 10331 (java) S 10320 10323 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53036007 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699112895392 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10332] ppid=10320 vsize=15683912 memory=1857200 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10332/stat : 10332 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53036008 16060325888 464300 33554432000 4194304 4196468 140730759752976 139698844460016 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10333] ppid=10320 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10333/stat : 10333 (java) S 10320 10323 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139698469951696 139700567115675 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10334] ppid=10320 vsize=15683912 memory=1857200 CPUtime=5.83 cores=1,3,5,7
/proc/10323/task/10334/stat : 10334 (java) S 10320 10323 2271 0 -1 1077944384 4946 0 0 0 582 1 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699604470256 139700567108226 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10335] ppid=10320 vsize=15683912 memory=1857200 CPUtime=5.94 cores=1,3,5,7
/proc/10323/task/10335/stat : 10335 (java) S 10320 10323 2271 0 -1 1077944384 6612 0 0 0 593 1 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699603417712 139700567108226 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10336] ppid=10320 vsize=15683912 memory=1857200 CPUtime=1.57 cores=1,3,5,7
/proc/10323/task/10336/stat : 10336 (java) S 10320 10323 2271 0 -1 1077944384 4864 0 0 0 155 2 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699602365168 139700567108226 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10337] ppid=10320 vsize=15683912 memory=96072 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10337/stat : 10337 (java) S 10320 10323 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139697972046944 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10338] ppid=10320 vsize=15683912 memory=1857200 CPUtime=1.23 cores=1,3,5,7
/proc/10323/task/10338/stat : 10338 (java) S 10320 10323 2271 0 -1 1077944384 167 0 0 0 55 68 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699601312048 139700567108226 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10346] ppid=10320 vsize=15683912 memory=1857200 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10346/stat : 10346 (java) S 10320 10323 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53036672 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699582948416 139700567121689 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10348] ppid=10320 vsize=15683912 memory=280935824673456 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10348/stat : 10348 (java) S 10320 10323 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53036672 16060325888 464300 33554432000 4194304 4196468 140730759752976 139697435164208 139700567119005 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10349] ppid=10320 vsize=15683912 memory=3471342864233573488 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10349/stat : 10349 (java) S 10320 10323 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53036672 16060325888 464300 33554432000 4194304 4196468 140730759752976 139697166728880 139700567119005 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10350] ppid=10320 vsize=15683912 memory=796 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10350/stat : 10350 (java) S 10320 10323 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53036674 16060325888 464300 33554432000 4194304 4196468 140730759752976 139697703607840 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
Current children cumulated CPU time: 2517.17 s
Current children cumulated vsize: 15796072 KiB
Current children cumulated memory: 1953272 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.2 s]
/proc/loadavg: 2.21 2.13 2.09 6/219 10556
/proc/meminfo: memFree=14297984/32770624 swapFree=67108860/67108860
[pid=10323] ppid=10320 vsize=15683912 memory=1857200 CPUtime=21.36 cores=1,3,5,7
/proc/10323/stat : 10323 (java) S 10320 10323 2271 0 -1 1077944320 35795 0 0 0 2042 94 0 0 20 0 19 0 53036003 16060325888 464300 33554432000 4194304 4196468 140730759752976 140730759735520 139700567097079 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
/proc/10323/statm: 3920978 464300 3244 1 0 3881834 0
[pid=10345] ppid=10323 vsize=112160 memory=96072 CPUtime=2498.71 cores=1,3,5,7
/proc/10345/stat : 10345 (minisat_release) R 10323 10323 2271 0 -1 4202496 154935 0 0 0 249856 15 0 0 20 0 1 0 53036671 114851840 24018 33554432000 4194304 4308513 140731302629456 140731302626456 4276036 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 11984896 140731302638255 140731302638766 140731302638766 140731302641605 0
/proc/10345/statm: 28040 24018 353 28 0 24280 0
[pid=10323/tid=10325] ppid=10320 vsize=15683912 memory=16098156739823870 CPUtime=6.67 cores=1,3,5,7
/proc/10323/task/10325/stat : 10325 (java) S 10320 10323 2271 0 -1 1077944384 17810 0 0 0 636 31 0 0 20 0 19 0 53036004 16060325888 464300 33554432000 4194304 4196468 140730759752976 139700538936320 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10326] ppid=10320 vsize=15683912 memory=16098156739823870 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10326/stat : 10326 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53036005 16060325888 464300 33554432000 4194304 4196468 140730759752976 139700571339536 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10327] ppid=10320 vsize=15683912 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10327/stat : 10327 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53036005 16060325888 464300 33554432000 4194304 4196468 140730759752976 139700389428112 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10328] ppid=10320 vsize=15683912 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10328/stat : 10328 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53036005 16060325888 464300 33554432000 4194304 4196468 140730759752976 139700026813456 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10329] ppid=10320 vsize=15683912 memory=920 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10329/stat : 10329 (java) S 10320 10323 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53036005 16060325888 464300 33554432000 4194304 4196468 140730759752976 139700025760912 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10330] ppid=10320 vsize=15683912 memory=3848 CPUtime=0.05 cores=1,3,5,7
/proc/10323/task/10330/stat : 10330 (java) S 10320 10323 2271 0 -1 1077944384 8 0 0 0 2 3 0 0 20 0 19 0 53036007 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699605522416 139700567108226 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10331] ppid=10320 vsize=15683912 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10331/stat : 10331 (java) S 10320 10323 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53036007 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699112895392 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10332] ppid=10320 vsize=15683912 memory=2656 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10332/stat : 10332 (java) S 10320 10323 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53036008 16060325888 464300 33554432000 4194304 4196468 140730759752976 139698844460016 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10333] ppid=10320 vsize=15683912 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10333/stat : 10333 (java) S 10320 10323 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139698469951696 139700567115675 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10334] ppid=10320 vsize=15683912 memory=7528 CPUtime=5.83 cores=1,3,5,7
/proc/10323/task/10334/stat : 10334 (java) S 10320 10323 2271 0 -1 1077944384 4946 0 0 0 582 1 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699604470256 139700567108226 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10335] ppid=10320 vsize=15683912 memory=844 CPUtime=5.94 cores=1,3,5,7
/proc/10323/task/10335/stat : 10335 (java) S 10320 10323 2271 0 -1 1077944384 6612 0 0 0 593 1 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699603417712 139700567108226 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10336] ppid=10320 vsize=15683912 memory=1857200 CPUtime=1.57 cores=1,3,5,7
/proc/10323/task/10336/stat : 10336 (java) S 10320 10323 2271 0 -1 1077944384 4864 0 0 0 155 2 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699602365168 139700567108226 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10337] ppid=10320 vsize=15683912 memory=96072 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10337/stat : 10337 (java) S 10320 10323 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139697972046944 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10338] ppid=10320 vsize=15683912 memory=4052 CPUtime=1.23 cores=1,3,5,7
/proc/10323/task/10338/stat : 10338 (java) S 10320 10323 2271 0 -1 1077944384 169 0 0 0 55 68 0 0 20 0 19 0 53036010 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699601312048 139700567108226 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10346] ppid=10320 vsize=15683912 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10346/stat : 10346 (java) S 10320 10323 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53036672 16060325888 464300 33554432000 4194304 4196468 140730759752976 139699582948416 139700567121689 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10348] ppid=10320 vsize=15683912 memory=10400 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10348/stat : 10348 (java) S 10320 10323 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53036672 16060325888 464300 33554432000 4194304 4196468 140730759752976 139697435164208 139700567119005 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10349] ppid=10320 vsize=15683912 memory=644 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10349/stat : 10349 (java) S 10320 10323 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53036672 16060325888 464300 33554432000 4194304 4196468 140730759752976 139697166728880 139700567119005 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
[pid=10323/tid=10350] ppid=10320 vsize=15683912 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/10323/task/10350/stat : 10350 (java) S 10320 10323 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53036674 16060325888 464300 33554432000 4194304 4196468 140730759752976 139697703607840 139700567107285 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730759754739 140730759755017 140730759755017 140730759757775 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 15796072 KiB
Current children cumulated memory: 1953272 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.22 s]
# the end of solver process 10323 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.99 s, system=1.12309 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2505.22
CPU time (s): 2520.11
CPU user time (s): 2518.99
CPU system time (s): 1.12309
CPU usage (%): 100.594
Max. virtual memory (cumulated for all children) (KiB): 15796072
Max. memory (cumulated for all children) (KiB): 1953272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.99
system time used= 1.12309
maximum resident set size= 1860360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190808
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58612
involuntary context switches= 782
# summary of solver processes directly reported to runsolver:
# pid: 10323
# total CPU time (s): 2520.11
# total CPU user time (s): 2518.99
# total CPU system time (s): 1.12309
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9025 second user time and 27.1121 second system time
The end