0.65/0.52
0.65/0.52 scop order+minisat_release (2018-06-13)
0.65/0.52
0.65/0.55 c BEGIN-Prog: Thu Jul 26 03:24:59 CEST 2018
0.65/0.55 c PID: 3556
0.65/0.55 c IP: 172.20.3.150
0.65/0.55 c HOST: node150.alineos.net
0.65/0.55 c (0,0) Parsing Begin
1.41/0.92 c (0,0) Parsing End
1.41/0.93 c (0,0) CSP: 169 int (0 aux), 0 bool (0 aux), 52 ctr, max domain size 169
1.62/1.04 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.62/1.04 c (0,0) Constraint Name Generate Begin
1.62/1.04 c (0,0) Ctr:HOME/instance-4295526-1532568298.xml,AllDifferent:IntVar:Lt:Num:WeightedSum
1.62/1.04 c (0,0) Constraint Name Generate End
1.62/1.04 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.62/1.04 c (0,0) CSP to CSPinCNF Begin
3.97/1.80 c (1,1) translated 6 (10%) constraints
3.97/1.81 c (1,1) translated 11 (20%) constraints
3.97/1.82 c (1,1) translated 16 (30%) constraints
3.97/1.82 c (1,1) translated 21 (40%) constraints
3.97/1.82 c (1,1) translated 26 (50%) constraints
3.97/1.83 c (1,1) translated 32 (60%) constraints
3.97/1.83 c (1,1) translated 37 (70%) constraints
3.97/1.84 c (1,1) translated 42 (80%) constraints
3.97/1.84 c (1,1) translated 47 (90%) constraints
3.97/1.84 c (1,1) translated 52 (100%) constraints
4.33/1.99 c (1,1) STATISTICS1:HOME/instance-4295526-1532568298.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,169,14249,9223372036854775807,169,169,15,9223372036854775807:66;665416609183179904:12;3890918073946176:4;3867757847315544:8;169:13203;168:661;167:338,169:28199;168:700;167:350,169:2;2:14196;1:51,15:6;14:12;13:12;12:12;11:12;10:12;9:12;8:12;2:14202;1:338,712336:6;620944:12;535824:12;456976:12;383161:12;316969:12
4.33/1.99 c (1,1) ===========================================
4.33/1.99 c (1,1) Order
4.33/1.99 c (1,1) ===========================================
4.67/2.09 c (1,1) translated 1425 (10%) constraints
5.00/2.15 c (1,1) translated 2850 (20%) constraints
5.29/2.22 c (1,1) translated 4275 (30%) constraints
5.29/2.29 c (1,1) translated 5700 (40%) constraints
5.61/2.34 c (1,1) translated 7125 (50%) constraints
5.61/2.39 c (1,1) translated 8550 (60%) constraints
5.92/2.43 c (1,1) translated 9975 (70%) constraints
5.92/2.47 c (1,1) translated 11400 (80%) constraints
6.21/2.50 c (1,1) translated 12825 (90%) constraints
6.51/2.67 c (2,2) translated 14249 (100%) constraints
6.51/2.68 c (2,2) CSP to CSPinCNF End
6.51/2.68 c (2,2) CSP: 541 int (372 aux), 0 bool (0 aux), 15038 ctr, max domain size 841
6.51/2.68 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.51/2.68 c (2,2) CSPinCNF Propagation Begin
7.15/2.86 c (2,2) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed
7.15/2.86 c (2,2) CSPinCNF Propagation End
7.15/2.86 c (2,2) CSP: 541 int (372 aux), 0 bool (0 aux), 15038 ctr, max domain size 841
7.15/2.86 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
7.15/2.86 c (2,2) Simplify CSPinCNF Begin
9.31/3.60 c (3,3) Simplify CSPinCNF End
9.60/3.61 c (3,3) CSP: 541 int (372 aux), 28392 bool (28392 aux), 43430 ctr, max domain size 841
9.60/3.61 c (3,3) Heap : 957 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.60/3.61 c (3,3) Calculate Precise Domain Begin
9.60/3.66 c (3,3) 5 values are removed by re-calculation
9.60/3.66 c (3,3) Calculate Precise Domain End
9.60/3.67 c (3,3) CSP: 541 int (372 aux), 28392 bool (28392 aux), 43430 ctr, max domain size 841
9.60/3.67 c (3,3) Heap : 957 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.60/3.67 c (3,3) CSPinCNF to SatSolver Begin
12.05/5.16 c (4,4) 4343 (10 %) CSP clauses are encoded (224554 SAT variables, 684733 SAT clauses)
13.50/6.54 c (6,5) 8686 (20 %) CSP clauses are encoded (224554 SAT variables, 1175218 SAT clauses)
14.57/7.52 c (6,6) 13029 (30 %) CSP clauses are encoded (224554 SAT variables, 1665841 SAT clauses)
15.47/8.49 c (7,7) 17372 (40 %) CSP clauses are encoded (224554 SAT variables, 2156456 SAT clauses)
16.70/9.51 c (8,8) 21715 (50 %) CSP clauses are encoded (224554 SAT variables, 2647235 SAT clauses)
17.60/10.48 c (9,9) 26058 (60 %) CSP clauses are encoded (224554 SAT variables, 3137834 SAT clauses)
18.77/11.90 c (11,10) 30401 (70 %) CSP clauses are encoded (224554 SAT variables, 3628417 SAT clauses)
19.68/12.87 c (12,11) 34744 (80 %) CSP clauses are encoded (224554 SAT variables, 4119144 SAT clauses)
20.68/13.84 c (13,12) 39087 (90 %) CSP clauses are encoded (224554 SAT variables, 4609377 SAT clauses)
100.97/100.97 c (100,88) 43430 (100 %) CSP clauses are encoded (224554 SAT variables, 71248814 SAT clauses)
100.97/100.98 c (100,88) CSPinCNF to SatSolver End
100.97/100.98 c (100,88) Heap : 116 MiB used (max 11200 MiB), NonHeap : 28 MiB used (max 0 MiB)
101.74/101.24 c (100,88) STATISTICS2:HOME/instance-4295526-1532568298.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,28933,43430,704760,841,167,3,704760:6;565993:12;452929:24;339865:12;255025:24;170185:42;169848:6;169511:6;127723:6;127386:4;127049:2;113569:108;56953:114;56784:18;56615:18;28561:396;28392:18;28223:18;169:26406;168:984;167:1008,841:84;840:12;839:12;673:216;505:228;504:12;503:12;379:24;378:16;377:8;337:792;336:36;335:36;169:56072;168:1032;167:1037;2:56784,167:1;164:1;2:42588;1:840,3:834;2:28398;1:57115,
101.74/101.24 c (100,88) SatSolver.solve Begin
101.74/101.24 c (100,88) 224554 bool, 71248980 clause
101.74/101.24 c (100,88) 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-4295526-1532568298.xml-scop-3556.cnf HOME/instance-4295526-1532568298.xml-scop-3556.cnf.out
103.58/102.01 c (101,0) receiving signal SIGTERM
103.58/102.01 s UNKNOWN
103.58/102.02 c (101,88) SatSolver is killed by some reasons.
103.58/102.02 c (101,88) 0,0,2,2,3,3,100,TO,TO,STOP-AFTER(DIMACS)
103.58/102.02 c END-Prog: Thu Jul 26 03:26:40 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 (6710 MiB free)
memory of node 1: 16384 MiB (14006 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295526-1532568298/watcher-4295526-1532568298 -o /tmp/evaluation-result-4295526-1532568298/solver-4295526-1532568298 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295526-1532568298.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=3556, runsolver pid=3553
[startup+0.100065 s]*
/proc/loadavg: 2.03 2.04 2.07 3/221 3571
/proc/meminfo: memFree=21153032/32770624 swapFree=67108860/67108860
[pid=3556] ppid=3553 vsize=15011656 memory=73120 CPUtime=0.11 cores=1,3,5,7
/proc/3556/stat : 3556 (java) S 3553 3556 32649 0 -1 1077944320 6966 0 0 0 10 1 0 0 20 0 15 0 74393078 15371935744 18280 33554432000 4194304 4196468 140722401105424 140722401087968 140633733385975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
/proc/3556/statm: 3752914 18280 2780 1 0 3715374 0
[pid=3556/tid=3558] ppid=3553 vsize=15011656 memory=7100839861464500584 CPUtime=0.09 cores=1,3,5,7
/proc/3556/task/3558/stat : 3558 (java) R 3553 3556 32649 0 -1 4202560 5224 0 0 0 8 1 0 0 20 0 15 0 74393078 15371935744 18478 33554432000 4194304 4196468 140722401105424 140633705195208 140633713662800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3559] ppid=3553 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3559/stat : 3559 (java) S 3553 3556 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74393080 15371935744 18478 33554432000 4194304 4196468 140722401105424 140633737628304 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3560] ppid=3553 vsize=15011656 memory=140143164163712 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3560/stat : 3560 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393080 15371935744 18478 33554432000 4194304 4196468 140722401105424 140633551784464 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3561] ppid=3553 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3561/stat : 3561 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393080 15371935744 18478 33554432000 4194304 4196468 140722401105424 140633550731664 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3562] ppid=3553 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3562/stat : 3562 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393080 15371935744 18478 33554432000 4194304 4196468 140722401105424 140633549678864 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3563] ppid=3553 vsize=15011656 memory=140143164163712 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3563/stat : 3563 (java) S 3553 3556 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74393081 15371935744 18478 33554432000 4194304 4196468 140722401105424 140632704134000 140633733397122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3564] ppid=3553 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3564/stat : 3564 (java) S 3553 3556 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74393082 15371935744 18478 33554432000 4194304 4196468 140722401105424 140632328758816 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3565] ppid=3553 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3565/stat : 3565 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393082 15371935744 18478 33554432000 4194304 4196468 140722401105424 140632060323184 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3566] ppid=3553 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3566/stat : 3566 (java) S 3553 3556 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74393084 15371935744 18478 33554432000 4194304 4196468 140722401105424 140631685814608 140633733404571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3567] ppid=3553 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3567/stat : 3567 (java) S 3553 3556 32649 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 74393084 15371935744 18478 33554432000 4194304 4196468 140722401105424 140632703080816 140633733397122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3568] ppid=3553 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3568/stat : 3568 (java) S 3553 3556 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74393084 15371935744 18478 33554432000 4194304 4196468 140722401105424 140632702028016 140633733397122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3569] ppid=3553 vsize=15011656 memory=140143164163712 CPUtime=0.01 cores=1,3,5,7
/proc/3556/task/3569/stat : 3569 (java) S 3553 3556 32649 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 74393084 15371935744 18544 33554432000 4194304 4196468 140722401105424 140632700975216 140633733397122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3570] ppid=3553 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3570/stat : 3570 (java) S 3553 3556 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74393085 15371935744 18544 33554432000 4194304 4196468 140722401105424 140631187908832 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3571] ppid=3553 vsize=15011656 memory=140143164163712 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3571/stat : 3571 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393085 15371935744 18544 33554432000 4194304 4196468 140722401105424 140632699923632 140633733397122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73120 KiB
[startup+0.210386 s]*
/proc/loadavg: 2.03 2.04 2.07 3/221 3571
/proc/meminfo: memFree=21139064/32770624 swapFree=67108860/67108860
[pid=3556] ppid=3553 vsize=15011656 memory=86192 CPUtime=0.25 cores=1,3,5,7
/proc/3556/stat : 3556 (java) S 3553 3556 32649 0 -1 1077944320 10475 0 0 0 23 2 0 0 20 0 15 0 74393078 15371935744 21548 33554432000 4194304 4196468 140722401105424 140722401087968 140633733385975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
/proc/3556/statm: 3752914 21548 2914 1 0 3715374 0
[pid=3556/tid=3558] ppid=3553 vsize=15011656 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/3556/task/3558/stat : 3558 (java) S 3553 3556 32649 0 -1 1077944384 8381 0 0 0 18 1 0 0 20 0 15 0 74393078 15371935744 21548 33554432000 4194304 4196468 140722401105424 140633705209584 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3559] ppid=3553 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3559/stat : 3559 (java) S 3553 3556 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74393080 15371935744 21548 33554432000 4194304 4196468 140722401105424 140633737628304 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3560] ppid=3553 vsize=15011656 memory=3618277979228505760 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3560/stat : 3560 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393080 15371935744 21548 33554432000 4194304 4196468 140722401105424 140633551784464 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3561] ppid=3553 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3561/stat : 3561 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393080 15371935744 21548 33554432000 4194304 4196468 140722401105424 140633550731664 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3562] ppid=3553 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3562/stat : 3562 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393080 15371935744 21548 33554432000 4194304 4196468 140722401105424 140633549678864 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3563] ppid=3553 vsize=15011656 memory=140143164163712 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3563/stat : 3563 (java) S 3553 3556 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74393081 15371935744 21548 33554432000 4194304 4196468 140722401105424 140632704134000 140633733397122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3564] ppid=3553 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3564/stat : 3564 (java) S 3553 3556 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74393082 15371935744 21548 33554432000 4194304 4196468 140722401105424 140632328758816 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3565] ppid=3553 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3565/stat : 3565 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393082 15371935744 21548 33554432000 4194304 4196468 140722401105424 140632060323184 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3566] ppid=3553 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3566/stat : 3566 (java) S 3553 3556 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74393084 15371935744 21548 33554432000 4194304 4196468 140722401105424 140631685814608 140633733404571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3567] ppid=3553 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3567/stat : 3567 (java) R 3553 3556 32649 0 -1 4202560 327 0 0 0 0 0 0 0 20 0 15 0 74393084 15371935744 21548 33554432000 4194304 4196468 140722401105424 140632703080816 140633719401513 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3568] ppid=3553 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3568/stat : 3568 (java) R 3553 3556 32649 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 74393084 15371935744 21548 33554432000 4194304 4196468 140722401105424 140632702028016 140633733397122 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3569] ppid=3553 vsize=15011656 memory=140143164163712 CPUtime=0.03 cores=1,3,5,7
/proc/3556/task/3569/stat : 3569 (java) S 3553 3556 32649 0 -1 1077944384 298 0 0 0 3 0 0 0 20 0 15 0 74393084 15371935744 21548 33554432000 4194304 4196468 140722401105424 140632700975216 140633733397122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3570] ppid=3553 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3570/stat : 3570 (java) S 3553 3556 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74393085 15371935744 21548 33554432000 4194304 4196468 140722401105424 140631187908832 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3571] ppid=3553 vsize=15011656 memory=140143164163712 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3571/stat : 3571 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393085 15371935744 21548 33554432000 4194304 4196468 140722401105424 140632699923632 140633733397122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86192 KiB
[startup+0.310437 s]*
/proc/loadavg: 2.03 2.04 2.07 3/221 3571
/proc/meminfo: memFree=21135776/32770624 swapFree=67108860/67108860
[pid=3556] ppid=3553 vsize=15011656 memory=89664 CPUtime=0.42 cores=1,3,5,7
/proc/3556/stat : 3556 (java) S 3553 3556 32649 0 -1 1077944320 10986 0 0 0 40 2 0 0 20 0 15 0 74393078 15371935744 22416 33554432000 4194304 4196468 140722401105424 140722401087968 140633733385975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
/proc/3556/statm: 3752914 22416 2989 1 0 3715374 0
[pid=3556/tid=3558] ppid=3553 vsize=15011656 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/3556/task/3558/stat : 3558 (java) R 3553 3556 32649 0 -1 4202560 8756 0 0 0 28 1 0 0 20 0 15 0 74393078 15371935744 22416 33554432000 4194304 4196468 140722401105424 140633705190128 140633717466462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3559] ppid=3553 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3559/stat : 3559 (java) S 3553 3556 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74393080 15371935744 22416 33554432000 4194304 4196468 140722401105424 140633737628304 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3560] ppid=3553 vsize=15011656 memory=140143164163712 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3560/stat : 3560 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393080 15371935744 22416 33554432000 4194304 4196468 140722401105424 140633551784464 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3561] ppid=3553 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3561/stat : 3561 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393080 15371935744 22416 33554432000 4194304 4196468 140722401105424 140633550731664 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3562] ppid=3553 vsize=15011656 memory=140143038144719 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3562/stat : 3562 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393080 15371935744 22416 33554432000 4194304 4196468 140722401105424 140633549678864 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3563] ppid=3553 vsize=15011656 memory=140143164163712 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3563/stat : 3563 (java) S 3553 3556 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74393081 15371935744 22416 33554432000 4194304 4196468 140722401105424 140632704134000 140633733397122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3564] ppid=3553 vsize=15011656 memory=140143038165455 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3564/stat : 3564 (java) S 3553 3556 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74393082 15371935744 22416 33554432000 4194304 4196468 140722401105424 140632328758816 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3565] ppid=3553 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3565/stat : 3565 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393082 15371935744 22416 33554432000 4194304 4196468 140722401105424 140632060323184 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3566] ppid=3553 vsize=15011656 memory=280286076303232 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3566/stat : 3566 (java) S 3553 3556 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74393084 15371935744 22416 33554432000 4194304 4196468 140722401105424 140631685814608 140633733404571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3567] ppid=3553 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3556/task/3567/stat : 3567 (java) R 3553 3556 32649 0 -1 4202560 435 0 0 0 3 0 0 0 20 0 15 0 74393084 15371935744 22416 33554432000 4194304 4196468 140722401105424 140632703080816 140633718286893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3568] ppid=3553 vsize=15011656 memory=140143038177199 CPUtime=0.01 cores=1,3,5,7
/proc/3556/task/3568/stat : 3568 (java) R 3553 3556 32649 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 15 0 74393084 15371935744 22416 33554432000 4194304 4196468 140722401105424 140632702028016 140633733397122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3569] ppid=3553 vsize=15011656 memory=140143164163712 CPUtime=0.07 cores=1,3,5,7
/proc/3556/task/3569/stat : 3569 (java) R 3553 3556 32649 0 -1 4202560 318 0 0 0 7 0 0 0 20 0 15 0 74393084 15371935744 22416 33554432000 4194304 4196468 140722401105424 140632700975216 140633712686930 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3570] ppid=3553 vsize=15011656 memory=140143038182303 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3570/stat : 3570 (java) S 3553 3556 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74393085 15371935744 22416 33554432000 4194304 4196468 140722401105424 140631187908832 140633733396181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3571] ppid=3553 vsize=15011656 memory=140143238556790 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3571/stat : 3571 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393085 15371935744 22416 33554432000 4194304 4196468 140722401105424 140632699923632 140633733397122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89664 KiB
[startup+0.700779 s]
/proc/loadavg: 2.03 2.04 2.07 3/221 3571
/proc/meminfo: memFree=21111716/32770624 swapFree=67108860/67108860
[pid=3556] ppid=3553 vsize=15020052 memory=129792 CPUtime=1.01 cores=1,3,5,7
/proc/3556/stat : 3556 (java) S 3553 3556 32649 0 -1 1077944320 18210 0 0 0 96 5 0 0 20 0 15 0 74393078 15380533248 32448 33554432000 4194304 4196468 140722401105424 140722401087968 140633733385975 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
/proc/3556/statm: 3755013 32448 3167 1 0 3716398 0
[pid=3556/tid=3558] ppid=3553 vsize=15020052 memory=53 CPUtime=0.67 cores=1,3,5,7
/proc/3556/task/3558/stat : 3558 (java) R 3553 3556 32649 0 -1 4202560 15494 0 0 0 63 4 0 0 20 0 15 0 74393078 15380533248 32448 33554432000 4194304 4196468 140722401105424 140633705220112 140633218100649 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3559] ppid=3553 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3559/stat : 3559 (java) S 3553 3556 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74393080 15380533248 32448 33554432000 4194304 4196468 140722401105424 140633737628304 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3560] ppid=3553 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3560/stat : 3560 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393080 15380533248 32448 33554432000 4194304 4196468 140722401105424 140633551784464 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3561] ppid=3553 vsize=15020052 memory=79 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3561/stat : 3561 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393080 15380533248 32448 33554432000 4194304 4196468 140722401105424 140633550731664 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3562] ppid=3553 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3562/stat : 3562 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393080 15380533248 32448 33554432000 4194304 4196468 140722401105424 140633549678864 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3563] ppid=3553 vsize=15020052 memory=155446006522186 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3563/stat : 3563 (java) S 3553 3556 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74393081 15380533248 32448 33554432000 4194304 4196468 140722401105424 140632704134000 140633733397122 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3564] ppid=3553 vsize=15020052 memory=433534 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3564/stat : 3564 (java) S 3553 3556 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74393082 15380533248 32448 33554432000 4194304 4196468 140722401105424 140632328758816 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3565] ppid=3553 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3565/stat : 3565 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393082 15380533248 32448 33554432000 4194304 4196468 140722401105424 140632060323184 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3566] ppid=3553 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3566/stat : 3566 (java) S 3553 3556 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74393084 15380533248 32448 33554432000 4194304 4196468 140722401105424 140631685814608 140633733404571 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3567] ppid=3553 vsize=15020052 memory=280286076076272 CPUtime=0.08 cores=1,3,5,7
/proc/3556/task/3567/stat : 3567 (java) S 3553 3556 32649 0 -1 1077944384 516 0 0 0 8 0 0 0 20 0 15 0 74393084 15380533248 32448 33554432000 4194304 4196468 140722401105424 140632703080816 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3568] ppid=3553 vsize=15020052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3556/task/3568/stat : 3568 (java) R 3553 3556 32649 0 -1 4202560 404 0 0 0 7 0 0 0 20 0 15 0 74393084 15380533248 32448 33554432000 4194304 4196468 140722401105424 140632702017280 140633713225687 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3569] ppid=3553 vsize=15020052 memory=-6305714992492141952 CPUtime=0.16 cores=1,3,5,7
/proc/3556/task/3569/stat : 3569 (java) R 3553 3556 32649 0 -1 4202560 457 0 0 0 16 0 0 0 20 0 15 0 74393084 15380533248 32448 33554432000 4194304 4196468 140722401105424 140632700972152 140633711904266 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3570] ppid=3553 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3570/stat : 3570 (java) S 3553 3556 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74393085 15380533248 32448 33554432000 4194304 4196468 140722401105424 140631187908832 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3571] ppid=3553 vsize=15020052 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3571/stat : 3571 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393085 15380533248 32448 33554432000 4194304 4196468 140722401105424 140632699923632 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129792 KiB
[startup+1.50075 s]
/proc/loadavg: 2.03 2.04 2.07 3/221 3571
/proc/meminfo: memFree=21080284/32770624 swapFree=67108860/67108860
[pid=3556] ppid=3553 vsize=15022100 memory=262360 CPUtime=2.99 cores=1,3,5,7
/proc/3556/stat : 3556 (java) S 3553 3556 32649 0 -1 1077944320 21674 0 0 0 292 7 0 0 20 0 15 0 74393078 15382630400 65590 33554432000 4194304 4196468 140722401105424 140722401087968 140633733385975 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
/proc/3556/statm: 3755525 65590 3202 1 0 3716910 0
[pid=3556/tid=3558] ppid=3553 vsize=15022100 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/3556/task/3558/stat : 3558 (java) R 3553 3556 32649 0 -1 4202560 16504 0 0 0 141 6 0 0 20 0 15 0 74393078 15382630400 65590 33554432000 4194304 4196468 140722401105424 140633705216640 140633223494471 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3559] ppid=3553 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3559/stat : 3559 (java) S 3553 3556 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74393080 15382630400 65590 33554432000 4194304 4196468 140722401105424 140633737628304 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3560] ppid=3553 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3560/stat : 3560 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393080 15382630400 65590 33554432000 4194304 4196468 140722401105424 140633551784464 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3561] ppid=3553 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3561/stat : 3561 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393080 15382630400 65590 33554432000 4194304 4196468 140722401105424 140633550731664 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3562] ppid=3553 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3562/stat : 3562 (java) S 3553 3556 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74393080 15382630400 65590 33554432000 4194304 4196468 140722401105424 140633549678864 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3563] ppid=3553 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3563/stat : 3563 (java) S 3553 3556 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74393081 15382630400 65590 33554432000 4194304 4196468 140722401105424 140632704134000 140633733397122 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
################
# More data... #
################
/proc/3556/task/3566/stat : 3566 (java) S 3553 3556 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74393084 16060325888 1011862 33554432000 4194304 4196468 140722401105424 140631685814608 140633733404571 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3567] ppid=3553 vsize=15683912 memory=3472328296227679279 CPUtime=3.9 cores=1,3,5,7
/proc/3556/task/3567/stat : 3567 (java) S 3553 3556 32649 0 -1 1077944384 8435 0 0 0 389 1 0 0 20 0 19 0 74393084 16060325888 1011862 33554432000 4194304 4196468 140722401105424 140632703080816 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3568] ppid=3553 vsize=15683912 memory=6943526294502006880 CPUtime=4.52 cores=1,3,5,7
/proc/3556/task/3568/stat : 3568 (java) S 3553 3556 32649 0 -1 1077944384 9652 0 0 0 451 1 0 0 20 0 19 0 74393084 16060325888 1011862 33554432000 4194304 4196468 140722401105424 140632702028016 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3569] ppid=3553 vsize=15683912 memory=7084818005252718689 CPUtime=1.2 cores=1,3,5,7
/proc/3556/task/3569/stat : 3569 (java) S 3553 3556 32649 0 -1 1077944384 5718 0 0 0 118 2 0 0 20 0 19 0 74393084 16060325888 1011862 33554432000 4194304 4196468 140722401105424 140632700975216 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3570] ppid=3553 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3570/stat : 3570 (java) S 3553 3556 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74393085 16060325888 1011862 33554432000 4194304 4196468 140722401105424 140631187908832 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3571] ppid=3553 vsize=15683912 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/3556/task/3571/stat : 3571 (java) S 3553 3556 32649 0 -1 1077944384 337 0 0 0 2 3 0 0 20 0 19 0 74393085 16060325888 1011862 33554432000 4194304 4196468 140722401105424 140632699923632 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3575] ppid=3553 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3575/stat : 3575 (java) S 3553 3556 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 74403204 16060325888 1011862 33554432000 4194304 4196468 140722401105424 140632798820032 140633733410585 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3577] ppid=3553 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3577/stat : 3577 (java) S 3553 3556 32649 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 74403205 16060325888 1011862 33554432000 4194304 4196468 140722401105424 140630651027120 140633733407901 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3578] ppid=3553 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3578/stat : 3578 (java) S 3553 3556 32649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 74403205 16060325888 1011862 33554432000 4194304 4196468 140722401105424 140630382591536 140633733407901 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3579] ppid=3553 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3556/task/3579/stat : 3579 (java) S 3553 3556 32649 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 19 0 74403207 16060325888 1011862 33554432000 4194304 4196468 140722401105424 140630919470240 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
Current children cumulated CPU time: 103.58 s
Current children cumulated vsize: 15944140 KiB
Current children cumulated memory: 4246404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+102.301 s]
/proc/loadavg: 1.91 2.03 2.06 3/225 3579
/proc/meminfo: memFree=15350888/32770624 swapFree=67108860/67108860
[pid=3556] ppid=3553 vsize=15749448 memory=4045556 CPUtime=103.79 cores=1,3,5,7
/proc/3556/stat : 3556 (java) S 3553 3556 32649 0 -1 1077944320 60952 39535 0 0 9982 323 66 8 20 0 18 0 74393078 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140722401087968 140633733385975 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
/proc/3556/statm: 3937362 1011389 3265 1 0 3898218 0
[pid=3556/tid=3558] ppid=3553 vsize=15749448 memory=4045556 CPUtime=90.03 cores=1,3,5,7
/proc/3556/task/3558/stat : 3558 (java) S 3553 3556 32649 0 -1 1077944384 29167 39535 0 0 8661 268 66 8 20 0 18 0 74393078 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140633705226176 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 1097 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3559] ppid=3553 vsize=15749448 memory=4039956 CPUtime=1.68 cores=1,3,5,7
/proc/3556/task/3559/stat : 3559 (java) S 3553 3556 32649 0 -1 1077944384 2698 39535 0 0 88 6 66 8 20 0 18 0 74393080 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140633737628304 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3560] ppid=3553 vsize=15749448 memory=0 CPUtime=1.68 cores=1,3,5,7
/proc/3556/task/3560/stat : 3560 (java) S 3553 3556 32649 0 -1 1077944384 852 39535 0 0 88 6 66 8 20 0 18 0 74393080 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140633551784464 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3561] ppid=3553 vsize=15749448 memory=1 CPUtime=1.68 cores=1,3,5,7
/proc/3556/task/3561/stat : 3561 (java) S 3553 3556 32649 0 -1 1077944384 1164 39535 0 0 88 6 66 8 20 0 18 0 74393080 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140633550731664 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3562] ppid=3553 vsize=15749448 memory=303148748257886234 CPUtime=1.68 cores=1,3,5,7
/proc/3556/task/3562/stat : 3562 (java) S 3553 3556 32649 0 -1 1077944384 867 39535 0 0 88 6 66 8 20 0 18 0 74393080 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140633549678864 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3563] ppid=3553 vsize=15749448 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/3556/task/3563/stat : 3563 (java) S 3553 3556 32649 0 -1 1077944384 583 39535 0 0 3 0 66 8 20 0 18 0 74393081 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632704134000 140633733397122 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3564] ppid=3553 vsize=15749448 memory=4039956 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3564/stat : 3564 (java) S 3553 3556 32649 0 -1 1077944384 14 39535 0 0 0 0 66 8 20 0 18 0 74393082 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632328758880 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3565] ppid=3553 vsize=15749448 memory=1944 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3565/stat : 3565 (java) S 3553 3556 32649 0 -1 1077944384 3 39535 0 0 0 0 66 8 20 0 18 0 74393082 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632060323184 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3566] ppid=3553 vsize=15749448 memory=4039956 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3566/stat : 3566 (java) S 3553 3556 32649 0 -1 1077944384 31 39535 0 0 0 0 66 8 20 0 18 0 74393084 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140631685814608 140633733404571 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3567] ppid=3553 vsize=15749448 memory=4039956 CPUtime=4.64 cores=1,3,5,7
/proc/3556/task/3567/stat : 3567 (java) S 3553 3556 32649 0 -1 1077944384 8435 39535 0 0 389 1 66 8 20 0 18 0 74393084 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632703080816 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3568] ppid=3553 vsize=15749448 memory=4039956 CPUtime=5.26 cores=1,3,5,7
/proc/3556/task/3568/stat : 3568 (java) S 3553 3556 32649 0 -1 1077944384 9652 39535 0 0 451 1 66 8 20 0 18 0 74393084 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632702028016 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3569] ppid=3553 vsize=15749448 memory=4136 CPUtime=1.94 cores=1,3,5,7
/proc/3556/task/3569/stat : 3569 (java) S 3553 3556 32649 0 -1 1077944384 5720 39535 0 0 118 2 66 8 20 0 18 0 74393084 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632700975216 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3570] ppid=3553 vsize=15749448 memory=4039956 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3570/stat : 3570 (java) S 3553 3556 32649 0 -1 1077944384 3 39535 0 0 0 0 66 8 20 0 18 0 74393085 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140631187908832 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3571] ppid=3553 vsize=15749448 memory=8112282956445269571 CPUtime=0.79 cores=1,3,5,7
/proc/3556/task/3571/stat : 3571 (java) S 3553 3556 32649 0 -1 1077944384 337 39535 0 0 2 3 66 8 20 0 18 0 74393085 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632699923632 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3575] ppid=3553 vsize=15749448 memory=4100 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3575/stat : 3575 (java) S 3553 3556 32649 0 -1 1077944384 26 39535 0 0 0 0 66 8 20 0 18 0 74403204 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632798819216 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3579] ppid=3553 vsize=15749448 memory=4039956 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3579/stat : 3579 (java) S 3553 3556 32649 0 -1 1077944384 41 39535 0 0 0 0 66 8 20 0 18 0 74403207 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140630919472048 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
Current children cumulated CPU time: 103.79 s
Current children cumulated vsize: 15749448 KiB
Current children cumulated memory: 4045556 KiB
[startup+102.533 s]
# the end of solver process 3556 was just reported to runsolver
# cumulated CPU time of all completed processes: user=100.495 s, system=3.35059 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.401 s]
/proc/loadavg: 1.91 2.03 2.06 3/225 3579
/proc/meminfo: memFree=15350888/32770624 swapFree=67108860/67108860
[pid=3556] ppid=3553 vsize=15749448 memory=4045556 CPUtime=103.79 cores=1,3,5,7
/proc/3556/stat : 3556 (java) S 3553 3556 32649 0 -1 1077944320 60952 39535 0 0 9982 323 66 8 20 0 18 0 74393078 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140722401087968 140633733385975 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
/proc/3556/statm: 3937362 1011389 3265 1 0 3898218 0
[pid=3556/tid=3558] ppid=3553 vsize=15749448 memory=1428 CPUtime=90.03 cores=1,3,5,7
/proc/3556/task/3558/stat : 3558 (java) S 3553 3556 32649 0 -1 1077944384 29167 39535 0 0 8661 268 66 8 20 0 18 0 74393078 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140633705226176 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 1097 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3559] ppid=3553 vsize=15749448 memory=4100 CPUtime=1.68 cores=1,3,5,7
/proc/3556/task/3559/stat : 3559 (java) S 3553 3556 32649 0 -1 1077944384 2698 39535 0 0 88 6 66 8 20 0 18 0 74393080 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140633737628304 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3560] ppid=3553 vsize=15749448 memory=22616 CPUtime=1.68 cores=1,3,5,7
/proc/3556/task/3560/stat : 3560 (java) S 3553 3556 32649 0 -1 1077944384 852 39535 0 0 88 6 66 8 20 0 18 0 74393080 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140633551784464 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3561] ppid=3553 vsize=15749448 memory=1292 CPUtime=1.68 cores=1,3,5,7
/proc/3556/task/3561/stat : 3561 (java) S 3553 3556 32649 0 -1 1077944384 1164 39535 0 0 88 6 66 8 20 0 18 0 74393080 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140633550731664 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3562] ppid=3553 vsize=15749448 memory=4039956 CPUtime=1.68 cores=1,3,5,7
/proc/3556/task/3562/stat : 3562 (java) S 3553 3556 32649 0 -1 1077944384 867 39535 0 0 88 6 66 8 20 0 18 0 74393080 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140633549678864 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3563] ppid=3553 vsize=15749448 memory=4039956 CPUtime=0.77 cores=1,3,5,7
/proc/3556/task/3563/stat : 3563 (java) S 3553 3556 32649 0 -1 1077944384 583 39535 0 0 3 0 66 8 20 0 18 0 74393081 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632704134000 140633733397122 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3564] ppid=3553 vsize=15749448 memory=4136 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3564/stat : 3564 (java) S 3553 3556 32649 0 -1 1077944384 14 39535 0 0 0 0 66 8 20 0 18 0 74393082 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632328758880 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3565] ppid=3553 vsize=15749448 memory=4039956 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3565/stat : 3565 (java) S 3553 3556 32649 0 -1 1077944384 3 39535 0 0 0 0 66 8 20 0 18 0 74393082 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632060323184 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3566] ppid=3553 vsize=15749448 memory=4039956 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3566/stat : 3566 (java) S 3553 3556 32649 0 -1 1077944384 31 39535 0 0 0 0 66 8 20 0 18 0 74393084 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140631685814608 140633733404571 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3567] ppid=3553 vsize=15749448 memory=2928 CPUtime=4.64 cores=1,3,5,7
/proc/3556/task/3567/stat : 3567 (java) S 3553 3556 32649 0 -1 1077944384 8435 39535 0 0 389 1 66 8 20 0 18 0 74393084 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632703080816 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3568] ppid=3553 vsize=15749448 memory=4039948 CPUtime=5.26 cores=1,3,5,7
/proc/3556/task/3568/stat : 3568 (java) S 3553 3556 32649 0 -1 1077944384 9652 39535 0 0 451 1 66 8 20 0 18 0 74393084 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632702028016 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3569] ppid=3553 vsize=15749448 memory=4039896 CPUtime=1.94 cores=1,3,5,7
/proc/3556/task/3569/stat : 3569 (java) S 3553 3556 32649 0 -1 1077944384 5720 39535 0 0 118 2 66 8 20 0 18 0 74393084 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632700975216 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3570] ppid=3553 vsize=15749448 memory=4039896 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3570/stat : 3570 (java) S 3553 3556 32649 0 -1 1077944384 3 39535 0 0 0 0 66 8 20 0 18 0 74393085 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140631187908832 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3571] ppid=3553 vsize=15749448 memory=2436 CPUtime=0.79 cores=1,3,5,7
/proc/3556/task/3571/stat : 3571 (java) S 3553 3556 32649 0 -1 1077944384 337 39535 0 0 2 3 66 8 20 0 18 0 74393085 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632699923632 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3575] ppid=3553 vsize=15749448 memory=1728 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3575/stat : 3575 (java) S 3553 3556 32649 0 -1 1077944384 26 39535 0 0 0 0 66 8 20 0 18 0 74403204 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632798819216 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3579] ppid=3553 vsize=15749448 memory=1708 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3579/stat : 3579 (java) S 3553 3556 32649 0 -1 1077944384 41 39535 0 0 0 0 66 8 20 0 18 0 74403207 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140630919472048 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
Current children cumulated CPU time: 103.79 s
Current children cumulated vsize: 15749448 KiB
Current children cumulated memory: 4045556 KiB
[startup+102.501 s]
/proc/loadavg: 1.91 2.03 2.06 3/225 3579
/proc/meminfo: memFree=15350888/32770624 swapFree=67108860/67108860
[pid=3556] ppid=3553 vsize=15749448 memory=4045556 CPUtime=103.79 cores=1,3,5,7
/proc/3556/stat : 3556 (java) S 3553 3556 32649 0 -1 1077944320 60952 39535 0 0 9982 323 66 8 20 0 18 0 74393078 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140722401087968 140633733385975 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
/proc/3556/statm: 3937362 1011389 3265 1 0 3898218 0
[pid=3556/tid=3558] ppid=3553 vsize=15749448 memory=0 CPUtime=90.03 cores=1,3,5,7
/proc/3556/task/3558/stat : 3558 (java) S 3553 3556 32649 0 -1 1077944384 29167 39535 0 0 8661 268 66 8 20 0 18 0 74393078 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140633705226176 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 1097 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3559] ppid=3553 vsize=15749448 memory=4045556 CPUtime=1.68 cores=1,3,5,7
/proc/3556/task/3559/stat : 3559 (java) S 3553 3556 32649 0 -1 1077944384 2698 39535 0 0 88 6 66 8 20 0 18 0 74393080 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140633737628304 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3560] ppid=3553 vsize=15749448 memory=4045556 CPUtime=1.68 cores=1,3,5,7
/proc/3556/task/3560/stat : 3560 (java) S 3553 3556 32649 0 -1 1077944384 852 39535 0 0 88 6 66 8 20 0 18 0 74393080 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140633551784464 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3561] ppid=3553 vsize=15749448 memory=4039956 CPUtime=1.68 cores=1,3,5,7
/proc/3556/task/3561/stat : 3561 (java) S 3553 3556 32649 0 -1 1077944384 1164 39535 0 0 88 6 66 8 20 0 18 0 74393080 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140633550731664 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3562] ppid=3553 vsize=15749448 memory=1 CPUtime=1.68 cores=1,3,5,7
/proc/3556/task/3562/stat : 3562 (java) S 3553 3556 32649 0 -1 1077944384 867 39535 0 0 88 6 66 8 20 0 18 0 74393080 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140633549678864 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3563] ppid=3553 vsize=15749448 memory=4039956 CPUtime=0.77 cores=1,3,5,7
/proc/3556/task/3563/stat : 3563 (java) S 3553 3556 32649 0 -1 1077944384 583 39535 0 0 3 0 66 8 20 0 18 0 74393081 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632704134000 140633733397122 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3564] ppid=3553 vsize=15749448 memory=1944 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3564/stat : 3564 (java) S 3553 3556 32649 0 -1 1077944384 14 39535 0 0 0 0 66 8 20 0 18 0 74393082 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632328758880 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3565] ppid=3553 vsize=15749448 memory=303148748257886234 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3565/stat : 3565 (java) S 3553 3556 32649 0 -1 1077944384 3 39535 0 0 0 0 66 8 20 0 18 0 74393082 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632060323184 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3566] ppid=3553 vsize=15749448 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3566/stat : 3566 (java) S 3553 3556 32649 0 -1 1077944384 31 39535 0 0 0 0 66 8 20 0 18 0 74393084 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140631685814608 140633733404571 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3567] ppid=3553 vsize=15749448 memory=4039956 CPUtime=4.64 cores=1,3,5,7
/proc/3556/task/3567/stat : 3567 (java) S 3553 3556 32649 0 -1 1077944384 8435 39535 0 0 389 1 66 8 20 0 18 0 74393084 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632703080816 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3568] ppid=3553 vsize=15749448 memory=4039956 CPUtime=5.26 cores=1,3,5,7
/proc/3556/task/3568/stat : 3568 (java) S 3553 3556 32649 0 -1 1077944384 9652 39535 0 0 451 1 66 8 20 0 18 0 74393084 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632702028016 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3569] ppid=3553 vsize=15749448 memory=4039956 CPUtime=1.94 cores=1,3,5,7
/proc/3556/task/3569/stat : 3569 (java) S 3553 3556 32649 0 -1 1077944384 5720 39535 0 0 118 2 66 8 20 0 18 0 74393084 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632700975216 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3570] ppid=3553 vsize=15749448 memory=4136 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3570/stat : 3570 (java) S 3553 3556 32649 0 -1 1077944384 3 39535 0 0 0 0 66 8 20 0 18 0 74393085 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140631187908832 140633733396181 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3571] ppid=3553 vsize=15749448 memory=4039956 CPUtime=0.79 cores=1,3,5,7
/proc/3556/task/3571/stat : 3571 (java) S 3553 3556 32649 0 -1 1077944384 337 39535 0 0 2 3 66 8 20 0 18 0 74393085 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632699923632 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3575] ppid=3553 vsize=15749448 memory=8112282956445269571 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3575/stat : 3575 (java) S 3553 3556 32649 0 -1 1077944384 26 39535 0 0 0 0 66 8 20 0 18 0 74403204 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140632798819216 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
[pid=3556/tid=3579] ppid=3553 vsize=15749448 memory=4100 CPUtime=0.74 cores=1,3,5,7
/proc/3556/task/3579/stat : 3579 (java) S 3553 3556 32649 0 -1 1077944384 41 39535 0 0 0 0 66 8 20 0 18 0 74403207 16127434752 1011389 33554432000 4194304 4196468 140722401105424 140630919472048 140633733397122 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33447936 140722401113075 140722401113353 140722401113353 140722401116111 0
Current children cumulated CPU time: 103.79 s
Current children cumulated vsize: 15749448 KiB
Current children cumulated memory: 4045556 KiB
Child status: 1
Real time (s): 102.533
CPU time (s): 103.846
CPU user time (s): 100.495
CPU system time (s): 3.35059
CPU usage (%): 101.28
Max. virtual memory (cumulated for all children) (KiB): 15944140
Max. memory (cumulated for all children) (KiB): 4246404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.495
system time used= 3.35059
maximum resident set size= 4049496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100515
page faults= 0
swaps= 0
block input operations= 40
block output operations= 3154232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7313
involuntary context switches= 205
# summary of solver processes directly reported to runsolver:
# pid: 3556
# total CPU time (s): 103.846
# total CPU user time (s): 100.495
# total CPU system time (s): 3.35059
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.615784 second user time and 1.00948 second system time
The end