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 20:28:14 CEST 2018
0.67/0.55 c PID: 432
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.21/0.88 c (0,0) Parsing End
1.21/0.89 c (0,0) CSP: 91 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 91
1.21/0.89 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.89 c (0,0) Constraint Name Generate Begin
1.21/0.90 c (0,0) Ctr:HOME/instance-4295507-1532543293.xml,AllDifferent:IntVar:Lt:Num:WeightedSum
1.21/0.90 c (0,0) Constraint Name Generate End
1.21/0.90 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.90 c (0,0) CSP to CSPinCNF Begin
2.80/1.44 c (0,0) translated 4 (10%) constraints
2.80/1.45 c (0,0) translated 8 (20%) constraints
2.80/1.45 c (0,0) translated 12 (30%) constraints
2.80/1.46 c (0,0) translated 16 (40%) constraints
2.80/1.46 c (0,0) translated 20 (50%) constraints
2.80/1.47 c (0,0) translated 24 (60%) constraints
2.80/1.47 c (0,0) translated 28 (70%) constraints
2.80/1.47 c (0,0) translated 32 (80%) constraints
2.80/1.47 c (0,0) translated 36 (90%) constraints
2.80/1.47 c (0,0) translated 40 (100%) constraints
3.15/1.57 c (1,1) STATISTICS1:HOME/instance-4295507-1532543293.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,91,4136,9223372036854775807,91,91,11,9223372036854775807:6;427929800129788416:12;4702525276151521:12;51676101935731:12;567869252041:12;6103925100:4;6036103710:8;91:3570;90:349;89:182,91:8075;90:388;89:194,91:2;2:4095;1:39,11:6;10:12;9:12;8:12;7:12;6:12;2:4101;1:182,110889:2;110224:4
3.15/1.57 c (1,1) ===========================================
3.15/1.57 c (1,1) Both Encoding selects:
3.15/1.57 c (1,1) Log
3.15/1.57 c (1,1) ===========================================
3.47/1.63 c (1,1) translated 414 (10%) constraints
3.47/1.65 c (1,1) translated 828 (20%) constraints
3.47/1.68 c (1,1) translated 1241 (30%) constraints
3.79/1.71 c (1,1) translated 1655 (40%) constraints
3.79/1.74 c (1,1) translated 2068 (50%) constraints
3.79/1.76 c (1,1) translated 2482 (60%) constraints
3.79/1.79 c (1,1) translated 2896 (70%) constraints
4.09/1.81 c (1,1) translated 3309 (80%) constraints
4.09/1.83 c (1,1) translated 3723 (90%) constraints
4.09/1.86 c (1,1) translated 4136 (100%) constraints
4.09/1.87 c (1,1) CSP to CSPinCNF End
4.09/1.87 c (1,1) CSP: 91 int (0 aux), 0 bool (0 aux), 4169 ctr, max domain size 91
4.09/1.87 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.09/1.87 c (1,1) CSPinCNF Propagation Begin
4.41/1.92 c (1,1) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed
4.41/1.92 c (1,1) CSPinCNF Propagation End
4.41/1.93 c (1,1) CSP: 91 int (0 aux), 0 bool (0 aux), 4169 ctr, max domain size 91
4.41/1.93 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.41/1.93 c (1,1) Simplify CSPinCNF Begin
5.33/2.22 c (1,1) Simplify CSPinCNF End
5.33/2.22 c (1,1) CSP: 91 int (0 aux), 8190 bool (8190 aux), 12359 ctr, max domain size 91
5.33/2.22 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.33/2.22 c (1,1) Calculate Precise Domain Begin
5.33/2.22 c (1,1) 0 values are removed by re-calculation
5.33/2.22 c (1,1) Calculate Precise Domain End
5.33/2.22 c (1,1) CSP: 91 int (0 aux), 8190 bool (8190 aux), 12359 ctr, max domain size 91
5.33/2.22 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.33/2.22 c (1,1) CSPinCNF to SatSolver Begin
6.95/2.71 c (2,2) 1236 (10 %) CSP clauses are being encoded (25350 SAT variables, 39855 SAT clauses)
7.60/2.97 c (2,2) 2472 (20 %) CSP clauses are being encoded (42644 SAT variables, 82035 SAT clauses)
8.15/3.18 c (2,2) 3708 (30 %) CSP clauses are being encoded (59119 SAT variables, 121716 SAT clauses)
8.41/3.35 c (2,2) 4944 (40 %) CSP clauses are being encoded (74919 SAT variables, 160272 SAT clauses)
8.99/3.53 c (3,2) 6180 (50 %) CSP clauses are being encoded (90746 SAT variables, 198873 SAT clauses)
9.49/3.71 c (3,3) 7416 (60 %) CSP clauses are being encoded (106582 SAT variables, 237489 SAT clauses)
9.71/3.88 c (3,3) 8652 (70 %) CSP clauses are being encoded (122445 SAT variables, 276148 SAT clauses)
10.04/4.04 c (3,3) 9888 (80 %) CSP clauses are being encoded (138362 SAT variables, 314901 SAT clauses)
10.37/4.20 c (3,3) 11124 (90 %) CSP clauses are being encoded (154558 SAT variables, 354117 SAT clauses)
11.42/4.88 c (4,4) 12359 (100 %) CSP clauses are being encoded (204442 SAT variables, 488118 SAT clauses)
11.42/4.88 c (4,4) CSPinCNF to SatSolver End
11.42/4.88 c (4,4) Heap : 1802 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.98/5.02 c (4,4) STATISTICS2:HOME/instance-4295507-1532543293.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,8281,12359,9223372036854775807,91,89,11,9223372036854775807:6;427929800129788416:12;4702525276151521:12;51676101935731:12;567869252041:12;6103925100:4;6036103710:4;5969035891:4;91:7140;90:516;89:540,91:15980;90:564;89:569;2:16380,89:1;86:1;2:12285;1:72,11:6;10:12;9:12;8:12;7:12;6:12;2:8196;1:16555,91:6
11.98/5.02 c (4,4) SatSolver.solve Begin
11.98/5.02 c (4,4) 204462 bool, 488163 clause
11.98/5.02 c (4,4) 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-4295507-1532543293.xml-scop-432.cnf HOME/instance-4295507-1532543293.xml-scop-432.cnf.out
18.67/11.30 c (10,0) receiving signal SIGTERM
18.67/11.30 s UNKNOWN
18.67/11.31 c (10,4) SatSolver is killed by some reasons.
18.67/11.31 c (10,4) 0,0,1,1,1,1,4,TO,TO,STOP-AFTER(DIMACS)
18.67/11.31 c END-Prog: Wed Jul 25 20:28: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 (5068 MiB free)
memory of node 1: 16384 MiB (15589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295507-1532543293/watcher-4295507-1532543293 -o /tmp/evaluation-result-4295507-1532543293/solver-4295507-1532543293 -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-4295507-1532543293.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=432, runsolver pid=429
Current StackSize limit: 8192 KiB
[startup+0.100136 s]*
/proc/loadavg: 2.86 2.35 2.21 3/220 450
/proc/meminfo: memFree=21094260/32770624 swapFree=67076520/67108860
[pid=432] ppid=429 vsize=15011656 memory=71748 CPUtime=0.11 cores=1,3,5,7
/proc/432/stat : 432 (java) S 429 432 29212 0 -1 1077944320 6182 0 0 0 9 2 0 0 20 0 15 0 71892512 15371935744 17937 33554432000 4194304 4196468 140728845303936 140728845286480 140561275547383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
/proc/432/statm: 3752914 17937 2752 1 0 3715374 0
[pid=432/tid=434] ppid=429 vsize=15011656 memory=8389772277269004345 CPUtime=0.09 cores=1,3,5,7
/proc/432/task/434/stat : 434 (java) R 429 432 29212 0 -1 4202560 4806 0 0 0 8 1 0 0 20 0 15 0 71892512 15371935744 18530 33554432000 4194304 4196468 140728845303936 140561247351584 140561255824208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=435] ppid=429 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/432/task/435/stat : 435 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892514 15371935744 18530 33554432000 4194304 4196468 140728845303936 140561279790224 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=436] ppid=429 vsize=15011656 memory=139850575767991 CPUtime=0 cores=1,3,5,7
/proc/432/task/436/stat : 436 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71892514 15371935744 18530 33554432000 4194304 4196468 140728845303936 140561070873616 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=437] ppid=429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/437/stat : 437 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892514 15371935744 18530 33554432000 4194304 4196468 140728845303936 140561069820816 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=438] ppid=429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892514 15371935744 18596 33554432000 4194304 4196468 140728845303936 140561068768016 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=439] ppid=429 vsize=15011656 memory=139850575738496 CPUtime=0 cores=1,3,5,7
/proc/432/task/439/stat : 439 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892515 15371935744 18596 33554432000 4194304 4196468 140728845303936 140560246471024 140561275558530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=440] ppid=429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/432/task/440/stat : 440 (java) S 429 432 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71892516 15371935744 18596 33554432000 4194304 4196468 140728845303936 140559851185184 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=441] ppid=429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/441/stat : 441 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71892516 15371935744 18596 33554432000 4194304 4196468 140728845303936 140559582749552 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=443] ppid=429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/443/stat : 443 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71892518 15371935744 18596 33554432000 4194304 4196468 140728845303936 140559208240976 140561275565979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=445] ppid=429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/445/stat : 445 (java) S 429 432 29212 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 71892518 15371935744 18596 33554432000 4194304 4196468 140728845303936 140560245418864 140561275558530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=446] ppid=429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/432/task/446/stat : 446 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71892518 15371935744 18596 33554432000 4194304 4196468 140728845303936 140560244366064 140561275558530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=447] ppid=429 vsize=15011656 memory=139850575738496 CPUtime=0.01 cores=1,3,5,7
/proc/432/task/447/stat : 447 (java) S 429 432 29212 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 71892518 15371935744 18596 33554432000 4194304 4196468 140728845303936 140560243313264 140561275558530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=449] ppid=429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/432/task/449/stat : 449 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71892518 15371935744 18596 33554432000 4194304 4196468 140728845303936 140558710336224 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=450] ppid=429 vsize=15011656 memory=139850575738496 CPUtime=0 cores=1,3,5,7
/proc/432/task/450/stat : 450 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71892519 15371935744 18596 33554432000 4194304 4196468 140728845303936 140560242260656 140561275558530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71748 KiB
[startup+0.210619 s]*
/proc/loadavg: 2.86 2.35 2.21 4/220 450
/proc/meminfo: memFree=21080168/32770624 swapFree=67076520/67108860
[pid=432] ppid=429 vsize=15011656 memory=85656 CPUtime=0.25 cores=1,3,5,7
/proc/432/stat : 432 (java) S 429 432 29212 0 -1 1077944320 9838 0 0 0 23 2 0 0 20 0 15 0 71892512 15371935744 21414 33554432000 4194304 4196468 140728845303936 140728845286480 140561275547383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
/proc/432/statm: 3752914 21414 2914 1 0 3715374 0
[pid=432/tid=434] ppid=429 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/432/task/434/stat : 434 (java) R 429 432 29212 0 -1 4202560 7766 0 0 0 18 2 0 0 20 0 15 0 71892512 15371935744 21414 33554432000 4194304 4196468 140728845303936 140561247372696 140560740481025 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=435] ppid=429 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/432/task/435/stat : 435 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892514 15371935744 21414 33554432000 4194304 4196468 140728845303936 140561279790224 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=436] ppid=429 vsize=15011656 memory=139850575767991 CPUtime=0 cores=1,3,5,7
/proc/432/task/436/stat : 436 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71892514 15371935744 21414 33554432000 4194304 4196468 140728845303936 140561070873616 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=437] ppid=429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/437/stat : 437 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892514 15371935744 21414 33554432000 4194304 4196468 140728845303936 140561069820816 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=438] ppid=429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892514 15371935744 21414 33554432000 4194304 4196468 140728845303936 140561068768016 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=439] ppid=429 vsize=15011656 memory=139850575738496 CPUtime=0 cores=1,3,5,7
/proc/432/task/439/stat : 439 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892515 15371935744 21414 33554432000 4194304 4196468 140728845303936 140560246471024 140561275558530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=440] ppid=429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/432/task/440/stat : 440 (java) S 429 432 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71892516 15371935744 21414 33554432000 4194304 4196468 140728845303936 140559851185184 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=441] ppid=429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/441/stat : 441 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71892516 15371935744 21414 33554432000 4194304 4196468 140728845303936 140559582749552 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=443] ppid=429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/443/stat : 443 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71892518 15371935744 21414 33554432000 4194304 4196468 140728845303936 140559208240976 140561275565979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=445] ppid=429 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/432/task/445/stat : 445 (java) R 429 432 29212 0 -1 4202560 328 0 0 0 1 0 0 0 20 0 15 0 71892518 15371935744 21414 33554432000 4194304 4196468 140728845303936 140560245418864 140561253415200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=446] ppid=429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/432/task/446/stat : 446 (java) R 429 432 29212 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 71892518 15371935744 21414 33554432000 4194304 4196468 140728845303936 140560244366064 140561275558530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=447] ppid=429 vsize=15011656 memory=139850575738496 CPUtime=0.03 cores=1,3,5,7
/proc/432/task/447/stat : 447 (java) S 429 432 29212 0 -1 1077944384 298 0 0 0 3 0 0 0 20 0 15 0 71892518 15371935744 21414 33554432000 4194304 4196468 140728845303936 140560243313264 140561275558530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=449] ppid=429 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/432/task/449/stat : 449 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71892518 15371935744 21414 33554432000 4194304 4196468 140728845303936 140558710336224 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=450] ppid=429 vsize=15011656 memory=139850575738496 CPUtime=0 cores=1,3,5,7
/proc/432/task/450/stat : 450 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71892519 15371935744 21414 33554432000 4194304 4196468 140728845303936 140560242260656 140561275558530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85656 KiB
[startup+0.31037 s]*
/proc/loadavg: 2.86 2.35 2.21 3/220 450
/proc/meminfo: memFree=21076384/32770624 swapFree=67076520/67108860
[pid=432] ppid=429 vsize=15011656 memory=89720 CPUtime=0.42 cores=1,3,5,7
/proc/432/stat : 432 (java) S 429 432 29212 0 -1 1077944320 10438 0 0 0 39 3 0 0 20 0 15 0 71892512 15371935744 22430 33554432000 4194304 4196468 140728845303936 140728845286480 140561275547383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
/proc/432/statm: 3752914 22430 2996 1 0 3715374 0
[pid=432/tid=434] ppid=429 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/432/task/434/stat : 434 (java) R 429 432 29212 0 -1 4202560 8195 0 0 0 27 2 0 0 20 0 15 0 71892512 15371935744 22430 33554432000 4194304 4196468 140728845303936 140561247351536 140561257110916 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=435] ppid=429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/435/stat : 435 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892514 15371935744 22430 33554432000 4194304 4196468 140728845303936 140561279790224 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=436] ppid=429 vsize=15011656 memory=139850575767927 CPUtime=0 cores=1,3,5,7
/proc/432/task/436/stat : 436 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71892514 15371935744 22430 33554432000 4194304 4196468 140728845303936 140561070873616 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=437] ppid=429 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/437/stat : 437 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892514 15371935744 22430 33554432000 4194304 4196468 140728845303936 140561069820816 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=438] ppid=429 vsize=15011656 memory=35 CPUtime=0 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892514 15371935744 22430 33554432000 4194304 4196468 140728845303936 140561068768016 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=439] ppid=429 vsize=15011656 memory=139850575738496 CPUtime=0 cores=1,3,5,7
/proc/432/task/439/stat : 439 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892515 15371935744 22430 33554432000 4194304 4196468 140728845303936 140560246471024 140561275558530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=440] ppid=429 vsize=15011656 memory=67 CPUtime=0 cores=1,3,5,7
/proc/432/task/440/stat : 440 (java) S 429 432 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71892516 15371935744 22430 33554432000 4194304 4196468 140728845303936 140559851185184 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=441] ppid=429 vsize=15011656 memory=19012 CPUtime=0 cores=1,3,5,7
/proc/432/task/441/stat : 441 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71892516 15371935744 22430 33554432000 4194304 4196468 140728845303936 140559582749552 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=443] ppid=429 vsize=15011656 memory=21316 CPUtime=0 cores=1,3,5,7
/proc/432/task/443/stat : 443 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71892518 15371935744 22430 33554432000 4194304 4196468 140728845303936 140559208240976 140561275565979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=445] ppid=429 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/432/task/445/stat : 445 (java) S 429 432 29212 0 -1 1077944384 443 0 0 0 3 0 0 0 20 0 15 0 71892518 15371935744 22430 33554432000 4194304 4196468 140728845303936 140560245418992 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=446] ppid=429 vsize=15011656 memory=35 CPUtime=0.01 cores=1,3,5,7
/proc/432/task/446/stat : 446 (java) R 429 432 29212 0 -1 1077944384 145 0 0 0 1 0 0 0 20 0 15 0 71892518 15371935744 22430 33554432000 4194304 4196468 140728845303936 140560244366064 140561275558530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=447] ppid=429 vsize=15011656 memory=139850575738496 CPUtime=0.07 cores=1,3,5,7
/proc/432/task/447/stat : 447 (java) R 429 432 29212 0 -1 4202560 343 0 0 0 7 0 0 0 20 0 15 0 71892518 15371935744 22430 33554432000 4194304 4196468 140728845303936 140560243313264 140561275568730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=449] ppid=429 vsize=15011656 memory=35 CPUtime=0 cores=1,3,5,7
/proc/432/task/449/stat : 449 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71892518 15371935744 22430 33554432000 4194304 4196468 140728845303936 140558710336224 140561275557589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=450] ppid=429 vsize=15011656 memory=279701019132080 CPUtime=0 cores=1,3,5,7
/proc/432/task/450/stat : 450 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71892519 15371935744 22430 33554432000 4194304 4196468 140728845303936 140560242260656 140561275558530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89720 KiB
[startup+0.700726 s]
/proc/loadavg: 2.86 2.35 2.21 3/220 450
/proc/meminfo: memFree=21052200/32770624 swapFree=67076520/67108860
[pid=432] ppid=429 vsize=15020052 memory=130060 CPUtime=1.02 cores=1,3,5,7
/proc/432/stat : 432 (java) S 429 432 29212 0 -1 1077944320 17699 0 0 0 97 5 0 0 20 0 15 0 71892512 15380533248 32515 33554432000 4194304 4196468 140728845303936 140728845286480 140561275547383 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
/proc/432/statm: 3755013 32515 3175 1 0 3716398 0
[pid=432/tid=434] ppid=429 vsize=15020052 memory=141735934175990 CPUtime=0.67 cores=1,3,5,7
/proc/432/task/434/stat : 434 (java) R 429 432 29212 0 -1 4202560 14961 0 0 0 63 4 0 0 20 0 15 0 71892512 15380533248 32515 33554432000 4194304 4196468 140728845303936 140561247380752 140561259591013 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=435] ppid=429 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/435/stat : 435 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892514 15380533248 32515 33554432000 4194304 4196468 140728845303936 140561279790224 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=436] ppid=429 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/436/stat : 436 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71892514 15380533248 32515 33554432000 4194304 4196468 140728845303936 140561070873616 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=437] ppid=429 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/437/stat : 437 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892514 15380533248 32515 33554432000 4194304 4196468 140728845303936 140561069820816 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=438] ppid=429 vsize=15020052 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892514 15380533248 32515 33554432000 4194304 4196468 140728845303936 140561068768016 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=439] ppid=429 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/439/stat : 439 (java) S 429 432 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71892515 15380533248 32515 33554432000 4194304 4196468 140728845303936 140560246471024 140561275558530 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=440] ppid=429 vsize=15020052 memory=9198851636692690076 CPUtime=0 cores=1,3,5,7
/proc/432/task/440/stat : 440 (java) S 429 432 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71892516 15380533248 32515 33554432000 4194304 4196468 140728845303936 140559851185184 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=441] ppid=429 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/432/task/441/stat : 441 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71892516 15380533248 32515 33554432000 4194304 4196468 140728845303936 140559582749552 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=443] ppid=429 vsize=15020052 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/432/task/443/stat : 443 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71892518 15380533248 32515 33554432000 4194304 4196468 140728845303936 140559208240976 140561275565979 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=445] ppid=429 vsize=15020052 memory=6943526294502006880 CPUtime=0.11 cores=1,3,5,7
/proc/432/task/445/stat : 445 (java) S 429 432 29212 0 -1 1077944384 663 0 0 0 11 0 0 0 20 0 15 0 71892518 15380533248 32515 33554432000 4194304 4196468 140728845303936 140560245418864 140561275558530 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=446] ppid=429 vsize=15020052 memory=-2461829820114675750 CPUtime=0.05 cores=1,3,5,7
/proc/432/task/446/stat : 446 (java) S 429 432 29212 0 -1 1077944384 256 0 0 0 5 0 0 0 20 0 15 0 71892518 15380533248 32515 33554432000 4194304 4196468 140728845303936 140560244366064 140561275558530 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=447] ppid=429 vsize=15020052 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/432/task/447/stat : 447 (java) R 429 432 29212 0 -1 4202560 478 0 0 0 16 0 0 0 20 0 15 0 71892518 15380533248 32515 33554432000 4194304 4196468 140728845303936 140560243313264 140561275568730 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=449] ppid=429 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/449/stat : 449 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71892518 15380533248 32515 33554432000 4194304 4196468 140728845303936 140558710336224 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=450] ppid=429 vsize=15020052 memory=796 CPUtime=0 cores=1,3,5,7
/proc/432/task/450/stat : 450 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71892519 15380533248 32515 33554432000 4194304 4196468 140728845303936 140560242260656 140561275558530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130060 KiB
[startup+1.50069 s]
/proc/loadavg: 2.86 2.35 2.21 4/220 450
/proc/meminfo: memFree=21023176/32770624 swapFree=67076520/67108860
[pid=432] ppid=429 vsize=15022100 memory=205368 CPUtime=3.15 cores=1,3,5,7
/proc/432/stat : 432 (java) S 429 432 29212 0 -1 1077944320 21726 0 0 0 308 7 0 0 20 0 15 0 71892512 15382630400 51342 33554432000 4194304 4196468 140728845303936 140728845286480 140561275547383 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
/proc/432/statm: 3755525 51342 3203 1 0 3716910 0
[pid=432/tid=434] ppid=429 vsize=15022100 memory=2241 CPUtime=1.47 cores=1,3,5,7
/proc/432/task/434/stat : 434 (java) R 429 432 29212 0 -1 4202560 16008 0 0 0 142 5 0 0 20 0 15 0 71892512 15382630400 51342 33554432000 4194304 4196468 140728845303936 140561247383456 140560740461850 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=435] ppid=429 vsize=15022100 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/432/task/435/stat : 435 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892514 15382630400 51342 33554432000 4194304 4196468 140728845303936 140561279790224 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=436] ppid=429 vsize=15022100 memory=139850443646096 CPUtime=0 cores=1,3,5,7
/proc/432/task/436/stat : 436 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71892514 15382630400 51342 33554432000 4194304 4196468 140728845303936 140561070873616 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=437] ppid=429 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/437/stat : 437 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892514 15382630400 51342 33554432000 4194304 4196468 140728845303936 140561069820816 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=438] ppid=429 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71892514 15382630400 51342 33554432000 4194304 4196468 140728845303936 140561068768016 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=439] ppid=429 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/439/stat : 439 (java) S 429 432 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71892515 15382630400 51342 33554432000 4194304 4196468 140728845303936 140560246471024 140561275558530 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
################
# More data... #
################
/proc/meminfo: memFree=19163360/32770624 swapFree=67076520/67108860
[pid=432] ppid=429 vsize=15683912 memory=1885864 CPUtime=12.42 cores=1,3,5,7
/proc/432/stat : 432 (java) S 429 432 29212 0 -1 1077944320 29339 0 0 0 1208 34 0 0 20 0 19 0 71892512 16060325888 471466 33554432000 4194304 4196468 140728845303936 140728845286480 140561275547383 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
/proc/432/statm: 3920978 471466 3231 1 0 3881834 0
[pid=451] ppid=432 vsize=149700 memory=111440 CPUtime=1.24 cores=1,3,5,7
/proc/451/stat : 451 (minisat_release) R 432 432 29212 0 -1 4202496 25871 0 0 0 120 4 0 0 20 0 1 0 71893015 153292800 27860 33554432000 4194304 4308513 140729483009584 140729481957912 4214419 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 18739200 140729483014835 140729483015342 140729483015342 140729483018181 0
/proc/451/statm: 37425 27860 333 28 0 33665 0
[pid=432/tid=434] ppid=429 vsize=15683912 memory=3544 CPUtime=4.91 cores=1,3,5,7
/proc/432/task/434/stat : 434 (java) S 429 432 29212 0 -1 1077944384 17709 0 0 0 462 29 0 0 20 0 19 0 71892512 16060325888 471466 33554432000 4194304 4196468 140728845303936 140561247386624 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=435] ppid=429 vsize=15683912 memory=18624 CPUtime=0 cores=1,3,5,7
/proc/432/task/435/stat : 435 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71892514 16060325888 471466 33554432000 4194304 4196468 140728845303936 140561279790224 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=436] ppid=429 vsize=15683912 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/432/task/436/stat : 436 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71892514 16060325888 471466 33554432000 4194304 4196468 140728845303936 140561070873616 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=437] ppid=429 vsize=15683912 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/432/task/437/stat : 437 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71892514 16060325888 471466 33554432000 4194304 4196468 140728845303936 140561069820816 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=438] ppid=429 vsize=15683912 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71892514 16060325888 471466 33554432000 4194304 4196468 140728845303936 140561068768016 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=439] ppid=429 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/439/stat : 439 (java) S 429 432 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 71892515 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560246471024 140561275558530 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=440] ppid=429 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/440/stat : 440 (java) S 429 432 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 71892516 16060325888 471466 33554432000 4194304 4196468 140728845303936 140559851185184 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=441] ppid=429 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/441/stat : 441 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71892516 16060325888 471466 33554432000 4194304 4196468 140728845303936 140559582749552 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=443] ppid=429 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/443/stat : 443 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71892518 16060325888 471466 33554432000 4194304 4196468 140728845303936 140559208240976 140561275565979 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=445] ppid=429 vsize=15683912 memory=279700886963392 CPUtime=3.15 cores=1,3,5,7
/proc/432/task/445/stat : 445 (java) S 429 432 29212 0 -1 1077944384 3807 0 0 0 314 1 0 0 20 0 19 0 71892518 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560245418864 140561275558530 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=446] ppid=429 vsize=15683912 memory=7740392811867102593 CPUtime=3.29 cores=1,3,5,7
/proc/432/task/446/stat : 446 (java) S 429 432 29212 0 -1 1077944384 3366 0 0 0 328 1 0 0 20 0 19 0 71892518 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560244366064 140561275558530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=447] ppid=429 vsize=15683912 memory=7740392811867102593 CPUtime=1.03 cores=1,3,5,7
/proc/432/task/447/stat : 447 (java) S 429 432 29212 0 -1 1077944384 3038 0 0 0 102 1 0 0 20 0 19 0 71892518 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560243313264 140561275558530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=449] ppid=429 vsize=15683912 memory=7740392811867102593 CPUtime=0 cores=1,3,5,7
/proc/432/task/449/stat : 449 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71892518 16060325888 471466 33554432000 4194304 4196468 140728845303936 140558710336224 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=450] ppid=429 vsize=15683912 memory=7740392811867102593 CPUtime=0 cores=1,3,5,7
/proc/432/task/450/stat : 450 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71892519 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560242260656 140561275558530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=452] ppid=429 vsize=15683912 memory=7740392811867102593 CPUtime=0 cores=1,3,5,7
/proc/432/task/452/stat : 452 (java) S 429 432 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71893016 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560226325696 140561275571993 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=454] ppid=429 vsize=15683912 memory=7740392811850325377 CPUtime=0 cores=1,3,5,7
/proc/432/task/454/stat : 454 (java) S 429 432 29212 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 71893016 16060325888 471466 33554432000 4194304 4196468 140728845303936 140558173449392 140561275569309 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=455] ppid=429 vsize=15683912 memory=7740392811850325377 CPUtime=0 cores=1,3,5,7
/proc/432/task/455/stat : 455 (java) S 429 432 29212 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 71893016 16060325888 471466 33554432000 4194304 4196468 140728845303936 140558307672112 140561275569309 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=456] ppid=429 vsize=15683912 memory=141761704119253 CPUtime=0 cores=1,3,5,7
/proc/432/task/456/stat : 456 (java) S 429 432 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71893018 16060325888 471466 33554432000 4194304 4196468 140728845303936 140557905026720 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
Current children cumulated CPU time: 13.66 s
Current children cumulated vsize: 15833612 KiB
Current children cumulated memory: 1997304 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+11.3009 s]
/proc/loadavg: 2.87 2.37 2.22 3/225 456
/proc/meminfo: memFree=19124116/32770624 swapFree=67076520/67108860
[pid=432] ppid=429 vsize=15683912 memory=1885864 CPUtime=12.43 cores=1,3,5,7
/proc/432/stat : 432 (java) S 429 432 29212 0 -1 1077944320 29340 0 0 0 1209 34 0 0 20 0 19 0 71892512 16060325888 471466 33554432000 4194304 4196468 140728845303936 140728845286480 140561275547383 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
/proc/432/statm: 3920978 471466 3231 1 0 3881834 0
[pid=451] ppid=432 vsize=199752 memory=146964 CPUtime=6.24 cores=1,3,5,7
/proc/451/stat : 451 (minisat_release) R 432 432 29212 0 -1 4202496 63360 0 0 0 617 7 0 0 20 0 1 0 71893015 204546048 36741 33554432000 4194304 4308513 140729483009584 140729483007208 4276008 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 18739200 140729483014835 140729483015342 140729483015342 140729483018181 0
/proc/451/statm: 49938 36741 352 28 0 46178 0
[pid=432/tid=434] ppid=429 vsize=15683912 memory=1885864 CPUtime=4.91 cores=1,3,5,7
/proc/432/task/434/stat : 434 (java) S 429 432 29212 0 -1 1077944384 17709 0 0 0 462 29 0 0 20 0 19 0 71892512 16060325888 471466 33554432000 4194304 4196468 140728845303936 140561247386624 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=435] ppid=429 vsize=15683912 memory=1243 CPUtime=0 cores=1,3,5,7
/proc/432/task/435/stat : 435 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71892514 16060325888 471466 33554432000 4194304 4196468 140728845303936 140561279790224 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=436] ppid=429 vsize=15683912 memory=414 CPUtime=0 cores=1,3,5,7
/proc/432/task/436/stat : 436 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71892514 16060325888 471466 33554432000 4194304 4196468 140728845303936 140561070873616 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=437] ppid=429 vsize=15683912 memory=491 CPUtime=0 cores=1,3,5,7
/proc/432/task/437/stat : 437 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71892514 16060325888 471466 33554432000 4194304 4196468 140728845303936 140561069820816 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=438] ppid=429 vsize=15683912 memory=640 CPUtime=0 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71892514 16060325888 471466 33554432000 4194304 4196468 140728845303936 140561068768016 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=439] ppid=429 vsize=15683912 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/432/task/439/stat : 439 (java) S 429 432 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 71892515 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560246471024 140561275558530 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=440] ppid=429 vsize=15683912 memory=960 CPUtime=0 cores=1,3,5,7
/proc/432/task/440/stat : 440 (java) S 429 432 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 71892516 16060325888 471466 33554432000 4194304 4196468 140728845303936 140559851185184 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=441] ppid=429 vsize=15683912 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/432/task/441/stat : 441 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71892516 16060325888 471466 33554432000 4194304 4196468 140728845303936 140559582749552 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=443] ppid=429 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/443/stat : 443 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71892518 16060325888 471466 33554432000 4194304 4196468 140728845303936 140559208240976 140561275565979 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=445] ppid=429 vsize=15683912 memory=0 CPUtime=3.15 cores=1,3,5,7
/proc/432/task/445/stat : 445 (java) S 429 432 29212 0 -1 1077944384 3807 0 0 0 314 1 0 0 20 0 19 0 71892518 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560245418864 140561275558530 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=446] ppid=429 vsize=15683912 memory=1753244 CPUtime=3.29 cores=1,3,5,7
/proc/432/task/446/stat : 446 (java) S 429 432 29212 0 -1 1077944384 3366 0 0 0 328 1 0 0 20 0 19 0 71892518 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560244366064 140561275558530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=447] ppid=429 vsize=15683912 memory=0 CPUtime=1.03 cores=1,3,5,7
/proc/432/task/447/stat : 447 (java) S 429 432 29212 0 -1 1077944384 3039 0 0 0 102 1 0 0 20 0 19 0 71892518 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560243313264 140561275558530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=449] ppid=429 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/449/stat : 449 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71892518 16060325888 471466 33554432000 4194304 4196468 140728845303936 140558710336224 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=450] ppid=429 vsize=15683912 memory=7008596730483219174 CPUtime=0 cores=1,3,5,7
/proc/432/task/450/stat : 450 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71892519 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560242260656 140561275558530 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=452] ppid=429 vsize=15683912 memory=1885864 CPUtime=0 cores=1,3,5,7
/proc/432/task/452/stat : 452 (java) S 429 432 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71893016 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560226325696 140561275571993 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=454] ppid=429 vsize=15683912 memory=1885864 CPUtime=0 cores=1,3,5,7
/proc/432/task/454/stat : 454 (java) S 429 432 29212 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 71893016 16060325888 471466 33554432000 4194304 4196468 140728845303936 140558173449392 140561275569309 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=455] ppid=429 vsize=15683912 memory=142232 CPUtime=0 cores=1,3,5,7
/proc/432/task/455/stat : 455 (java) S 429 432 29212 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 71893016 16060325888 471466 33554432000 4194304 4196468 140728845303936 140558307672112 140561275569309 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=456] ppid=429 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/456/stat : 456 (java) S 429 432 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71893018 16060325888 471466 33554432000 4194304 4196468 140728845303936 140557905026720 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
Current children cumulated CPU time: 18.67 s
Current children cumulated vsize: 15883664 KiB
Current children cumulated memory: 2032828 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+11.3235 s]
# the end of solver process 432 was just reported to runsolver
# cumulated CPU time of all completed processes: user=18.2742 s, system=0.446041 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+11.3009 s]
/proc/loadavg: 2.87 2.37 2.22 3/225 456
/proc/meminfo: memFree=19124116/32770624 swapFree=67076520/67108860
[pid=432] ppid=429 vsize=15683912 memory=1885864 CPUtime=12.43 cores=1,3,5,7
/proc/432/stat : 432 (java) S 429 432 29212 0 -1 1077944320 29340 0 0 0 1209 34 0 0 20 0 19 0 71892512 16060325888 471466 33554432000 4194304 4196468 140728845303936 140728845286480 140561275547383 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
/proc/432/statm: 3920978 471466 3231 1 0 3881834 0
[pid=451] ppid=432 vsize=199752 memory=146964 CPUtime=6.24 cores=1,3,5,7
/proc/451/stat : 451 (minisat_release) R 432 432 29212 0 -1 4202496 63360 0 0 0 617 7 0 0 20 0 1 0 71893015 204546048 36741 33554432000 4194304 4308513 140729483009584 140729483007208 4276008 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 18739200 140729483014835 140729483015342 140729483015342 140729483018181 0
/proc/451/statm: 49938 36741 352 28 0 46178 0
[pid=432/tid=434] ppid=429 vsize=15683912 memory=1885864 CPUtime=4.91 cores=1,3,5,7
/proc/432/task/434/stat : 434 (java) S 429 432 29212 0 -1 1077944384 17709 0 0 0 462 29 0 0 20 0 19 0 71892512 16060325888 471466 33554432000 4194304 4196468 140728845303936 140561247386624 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=435] ppid=429 vsize=15683912 memory=1243 CPUtime=0 cores=1,3,5,7
/proc/432/task/435/stat : 435 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71892514 16060325888 471466 33554432000 4194304 4196468 140728845303936 140561279790224 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=436] ppid=429 vsize=15683912 memory=414 CPUtime=0 cores=1,3,5,7
/proc/432/task/436/stat : 436 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71892514 16060325888 471466 33554432000 4194304 4196468 140728845303936 140561070873616 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=437] ppid=429 vsize=15683912 memory=491 CPUtime=0 cores=1,3,5,7
/proc/432/task/437/stat : 437 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71892514 16060325888 471466 33554432000 4194304 4196468 140728845303936 140561069820816 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=438] ppid=429 vsize=15683912 memory=640 CPUtime=0 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) S 429 432 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71892514 16060325888 471466 33554432000 4194304 4196468 140728845303936 140561068768016 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=439] ppid=429 vsize=15683912 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/432/task/439/stat : 439 (java) S 429 432 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 71892515 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560246471024 140561275558530 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=440] ppid=429 vsize=15683912 memory=960 CPUtime=0 cores=1,3,5,7
/proc/432/task/440/stat : 440 (java) S 429 432 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 71892516 16060325888 471466 33554432000 4194304 4196468 140728845303936 140559851185184 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=441] ppid=429 vsize=15683912 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/432/task/441/stat : 441 (java) S 429 432 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 71892516 16060325888 471466 33554432000 4194304 4196468 140728845303936 140559582749552 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=443] ppid=429 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/443/stat : 443 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71892518 16060325888 471466 33554432000 4194304 4196468 140728845303936 140559208240976 140561275565979 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=445] ppid=429 vsize=15683912 memory=0 CPUtime=3.15 cores=1,3,5,7
/proc/432/task/445/stat : 445 (java) S 429 432 29212 0 -1 1077944384 3807 0 0 0 314 1 0 0 20 0 19 0 71892518 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560245418864 140561275558530 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=446] ppid=429 vsize=15683912 memory=1753244 CPUtime=3.29 cores=1,3,5,7
/proc/432/task/446/stat : 446 (java) S 429 432 29212 0 -1 1077944384 3366 0 0 0 328 1 0 0 20 0 19 0 71892518 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560244366064 140561275558530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=447] ppid=429 vsize=15683912 memory=0 CPUtime=1.03 cores=1,3,5,7
/proc/432/task/447/stat : 447 (java) S 429 432 29212 0 -1 1077944384 3039 0 0 0 102 1 0 0 20 0 19 0 71892518 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560243313264 140561275558530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=449] ppid=429 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/449/stat : 449 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71892518 16060325888 471466 33554432000 4194304 4196468 140728845303936 140558710336224 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=450] ppid=429 vsize=15683912 memory=7008596730483219174 CPUtime=0 cores=1,3,5,7
/proc/432/task/450/stat : 450 (java) S 429 432 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71892519 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560242260656 140561275558530 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=452] ppid=429 vsize=15683912 memory=1885864 CPUtime=0 cores=1,3,5,7
/proc/432/task/452/stat : 452 (java) S 429 432 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71893016 16060325888 471466 33554432000 4194304 4196468 140728845303936 140560226325696 140561275571993 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=454] ppid=429 vsize=15683912 memory=1885864 CPUtime=0 cores=1,3,5,7
/proc/432/task/454/stat : 454 (java) S 429 432 29212 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 71893016 16060325888 471466 33554432000 4194304 4196468 140728845303936 140558173449392 140561275569309 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=455] ppid=429 vsize=15683912 memory=142232 CPUtime=0 cores=1,3,5,7
/proc/432/task/455/stat : 455 (java) S 429 432 29212 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 71893016 16060325888 471466 33554432000 4194304 4196468 140728845303936 140558307672112 140561275569309 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
[pid=432/tid=456] ppid=429 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/432/task/456/stat : 456 (java) S 429 432 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 71893018 16060325888 471466 33554432000 4194304 4196468 140728845303936 140557905026720 140561275557589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25485312 140728845313012 140728845313289 140728845313289 140728845316047 0
Current children cumulated CPU time: 18.67 s
Current children cumulated vsize: 15883664 KiB
Current children cumulated memory: 2032828 KiB
Child status: 1
Real time (s): 11.3236
CPU time (s): 18.7202
CPU user time (s): 18.2742
CPU system time (s): 0.446041
CPU usage (%): 165.321
Max. virtual memory (cumulated for all children) (KiB): 15883664
Max. memory (cumulated for all children) (KiB): 2038640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.2742
system time used= 0.446041
maximum resident set size= 1894768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92751
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4223
involuntary context switches= 55
# summary of solver processes directly reported to runsolver:
# pid: 432
# total CPU time (s): 18.7202
# total CPU user time (s): 18.2742
# total CPU system time (s): 0.446041
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.108859 second user time and 0.148848 second system time
The end