0.55/0.51
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 14:53:32 CEST 2018
0.67/0.54 c PID: 8531
0.67/0.54 c IP: 172.20.3.105
0.67/0.54 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
6.80/2.64 c (2,2) Parsing End
6.80/2.66 c (2,2) CSP: 0 int (0 aux), 8349 bool (0 aux), 7910 ctr, max domain size 2
6.80/2.66 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.80/2.66 c (2,2) Constraint Name Generate Begin
7.12/2.71 c (2,2) Ctr:HOME/instance-4294141-1532350411.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum
7.12/2.71 c (2,2) Constraint Name Generate End
7.12/2.71 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
7.12/2.71 c (2,2) CSP to CSPinCNF Begin
9.46/3.49 c (2,2) translated 791 (10%) constraints
10.39/3.79 c (3,3) translated 1582 (20%) constraints
11.67/4.12 c (3,3) translated 2373 (30%) constraints
12.55/4.41 c (3,3) translated 3164 (40%) constraints
13.16/4.63 c (4,4) translated 3955 (50%) constraints
13.68/4.82 c (4,4) translated 4746 (60%) constraints
13.87/4.99 c (4,4) translated 5537 (70%) constraints
14.36/5.18 c (4,4) translated 6328 (80%) constraints
14.74/5.34 c (4,4) translated 7119 (90%) constraints
15.91/5.75 c (5,5) translated 7910 (100%) constraints
19.92/7.69 c (7,7) STATISTICS1:HOME/instance-4294141-1532350411.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,24886,41089,4294967296,2,4,33,4294967296:506;2097152:66;2:17987,2:102283,4:1291;3:15299;2:16537;1:7962,33:506;22:66;2:17987;1:80103,
19.92/7.69 c (7,7) ===========================================
19.92/7.69 c (7,7) Order
19.92/7.69 c (7,7) ===========================================
21.29/8.05 c (7,7) translated 4109 (10%) constraints
21.94/8.22 c (7,7) translated 8218 (20%) constraints
22.54/8.40 c (7,7) translated 12327 (30%) constraints
22.84/8.57 c (8,8) translated 16436 (40%) constraints
23.77/8.82 c (8,8) translated 20545 (50%) constraints
23.89/8.94 c (8,8) translated 24654 (60%) constraints
24.00/9.06 c (8,8) translated 28763 (70%) constraints
24.12/9.18 c (8,8) translated 32872 (80%) constraints
24.21/9.30 c (8,8) translated 36981 (90%) constraints
25.76/10.09 c (9,9) translated 41089 (100%) constraints
25.76/10.09 c (9,9) CSP to CSPinCNF End
26.06/10.11 c (9,9) CSP: 3135 int (3135 aux), 32509 bool (24160 aux), 70514 ctr, max domain size 12
26.06/10.11 c (9,9) Heap : 609 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
26.06/10.12 c (9,9) CSPinCNF Propagation Begin
26.91/10.49 c (9,9) 0 values, 7623 unsatisfiable literals, and 7623 valid clauses are removed
26.91/10.49 c (9,9) CSPinCNF Propagation End
27.07/10.51 c (9,9) CSP: 3135 int (3135 aux), 32509 bool (24160 aux), 62891 ctr, max domain size 12
27.07/10.51 c (9,9) Heap : 882 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
27.07/10.51 c (9,9) Simplify CSPinCNF Begin
27.29/10.69 c (10,10) Simplify CSPinCNF End
27.43/10.71 c (10,10) CSP: 3135 int (3135 aux), 35250 bool (26901 aux), 65632 ctr, max domain size 12
27.43/10.71 c (10,10) Heap : 937 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
27.43/10.71 c (10,10) Calculate Precise Domain Begin
27.43/10.79 c (10,10) 0 values are removed by re-calculation
27.43/10.79 c (10,10) Calculate Precise Domain End
27.72/10.80 c (10,10) CSP: 3135 int (3135 aux), 35250 bool (26901 aux), 65632 ctr, max domain size 12
27.72/10.80 c (10,10) Heap : 937 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
27.72/10.80 c (10,10) CSPinCNF to SatSolver Begin
29.29/11.33 c (10,10) 6564 (10 %) CSP clauses are encoded (48846 SAT variables, 72882 SAT clauses)
29.59/11.43 c (10,10) 13127 (20 %) CSP clauses are encoded (48846 SAT variables, 79445 SAT clauses)
29.89/11.51 c (10,10) 19690 (30 %) CSP clauses are encoded (48846 SAT variables, 86008 SAT clauses)
29.89/11.54 c (11,10) 26253 (40 %) CSP clauses are encoded (48846 SAT variables, 92571 SAT clauses)
29.89/11.58 c (11,10) 32816 (50 %) CSP clauses are encoded (48846 SAT variables, 99134 SAT clauses)
30.04/11.62 c (11,10) 39380 (60 %) CSP clauses are encoded (48846 SAT variables, 105698 SAT clauses)
30.04/11.66 c (11,10) 45943 (70 %) CSP clauses are encoded (48846 SAT variables, 112261 SAT clauses)
30.04/11.69 c (11,11) 52506 (80 %) CSP clauses are encoded (48846 SAT variables, 118824 SAT clauses)
30.35/11.97 c (11,11) 59069 (90 %) CSP clauses are encoded (48846 SAT variables, 205541 SAT clauses)
30.64/12.14 c (11,11) 65632 (100 %) CSP clauses are encoded (48846 SAT variables, 233506 SAT clauses)
30.64/12.14 c (11,11) CSPinCNF to SatSolver End
30.64/12.14 c (11,11) Heap : 1702 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
31.48/12.45 c (11,11) STATISTICS2:HOME/instance-4294141-1532350411.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,38385,65632,256,12,4,9,256:66;144:44;128:132;72:132;64:66;40:1386;25:1980;16:3036;2:19331,12:264;9:396;8:264;5:11616;2:150020,4:1291;3:7676;2:34524;1:22141,9:66;8:132;5:4554;3:2090;2:19331;1:93208,
31.48/12.45 c (11,11) SatSolver.solve Begin
31.48/12.45 c (11,11) 48846 bool, 233507 clause
31.48/12.45 c (11,11) 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-4294141-1532350411.xml-scop-8531.cnf HOME/instance-4294141-1532350411.xml-scop-8531.cnf.out
1787.47/1767.30 c (1766,0) receiving signal SIGTERM
1787.47/1767.30 s UNKNOWN
1787.47/1767.30 c (1766,11) SatSolver is killed by some reasons.
1787.47/1767.30 c (1766,11) 2,2,9,9,10,10,11,TO,TO,STOP-AFTER(DIMACS)
1787.47/1767.30 c END-Prog: Mon Jul 23 15:22:59 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 (1188 MiB free)
memory of node 1: 16384 MiB (11579 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294141-1532350411/watcher-4294141-1532350411 -o /tmp/evaluation-result-4294141-1532350411/solver-4294141-1532350411 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2303 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294141-1532350411.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=8531, runsolver pid=8528
[startup+0.100135 s]*
/proc/loadavg: 2.00 2.03 2.06 3/221 8546
/proc/meminfo: memFree=13014308/32770624 swapFree=67108860/67108860
[pid=8531] ppid=8528 vsize=15011656 memory=73176 CPUtime=0.11 cores=1,3,5,7
/proc/8531/stat : 8531 (java) S 8528 8531 2271 0 -1 1077944320 6454 0 0 0 10 1 0 0 20 0 15 0 52604288 15371935744 18294 33554432000 4194304 4196468 140727189044320 140727189026864 139671537024759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
/proc/8531/statm: 3752914 18294 2782 1 0 3715374 0
[pid=8531/tid=8533] ppid=8528 vsize=15011656 memory=4714880276988269459 CPUtime=0.09 cores=1,3,5,7
/proc/8531/task/8533/stat : 8533 (java) R 8528 8531 2271 0 -1 4202560 4727 0 0 0 8 1 0 0 20 0 15 0 52604289 15371935744 18492 33554432000 4194304 4196468 140727189044320 139671508819920 139671517300508 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8534] ppid=8528 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8534/stat : 8534 (java) S 8528 8531 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52604290 15371935744 18492 33554432000 4194304 4196468 140727189044320 139671541267216 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8535] ppid=8528 vsize=15011656 memory=140277909128832 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8535/stat : 8535 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604290 15371935744 18492 33554432000 4194304 4196468 140727189044320 139671332350864 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8536] ppid=8528 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8536/stat : 8536 (java) S 8528 8531 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52604290 15371935744 18492 33554432000 4194304 4196468 140727189044320 139671331298320 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8537] ppid=8528 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8537/stat : 8537 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604290 15371935744 18492 33554432000 4194304 4196468 140727189044320 139670995680400 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8538] ppid=8528 vsize=15011656 memory=140277909128832 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8538/stat : 8538 (java) S 8528 8531 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52604292 15371935744 18492 33554432000 4194304 4196468 140727189044320 139670507845616 139671537035906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8539] ppid=8528 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8539/stat : 8539 (java) S 8528 8531 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52604292 15371935744 18492 33554432000 4194304 4196468 140727189044320 139670121866144 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8540] ppid=8528 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8540/stat : 8540 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604293 15371935744 18492 33554432000 4194304 4196468 140727189044320 139669853430768 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8541] ppid=8528 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8541/stat : 8541 (java) S 8528 8531 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52604295 15371935744 18492 33554432000 4194304 4196468 140727189044320 139669478922448 139671537043355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8542] ppid=8528 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8542/stat : 8542 (java) S 8528 8531 2271 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 52604295 15371935744 18492 33554432000 4194304 4196468 140727189044320 139670506793456 139671537035906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8543] ppid=8528 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8543/stat : 8543 (java) S 8528 8531 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52604295 15371935744 18492 33554432000 4194304 4196468 140727189044320 139670505740912 139671537035906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8544] ppid=8528 vsize=15011656 memory=140277909128832 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8544/stat : 8544 (java) S 8528 8531 2271 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 52604295 15371935744 18558 33554432000 4194304 4196468 140727189044320 139670504688368 139671537035906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8545] ppid=8528 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8545/stat : 8545 (java) S 8528 8531 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52604295 15371935744 18558 33554432000 4194304 4196468 140727189044320 139668981017696 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8546] ppid=8528 vsize=15011656 memory=140277909128832 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8546/stat : 8546 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604295 15371935744 18558 33554432000 4194304 4196468 140727189044320 139670503635248 139671537035906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73176 KiB
[startup+0.210461 s]*
/proc/loadavg: 2.00 2.03 2.06 3/221 8546
/proc/meminfo: memFree=12999088/32770624 swapFree=67108860/67108860
[pid=8531] ppid=8528 vsize=15011656 memory=86012 CPUtime=0.26 cores=1,3,5,7
/proc/8531/stat : 8531 (java) S 8528 8531 2271 0 -1 1077944320 9858 0 0 0 24 2 0 0 20 0 15 0 52604288 15371935744 21503 33554432000 4194304 4196468 140727189044320 140727189026864 139671537024759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
/proc/8531/statm: 3752914 21503 2934 1 0 3715374 0
[pid=8531/tid=8533] ppid=8528 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/8531/task/8533/stat : 8533 (java) R 8528 8531 2271 0 -1 4202560 7743 0 0 0 18 2 0 0 20 0 15 0 52604289 15371935744 21503 33554432000 4194304 4196468 140727189044320 139671508850416 139671521105246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8534] ppid=8528 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8534/stat : 8534 (java) S 8528 8531 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52604290 15371935744 21503 33554432000 4194304 4196468 140727189044320 139671541267216 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8535] ppid=8528 vsize=15011656 memory=13988855434020504 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8535/stat : 8535 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604290 15371935744 21503 33554432000 4194304 4196468 140727189044320 139671332350864 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8536] ppid=8528 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8536/stat : 8536 (java) S 8528 8531 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52604290 15371935744 21503 33554432000 4194304 4196468 140727189044320 139671331298320 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8537] ppid=8528 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8537/stat : 8537 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604290 15371935744 21503 33554432000 4194304 4196468 140727189044320 139670995680400 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8538] ppid=8528 vsize=15011656 memory=140277909128832 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8538/stat : 8538 (java) S 8528 8531 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52604292 15371935744 21503 33554432000 4194304 4196468 140727189044320 139670507845616 139671537035906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8539] ppid=8528 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8539/stat : 8539 (java) S 8528 8531 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52604292 15371935744 21503 33554432000 4194304 4196468 140727189044320 139670121866144 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8540] ppid=8528 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8540/stat : 8540 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604293 15371935744 21503 33554432000 4194304 4196468 140727189044320 139669853430768 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8541] ppid=8528 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8541/stat : 8541 (java) S 8528 8531 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52604295 15371935744 21503 33554432000 4194304 4196468 140727189044320 139669478922448 139671537043355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8542] ppid=8528 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8531/task/8542/stat : 8542 (java) R 8528 8531 2271 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 15 0 52604295 15371935744 21503 33554432000 4194304 4196468 140727189044320 139670506793456 139671537035906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8543] ppid=8528 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8543/stat : 8543 (java) R 8528 8531 2271 0 -1 4202560 144 0 0 0 0 0 0 0 20 0 15 0 52604295 15371935744 21503 33554432000 4194304 4196468 140727189044320 139670505740912 139671516187920 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8544] ppid=8528 vsize=15011656 memory=140277909128832 CPUtime=0.03 cores=1,3,5,7
/proc/8531/task/8544/stat : 8544 (java) S 8528 8531 2271 0 -1 1077944384 299 0 0 0 3 0 0 0 20 0 15 0 52604295 15371935744 21503 33554432000 4194304 4196468 140727189044320 139670504688368 139671537035906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8545] ppid=8528 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8545/stat : 8545 (java) S 8528 8531 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52604295 15371935744 21503 33554432000 4194304 4196468 140727189044320 139668981017696 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8546] ppid=8528 vsize=15011656 memory=140277909128832 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8546/stat : 8546 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604295 15371935744 21503 33554432000 4194304 4196468 140727189044320 139670503635248 139671537035906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86012 KiB
[startup+0.310553 s]*
/proc/loadavg: 2.00 2.03 2.06 3/221 8546
/proc/meminfo: memFree=12996048/32770624 swapFree=67108860/67108860
[pid=8531] ppid=8528 vsize=15011656 memory=89636 CPUtime=0.44 cores=1,3,5,7
/proc/8531/stat : 8531 (java) S 8528 8531 2271 0 -1 1077944320 10473 0 0 0 41 3 0 0 20 0 15 0 52604288 15371935744 22409 33554432000 4194304 4196468 140727189044320 140727189026864 139671537024759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
/proc/8531/statm: 3752914 22409 2985 1 0 3715374 0
[pid=8531/tid=8533] ppid=8528 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/8531/task/8533/stat : 8533 (java) R 8528 8531 2271 0 -1 4202560 8178 0 0 0 28 2 0 0 20 0 15 0 52604289 15371935744 22409 33554432000 4194304 4196468 140727189044320 139671508852384 139671521105246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8534] ppid=8528 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8534/stat : 8534 (java) S 8528 8531 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52604290 15371935744 22409 33554432000 4194304 4196468 140727189044320 139671541267216 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8535] ppid=8528 vsize=15011656 memory=13848577524976439 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8535/stat : 8535 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604290 15371935744 22409 33554432000 4194304 4196468 140727189044320 139671332350864 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8536] ppid=8528 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8536/stat : 8536 (java) S 8528 8531 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52604290 15371935744 22409 33554432000 4194304 4196468 140727189044320 139671331298320 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8537] ppid=8528 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8537/stat : 8537 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604290 15371935744 22409 33554432000 4194304 4196468 140727189044320 139670995680400 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8538] ppid=8528 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8538/stat : 8538 (java) S 8528 8531 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52604292 15371935744 22409 33554432000 4194304 4196468 140727189044320 139670507845616 139671537035906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8539] ppid=8528 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8539/stat : 8539 (java) S 8528 8531 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52604292 15371935744 22409 33554432000 4194304 4196468 140727189044320 139670121866144 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8540] ppid=8528 vsize=15011656 memory=140277909128832 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8540/stat : 8540 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604293 15371935744 22409 33554432000 4194304 4196468 140727189044320 139669853430768 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8541] ppid=8528 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8541/stat : 8541 (java) S 8528 8531 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52604295 15371935744 22409 33554432000 4194304 4196468 140727189044320 139669478922448 139671537043355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8542] ppid=8528 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8531/task/8542/stat : 8542 (java) S 8528 8531 2271 0 -1 1077944384 461 0 0 0 3 0 0 0 20 0 15 0 52604295 15371935744 22409 33554432000 4194304 4196468 140727189044320 139670506793456 139671537035906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8543] ppid=8528 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/8531/task/8543/stat : 8543 (java) S 8528 8531 2271 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 15 0 52604295 15371935744 22409 33554432000 4194304 4196468 140727189044320 139670505740912 139671537035906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8544] ppid=8528 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8531/task/8544/stat : 8544 (java) R 8528 8531 2271 0 -1 4202560 341 0 0 0 7 0 0 0 20 0 15 0 52604295 15371935744 22409 33554432000 4194304 4196468 140727189044320 139670504684096 139671515992872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8545] ppid=8528 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8545/stat : 8545 (java) S 8528 8531 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52604295 15371935744 22409 33554432000 4194304 4196468 140727189044320 139668981017696 139671537034965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8546] ppid=8528 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8546/stat : 8546 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604295 15371935744 22409 33554432000 4194304 4196468 140727189044320 139670503635248 139671537035906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89636 KiB
[startup+0.705387 s]
/proc/loadavg: 2.00 2.03 2.06 3/221 8546
/proc/meminfo: memFree=12971368/32770624 swapFree=67108860/67108860
[pid=8531] ppid=8528 vsize=15017928 memory=131884 CPUtime=1.07 cores=1,3,5,7
/proc/8531/stat : 8531 (java) S 8528 8531 2271 0 -1 1077944320 17599 0 0 0 102 5 0 0 20 0 15 0 52604288 15378358272 32971 33554432000 4194304 4196468 140727189044320 140727189026864 139671537024759 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
/proc/8531/statm: 3754482 32971 3155 1 0 3715886 0
[pid=8531/tid=8533] ppid=8528 vsize=15017928 memory=796 CPUtime=0.68 cores=1,3,5,7
/proc/8531/task/8533/stat : 8533 (java) R 8528 8531 2271 0 -1 4202560 14662 0 0 0 64 4 0 0 20 0 15 0 52604289 15378358272 32971 33554432000 4194304 4196468 140727189044320 139671508862480 139671011099436 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8534] ppid=8528 vsize=15017928 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8534/stat : 8534 (java) S 8528 8531 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52604290 15378358272 32971 33554432000 4194304 4196468 140727189044320 139671541267216 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8535] ppid=8528 vsize=15017928 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8535/stat : 8535 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604290 15378358272 32971 33554432000 4194304 4196468 140727189044320 139671332350864 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8536] ppid=8528 vsize=15017928 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8536/stat : 8536 (java) S 8528 8531 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52604290 15378358272 32971 33554432000 4194304 4196468 140727189044320 139671331298320 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8537] ppid=8528 vsize=15017928 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8537/stat : 8537 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604290 15378358272 32971 33554432000 4194304 4196468 140727189044320 139670995680400 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8538] ppid=8528 vsize=15017928 memory=280555585578784 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8538/stat : 8538 (java) S 8528 8531 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 52604292 15378358272 32971 33554432000 4194304 4196468 140727189044320 139670507845616 139671537035906 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8539] ppid=8528 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8539/stat : 8539 (java) S 8528 8531 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52604292 15378358272 32971 33554432000 4194304 4196468 140727189044320 139670121866144 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8540] ppid=8528 vsize=15017928 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8540/stat : 8540 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604293 15378358272 32971 33554432000 4194304 4196468 140727189044320 139669853430768 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8541] ppid=8528 vsize=15017928 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8541/stat : 8541 (java) S 8528 8531 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52604295 15378358272 32971 33554432000 4194304 4196468 140727189044320 139669478922448 139671537043355 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8542] ppid=8528 vsize=15017928 memory=8380 CPUtime=0.11 cores=1,3,5,7
/proc/8531/task/8542/stat : 8542 (java) R 8528 8531 2271 0 -1 4202560 687 0 0 0 11 0 0 0 20 0 15 0 52604295 15378358272 32971 33554432000 4194304 4196468 140727189044320 139670506786480 139671518609223 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8543] ppid=8528 vsize=15017928 memory=7307210974946176466 CPUtime=0.07 cores=1,3,5,7
/proc/8531/task/8543/stat : 8543 (java) R 8528 8531 2271 0 -1 4202560 370 0 0 0 7 0 0 0 20 0 15 0 52604295 15378358272 32971 33554432000 4194304 4196468 140727189044320 139670505722024 139671520518967 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8544] ppid=8528 vsize=15017928 memory=7302135314614015847 CPUtime=0.18 cores=1,3,5,7
/proc/8531/task/8544/stat : 8544 (java) R 8528 8531 2271 0 -1 4202560 538 0 0 0 18 0 0 0 20 0 15 0 52604295 15378358272 32971 33554432000 4194304 4196468 140727189044320 139670504684096 139671529261886 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8545] ppid=8528 vsize=15017928 memory=7885635084775281008 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8545/stat : 8545 (java) S 8528 8531 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52604295 15378358272 32971 33554432000 4194304 4196468 140727189044320 139668981017696 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8546] ppid=8528 vsize=15017928 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8546/stat : 8546 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604295 15378358272 32971 33554432000 4194304 4196468 140727189044320 139670503635248 139671537035906 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131884 KiB
[startup+1.50143 s]
/proc/loadavg: 2.00 2.03 2.06 5/221 8546
/proc/meminfo: memFree=12894336/32770624 swapFree=67108860/67108860
[pid=8531] ppid=8528 vsize=15022100 memory=253692 CPUtime=3.38 cores=1,3,5,7
/proc/8531/stat : 8531 (java) S 8528 8531 2271 0 -1 1077944320 20461 0 0 0 329 9 0 0 20 0 15 0 52604288 15382630400 63423 33554432000 4194304 4196468 140727189044320 140727189026864 139671537024759 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
/proc/8531/statm: 3755525 63423 3206 1 0 3716910 0
[pid=8531/tid=8533] ppid=8528 vsize=15022100 memory=288230377108275491 CPUtime=1.47 cores=1,3,5,7
/proc/8531/task/8533/stat : 8533 (java) R 8528 8531 2271 0 -1 4202560 15457 0 0 0 141 6 0 0 20 0 15 0 52604289 15382630400 63423 33554432000 4194304 4196468 140727189044320 139671508859648 139671016797593 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8534] ppid=8528 vsize=15022100 memory=288293289789228285 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8534/stat : 8534 (java) S 8528 8531 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52604290 15382630400 63423 33554432000 4194304 4196468 140727189044320 139671541267216 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8535] ppid=8528 vsize=15022100 memory=288285580272600099 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8535/stat : 8535 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604290 15382630400 63423 33554432000 4194304 4196468 140727189044320 139671332350864 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8536] ppid=8528 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8536/stat : 8536 (java) S 8528 8531 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52604290 15382630400 63423 33554432000 4194304 4196468 140727189044320 139671331298320 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8537] ppid=8528 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8537/stat : 8537 (java) S 8528 8531 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52604290 15382630400 63423 33554432000 4194304 4196468 140727189044320 139670995680400 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8538] ppid=8528 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8538/stat : 8538 (java) S 8528 8531 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 52604292 15382630400 63423 33554432000 4194304 4196468 140727189044320 139670507845616 139671537035906 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
################
# More data... #
################
/proc/meminfo: memFree=9782832/32770624 swapFree=67108860/67108860
[pid=8531] ppid=8528 vsize=15683912 memory=3131396 CPUtime=32.51 cores=1,3,5,7
/proc/8531/stat : 8531 (java) S 8528 8531 2271 0 -1 1077944320 42071 0 0 0 3151 100 0 0 20 0 19 0 52604288 16060325888 782849 33554432000 4194304 4196468 140727189044320 140727189026864 139671537024759 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
/proc/8531/statm: 3920978 782849 3247 1 0 3881834 0
[pid=8547] ppid=8531 vsize=157600 memory=139632 CPUtime=1709.94 cores=1,3,5,7
/proc/8547/stat : 8547 (minisat_release) R 8531 8531 2271 0 -1 4202496 165278 0 0 0 170981 13 0 0 20 0 1 0 52605535 161382400 34908 33554432000 4194304 4308513 140733187479824 140733187476824 140444911014850 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 40198144 140733187482289 140733187482798 140733187482798 140733187485637 0
/proc/8547/statm: 39400 34908 353 28 0 35640 0
[pid=8531/tid=8533] ppid=8528 vsize=15683912 memory=3131396 CPUtime=12.35 cores=1,3,5,7
/proc/8531/task/8533/stat : 8533 (java) S 8528 8531 2271 0 -1 1077944384 20350 0 0 0 1185 50 0 0 20 0 19 0 52604289 16060325888 782849 33554432000 4194304 4196468 140727189044320 139671508864000 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8534] ppid=8528 vsize=15683912 memory=3131396 CPUtime=0.11 cores=1,3,5,7
/proc/8531/task/8534/stat : 8534 (java) S 8528 8531 2271 0 -1 1077944384 78 0 0 0 9 2 0 0 20 0 19 0 52604290 16060325888 782849 33554432000 4194304 4196468 140727189044320 139671541267216 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8535] ppid=8528 vsize=15683912 memory=3131396 CPUtime=0.1 cores=1,3,5,7
/proc/8531/task/8535/stat : 8535 (java) S 8528 8531 2271 0 -1 1077944384 41 0 0 0 8 2 0 0 20 0 19 0 52604290 16060325888 782849 33554432000 4194304 4196468 140727189044320 139671332350864 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8536] ppid=8528 vsize=15683912 memory=3131396 CPUtime=0.1 cores=1,3,5,7
/proc/8531/task/8536/stat : 8536 (java) S 8528 8531 2271 0 -1 1077944384 76 0 0 0 8 2 0 0 20 0 19 0 52604290 16060325888 782849 33554432000 4194304 4196468 140727189044320 139671331298320 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8537] ppid=8528 vsize=15683912 memory=3131396 CPUtime=0.11 cores=1,3,5,7
/proc/8531/task/8537/stat : 8537 (java) S 8528 8531 2271 0 -1 1077944384 103 0 0 0 9 2 0 0 20 0 19 0 52604290 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670995680400 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8538] ppid=8528 vsize=15683912 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8531/task/8538/stat : 8538 (java) S 8528 8531 2271 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 19 0 52604292 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670507845616 139671537035906 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8539] ppid=8528 vsize=15683912 memory=3131396 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8539/stat : 8539 (java) S 8528 8531 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 52604292 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670121866144 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8540] ppid=8528 vsize=15683912 memory=139632 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8540/stat : 8540 (java) S 8528 8531 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52604293 16060325888 782849 33554432000 4194304 4196468 140727189044320 139669853430768 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8541] ppid=8528 vsize=15683912 memory=3131396 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8541/stat : 8541 (java) S 8528 8531 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139669478922448 139671537043355 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8542] ppid=8528 vsize=15683912 memory=139632 CPUtime=8.78 cores=1,3,5,7
/proc/8531/task/8542/stat : 8542 (java) S 8528 8531 2271 0 -1 1077944384 6852 0 0 0 877 1 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670506793456 139671537035906 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8543] ppid=8528 vsize=15683912 memory=139632 CPUtime=8.15 cores=1,3,5,7
/proc/8531/task/8543/stat : 8543 (java) S 8528 8531 2271 0 -1 1077944384 6391 0 0 0 813 2 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670505740912 139671537035906 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8544] ppid=8528 vsize=15683912 memory=3131396 CPUtime=2.05 cores=1,3,5,7
/proc/8531/task/8544/stat : 8544 (java) S 8528 8531 2271 0 -1 1077944384 6651 0 0 0 202 3 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670504688368 139671537035906 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8545] ppid=8528 vsize=15683912 memory=3131396 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8545/stat : 8545 (java) S 8528 8531 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139668981017696 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8546] ppid=8528 vsize=15683912 memory=139632 CPUtime=0.64 cores=1,3,5,7
/proc/8531/task/8546/stat : 8546 (java) S 8528 8531 2271 0 -1 1077944384 115 0 0 0 29 35 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670503635248 139671537035906 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8548] ppid=8528 vsize=15683912 memory=139632 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8548/stat : 8548 (java) S 8528 8531 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52605536 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670485603392 139671537049369 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8550] ppid=8528 vsize=15683912 memory=3131396 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8550/stat : 8550 (java) S 8528 8531 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 52605537 16060325888 782849 33554432000 4194304 4196468 140727189044320 139668444130864 139671537046685 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8551] ppid=8528 vsize=15683912 memory=3131396 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8551/stat : 8551 (java) S 8528 8531 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 52605537 16060325888 782849 33554432000 4194304 4196468 140727189044320 139668309909168 139671537046685 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8552] ppid=8528 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8552/stat : 8552 (java) S 8528 8531 2271 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 52605540 16060325888 782849 33554432000 4194304 4196468 140727189044320 139668578360864 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
Current children cumulated CPU time: 1742.45 s
Current children cumulated vsize: 15841512 KiB
Current children cumulated memory: 3271028 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1767.3 s]
/proc/loadavg: 2.18 2.06 2.06 3/202 8825
/proc/meminfo: memFree=13022476/32770624 swapFree=67108860/67108860
[pid=8531] ppid=8528 vsize=15683912 memory=3131396 CPUtime=32.53 cores=1,3,5,7
/proc/8531/stat : 8531 (java) S 8528 8531 2271 0 -1 1077944320 42075 0 0 0 3152 101 0 0 20 0 19 0 52604288 16060325888 782849 33554432000 4194304 4196468 140727189044320 140727189026864 139671537024759 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
/proc/8531/statm: 3920978 782849 3247 1 0 3881834 0
[pid=8547] ppid=8531 vsize=192644 memory=146128 CPUtime=1754.94 cores=1,3,5,7
/proc/8547/stat : 8547 (minisat_release) R 8531 8531 2271 0 -1 4202496 173491 0 0 0 175481 13 0 0 20 0 1 0 52605535 197267456 36532 33554432000 4194304 4308513 140733187479824 140733187476824 140444905319969 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 40198144 140733187482289 140733187482798 140733187482798 140733187485637 0
/proc/8547/statm: 48161 36532 353 28 0 44401 0
[pid=8531/tid=8533] ppid=8528 vsize=15683912 memory=3131396 CPUtime=12.35 cores=1,3,5,7
/proc/8531/task/8533/stat : 8533 (java) S 8528 8531 2271 0 -1 1077944384 20350 0 0 0 1185 50 0 0 20 0 19 0 52604289 16060325888 782849 33554432000 4194304 4196468 140727189044320 139671508864000 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8534] ppid=8528 vsize=15683912 memory=3131396 CPUtime=0.11 cores=1,3,5,7
/proc/8531/task/8534/stat : 8534 (java) S 8528 8531 2271 0 -1 1077944384 78 0 0 0 9 2 0 0 20 0 19 0 52604290 16060325888 782849 33554432000 4194304 4196468 140727189044320 139671541267216 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8535] ppid=8528 vsize=15683912 memory=143900 CPUtime=0.1 cores=1,3,5,7
/proc/8531/task/8535/stat : 8535 (java) S 8528 8531 2271 0 -1 1077944384 41 0 0 0 8 2 0 0 20 0 19 0 52604290 16060325888 782849 33554432000 4194304 4196468 140727189044320 139671332350864 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8536] ppid=8528 vsize=15683912 memory=3131396 CPUtime=0.1 cores=1,3,5,7
/proc/8531/task/8536/stat : 8536 (java) S 8528 8531 2271 0 -1 1077944384 76 0 0 0 8 2 0 0 20 0 19 0 52604290 16060325888 782849 33554432000 4194304 4196468 140727189044320 139671331298320 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8537] ppid=8528 vsize=15683912 memory=3131396 CPUtime=0.11 cores=1,3,5,7
/proc/8531/task/8537/stat : 8537 (java) S 8528 8531 2271 0 -1 1077944384 103 0 0 0 9 2 0 0 20 0 19 0 52604290 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670995680400 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8538] ppid=8528 vsize=15683912 memory=920 CPUtime=0.03 cores=1,3,5,7
/proc/8531/task/8538/stat : 8538 (java) S 8528 8531 2271 0 -1 1077944384 24 0 0 0 1 2 0 0 20 0 19 0 52604292 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670507845616 139671537035906 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8539] ppid=8528 vsize=15683912 memory=66 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8539/stat : 8539 (java) S 8528 8531 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 52604292 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670121866144 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8540] ppid=8528 vsize=15683912 memory=280555586965936 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8540/stat : 8540 (java) S 8528 8531 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52604293 16060325888 782849 33554432000 4194304 4196468 140727189044320 139669853430768 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8541] ppid=8528 vsize=15683912 memory=3131396 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8541/stat : 8541 (java) S 8528 8531 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139669478922448 139671537043355 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8542] ppid=8528 vsize=15683912 memory=7528 CPUtime=8.78 cores=1,3,5,7
/proc/8531/task/8542/stat : 8542 (java) S 8528 8531 2271 0 -1 1077944384 6852 0 0 0 877 1 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670506793456 139671537035906 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8543] ppid=8528 vsize=15683912 memory=844 CPUtime=8.15 cores=1,3,5,7
/proc/8531/task/8543/stat : 8543 (java) S 8528 8531 2271 0 -1 1077944384 6391 0 0 0 813 2 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670505740912 139671537035906 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8544] ppid=8528 vsize=15683912 memory=143900 CPUtime=2.05 cores=1,3,5,7
/proc/8531/task/8544/stat : 8544 (java) S 8528 8531 2271 0 -1 1077944384 6651 0 0 0 202 3 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670504688368 139671537035906 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8545] ppid=8528 vsize=15683912 memory=796 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8545/stat : 8545 (java) S 8528 8531 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139668981017696 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8546] ppid=8528 vsize=15683912 memory=4616 CPUtime=0.66 cores=1,3,5,7
/proc/8531/task/8546/stat : 8546 (java) S 8528 8531 2271 0 -1 1077944384 119 0 0 0 30 36 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670503635248 139671537035906 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8548] ppid=8528 vsize=15683912 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8548/stat : 8548 (java) S 8528 8531 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52605536 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670485603392 139671537049369 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8550] ppid=8528 vsize=15683912 memory=17024 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8550/stat : 8550 (java) S 8528 8531 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 52605537 16060325888 782849 33554432000 4194304 4196468 140727189044320 139668444130864 139671537046685 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8551] ppid=8528 vsize=15683912 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8551/stat : 8551 (java) S 8528 8531 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 52605537 16060325888 782849 33554432000 4194304 4196468 140727189044320 139668309909168 139671537046685 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8552] ppid=8528 vsize=15683912 memory=17024 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8552/stat : 8552 (java) S 8528 8531 2271 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 52605540 16060325888 782849 33554432000 4194304 4196468 140727189044320 139668578360864 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
Current children cumulated CPU time: 1787.47 s
Current children cumulated vsize: 15876556 KiB
Current children cumulated memory: 3277524 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1767.34 s]
# the end of solver process 8531 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1786.35 s, system=1.17217 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1767.3 s]
/proc/loadavg: 2.18 2.06 2.06 3/202 8825
/proc/meminfo: memFree=13022476/32770624 swapFree=67108860/67108860
[pid=8531] ppid=8528 vsize=15683912 memory=3131396 CPUtime=32.53 cores=1,3,5,7
/proc/8531/stat : 8531 (java) S 8528 8531 2271 0 -1 1077944320 42075 0 0 0 3152 101 0 0 20 0 19 0 52604288 16060325888 782849 33554432000 4194304 4196468 140727189044320 140727189026864 139671537024759 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
/proc/8531/statm: 3920978 782849 3247 1 0 3881834 0
[pid=8547] ppid=8531 vsize=192644 memory=146128 CPUtime=1754.94 cores=1,3,5,7
/proc/8547/stat : 8547 (minisat_release) R 8531 8531 2271 0 -1 4202496 173491 0 0 0 175481 13 0 0 20 0 1 0 52605535 197267456 36532 33554432000 4194304 4308513 140733187479824 140733187476824 140444905319969 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 40198144 140733187482289 140733187482798 140733187482798 140733187485637 0
/proc/8547/statm: 48161 36532 353 28 0 44401 0
[pid=8531/tid=8533] ppid=8528 vsize=15683912 memory=3131396 CPUtime=12.35 cores=1,3,5,7
/proc/8531/task/8533/stat : 8533 (java) S 8528 8531 2271 0 -1 1077944384 20350 0 0 0 1185 50 0 0 20 0 19 0 52604289 16060325888 782849 33554432000 4194304 4196468 140727189044320 139671508864000 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8534] ppid=8528 vsize=15683912 memory=3131396 CPUtime=0.11 cores=1,3,5,7
/proc/8531/task/8534/stat : 8534 (java) S 8528 8531 2271 0 -1 1077944384 78 0 0 0 9 2 0 0 20 0 19 0 52604290 16060325888 782849 33554432000 4194304 4196468 140727189044320 139671541267216 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8535] ppid=8528 vsize=15683912 memory=143900 CPUtime=0.1 cores=1,3,5,7
/proc/8531/task/8535/stat : 8535 (java) S 8528 8531 2271 0 -1 1077944384 41 0 0 0 8 2 0 0 20 0 19 0 52604290 16060325888 782849 33554432000 4194304 4196468 140727189044320 139671332350864 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8536] ppid=8528 vsize=15683912 memory=3131396 CPUtime=0.1 cores=1,3,5,7
/proc/8531/task/8536/stat : 8536 (java) S 8528 8531 2271 0 -1 1077944384 76 0 0 0 8 2 0 0 20 0 19 0 52604290 16060325888 782849 33554432000 4194304 4196468 140727189044320 139671331298320 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8537] ppid=8528 vsize=15683912 memory=3131396 CPUtime=0.11 cores=1,3,5,7
/proc/8531/task/8537/stat : 8537 (java) S 8528 8531 2271 0 -1 1077944384 103 0 0 0 9 2 0 0 20 0 19 0 52604290 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670995680400 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8538] ppid=8528 vsize=15683912 memory=920 CPUtime=0.03 cores=1,3,5,7
/proc/8531/task/8538/stat : 8538 (java) S 8528 8531 2271 0 -1 1077944384 24 0 0 0 1 2 0 0 20 0 19 0 52604292 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670507845616 139671537035906 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8539] ppid=8528 vsize=15683912 memory=66 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8539/stat : 8539 (java) S 8528 8531 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 52604292 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670121866144 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8540] ppid=8528 vsize=15683912 memory=280555586965936 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8540/stat : 8540 (java) S 8528 8531 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52604293 16060325888 782849 33554432000 4194304 4196468 140727189044320 139669853430768 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8541] ppid=8528 vsize=15683912 memory=3131396 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8541/stat : 8541 (java) S 8528 8531 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139669478922448 139671537043355 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8542] ppid=8528 vsize=15683912 memory=7528 CPUtime=8.78 cores=1,3,5,7
/proc/8531/task/8542/stat : 8542 (java) S 8528 8531 2271 0 -1 1077944384 6852 0 0 0 877 1 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670506793456 139671537035906 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8543] ppid=8528 vsize=15683912 memory=844 CPUtime=8.15 cores=1,3,5,7
/proc/8531/task/8543/stat : 8543 (java) S 8528 8531 2271 0 -1 1077944384 6391 0 0 0 813 2 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670505740912 139671537035906 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8544] ppid=8528 vsize=15683912 memory=143900 CPUtime=2.05 cores=1,3,5,7
/proc/8531/task/8544/stat : 8544 (java) S 8528 8531 2271 0 -1 1077944384 6651 0 0 0 202 3 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670504688368 139671537035906 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8545] ppid=8528 vsize=15683912 memory=796 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8545/stat : 8545 (java) S 8528 8531 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139668981017696 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8546] ppid=8528 vsize=15683912 memory=4616 CPUtime=0.66 cores=1,3,5,7
/proc/8531/task/8546/stat : 8546 (java) S 8528 8531 2271 0 -1 1077944384 119 0 0 0 30 36 0 0 20 0 19 0 52604295 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670503635248 139671537035906 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8548] ppid=8528 vsize=15683912 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8548/stat : 8548 (java) S 8528 8531 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52605536 16060325888 782849 33554432000 4194304 4196468 140727189044320 139670485603392 139671537049369 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8550] ppid=8528 vsize=15683912 memory=17024 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8550/stat : 8550 (java) S 8528 8531 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 52605537 16060325888 782849 33554432000 4194304 4196468 140727189044320 139668444130864 139671537046685 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8551] ppid=8528 vsize=15683912 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8551/stat : 8551 (java) S 8528 8531 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 52605537 16060325888 782849 33554432000 4194304 4196468 140727189044320 139668309909168 139671537046685 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
[pid=8531/tid=8552] ppid=8528 vsize=15683912 memory=17024 CPUtime=0 cores=1,3,5,7
/proc/8531/task/8552/stat : 8552 (java) S 8528 8531 2271 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 52605540 16060325888 782849 33554432000 4194304 4196468 140727189044320 139668578360864 139671537034965 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37015552 140727189050355 140727189050633 140727189050633 140727189053391 0
Current children cumulated CPU time: 1787.47 s
Current children cumulated vsize: 15876556 KiB
Current children cumulated memory: 3277524 KiB
Child status: 1
Real time (s): 1767.34
CPU time (s): 1787.52
CPU user time (s): 1786.35
CPU system time (s): 1.17217
CPU usage (%): 101.142
Max. virtual memory (cumulated for all children) (KiB): 15876556
Max. memory (cumulated for all children) (KiB): 3277524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.35
system time used= 1.17217
maximum resident set size= 3135312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215654
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44093
involuntary context switches= 580
# summary of solver processes directly reported to runsolver:
# pid: 8531
# total CPU time (s): 1787.52
# total CPU user time (s): 1786.35
# total CPU system time (s): 1.17217
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.958 second user time and 17.6151 second system time
The end