0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Thu Jul 26 13:43:34 CEST 2018
0.66/0.54 c PID: 9544
0.66/0.54 c IP: 172.20.3.150
0.66/0.54 c HOST: node150.alineos.net
0.66/0.55 c (0,0) Parsing Begin
3.18/1.50 c (0,0) Parsing End
3.18/1.51 c (0,0) CSP: 780 int (0 aux), 0 bool (0 aux), 762 ctr, max domain size 400
3.18/1.51 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.18/1.51 c (0,0) Constraint Name Generate Begin
3.18/1.59 c (1,1) Ctr:HOME/instance-4295949-1532605414.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num
3.18/1.59 c (1,1) Constraint Name Generate End
3.18/1.59 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.18/1.59 c (1,1) CSP to CSPinCNF Begin
7.28/3.23 c (2,2) translated 77 (10%) constraints
8.09/4.05 c (3,3) translated 153 (20%) constraints
8.90/4.87 c (4,4) translated 229 (30%) constraints
9.72/5.68 c (5,5) translated 305 (40%) constraints
10.53/6.49 c (5,5) translated 381 (50%) constraints
10.63/6.53 c (6,5) translated 458 (60%) constraints
10.63/6.54 c (6,6) translated 534 (70%) constraints
10.63/6.55 c (6,6) translated 610 (80%) constraints
10.63/6.56 c (6,6) translated 686 (90%) constraints
10.63/6.56 c (6,6) translated 762 (100%) constraints
12.55/7.20 c (6,6) STATISTICS1:HOME/instance-4295949-1532605414.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,780,160080,400,400,20,3,400:760;20:6840;1:760,400:152380;20:161120;1:8460,20:80;3:152000;2:7600;1:400,3:760;2:7600;1:457640,
12.55/7.20 c (6,6) ===========================================
12.55/7.20 c (6,6) Order
12.55/7.20 c (6,6) ===========================================
15.91/8.34 c (7,7) translated 16008 (10%) constraints
16.98/9.16 c (8,8) translated 32016 (20%) constraints
17.81/9.95 c (9,9) translated 48024 (30%) constraints
18.63/10.75 c (10,10) translated 64032 (40%) constraints
19.50/11.54 c (11,10) translated 80040 (50%) constraints
20.42/12.33 c (11,11) translated 96048 (60%) constraints
21.24/13.12 c (12,12) translated 112056 (70%) constraints
22.07/13.92 c (13,13) translated 128064 (80%) constraints
22.93/14.71 c (14,14) translated 144072 (90%) constraints
25.38/15.92 c (15,14) translated 160080 (100%) constraints
25.38/15.93 c (15,14) CSP to CSPinCNF End
25.38/15.93 c (15,14) CSP: 780 int (0 aux), 8000 bool (8000 aux), 464480 ctr, max domain size 400
25.38/15.93 c (15,14) Heap : 483 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
25.38/15.94 c (15,14) CSPinCNF Propagation Begin
28.49/17.96 c (17,16) 1300 values, 20988 unsatisfiable literals, and 35280 valid clauses are removed
28.49/17.96 c (17,16) CSPinCNF Propagation End
28.49/17.96 c (17,16) CSP: 1240 int (460 aux), 7540 bool (7540 aux), 429200 ctr, max domain size 398
28.49/17.96 c (17,16) Heap : 2163 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
28.49/17.96 c (17,16) Simplify CSPinCNF Begin
29.90/18.80 c (18,17) Simplify CSPinCNF End
29.90/18.80 c (18,17) CSP: 1240 int (460 aux), 22580 bool (22580 aux), 444240 ctr, max domain size 398
29.90/18.80 c (18,17) Heap : 2607 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
29.90/18.80 c (18,17) Calculate Precise Domain Begin
29.90/18.80 c (18,17) 0 values are removed by re-calculation
29.90/18.80 c (18,17) Calculate Precise Domain End
29.90/18.81 c (18,17) CSP: 1240 int (460 aux), 22580 bool (22580 aux), 444240 ctr, max domain size 398
29.90/18.81 c (18,17) Heap : 2607 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
29.90/18.81 c (18,17) CSPinCNF to SatSolver Begin
33.79/20.30 c (19,18) 44424 (10 %) CSP clauses are encoded (178864 SAT variables, 455475 SAT clauses)
33.92/20.47 c (19,19) 88848 (20 %) CSP clauses are encoded (178864 SAT variables, 499899 SAT clauses)
34.12/20.63 c (20,19) 133272 (30 %) CSP clauses are encoded (178864 SAT variables, 544323 SAT clauses)
34.32/20.80 c (20,19) 177696 (40 %) CSP clauses are encoded (178864 SAT variables, 588747 SAT clauses)
34.42/20.96 c (20,19) 222120 (50 %) CSP clauses are encoded (178864 SAT variables, 633171 SAT clauses)
34.59/21.25 c (20,19) 266544 (60 %) CSP clauses are encoded (178864 SAT variables, 677595 SAT clauses)
34.79/21.42 c (20,19) 310968 (70 %) CSP clauses are encoded (178864 SAT variables, 722019 SAT clauses)
34.89/21.58 c (21,20) 355392 (80 %) CSP clauses are encoded (178864 SAT variables, 766443 SAT clauses)
35.09/21.75 c (21,20) 399816 (90 %) CSP clauses are encoded (178864 SAT variables, 810867 SAT clauses)
36.17/22.36 c (21,20) 444240 (100 %) CSP clauses are encoded (178864 SAT variables, 1150402 SAT clauses)
36.17/22.36 c (21,20) CSPinCNF to SatSolver End
36.17/22.36 c (21,20) Heap : 2516 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
38.41/23.49 c (22,21) STATISTICS2:HOME/instance-4295949-1532605414.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,23820,444240,400,398,18,3,400:612;361:136;324:12;20:9792;19:3464;18:424;1:1360,398:216512;397:26996;377:49764;376:1504;356:4272;20:246636;19:51952;18:4340;2:443788;1:1360,18:76;3:141628;2:301776;1:760,3:760;2:15040;1:1014764,
38.41/23.49 c (22,21) SatSolver.solve Begin
38.41/23.49 c (22,21) 178864 bool, 1150724 clause
38.41/23.49 c (22,21) 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-4295949-1532605414.xml-scop-9544.cnf HOME/instance-4295949-1532605414.xml-scop-9544.cnf.out
39.56/24.30 c (23,0) receiving signal SIGTERM
39.56/24.30 s UNKNOWN
39.56/24.31 c (23,21) SatSolver is killed by some reasons.
39.56/24.31 c (23,21) 0,1,15,17,18,18,21,TO,TO,STOP-AFTER(DIMACS)
39.56/24.31 c END-Prog: Thu Jul 26 13:43:58 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 (8731 MiB free)
memory of node 1: 16384 MiB (13985 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295949-1532605414/watcher-4295949-1532605414 -o /tmp/evaluation-result-4295949-1532605414/solver-4295949-1532605414 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532605409-9420 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295949-1532605414.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=9544, runsolver pid=9541
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 1.93 2.00 2.04 5/216 9559
/proc/meminfo: memFree=23131392/32770624 swapFree=67108860/67108860
[pid=9544] ppid=9541 vsize=15011656 memory=74664 CPUtime=0.11 cores=1,3,5,7
/proc/9544/stat : 9544 (java) S 9541 9544 8644 0 -1 1077944320 6336 0 0 0 9 2 0 0 20 0 15 0 78104629 15371935744 18666 33554432000 4194304 4196468 140725666664592 140725666647136 139875904737015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
/proc/9544/statm: 3752914 18666 2782 1 0 3715374 0
[pid=9544/tid=9546] ppid=9541 vsize=15011656 memory=-8680508467558839488 CPUtime=0.08 cores=1,3,5,7
/proc/9544/task/9546/stat : 9546 (java) R 9541 9544 8644 0 -1 4202560 4619 0 0 0 7 1 0 0 20 0 15 0 78104630 15371935744 18864 33554432000 4194304 4196468 140725666664592 139875876549000 139875885012775 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9547] ppid=9541 vsize=15011656 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9547/stat : 9547 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104631 15371935744 18864 33554432000 4194304 4196468 140725666664592 139875908979856 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9548] ppid=9541 vsize=15011656 memory=139802719733376 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9548/stat : 9548 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104631 15371935744 18864 33554432000 4194304 4196468 140725666664592 139875684682768 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9549] ppid=9541 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9549/stat : 9549 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104631 15371935744 18864 33554432000 4194304 4196468 140725666664592 139875683629968 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9550] ppid=9541 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9550/stat : 9550 (java) S 9541 9544 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104631 15371935744 18864 33554432000 4194304 4196468 140725666664592 139875682577168 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9551] ppid=9541 vsize=15011656 memory=139802719733376 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9551/stat : 9551 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104633 15371935744 18864 33554432000 4194304 4196468 140725666664592 139874942257520 139875904748162 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9552] ppid=9541 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9552/stat : 9552 (java) S 9541 9544 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78104633 15371935744 18930 33554432000 4194304 4196468 140725666664592 139874468357152 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9553] ppid=9541 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9553/stat : 9553 (java) S 9541 9544 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104633 15371935744 18930 33554432000 4194304 4196468 140725666664592 139874199921520 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9554] ppid=9541 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9554/stat : 9554 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104636 15371935744 18930 33554432000 4194304 4196468 140725666664592 139873825412944 139875904755611 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9555] ppid=9541 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9555/stat : 9555 (java) S 9541 9544 8644 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 78104636 15371935744 18930 33554432000 4194304 4196468 140725666664592 139874941205360 139875904748162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9556] ppid=9541 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9556/stat : 9556 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104636 15371935744 18930 33554432000 4194304 4196468 140725666664592 139874940152560 139875904748162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9557] ppid=9541 vsize=15011656 memory=139802719733376 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9557/stat : 9557 (java) S 9541 9544 8644 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 78104636 15371935744 18930 33554432000 4194304 4196468 140725666664592 139874871011952 139875904748162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9558] ppid=9541 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9558/stat : 9558 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104636 15371935744 18930 33554432000 4194304 4196468 140725666664592 139873327508192 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9559] ppid=9541 vsize=15011656 memory=139802719733376 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9559/stat : 9559 (java) S 9541 9544 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104636 15371935744 18930 33554432000 4194304 4196468 140725666664592 139874869959344 139875904748162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74664 KiB
[startup+0.210424 s]*
/proc/loadavg: 1.93 2.00 2.04 5/216 9559
/proc/meminfo: memFree=23095044/32770624 swapFree=67108860/67108860
[pid=9544] ppid=9541 vsize=15011656 memory=89192 CPUtime=0.25 cores=1,3,5,7
/proc/9544/stat : 9544 (java) S 9541 9544 8644 0 -1 1077944320 10184 0 0 0 23 2 0 0 20 0 15 0 78104629 15371935744 22298 33554432000 4194304 4196468 140725666664592 140725666647136 139875904737015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
/proc/9544/statm: 3752914 22298 2939 1 0 3715374 0
[pid=9544/tid=9546] ppid=9541 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/9544/task/9546/stat : 9546 (java) R 9541 9544 8644 0 -1 4202560 8082 0 0 0 18 2 0 0 20 0 15 0 78104630 15371935744 22298 33554432000 4194304 4196468 140725666664592 139875876562928 139875904748950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9547] ppid=9541 vsize=15011656 memory=343 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9547/stat : 9547 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104631 15371935744 22298 33554432000 4194304 4196468 140725666664592 139875908979856 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9548] ppid=9541 vsize=15011656 memory=139802719753625 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9548/stat : 9548 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104631 15371935744 22298 33554432000 4194304 4196468 140725666664592 139875684682768 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9549] ppid=9541 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9549/stat : 9549 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104631 15371935744 22298 33554432000 4194304 4196468 140725666664592 139875683629968 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9550] ppid=9541 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9550/stat : 9550 (java) S 9541 9544 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104631 15371935744 22298 33554432000 4194304 4196468 140725666664592 139875682577168 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9551] ppid=9541 vsize=15011656 memory=139802719733376 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9551/stat : 9551 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104633 15371935744 22298 33554432000 4194304 4196468 140725666664592 139874942257520 139875904748162 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9552] ppid=9541 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9552/stat : 9552 (java) S 9541 9544 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78104633 15371935744 22298 33554432000 4194304 4196468 140725666664592 139874468357152 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9553] ppid=9541 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9553/stat : 9553 (java) S 9541 9544 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104633 15371935744 22298 33554432000 4194304 4196468 140725666664592 139874199921520 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9554] ppid=9541 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9554/stat : 9554 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104636 15371935744 22298 33554432000 4194304 4196468 140725666664592 139873825412944 139875904755611 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9555] ppid=9541 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9544/task/9555/stat : 9555 (java) R 9541 9544 8644 0 -1 4202560 338 0 0 0 1 0 0 0 20 0 15 0 78104636 15371935744 22298 33554432000 4194304 4196468 140725666664592 139874941205360 139875882604832 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9556] ppid=9541 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9556/stat : 9556 (java) R 9541 9544 8644 0 -1 4202560 140 0 0 0 0 0 0 0 20 0 15 0 78104636 15371935744 22298 33554432000 4194304 4196468 140725666664592 139874940152560 139875883900176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9557] ppid=9541 vsize=15011656 memory=139802719733376 CPUtime=0.03 cores=1,3,5,7
/proc/9544/task/9557/stat : 9557 (java) R 9541 9544 8644 0 -1 1077944384 297 0 0 0 3 0 0 0 20 0 15 0 78104636 15371935744 22298 33554432000 4194304 4196468 140725666664592 139874871011952 139875904748162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9558] ppid=9541 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9558/stat : 9558 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104636 15371935744 22298 33554432000 4194304 4196468 140725666664592 139873327508192 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9559] ppid=9541 vsize=15011656 memory=139802719733376 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9559/stat : 9559 (java) S 9541 9544 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104636 15371935744 22298 33554432000 4194304 4196468 140725666664592 139874869959344 139875904748162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89192 KiB
[startup+0.310326 s]*
/proc/loadavg: 1.93 2.00 2.04 5/216 9559
/proc/meminfo: memFree=23065348/32770624 swapFree=67108860/67108860
[pid=9544] ppid=9541 vsize=15011656 memory=92296 CPUtime=0.42 cores=1,3,5,7
/proc/9544/stat : 9544 (java) S 9541 9544 8644 0 -1 1077944320 10646 0 0 0 39 3 0 0 20 0 15 0 78104629 15371935744 23074 33554432000 4194304 4196468 140725666664592 140725666647136 139875904737015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
/proc/9544/statm: 3752914 23074 2982 1 0 3715374 0
[pid=9544/tid=9546] ppid=9541 vsize=15011656 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/9544/task/9546/stat : 9546 (java) R 9541 9544 8644 0 -1 4202560 8387 0 0 0 27 2 0 0 20 0 15 0 78104630 15371935744 23074 33554432000 4194304 4196468 140725666664592 139875876566160 139875888817502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9547] ppid=9541 vsize=15011656 memory=4294977868 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9547/stat : 9547 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104631 15371935744 23074 33554432000 4194304 4196468 140725666664592 139875908979856 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9548] ppid=9541 vsize=15011656 memory=139802720194750 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9548/stat : 9548 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104631 15371935744 23074 33554432000 4194304 4196468 140725666664592 139875684682768 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9549] ppid=9541 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9549/stat : 9549 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104631 15371935744 23074 33554432000 4194304 4196468 140725666664592 139875683629968 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9550] ppid=9541 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9550/stat : 9550 (java) S 9541 9544 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104631 15371935744 23074 33554432000 4194304 4196468 140725666664592 139875682577168 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9551] ppid=9541 vsize=15011656 memory=139802719733376 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9551/stat : 9551 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104633 15371935744 23074 33554432000 4194304 4196468 140725666664592 139874942257520 139875904748162 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9552] ppid=9541 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9552/stat : 9552 (java) S 9541 9544 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78104633 15371935744 23074 33554432000 4194304 4196468 140725666664592 139874468357152 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9553] ppid=9541 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9553/stat : 9553 (java) S 9541 9544 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104633 15371935744 23074 33554432000 4194304 4196468 140725666664592 139874199921520 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9554] ppid=9541 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9554/stat : 9554 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104636 15371935744 23074 33554432000 4194304 4196468 140725666664592 139873825412944 139875904755611 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9555] ppid=9541 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9544/task/9555/stat : 9555 (java) R 9541 9544 8644 0 -1 1077944384 386 0 0 0 2 0 0 0 20 0 15 0 78104636 15371935744 23074 33554432000 4194304 4196468 140725666664592 139874941205360 139875904748162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9556] ppid=9541 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9544/task/9556/stat : 9556 (java) R 9541 9544 8644 0 -1 4202560 229 0 0 0 2 0 0 0 20 0 15 0 78104636 15371935744 23074 33554432000 4194304 4196468 140725666664592 139874940152560 139875882065024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9557] ppid=9541 vsize=15011656 memory=139802719733376 CPUtime=0.07 cores=1,3,5,7
/proc/9544/task/9557/stat : 9557 (java) R 9541 9544 8644 0 -1 4202560 316 0 0 0 7 0 0 0 20 0 15 0 78104636 15371935744 23074 33554432000 4194304 4196468 140725666664592 139874871011952 139875885381893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9558] ppid=9541 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9558/stat : 9558 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104636 15371935744 23074 33554432000 4194304 4196468 140725666664592 139873327508192 139875904747221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9559] ppid=9541 vsize=15011656 memory=139802719733376 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9559/stat : 9559 (java) R 9541 9544 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104636 15371935744 23074 33554432000 4194304 4196468 140725666664592 139874869959344 139875904748162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 92296 KiB
[startup+0.710756 s]
/proc/loadavg: 1.93 2.00 2.04 6/216 9559
/proc/meminfo: memFree=23004736/32770624 swapFree=67108860/67108860
[pid=9544] ppid=9541 vsize=15020052 memory=130184 CPUtime=1.02 cores=1,3,5,7
/proc/9544/stat : 9544 (java) S 9541 9544 8644 0 -1 1077944320 17266 0 0 0 97 5 0 0 20 0 15 0 78104629 15380533248 32546 33554432000 4194304 4196468 140725666664592 140725666647136 139875904737015 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
/proc/9544/statm: 3755013 32546 3154 1 0 3716398 0
[pid=9544/tid=9546] ppid=9541 vsize=15020052 memory=180823827429550 CPUtime=0.68 cores=1,3,5,7
/proc/9544/task/9546/stat : 9546 (java) R 9541 9544 8644 0 -1 4202560 14477 0 0 0 64 4 0 0 20 0 15 0 78104630 15380533248 32546 33554432000 4194304 4196468 140725666664592 139875876572688 139875896974142 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9547] ppid=9541 vsize=15020052 memory=462420 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9547/stat : 9547 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104631 15380533248 32546 33554432000 4194304 4196468 140725666664592 139875908979856 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9548] ppid=9541 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9548/stat : 9548 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104631 15380533248 32546 33554432000 4194304 4196468 140725666664592 139875684682768 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9549] ppid=9541 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9549/stat : 9549 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104631 15380533248 32546 33554432000 4194304 4196468 140725666664592 139875683629968 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9550] ppid=9541 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9550/stat : 9550 (java) S 9541 9544 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104631 15380533248 32546 33554432000 4194304 4196468 140725666664592 139875682577168 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9551] ppid=9541 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9551/stat : 9551 (java) S 9541 9544 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78104633 15380533248 32546 33554432000 4194304 4196468 140725666664592 139874942257520 139875904748162 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9552] ppid=9541 vsize=15020052 memory=-3535359994705171810 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9552/stat : 9552 (java) S 9541 9544 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78104633 15380533248 32546 33554432000 4194304 4196468 140725666664592 139874468357152 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9553] ppid=9541 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9553/stat : 9553 (java) S 9541 9544 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104633 15380533248 32546 33554432000 4194304 4196468 140725666664592 139874199921520 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9554] ppid=9541 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9554/stat : 9554 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104636 15380533248 32546 33554432000 4194304 4196468 140725666664592 139873825412944 139875904755611 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9555] ppid=9541 vsize=15020052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9544/task/9555/stat : 9555 (java) S 9541 9544 8644 0 -1 1077944384 637 0 0 0 7 0 0 0 20 0 15 0 78104636 15380533248 32546 33554432000 4194304 4196468 140725666664592 139874941205360 139875904748162 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9556] ppid=9541 vsize=15020052 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/9544/task/9556/stat : 9556 (java) R 9541 9544 8644 0 -1 4202560 319 0 0 0 6 0 0 0 20 0 15 0 78104636 15380533248 32546 33554432000 4194304 4196468 140725666664592 139874940138528 139875883992010 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9557] ppid=9541 vsize=15020052 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/9544/task/9557/stat : 9557 (java) S 9541 9544 8644 0 -1 1077944384 492 0 0 0 17 0 0 0 20 0 15 0 78104636 15380533248 32546 33554432000 4194304 4196468 140725666664592 139874871011952 139875904748162 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9558] ppid=9541 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9558/stat : 9558 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104636 15380533248 32546 33554432000 4194304 4196468 140725666664592 139873327508192 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9559] ppid=9541 vsize=15020052 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9559/stat : 9559 (java) S 9541 9544 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104636 15380533248 32546 33554432000 4194304 4196468 140725666664592 139874869959344 139875904748162 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130184 KiB
[startup+1.50073 s]
/proc/loadavg: 1.93 2.00 2.04 7/216 9559
/proc/meminfo: memFree=22828736/32770624 swapFree=67108860/67108860
[pid=9544] ppid=9541 vsize=15022100 memory=274808 CPUtime=3.18 cores=1,3,5,7
/proc/9544/stat : 9544 (java) S 9541 9544 8644 0 -1 1077944320 20107 0 0 0 310 8 0 0 20 0 15 0 78104629 15382630400 68702 33554432000 4194304 4196468 140725666664592 140725666647136 139875904737015 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
/proc/9544/statm: 3755525 68702 3204 1 0 3716910 0
[pid=9544/tid=9546] ppid=9541 vsize=15022100 memory=10799 CPUtime=1.46 cores=1,3,5,7
/proc/9544/task/9546/stat : 9546 (java) R 9541 9544 8644 0 -1 4202560 15178 0 0 0 140 6 0 0 20 0 15 0 78104630 15382630400 68702 33554432000 4194304 4196468 140725666664592 139875876571664 139875888780645 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9547] ppid=9541 vsize=15022100 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9547/stat : 9547 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104631 15382630400 68702 33554432000 4194304 4196468 140725666664592 139875908979856 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9548] ppid=9541 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9548/stat : 9548 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104631 15382630400 68702 33554432000 4194304 4196468 140725666664592 139875684682768 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9549] ppid=9541 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9549/stat : 9549 (java) S 9541 9544 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78104631 15382630400 68702 33554432000 4194304 4196468 140725666664592 139875683629968 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9550] ppid=9541 vsize=15022100 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9550/stat : 9550 (java) S 9541 9544 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78104631 15382630400 68702 33554432000 4194304 4196468 140725666664592 139875682577168 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9551] ppid=9541 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9551/stat : 9551 (java) S 9541 9544 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78104633 15382630400 68702 33554432000 4194304 4196468 140725666664592 139874942257520 139875904748162 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
################
# More data... #
################
/proc/9544/task/9557/stat : 9557 (java) S 9541 9544 8644 0 -1 1077944384 3086 0 0 0 95 1 0 0 20 0 15 0 78104636 15384727552 544035 33554432000 4194304 4196468 140725666664592 139874871011952 139875904748162 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9558] ppid=9541 vsize=15024148 memory=7019467088023795001 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9558/stat : 9558 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104636 15384727552 544035 33554432000 4194304 4196468 140725666664592 139873327508192 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9559] ppid=9541 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9559/stat : 9559 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104636 15384727552 544035 33554432000 4194304 4196468 140725666664592 139874869959344 139875904748162 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
Current children cumulated CPU time: 10.43 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2176140 KiB
[startup+12.7008 s]
/proc/loadavg: 2.17 2.05 2.06 3/221 9565
/proc/meminfo: memFree=17993468/32770624 swapFree=67108860/67108860
[pid=9544] ppid=9541 vsize=15024148 memory=3137568 CPUtime=20.82 cores=1,3,5,7
/proc/9544/stat : 9544 (java) S 9541 9544 8644 0 -1 1077944320 37389 0 0 0 2017 65 0 0 20 0 15 0 78104629 15384727552 784392 33554432000 4194304 4196468 140725666664592 140725666647136 139875904737015 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
/proc/9544/statm: 3756037 784392 3222 1 0 3717422 0
[pid=9544/tid=9546] ppid=9541 vsize=15024148 memory=3082224 CPUtime=12.51 cores=1,3,5,7
/proc/9544/task/9546/stat : 9546 (java) R 9541 9544 8644 0 -1 4202560 17698 0 0 0 1205 46 0 0 20 0 15 0 78104630 15384727552 784392 33554432000 4194304 4196468 140725666664592 139875876573040 139875367668354 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9547] ppid=9541 vsize=15024148 memory=3137568 CPUtime=0.13 cores=1,3,5,7
/proc/9544/task/9547/stat : 9547 (java) S 9541 9544 8644 0 -1 1077944384 261 0 0 0 11 2 0 0 20 0 15 0 78104631 15384727552 784392 33554432000 4194304 4196468 140725666664592 139875908979856 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9548] ppid=9541 vsize=15024148 memory=3137568 CPUtime=0.14 cores=1,3,5,7
/proc/9544/task/9548/stat : 9548 (java) S 9541 9544 8644 0 -1 1077944384 82 0 0 0 11 3 0 0 20 0 15 0 78104631 15384727552 784392 33554432000 4194304 4196468 140725666664592 139875684682768 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9549] ppid=9541 vsize=15024148 memory=2606752 CPUtime=0.14 cores=1,3,5,7
/proc/9544/task/9549/stat : 9549 (java) S 9541 9544 8644 0 -1 1077944384 129 0 0 0 11 3 0 0 20 0 15 0 78104631 15384727552 784392 33554432000 4194304 4196468 140725666664592 139875683629968 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9550] ppid=9541 vsize=15024148 memory=279605190521408 CPUtime=0.14 cores=1,3,5,7
/proc/9544/task/9550/stat : 9550 (java) S 9541 9544 8644 0 -1 1077944384 61 0 0 0 11 3 0 0 20 0 15 0 78104631 15384727552 784392 33554432000 4194304 4196468 140725666664592 139875682577168 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9551] ppid=9541 vsize=15024148 memory=164 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9551/stat : 9551 (java) S 9541 9544 8644 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 78104633 15384727552 784392 33554432000 4194304 4196468 140725666664592 139874942257520 139875904748162 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9552] ppid=9541 vsize=15024148 memory=55 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9552/stat : 9552 (java) S 9541 9544 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78104633 15384727552 784392 33554432000 4194304 4196468 140725666664592 139874468357152 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9553] ppid=9541 vsize=15024148 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9553/stat : 9553 (java) S 9541 9544 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78104633 15384727552 784392 33554432000 4194304 4196468 140725666664592 139874199921520 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9554] ppid=9541 vsize=15024148 memory=3152248 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9554/stat : 9554 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104636 15384727552 784392 33554432000 4194304 4196468 140725666664592 139873825412944 139875904755611 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9555] ppid=9541 vsize=15024148 memory=1412 CPUtime=3.04 cores=1,3,5,7
/proc/9544/task/9555/stat : 9555 (java) S 9541 9544 8644 0 -1 1077944384 5420 0 0 0 303 1 0 0 20 0 15 0 78104636 15384727552 784392 33554432000 4194304 4196468 140725666664592 139874941205360 139875904748162 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9556] ppid=9541 vsize=15024148 memory=301741373374332954 CPUtime=3.31 cores=1,3,5,7
/proc/9544/task/9556/stat : 9556 (java) S 9541 9544 8644 0 -1 1077944384 5380 0 0 0 330 1 0 0 20 0 15 0 78104636 15384727552 784392 33554432000 4194304 4196468 140725666664592 139874940152560 139875904748162 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9557] ppid=9541 vsize=15024148 memory=288230583166042426 CPUtime=1.34 cores=1,3,5,7
/proc/9544/task/9557/stat : 9557 (java) S 9541 9544 8644 0 -1 1077944384 6999 0 0 0 131 3 0 0 20 0 15 0 78104636 15384727552 784392 33554432000 4194304 4196468 140725666664592 139874871011952 139875904748162 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9558] ppid=9541 vsize=15024148 memory=13573716680378929 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9558/stat : 9558 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104636 15384727552 784392 33554432000 4194304 4196468 140725666664592 139873327508192 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9559] ppid=9541 vsize=15024148 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9559/stat : 9559 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78104636 15384727552 784392 33554432000 4194304 4196468 140725666664592 139874869959344 139875904748162 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
Current children cumulated CPU time: 20.82 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3137568 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+24.3009 s]
/proc/loadavg: 2.14 2.05 2.05 3/226 9571
/proc/meminfo: memFree=17282648/32770624 swapFree=67108860/67108860
[pid=9544] ppid=9541 vsize=15683912 memory=3692548 CPUtime=38.78 cores=1,3,5,7
/proc/9544/stat : 9544 (java) S 9541 9544 8644 0 -1 1077944320 53171 0 0 0 3743 135 0 0 20 0 19 0 78104629 16060325888 923137 33554432000 4194304 4196468 140725666664592 140725666647136 139875904737015 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
/proc/9544/statm: 3920978 923137 3265 1 0 3881834 0
[pid=9566] ppid=9544 vsize=190932 memory=155964 CPUtime=0.78 cores=1,3,5,7
/proc/9566/stat : 9566 (minisat_release) R 9544 9544 8644 0 -1 4202496 33362 0 0 0 73 5 0 0 20 0 1 0 78106980 195514368 38991 33554432000 4194304 4308513 140725885545040 140725885542184 4225157 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 29368320 140725885551281 140725885551790 140725885551790 140725885554629 0
/proc/9566/statm: 47733 38991 330 28 0 43973 0
[pid=9544/tid=9546] ppid=9541 vsize=15683912 memory=3687356 CPUtime=22.32 cores=1,3,5,7
/proc/9544/task/9546/stat : 9546 (java) S 9541 9544 8644 0 -1 1077944384 21514 0 0 0 2182 50 0 0 20 0 19 0 78104630 16060325888 923137 33554432000 4194304 4196468 140725666664592 139875876576256 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9547] ppid=9541 vsize=15683912 memory=2751 CPUtime=1.03 cores=1,3,5,7
/proc/9544/task/9547/stat : 9547 (java) S 9541 9544 8644 0 -1 1077944384 586 0 0 0 85 18 0 0 20 0 19 0 78104631 16060325888 923137 33554432000 4194304 4196468 140725666664592 139875908979856 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9548] ppid=9541 vsize=15683912 memory=3512020 CPUtime=1.03 cores=1,3,5,7
/proc/9544/task/9548/stat : 9548 (java) S 9541 9544 8644 0 -1 1077944384 526 0 0 0 85 18 0 0 20 0 19 0 78104631 16060325888 923137 33554432000 4194304 4196468 140725666664592 139875684682768 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9549] ppid=9541 vsize=15683912 memory=3472468098822789209 CPUtime=1.03 cores=1,3,5,7
/proc/9544/task/9549/stat : 9549 (java) S 9541 9544 8644 0 -1 1077944384 1690 0 0 0 84 19 0 0 20 0 19 0 78104631 16060325888 923137 33554432000 4194304 4196468 140725666664592 139875683629968 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9550] ppid=9541 vsize=15683912 memory=1200 CPUtime=1.02 cores=1,3,5,7
/proc/9544/task/9550/stat : 9550 (java) S 9541 9544 8644 0 -1 1077944384 582 0 0 0 83 19 0 0 20 0 19 0 78104631 16060325888 923137 33554432000 4194304 4196468 140725666664592 139875682577168 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9551] ppid=9541 vsize=15683912 memory=15876 CPUtime=0.02 cores=1,3,5,7
/proc/9544/task/9551/stat : 9551 (java) S 9541 9544 8644 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 19 0 78104633 16060325888 923137 33554432000 4194304 4196468 140725666664592 139874942257520 139875904748162 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9552] ppid=9541 vsize=15683912 memory=955 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9552/stat : 9552 (java) S 9541 9544 8644 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 78104633 16060325888 923137 33554432000 4194304 4196468 140725666664592 139874468357216 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9553] ppid=9541 vsize=15683912 memory=354 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9553/stat : 9553 (java) S 9541 9544 8644 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 78104633 16060325888 923137 33554432000 4194304 4196468 140725666664592 139874199921536 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9554] ppid=9541 vsize=15683912 memory=279605190757024 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9554/stat : 9554 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78104636 16060325888 923137 33554432000 4194304 4196468 140725666664592 139873825412944 139875904755611 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9555] ppid=9541 vsize=15683912 memory=0 CPUtime=5.1 cores=1,3,5,7
/proc/9544/task/9555/stat : 9555 (java) S 9541 9544 8644 0 -1 1077944384 8852 0 0 0 508 2 0 0 20 0 19 0 78104636 16060325888 923137 33554432000 4194304 4196468 140725666664592 139874941205360 139875904748162 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9556] ppid=9541 vsize=15683912 memory=4136 CPUtime=5.55 cores=1,3,5,7
/proc/9544/task/9556/stat : 9556 (java) S 9541 9544 8644 0 -1 1077944384 9000 0 0 0 554 1 0 0 20 0 19 0 78104636 16060325888 923137 33554432000 4194304 4196468 140725666664592 139874940152560 139875904748162 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9557] ppid=9541 vsize=15683912 memory=23480 CPUtime=1.58 cores=1,3,5,7
/proc/9544/task/9557/stat : 9557 (java) S 9541 9544 8644 0 -1 1077944384 8704 0 0 0 155 3 0 0 20 0 19 0 78104636 16060325888 923137 33554432000 4194304 4196468 140725666664592 139874871011952 139875904748162 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9558] ppid=9541 vsize=15683912 memory=3692548 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9558/stat : 9558 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78104636 16060325888 923137 33554432000 4194304 4196468 140725666664592 139873327508192 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9559] ppid=9541 vsize=15683912 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9559/stat : 9559 (java) S 9541 9544 8644 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 78104636 16060325888 923137 33554432000 4194304 4196468 140725666664592 139874869959344 139875904748162 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9567] ppid=9541 vsize=15683912 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9567/stat : 9567 (java) S 9541 9544 8644 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 78106980 16060325888 923137 33554432000 4194304 4196468 140725666664592 139875676976320 139875904761625 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9569] ppid=9541 vsize=15683912 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9569/stat : 9569 (java) S 9541 9544 8644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 78106980 16060325888 923137 33554432000 4194304 4196468 140725666664592 139872790625456 139875904758941 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9570] ppid=9541 vsize=15683912 memory=13573716680378929 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9570/stat : 9570 (java) S 9541 9544 8644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 78106981 16060325888 923137 33554432000 4194304 4196468 140725666664592 139872522190896 139875904758941 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9571] ppid=9541 vsize=15683912 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9571/stat : 9571 (java) S 9541 9544 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 78106983 16060325888 923137 33554432000 4194304 4196468 140725666664592 139873059069600 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
Current children cumulated CPU time: 39.56 s
Current children cumulated vsize: 15874844 KiB
Current children cumulated memory: 3848512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+24.3384 s]
# the end of solver process 9544 was just reported to runsolver
# cumulated CPU time of all completed processes: user=38.1746 s, system=1.44854 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+24.3009 s]
/proc/loadavg: 2.14 2.05 2.05 3/226 9571
/proc/meminfo: memFree=17282648/32770624 swapFree=67108860/67108860
[pid=9544] ppid=9541 vsize=15683912 memory=3692548 CPUtime=38.78 cores=1,3,5,7
/proc/9544/stat : 9544 (java) S 9541 9544 8644 0 -1 1077944320 53171 0 0 0 3743 135 0 0 20 0 19 0 78104629 16060325888 923137 33554432000 4194304 4196468 140725666664592 140725666647136 139875904737015 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
/proc/9544/statm: 3920978 923137 3265 1 0 3881834 0
[pid=9566] ppid=9544 vsize=190932 memory=155964 CPUtime=0.78 cores=1,3,5,7
/proc/9566/stat : 9566 (minisat_release) R 9544 9544 8644 0 -1 4202496 33362 0 0 0 73 5 0 0 20 0 1 0 78106980 195514368 38991 33554432000 4194304 4308513 140725885545040 140725885542184 4225157 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 29368320 140725885551281 140725885551790 140725885551790 140725885554629 0
/proc/9566/statm: 47733 38991 330 28 0 43973 0
[pid=9544/tid=9546] ppid=9541 vsize=15683912 memory=3687356 CPUtime=22.32 cores=1,3,5,7
/proc/9544/task/9546/stat : 9546 (java) S 9541 9544 8644 0 -1 1077944384 21514 0 0 0 2182 50 0 0 20 0 19 0 78104630 16060325888 923137 33554432000 4194304 4196468 140725666664592 139875876576256 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9547] ppid=9541 vsize=15683912 memory=2751 CPUtime=1.03 cores=1,3,5,7
/proc/9544/task/9547/stat : 9547 (java) S 9541 9544 8644 0 -1 1077944384 586 0 0 0 85 18 0 0 20 0 19 0 78104631 16060325888 923137 33554432000 4194304 4196468 140725666664592 139875908979856 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9548] ppid=9541 vsize=15683912 memory=3512020 CPUtime=1.03 cores=1,3,5,7
/proc/9544/task/9548/stat : 9548 (java) S 9541 9544 8644 0 -1 1077944384 526 0 0 0 85 18 0 0 20 0 19 0 78104631 16060325888 923137 33554432000 4194304 4196468 140725666664592 139875684682768 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9549] ppid=9541 vsize=15683912 memory=3472468098822789209 CPUtime=1.03 cores=1,3,5,7
/proc/9544/task/9549/stat : 9549 (java) S 9541 9544 8644 0 -1 1077944384 1690 0 0 0 84 19 0 0 20 0 19 0 78104631 16060325888 923137 33554432000 4194304 4196468 140725666664592 139875683629968 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9550] ppid=9541 vsize=15683912 memory=1200 CPUtime=1.02 cores=1,3,5,7
/proc/9544/task/9550/stat : 9550 (java) S 9541 9544 8644 0 -1 1077944384 582 0 0 0 83 19 0 0 20 0 19 0 78104631 16060325888 923137 33554432000 4194304 4196468 140725666664592 139875682577168 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9551] ppid=9541 vsize=15683912 memory=15876 CPUtime=0.02 cores=1,3,5,7
/proc/9544/task/9551/stat : 9551 (java) S 9541 9544 8644 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 19 0 78104633 16060325888 923137 33554432000 4194304 4196468 140725666664592 139874942257520 139875904748162 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9552] ppid=9541 vsize=15683912 memory=955 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9552/stat : 9552 (java) S 9541 9544 8644 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 78104633 16060325888 923137 33554432000 4194304 4196468 140725666664592 139874468357216 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9553] ppid=9541 vsize=15683912 memory=354 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9553/stat : 9553 (java) S 9541 9544 8644 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 78104633 16060325888 923137 33554432000 4194304 4196468 140725666664592 139874199921536 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9554] ppid=9541 vsize=15683912 memory=279605190757024 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9554/stat : 9554 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78104636 16060325888 923137 33554432000 4194304 4196468 140725666664592 139873825412944 139875904755611 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9555] ppid=9541 vsize=15683912 memory=0 CPUtime=5.1 cores=1,3,5,7
/proc/9544/task/9555/stat : 9555 (java) S 9541 9544 8644 0 -1 1077944384 8852 0 0 0 508 2 0 0 20 0 19 0 78104636 16060325888 923137 33554432000 4194304 4196468 140725666664592 139874941205360 139875904748162 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9556] ppid=9541 vsize=15683912 memory=4136 CPUtime=5.55 cores=1,3,5,7
/proc/9544/task/9556/stat : 9556 (java) S 9541 9544 8644 0 -1 1077944384 9000 0 0 0 554 1 0 0 20 0 19 0 78104636 16060325888 923137 33554432000 4194304 4196468 140725666664592 139874940152560 139875904748162 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9557] ppid=9541 vsize=15683912 memory=23480 CPUtime=1.58 cores=1,3,5,7
/proc/9544/task/9557/stat : 9557 (java) S 9541 9544 8644 0 -1 1077944384 8704 0 0 0 155 3 0 0 20 0 19 0 78104636 16060325888 923137 33554432000 4194304 4196468 140725666664592 139874871011952 139875904748162 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9558] ppid=9541 vsize=15683912 memory=3692548 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9558/stat : 9558 (java) S 9541 9544 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78104636 16060325888 923137 33554432000 4194304 4196468 140725666664592 139873327508192 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9559] ppid=9541 vsize=15683912 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9559/stat : 9559 (java) S 9541 9544 8644 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 78104636 16060325888 923137 33554432000 4194304 4196468 140725666664592 139874869959344 139875904748162 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9567] ppid=9541 vsize=15683912 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9567/stat : 9567 (java) S 9541 9544 8644 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 78106980 16060325888 923137 33554432000 4194304 4196468 140725666664592 139875676976320 139875904761625 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9569] ppid=9541 vsize=15683912 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9569/stat : 9569 (java) S 9541 9544 8644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 78106980 16060325888 923137 33554432000 4194304 4196468 140725666664592 139872790625456 139875904758941 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9570] ppid=9541 vsize=15683912 memory=13573716680378929 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9570/stat : 9570 (java) S 9541 9544 8644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 78106981 16060325888 923137 33554432000 4194304 4196468 140725666664592 139872522190896 139875904758941 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
[pid=9544/tid=9571] ppid=9541 vsize=15683912 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/9544/task/9571/stat : 9571 (java) S 9541 9544 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 78106983 16060325888 923137 33554432000 4194304 4196468 140725666664592 139873059069600 139875904747221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31862784 140725666673651 140725666673929 140725666673929 140725666676687 0
Current children cumulated CPU time: 39.56 s
Current children cumulated vsize: 15874844 KiB
Current children cumulated memory: 3848512 KiB
Child status: 1
Real time (s): 24.3385
CPU time (s): 39.6231
CPU user time (s): 38.1746
CPU system time (s): 1.44854
CPU usage (%): 162.801
Max. virtual memory (cumulated for all children) (KiB): 15874844
Max. memory (cumulated for all children) (KiB): 3848512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.1746
system time used= 1.44854
maximum resident set size= 3694596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86632
page faults= 0
swaps= 0
block input operations= 0
block output operations= 41432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6058
involuntary context switches= 111
# summary of solver processes directly reported to runsolver:
# pid: 9544
# total CPU time (s): 39.6231
# total CPU user time (s): 38.1746
# total CPU system time (s): 1.44854
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.160679 second user time and 0.287784 second system time
The end