0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Wed Jul 25 19:17:53 CEST 2018
0.67/0.55 c PID: 31683
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
1.53/0.96 c (0,0) Parsing End
1.53/0.96 c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 241 ctr, max domain size 120
1.53/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.53/0.96 c (0,0) Constraint Name Generate Begin
1.53/0.97 c (0,0) Ctr:HOME/instance-4295238-1532539072.xml,AllDifferent:ExtensionSupport:IntVar
1.53/0.97 c (0,0) Constraint Name Generate End
1.53/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.53/0.97 c (0,0) CSP to CSPinCNF Begin
9.58/3.67 c (3,3) translated 25 (10%) constraints
11.54/5.05 c (4,4) translated 49 (20%) constraints
12.97/6.39 c (5,5) translated 73 (30%) constraints
14.43/7.72 c (7,7) translated 97 (40%) constraints
16.35/9.14 c (8,8) translated 121 (50%) constraints
17.58/10.35 c (9,9) translated 145 (60%) constraints
18.81/11.56 c (11,10) translated 169 (70%) constraints
20.02/12.78 c (12,12) translated 193 (80%) constraints
22.34/14.28 c (13,13) translated 217 (90%) constraints
23.54/15.49 c (14,14) translated 241 (100%) constraints
25.44/16.53 c (16,15) STATISTICS1:HOME/instance-4295238-1532539072.xml,AllDifferent:ExtensionSupport:IntVar,28920,355622,120,120,121,2,120:7140,120:652920;2:377040,121:240;120:2;3:290160;2:65220,2:7140;1:1015680;0:240,
25.44/16.53 c (16,15) ===========================================
25.44/16.53 c (16,15) Both Encoding selects:
25.44/16.53 c (16,15) Order
25.44/16.54 c (16,15) ===========================================
27.75/17.34 c (16,16) translated 35563 (10%) constraints
28.26/17.78 c (17,16) translated 71125 (20%) constraints
28.76/18.21 c (17,17) translated 106687 (30%) constraints
29.16/18.64 c (18,17) translated 142249 (40%) constraints
30.77/19.37 c (18,18) translated 177811 (50%) constraints
31.17/19.80 c (19,18) translated 213374 (60%) constraints
31.67/20.22 c (19,18) translated 248936 (70%) constraints
32.09/20.65 c (20,19) translated 284498 (80%) constraints
32.50/21.07 c (20,19) translated 320060 (90%) constraints
32.99/21.50 c (20,20) translated 355622 (100%) constraints
32.99/21.50 c (20,20) CSP to CSPinCNF End
32.99/21.52 c (20,20) CSP: 120 int (0 aux), 28800 bool (28800 aux), 355622 ctr, max domain size 120
32.99/21.52 c (20,20) Heap : 1298 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
32.99/21.52 c (20,20) CSPinCNF Propagation Begin
35.04/23.28 c (22,21) 0 values, 240 unsatisfiable literals, and 0 valid clauses are removed
35.04/23.28 c (22,21) CSPinCNF Propagation End
35.04/23.28 c (22,22) CSP: 120 int (0 aux), 28800 bool (28800 aux), 355622 ctr, max domain size 120
35.04/23.28 c (22,22) Heap : 3077 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
35.04/23.28 c (22,22) Simplify CSPinCNF Begin
37.51/24.24 c (23,22) Simplify CSPinCNF End
37.51/24.25 c (23,22) CSP: 120 int (0 aux), 43080 bool (43080 aux), 369902 ctr, max domain size 120
37.51/24.25 c (23,22) Heap : 702 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
37.51/24.25 c (23,22) Calculate Precise Domain Begin
37.51/24.25 c (23,22) 0 values are removed by re-calculation
37.51/24.25 c (23,22) Calculate Precise Domain End
37.51/24.26 c (23,22) CSP: 120 int (0 aux), 43080 bool (43080 aux), 369902 ctr, max domain size 120
37.51/24.26 c (23,22) Heap : 702 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
37.51/24.26 c (23,22) CSPinCNF to SatSolver Begin
43.19/28.34 c (27,26) 36991 (10 %) CSP clauses are encoded (57360 SAT variables, 1750470 SAT clauses)
43.43/28.51 c (27,26) 73981 (20 %) CSP clauses are encoded (57360 SAT variables, 1787460 SAT clauses)
43.55/28.67 c (28,26) 110971 (30 %) CSP clauses are encoded (57360 SAT variables, 1824450 SAT clauses)
43.76/28.84 c (28,27) 147961 (40 %) CSP clauses are encoded (57360 SAT variables, 1861440 SAT clauses)
43.86/29.00 c (28,27) 184951 (50 %) CSP clauses are encoded (57360 SAT variables, 1898430 SAT clauses)
44.07/29.17 c (28,27) 221942 (60 %) CSP clauses are encoded (57360 SAT variables, 1935421 SAT clauses)
44.26/29.33 c (28,27) 258932 (70 %) CSP clauses are encoded (57360 SAT variables, 1972411 SAT clauses)
44.36/29.50 c (28,27) 295922 (80 %) CSP clauses are encoded (57360 SAT variables, 2009401 SAT clauses)
44.56/29.66 c (29,27) 332912 (90 %) CSP clauses are encoded (57360 SAT variables, 2046391 SAT clauses)
45.61/30.04 c (29,28) 369902 (100 %) CSP clauses are encoded (57360 SAT variables, 2083381 SAT clauses)
46.30/30.42 c (29,28) CSPinCNF to SatSolver End
46.30/30.42 c (29,28) Heap : 480 MiB used (max 10836 MiB), NonHeap : 29 MiB used (max 0 MiB)
46.70/30.83 c (30,28) STATISTICS2:HOME/instance-4295238-1532539072.xml,AllDifferent:ExtensionSupport:IntVar,43200,369902,120,120,120,2,120:14280,120:667200;2:405600,120:242;3:290160;2:79500,2:14280;1:1044240,
46.70/30.83 c (30,28) SatSolver.solve Begin
46.70/30.83 c (30,28) 57360 bool, 2083382 clause
46.70/30.83 c (30,28) 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-4295238-1532539072.xml-scop-31683.cnf HOME/instance-4295238-1532539072.xml-scop-31683.cnf.out
48.46/32.50 c (31,0) receiving signal SIGTERM
48.46/32.50 s UNKNOWN
48.46/32.51 c (31,28) SatSolver is killed by some reasons.
48.46/32.51 c (31,28) 0,0,20,22,23,23,29,TO,TO,STOP-AFTER(DIMACS)
48.46/32.51 c END-Prog: Wed Jul 25 19:18:25 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 (4604 MiB free)
memory of node 1: 16384 MiB (15592 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295238-1532539072/watcher-4295238-1532539072 -o /tmp/evaluation-result-4295238-1532539072/solver-4295238-1532539072 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295238-1532539072.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31683, runsolver pid=31680
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 5.07 4.95 4.74 3/220 31698
/proc/meminfo: memFree=20621892/32770624 swapFree=67076460/67108860
[pid=31683] ppid=31680 vsize=15011656 memory=73316 CPUtime=0.12 cores=1,3,5,7
/proc/31683/stat : 31683 (java) S 31680 31683 29212 0 -1 1077944320 6536 0 0 0 10 2 0 0 20 0 15 0 71470406 15371935744 18329 33554432000 4194304 4196468 140730425165024 140730425147568 139737471913719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
/proc/31683/statm: 3752914 18329 2779 1 0 3715374 0
[pid=31683/tid=31685] ppid=31680 vsize=15011656 memory=-6799202250962287440 CPUtime=0.09 cores=1,3,5,7
/proc/31683/task/31685/stat : 31685 (java) R 31680 31683 29212 0 -1 4202560 4641 0 0 0 8 1 0 0 20 0 15 0 71470406 15371935744 18395 33554432000 4194304 4196468 140730425165024 139737443724968 139737452189479 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31686] ppid=31680 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31686/stat : 31686 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470408 15371935744 18395 33554432000 4194304 4196468 140730425165024 139737476156176 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31687] ppid=31680 vsize=15011656 memory=140542235768448 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31687/stat : 31687 (java) S 31680 31683 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71470408 15371935744 18395 33554432000 4194304 4196468 140730425165024 139736932281232 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31688] ppid=31680 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31688/stat : 31688 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470408 15371935744 18395 33554432000 4194304 4196468 140730425165024 139736931228688 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31689] ppid=31680 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31689/stat : 31689 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470408 15371935744 18395 33554432000 4194304 4196468 140730425165024 139736930176144 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31690] ppid=31680 vsize=15011656 memory=140542235768448 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31690/stat : 31690 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470409 15371935744 18395 33554432000 4194304 4196468 140730425165024 139736509937648 139737471924866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31691] ppid=31680 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31691/stat : 31691 (java) S 31680 31683 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71470410 15371935744 18395 33554432000 4194304 4196468 140730425165024 139736022770592 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31692] ppid=31680 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31692/stat : 31692 (java) S 31680 31683 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71470410 15371935744 18395 33554432000 4194304 4196468 140730425165024 139735754335216 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31693] ppid=31680 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31693/stat : 31693 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71470412 15371935744 18395 33554432000 4194304 4196468 140730425165024 139735379826896 139737471932315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31694] ppid=31680 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31694/stat : 31694 (java) S 31680 31683 29212 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 71470412 15371935744 18461 33554432000 4194304 4196468 140730425165024 139736508885488 139737471924866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31695] ppid=31680 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31695/stat : 31695 (java) S 31680 31683 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71470412 15371935744 18461 33554432000 4194304 4196468 140730425165024 139736507832944 139737471924866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31696] ppid=31680 vsize=15011656 memory=140542235768448 CPUtime=0.01 cores=1,3,5,7
/proc/31683/task/31696/stat : 31696 (java) S 31680 31683 29212 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 15 0 71470412 15371935744 18461 33554432000 4194304 4196468 140730425165024 139736506780400 139737471924866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31697] ppid=31680 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31697/stat : 31697 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71470412 15371935744 18461 33554432000 4194304 4196468 140730425165024 139734881922144 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31698] ppid=31680 vsize=15011656 memory=140542235768448 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31698/stat : 31698 (java) S 31680 31683 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71470413 15371935744 18461 33554432000 4194304 4196468 140730425165024 139736505727280 139737471924866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73316 KiB
[startup+0.210538 s]*
/proc/loadavg: 5.07 4.95 4.74 3/220 31698
/proc/meminfo: memFree=20608064/32770624 swapFree=67076460/67108860
[pid=31683] ppid=31680 vsize=15011656 memory=85612 CPUtime=0.25 cores=1,3,5,7
/proc/31683/stat : 31683 (java) S 31680 31683 29212 0 -1 1077944320 9886 0 0 0 23 2 0 0 20 0 15 0 71470406 15371935744 21403 33554432000 4194304 4196468 140730425165024 140730425147568 139737471913719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
/proc/31683/statm: 3752914 21403 2914 1 0 3715374 0
[pid=31683/tid=31685] ppid=31680 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/31683/task/31685/stat : 31685 (java) R 31680 31683 29212 0 -1 4202560 7771 0 0 0 18 2 0 0 20 0 15 0 71470406 15371935744 21403 33554432000 4194304 4196468 140730425165024 139737443704384 139737471925654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31686] ppid=31680 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31686/stat : 31686 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470408 15371935744 21403 33554432000 4194304 4196468 140730425165024 139737476156176 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31687] ppid=31680 vsize=15011656 memory=4049776253405623968 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31687/stat : 31687 (java) S 31680 31683 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71470408 15371935744 21403 33554432000 4194304 4196468 140730425165024 139736932281232 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31688] ppid=31680 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31688/stat : 31688 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470408 15371935744 21403 33554432000 4194304 4196468 140730425165024 139736931228688 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31689] ppid=31680 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31689/stat : 31689 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470408 15371935744 21403 33554432000 4194304 4196468 140730425165024 139736930176144 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31690] ppid=31680 vsize=15011656 memory=140542235768448 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31690/stat : 31690 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470409 15371935744 21403 33554432000 4194304 4196468 140730425165024 139736509937648 139737471924866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31691] ppid=31680 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31691/stat : 31691 (java) S 31680 31683 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71470410 15371935744 21403 33554432000 4194304 4196468 140730425165024 139736022770592 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31692] ppid=31680 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31692/stat : 31692 (java) S 31680 31683 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71470410 15371935744 21403 33554432000 4194304 4196468 140730425165024 139735754335216 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31693] ppid=31680 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31693/stat : 31693 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71470412 15371935744 21403 33554432000 4194304 4196468 140730425165024 139735379826896 139737471932315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31694] ppid=31680 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31694/stat : 31694 (java) S 31680 31683 29212 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 71470412 15371935744 21403 33554432000 4194304 4196468 140730425165024 139736508885488 139737471924866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31695] ppid=31680 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31695/stat : 31695 (java) R 31680 31683 29212 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 71470412 15371935744 21403 33554432000 4194304 4196468 140730425165024 139736507832944 139737471924866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31696] ppid=31680 vsize=15011656 memory=140542235768448 CPUtime=0.03 cores=1,3,5,7
/proc/31683/task/31696/stat : 31696 (java) R 31680 31683 29212 0 -1 4202560 310 0 0 0 3 0 0 0 20 0 15 0 71470412 15371935744 21403 33554432000 4194304 4196468 140730425165024 139736506780400 139737471935066 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31697] ppid=31680 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31697/stat : 31697 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71470412 15371935744 21403 33554432000 4194304 4196468 140730425165024 139734881922144 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31698] ppid=31680 vsize=15011656 memory=140542235768448 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31698/stat : 31698 (java) S 31680 31683 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71470413 15371935744 21403 33554432000 4194304 4196468 140730425165024 139736505727280 139737471924866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85612 KiB
[startup+0.310489 s]*
/proc/loadavg: 5.07 4.95 4.74 3/220 31698
/proc/meminfo: memFree=20604280/32770624 swapFree=67076460/67108860
[pid=31683] ppid=31680 vsize=15011656 memory=89768 CPUtime=0.43 cores=1,3,5,7
/proc/31683/stat : 31683 (java) S 31680 31683 29212 0 -1 1077944320 10500 0 0 0 40 3 0 0 20 0 15 0 71470406 15371935744 22442 33554432000 4194304 4196468 140730425165024 140730425147568 139737471913719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
/proc/31683/statm: 3752914 22442 2980 1 0 3715374 0
[pid=31683/tid=31685] ppid=31680 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/31683/task/31685/stat : 31685 (java) R 31680 31683 29212 0 -1 4202560 8202 0 0 0 27 2 0 0 20 0 15 0 71470406 15371935744 22442 33554432000 4194304 4196468 140730425165024 139737443717872 139737455957349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31686] ppid=31680 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31686/stat : 31686 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470408 15371935744 22442 33554432000 4194304 4196468 140730425165024 139737476156176 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31687] ppid=31680 vsize=15011656 memory=3616867739224635040 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31687/stat : 31687 (java) S 31680 31683 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71470408 15371935744 22442 33554432000 4194304 4196468 140730425165024 139736932281232 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31688] ppid=31680 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31688/stat : 31688 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470408 15371935744 22442 33554432000 4194304 4196468 140730425165024 139736931228688 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31689] ppid=31680 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31689/stat : 31689 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470408 15371935744 22442 33554432000 4194304 4196468 140730425165024 139736930176144 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31690] ppid=31680 vsize=15011656 memory=140542235768448 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31690/stat : 31690 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470409 15371935744 22442 33554432000 4194304 4196468 140730425165024 139736509937648 139737471924866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31691] ppid=31680 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31691/stat : 31691 (java) S 31680 31683 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71470410 15371935744 22442 33554432000 4194304 4196468 140730425165024 139736022770592 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31692] ppid=31680 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31692/stat : 31692 (java) S 31680 31683 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71470410 15371935744 22442 33554432000 4194304 4196468 140730425165024 139735754335216 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31693] ppid=31680 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31693/stat : 31693 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71470412 15371935744 22442 33554432000 4194304 4196468 140730425165024 139735379826896 139737471932315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31694] ppid=31680 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31683/task/31694/stat : 31694 (java) R 31680 31683 29212 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 15 0 71470412 15371935744 22442 33554432000 4194304 4196468 140730425165024 139736508885488 139737456202721 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31695] ppid=31680 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31683/task/31695/stat : 31695 (java) R 31680 31683 29212 0 -1 1077944384 242 0 0 0 2 0 0 0 20 0 15 0 71470412 15371935744 22442 33554432000 4194304 4196468 140730425165024 139736507832944 139737471924866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31696] ppid=31680 vsize=15011656 memory=140542235768448 CPUtime=0.07 cores=1,3,5,7
/proc/31683/task/31696/stat : 31696 (java) R 31680 31683 29212 0 -1 4202560 353 0 0 0 7 0 0 0 20 0 15 0 71470412 15371935744 22442 33554432000 4194304 4196468 140730425165024 139736506780400 139737471925654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31697] ppid=31680 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31697/stat : 31697 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71470412 15371935744 22442 33554432000 4194304 4196468 140730425165024 139734881922144 139737471923925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31698] ppid=31680 vsize=15011656 memory=140542235768448 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31698/stat : 31698 (java) S 31680 31683 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71470413 15371935744 22442 33554432000 4194304 4196468 140730425165024 139736505727280 139737471924866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89768 KiB
[startup+0.700757 s]
/proc/loadavg: 5.07 4.95 4.74 4/220 31698
/proc/meminfo: memFree=20579708/32770624 swapFree=67076460/67108860
[pid=31683] ppid=31680 vsize=15020052 memory=129752 CPUtime=1.01 cores=1,3,5,7
/proc/31683/stat : 31683 (java) S 31680 31683 29212 0 -1 1077944320 17660 0 0 0 95 6 0 0 20 0 15 0 71470406 15380533248 32438 33554432000 4194304 4196468 140730425165024 140730425147568 139737471913719 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
/proc/31683/statm: 3755013 32438 3166 1 0 3716398 0
[pid=31683/tid=31685] ppid=31680 vsize=15020052 memory=276649648099113 CPUtime=0.67 cores=1,3,5,7
/proc/31683/task/31685/stat : 31685 (java) R 31680 31683 29212 0 -1 4202560 14942 0 0 0 62 5 0 0 20 0 15 0 71470406 15380533248 32438 33554432000 4194304 4196468 140730425165024 139737443745632 139737455994206 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31686] ppid=31680 vsize=15020052 memory=397245 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31686/stat : 31686 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470408 15380533248 32438 33554432000 4194304 4196468 140730425165024 139737476156176 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31687] ppid=31680 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31687/stat : 31687 (java) S 31680 31683 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71470408 15380533248 32438 33554432000 4194304 4196468 140730425165024 139736932281232 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31688] ppid=31680 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31688/stat : 31688 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470408 15380533248 32438 33554432000 4194304 4196468 140730425165024 139736931228688 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31689] ppid=31680 vsize=15020052 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31689/stat : 31689 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470408 15380533248 32438 33554432000 4194304 4196468 140730425165024 139736930176144 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31690] ppid=31680 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31690/stat : 31690 (java) S 31680 31683 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71470409 15380533248 32438 33554432000 4194304 4196468 140730425165024 139736509937648 139737471924866 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31691] ppid=31680 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31691/stat : 31691 (java) S 31680 31683 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71470410 15380533248 32438 33554432000 4194304 4196468 140730425165024 139736022770592 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31692] ppid=31680 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31692/stat : 31692 (java) S 31680 31683 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71470410 15380533248 32438 33554432000 4194304 4196468 140730425165024 139735754335216 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31693] ppid=31680 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31693/stat : 31693 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71470412 15380533248 32438 33554432000 4194304 4196468 140730425165024 139735379826896 139737471932315 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31694] ppid=31680 vsize=15020052 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31683/task/31694/stat : 31694 (java) S 31680 31683 29212 0 -1 1077944384 606 0 0 0 8 0 0 0 20 0 15 0 71470412 15380533248 32438 33554432000 4194304 4196468 140730425165024 139736508885488 139737471924866 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31695] ppid=31680 vsize=15020052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31683/task/31695/stat : 31695 (java) S 31680 31683 29212 0 -1 1077944384 308 0 0 0 7 0 0 0 20 0 15 0 71470412 15380533248 32438 33554432000 4194304 4196468 140730425165024 139736507832944 139737471924866 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31696] ppid=31680 vsize=15020052 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/31683/task/31696/stat : 31696 (java) R 31680 31683 29212 0 -1 4202560 465 0 0 0 16 0 0 0 20 0 15 0 71470412 15380533248 32438 33554432000 4194304 4196468 140730425165024 139736506780400 139737471925654 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31697] ppid=31680 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31697/stat : 31697 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71470412 15380533248 32438 33554432000 4194304 4196468 140730425165024 139734881922144 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31698] ppid=31680 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31698/stat : 31698 (java) S 31680 31683 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71470413 15380533248 32438 33554432000 4194304 4196468 140730425165024 139736505727280 139737471924866 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129752 KiB
[startup+1.50077 s]
/proc/loadavg: 5.07 4.95 4.74 3/220 31698
/proc/meminfo: memFree=20549576/32770624 swapFree=67076460/67108860
[pid=31683] ppid=31680 vsize=15022100 memory=225164 CPUtime=3.09 cores=1,3,5,7
/proc/31683/stat : 31683 (java) S 31680 31683 29212 0 -1 1077944320 21595 0 0 0 300 9 0 0 20 0 15 0 71470406 15382630400 56291 33554432000 4194304 4196468 140730425165024 140730425147568 139737471913719 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
/proc/31683/statm: 3755525 56291 3201 1 0 3716910 0
[pid=31683/tid=31685] ppid=31680 vsize=15022100 memory=7234278993258636120 CPUtime=1.46 cores=1,3,5,7
/proc/31683/task/31685/stat : 31685 (java) R 31680 31683 29212 0 -1 4202560 15906 0 0 0 140 6 0 0 20 0 15 0 71470406 15382630400 56291 33554432000 4194304 4196468 140730425165024 139737443745920 139736981677194 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31686] ppid=31680 vsize=15022100 memory=7089319380252648280 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31686/stat : 31686 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470408 15382630400 56291 33554432000 4194304 4196468 140730425165024 139737476156176 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31687] ppid=31680 vsize=15022100 memory=6008734724232343398 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31687/stat : 31687 (java) S 31680 31683 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71470408 15382630400 56291 33554432000 4194304 4196468 140730425165024 139736932281232 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31688] ppid=31680 vsize=15022100 memory=8028070317817746289 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31688/stat : 31688 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470408 15382630400 56291 33554432000 4194304 4196468 140730425165024 139736931228688 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31689] ppid=31680 vsize=15022100 memory=6935656952358588496 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31689/stat : 31689 (java) S 31680 31683 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71470408 15382630400 56291 33554432000 4194304 4196468 140730425165024 139736930176144 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31690] ppid=31680 vsize=15022100 memory=7306362962793878123 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31690/stat : 31690 (java) S 31680 31683 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71470409 15382630400 56291 33554432000 4194304 4196468 140730425165024 139736509937648 139737471924866 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
################
# More data... #
################
/proc/31683/task/31696/stat : 31696 (java) S 31680 31683 29212 0 -1 1077944384 2960 0 0 0 94 2 0 0 20 0 15 0 71470412 15384727552 777747 33554432000 4194304 4196468 140730425165024 139736506780400 139737471924866 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31697] ppid=31680 vsize=15024148 memory=680536 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31697/stat : 31697 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71470412 15384727552 777747 33554432000 4194304 4196468 140730425165024 139734881922144 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31698] ppid=31680 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31698/stat : 31698 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71470413 15384727552 777747 33554432000 4194304 4196468 140730425165024 139736505727280 139737471924866 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
Current children cumulated CPU time: 20.02 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3110988 KiB
[startup+25.5008 s]
/proc/loadavg: 4.41 4.80 4.70 3/220 31698
/proc/meminfo: memFree=17005132/32770624 swapFree=67076460/67108860
[pid=31683] ppid=31680 vsize=15026264 memory=3676084 CPUtime=39.57 cores=1,3,5,7
/proc/31683/stat : 31683 (java) S 31680 31683 29212 0 -1 1077944320 50472 0 0 0 3815 142 0 0 20 0 15 0 71470406 15386894336 919021 33554432000 4194304 4196468 140730425165024 140730425147568 139737471913719 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
/proc/31683/statm: 3756566 919021 3262 1 0 3717422 0
[pid=31683/tid=31685] ppid=31680 vsize=15026264 memory=281084269141344 CPUtime=24.43 cores=1,3,5,7
/proc/31683/task/31685/stat : 31685 (java) R 31680 31683 29212 0 -1 4202560 21492 0 0 0 2391 52 0 0 20 0 15 0 71470406 15386894336 919021 33554432000 4194304 4196468 140730425165024 139737443748032 139736982486232 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31686] ppid=31680 vsize=15026264 memory=3544 CPUtime=1 cores=1,3,5,7
/proc/31683/task/31686/stat : 31686 (java) S 31680 31683 29212 0 -1 1077944384 521 0 0 0 80 20 0 0 20 0 15 0 71470408 15386894336 919021 33554432000 4194304 4196468 140730425165024 139737476156176 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31687] ppid=31680 vsize=15026264 memory=18464 CPUtime=1 cores=1,3,5,7
/proc/31683/task/31687/stat : 31687 (java) S 31680 31683 29212 0 -1 1077944384 446 0 0 0 80 20 0 0 20 0 15 0 71470408 15386894336 919021 33554432000 4194304 4196468 140730425165024 139736932281232 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31688] ppid=31680 vsize=15026264 memory=776 CPUtime=1 cores=1,3,5,7
/proc/31683/task/31688/stat : 31688 (java) S 31680 31683 29212 0 -1 1077944384 702 0 0 0 81 19 0 0 20 0 15 0 71470408 15386894336 919021 33554432000 4194304 4196468 140730425165024 139736931228688 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31689] ppid=31680 vsize=15026264 memory=0 CPUtime=1 cores=1,3,5,7
/proc/31683/task/31689/stat : 31689 (java) S 31680 31683 29212 0 -1 1077944384 627 0 0 0 80 20 0 0 20 0 15 0 71470408 15386894336 919021 33554432000 4194304 4196468 140730425165024 139736930176144 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31690] ppid=31680 vsize=15026264 memory=6943526294502006880 CPUtime=0.01 cores=1,3,5,7
/proc/31683/task/31690/stat : 31690 (java) S 31680 31683 29212 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 15 0 71470409 15386894336 919021 33554432000 4194304 4196468 140730425165024 139736509937648 139737471924866 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31691] ppid=31680 vsize=15026264 memory=281084269563584 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31691/stat : 31691 (java) S 31680 31683 29212 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 71470410 15386894336 919021 33554432000 4194304 4196468 140730425165024 139736022770656 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31692] ppid=31680 vsize=15026264 memory=7306642148200836714 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31692/stat : 31692 (java) S 31680 31683 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 71470410 15386894336 919021 33554432000 4194304 4196468 140730425165024 139735754335232 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31693] ppid=31680 vsize=15026264 memory=2135624 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31693/stat : 31693 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71470412 15386894336 919021 33554432000 4194304 4196468 140730425165024 139735379826896 139737471932315 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31694] ppid=31680 vsize=15026264 memory=9972 CPUtime=4.67 cores=1,3,5,7
/proc/31683/task/31694/stat : 31694 (java) S 31680 31683 29212 0 -1 1077944384 5918 0 0 0 465 2 0 0 20 0 15 0 71470412 15386894336 919021 33554432000 4194304 4196468 140730425165024 139736508885488 139737471924866 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31695] ppid=31680 vsize=15026264 memory=15104 CPUtime=5.03 cores=1,3,5,7
/proc/31683/task/31695/stat : 31695 (java) S 31680 31683 29212 0 -1 1077944384 10071 0 0 0 501 2 0 0 20 0 15 0 71470412 15386894336 919021 33554432000 4194304 4196468 140730425165024 139736507832944 139737471924866 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31696] ppid=31680 vsize=15026264 memory=3110988 CPUtime=1.33 cores=1,3,5,7
/proc/31683/task/31696/stat : 31696 (java) S 31680 31683 29212 0 -1 1077944384 8447 0 0 0 131 2 0 0 20 0 15 0 71470412 15386894336 919021 33554432000 4194304 4196468 140730425165024 139736506780400 139737471924866 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31697] ppid=31680 vsize=15026264 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31697/stat : 31697 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71470412 15386894336 919021 33554432000 4194304 4196468 140730425165024 139734881922144 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31698] ppid=31680 vsize=15026264 memory=126 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31698/stat : 31698 (java) S 31680 31683 29212 0 -1 1077944384 727 0 0 0 0 0 0 0 20 0 15 0 71470413 15386894336 919021 33554432000 4194304 4196468 140730425165024 139736505727280 139737471924866 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
Current children cumulated CPU time: 39.57 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 3676084 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+32.5009 s]
/proc/loadavg: 4.22 4.75 4.68 3/225 31704
/proc/meminfo: memFree=16742292/32770624 swapFree=67076460/67108860
[pid=31683] ppid=31680 vsize=15683912 memory=3738872 CPUtime=46.81 cores=1,3,5,7
/proc/31683/stat : 31683 (java) S 31680 31683 29212 0 -1 1077944320 52549 0 0 0 4526 155 0 0 20 0 19 0 71470406 16060325888 934718 33554432000 4194304 4196468 140730425165024 140730425147568 139737471913719 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
/proc/31683/statm: 3920978 934718 3266 1 0 3881834 0
[pid=31699] ppid=31683 vsize=215784 memory=166384 CPUtime=1.65 cores=1,3,5,7
/proc/31699/stat : 31699 (minisat_release) R 31683 31683 29212 0 -1 4202496 31917 0 0 0 158 7 0 0 20 0 1 0 71473490 220962816 41596 33554432000 4194304 4308513 140723339189632 140723339186440 4221787 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6409496 6410680 8658944 140723339195055 140723339195566 140723339195566 140723339198405 0
/proc/31699/statm: 53946 41596 331 28 0 50186 0
[pid=31683/tid=31685] ppid=31680 vsize=15683912 memory=18464 CPUtime=29.39 cores=1,3,5,7
/proc/31683/task/31685/stat : 31685 (java) S 31680 31683 29212 0 -1 1077944384 23061 0 0 0 2882 57 0 0 20 0 19 0 71470406 16060325888 934718 33554432000 4194304 4196468 140730425165024 139737443752960 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31686] ppid=31680 vsize=15683912 memory=776 CPUtime=1.42 cores=1,3,5,7
/proc/31683/task/31686/stat : 31686 (java) S 31680 31683 29212 0 -1 1077944384 552 0 0 0 120 22 0 0 20 0 19 0 71470408 16060325888 934718 33554432000 4194304 4196468 140730425165024 139737476156176 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31687] ppid=31680 vsize=15683912 memory=3738872 CPUtime=1.42 cores=1,3,5,7
/proc/31683/task/31687/stat : 31687 (java) S 31680 31683 29212 0 -1 1077944384 488 0 0 0 120 22 0 0 20 0 19 0 71470408 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736932281232 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31688] ppid=31680 vsize=15683912 memory=160280 CPUtime=1.42 cores=1,3,5,7
/proc/31683/task/31688/stat : 31688 (java) S 31680 31683 29212 0 -1 1077944384 740 0 0 0 121 21 0 0 20 0 19 0 71470408 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736931228688 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31689] ppid=31680 vsize=15683912 memory=18464 CPUtime=1.42 cores=1,3,5,7
/proc/31683/task/31689/stat : 31689 (java) S 31680 31683 29212 0 -1 1077944384 680 0 0 0 120 22 0 0 20 0 19 0 71470408 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736930176144 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31690] ppid=31680 vsize=15683912 memory=776 CPUtime=0.02 cores=1,3,5,7
/proc/31683/task/31690/stat : 31690 (java) S 31680 31683 29212 0 -1 1077944384 188 0 0 0 2 0 0 0 20 0 19 0 71470409 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736509937648 139737471924866 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31691] ppid=31680 vsize=15683912 memory=3735732 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31691/stat : 31691 (java) S 31680 31683 29212 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 71470410 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736022770656 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31692] ppid=31680 vsize=15683912 memory=796 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31692/stat : 31692 (java) S 31680 31683 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71470410 16060325888 934718 33554432000 4194304 4196468 140730425165024 139735754335232 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31693] ppid=31680 vsize=15683912 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31693/stat : 31693 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71470412 16060325888 934718 33554432000 4194304 4196468 140730425165024 139735379826896 139737471932315 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31694] ppid=31680 vsize=15683912 memory=281084269103232 CPUtime=4.94 cores=1,3,5,7
/proc/31683/task/31694/stat : 31694 (java) S 31680 31683 29212 0 -1 1077944384 5957 0 0 0 492 2 0 0 20 0 19 0 71470412 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736508885488 139737471924866 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31695] ppid=31680 vsize=15683912 memory=7598824234097836114 CPUtime=5.29 cores=1,3,5,7
/proc/31683/task/31695/stat : 31695 (java) S 31680 31683 29212 0 -1 1077944384 10096 0 0 0 527 2 0 0 20 0 19 0 71470412 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736507832944 139737471924866 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31696] ppid=31680 vsize=15683912 memory=12884 CPUtime=1.4 cores=1,3,5,7
/proc/31683/task/31696/stat : 31696 (java) S 31680 31683 29212 0 -1 1077944384 8657 0 0 0 138 2 0 0 20 0 19 0 71470412 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736506780400 139737471924866 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31697] ppid=31680 vsize=15683912 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31697/stat : 31697 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71470412 16060325888 934718 33554432000 4194304 4196468 140730425165024 139734881922144 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31698] ppid=31680 vsize=15683912 memory=-7385037589438827369 CPUtime=0.01 cores=1,3,5,7
/proc/31683/task/31698/stat : 31698 (java) S 31680 31683 29212 0 -1 1077944384 727 0 0 0 1 0 0 0 20 0 19 0 71470413 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736505727280 139737471924866 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31700] ppid=31680 vsize=15683912 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31700/stat : 31700 (java) S 31680 31683 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71473490 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736494056512 139737471938329 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31702] ppid=31680 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31702/stat : 31702 (java) S 31680 31683 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71473491 16060325888 934718 33554432000 4194304 4196468 140730425165024 139734345035312 139737471935645 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31703] ppid=31680 vsize=15683912 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31703/stat : 31703 (java) S 31680 31683 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 71473491 16060325888 934718 33554432000 4194304 4196468 140730425165024 139734479257264 139737471935645 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31704] ppid=31680 vsize=15683912 memory=3686376 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31704/stat : 31704 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71473492 16060325888 934718 33554432000 4194304 4196468 140730425165024 139734076612128 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
Current children cumulated CPU time: 48.46 s
Current children cumulated vsize: 15899696 KiB
Current children cumulated memory: 3905256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+32.5378 s]
# the end of solver process 31683 was just reported to runsolver
# cumulated CPU time of all completed processes: user=46.8531 s, system=1.67221 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+32.5009 s]
/proc/loadavg: 4.22 4.75 4.68 3/225 31704
/proc/meminfo: memFree=16742292/32770624 swapFree=67076460/67108860
[pid=31683] ppid=31680 vsize=15683912 memory=3738872 CPUtime=46.81 cores=1,3,5,7
/proc/31683/stat : 31683 (java) S 31680 31683 29212 0 -1 1077944320 52549 0 0 0 4526 155 0 0 20 0 19 0 71470406 16060325888 934718 33554432000 4194304 4196468 140730425165024 140730425147568 139737471913719 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
/proc/31683/statm: 3920978 934718 3266 1 0 3881834 0
[pid=31699] ppid=31683 vsize=215784 memory=166384 CPUtime=1.65 cores=1,3,5,7
/proc/31699/stat : 31699 (minisat_release) R 31683 31683 29212 0 -1 4202496 31917 0 0 0 158 7 0 0 20 0 1 0 71473490 220962816 41596 33554432000 4194304 4308513 140723339189632 140723339186440 4221787 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6409496 6410680 8658944 140723339195055 140723339195566 140723339195566 140723339198405 0
/proc/31699/statm: 53946 41596 331 28 0 50186 0
[pid=31683/tid=31685] ppid=31680 vsize=15683912 memory=18464 CPUtime=29.39 cores=1,3,5,7
/proc/31683/task/31685/stat : 31685 (java) S 31680 31683 29212 0 -1 1077944384 23061 0 0 0 2882 57 0 0 20 0 19 0 71470406 16060325888 934718 33554432000 4194304 4196468 140730425165024 139737443752960 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31686] ppid=31680 vsize=15683912 memory=776 CPUtime=1.42 cores=1,3,5,7
/proc/31683/task/31686/stat : 31686 (java) S 31680 31683 29212 0 -1 1077944384 552 0 0 0 120 22 0 0 20 0 19 0 71470408 16060325888 934718 33554432000 4194304 4196468 140730425165024 139737476156176 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31687] ppid=31680 vsize=15683912 memory=3738872 CPUtime=1.42 cores=1,3,5,7
/proc/31683/task/31687/stat : 31687 (java) S 31680 31683 29212 0 -1 1077944384 488 0 0 0 120 22 0 0 20 0 19 0 71470408 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736932281232 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31688] ppid=31680 vsize=15683912 memory=160280 CPUtime=1.42 cores=1,3,5,7
/proc/31683/task/31688/stat : 31688 (java) S 31680 31683 29212 0 -1 1077944384 740 0 0 0 121 21 0 0 20 0 19 0 71470408 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736931228688 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31689] ppid=31680 vsize=15683912 memory=18464 CPUtime=1.42 cores=1,3,5,7
/proc/31683/task/31689/stat : 31689 (java) S 31680 31683 29212 0 -1 1077944384 680 0 0 0 120 22 0 0 20 0 19 0 71470408 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736930176144 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31690] ppid=31680 vsize=15683912 memory=776 CPUtime=0.02 cores=1,3,5,7
/proc/31683/task/31690/stat : 31690 (java) S 31680 31683 29212 0 -1 1077944384 188 0 0 0 2 0 0 0 20 0 19 0 71470409 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736509937648 139737471924866 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31691] ppid=31680 vsize=15683912 memory=3735732 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31691/stat : 31691 (java) S 31680 31683 29212 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 71470410 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736022770656 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31692] ppid=31680 vsize=15683912 memory=796 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31692/stat : 31692 (java) S 31680 31683 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71470410 16060325888 934718 33554432000 4194304 4196468 140730425165024 139735754335232 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31693] ppid=31680 vsize=15683912 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31693/stat : 31693 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71470412 16060325888 934718 33554432000 4194304 4196468 140730425165024 139735379826896 139737471932315 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31694] ppid=31680 vsize=15683912 memory=281084269103232 CPUtime=4.94 cores=1,3,5,7
/proc/31683/task/31694/stat : 31694 (java) S 31680 31683 29212 0 -1 1077944384 5957 0 0 0 492 2 0 0 20 0 19 0 71470412 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736508885488 139737471924866 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31695] ppid=31680 vsize=15683912 memory=7598824234097836114 CPUtime=5.29 cores=1,3,5,7
/proc/31683/task/31695/stat : 31695 (java) S 31680 31683 29212 0 -1 1077944384 10096 0 0 0 527 2 0 0 20 0 19 0 71470412 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736507832944 139737471924866 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31696] ppid=31680 vsize=15683912 memory=12884 CPUtime=1.4 cores=1,3,5,7
/proc/31683/task/31696/stat : 31696 (java) S 31680 31683 29212 0 -1 1077944384 8657 0 0 0 138 2 0 0 20 0 19 0 71470412 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736506780400 139737471924866 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31697] ppid=31680 vsize=15683912 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31697/stat : 31697 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71470412 16060325888 934718 33554432000 4194304 4196468 140730425165024 139734881922144 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31698] ppid=31680 vsize=15683912 memory=-7385037589438827369 CPUtime=0.01 cores=1,3,5,7
/proc/31683/task/31698/stat : 31698 (java) S 31680 31683 29212 0 -1 1077944384 727 0 0 0 1 0 0 0 20 0 19 0 71470413 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736505727280 139737471924866 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31700] ppid=31680 vsize=15683912 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31700/stat : 31700 (java) S 31680 31683 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71473490 16060325888 934718 33554432000 4194304 4196468 140730425165024 139736494056512 139737471938329 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31702] ppid=31680 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31702/stat : 31702 (java) S 31680 31683 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71473491 16060325888 934718 33554432000 4194304 4196468 140730425165024 139734345035312 139737471935645 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31703] ppid=31680 vsize=15683912 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31703/stat : 31703 (java) S 31680 31683 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 71473491 16060325888 934718 33554432000 4194304 4196468 140730425165024 139734479257264 139737471935645 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
[pid=31683/tid=31704] ppid=31680 vsize=15683912 memory=3686376 CPUtime=0 cores=1,3,5,7
/proc/31683/task/31704/stat : 31704 (java) S 31680 31683 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71473492 16060325888 934718 33554432000 4194304 4196468 140730425165024 139734076612128 139737471923925 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730425172980 140730425173257 140730425173257 140730425176015 0
Current children cumulated CPU time: 48.46 s
Current children cumulated vsize: 15899696 KiB
Current children cumulated memory: 3905256 KiB
Child status: 1
Real time (s): 32.5378
CPU time (s): 48.5253
CPU user time (s): 46.8531
CPU system time (s): 1.67221
CPU usage (%): 149.135
Max. virtual memory (cumulated for all children) (KiB): 15899696
Max. memory (cumulated for all children) (KiB): 3905256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.8531
system time used= 1.67222
maximum resident set size= 3741336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84592
page faults= 0
swaps= 0
block input operations= 0
block output operations= 82152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6210
involuntary context switches= 123
# summary of solver processes directly reported to runsolver:
# pid: 31683
# total CPU time (s): 48.5253
# total CPU user time (s): 46.8531
# total CPU system time (s): 1.67221
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.234776 second user time and 0.34494 second system time
The end