0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Jul 26 04:34:25 CEST 2018
0.66/0.55 c PID: 4440
0.66/0.55 c IP: 172.20.3.150
0.66/0.55 c HOST: node150.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.70/1.27 c (0,0) Parsing End
2.70/1.28 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 511 ctr, max domain size 25
2.70/1.28 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.70/1.28 c (0,0) Constraint Name Generate Begin
2.70/1.29 c (0,0) Ctr:HOME/instance-4295607-1532572464.xml,ExtensionConflict:ExtensionSupport:IntVar
2.70/1.29 c (0,0) Constraint Name Generate End
2.70/1.29 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.70/1.29 c (0,0) CSP to CSPinCNF Begin
5.54/2.28 c (1,1) translated 52 (10%) constraints
7.46/2.87 c (2,2) translated 103 (20%) constraints
8.99/3.38 c (2,2) translated 154 (30%) constraints
10.50/3.82 c (3,3) translated 205 (40%) constraints
11.71/4.20 c (3,3) translated 256 (50%) constraints
12.62/4.57 c (4,4) translated 307 (60%) constraints
13.85/4.90 c (4,4) translated 358 (70%) constraints
14.53/5.19 c (4,4) translated 409 (80%) constraints
15.18/5.44 c (4,4) translated 460 (90%) constraints
15.59/5.68 c (5,5) translated 511 (100%) constraints
16.94/6.14 c (5,5) STATISTICS1:HOME/instance-4295607-1532572464.xml,ExtensionConflict:ExtensionSupport:IntVar,331,66841,-1,25,26,1,,25:253197;2:3998,26:11;4:57149;3:8962;2:719,1:257195;0:11,
16.94/6.14 c (5,5) ===========================================
16.94/6.14 c (5,5) Order
16.94/6.14 c (5,5) ===========================================
17.38/6.33 c (5,5) translated 6685 (10%) constraints
17.64/6.48 c (5,5) translated 13369 (20%) constraints
18.13/6.60 c (6,6) translated 20053 (30%) constraints
18.23/6.72 c (6,6) translated 26737 (40%) constraints
18.32/6.84 c (6,6) translated 33421 (50%) constraints
18.42/6.96 c (6,6) translated 40105 (60%) constraints
18.55/7.08 c (6,6) translated 46789 (70%) constraints
18.74/7.20 c (6,6) translated 53473 (80%) constraints
18.84/7.32 c (6,6) translated 60157 (90%) constraints
18.93/7.44 c (6,6) translated 66841 (100%) constraints
18.93/7.44 c (6,6) CSP to CSPinCNF End
18.93/7.44 c (6,6) CSP: 56 int (0 aux), 275 bool (275 aux), 66841 ctr, max domain size 25
18.93/7.44 c (6,6) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
18.93/7.44 c (6,6) CSPinCNF Propagation Begin
20.27/7.97 c (7,7) 0 values, 6081 unsatisfiable literals, and 0 valid clauses are removed
20.27/7.97 c (7,7) CSPinCNF Propagation End
20.27/7.97 c (7,7) CSP: 56 int (0 aux), 275 bool (275 aux), 66841 ctr, max domain size 25
20.27/7.97 c (7,7) Heap : 329 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.27/7.97 c (7,7) Simplify CSPinCNF Begin
20.54/8.10 c (7,7) Simplify CSPinCNF End
20.54/8.11 c (7,7) CSP: 56 int (0 aux), 275 bool (275 aux), 66841 ctr, max domain size 25
20.54/8.11 c (7,7) Heap : 383 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.54/8.11 c (7,7) Calculate Precise Domain Begin
20.68/8.11 c (7,7) 0 values are removed by re-calculation
20.68/8.11 c (7,7) Calculate Precise Domain End
20.68/8.11 c (7,7) CSP: 56 int (0 aux), 275 bool (275 aux), 66841 ctr, max domain size 25
20.68/8.11 c (7,7) Heap : 383 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.68/8.11 c (7,7) CSPinCNF to SatSolver Begin
20.92/8.27 c (7,7) 6685 (10 %) CSP clauses are encoded (1619 SAT variables, 7972 SAT clauses)
21.22/8.36 c (7,7) 13369 (20 %) CSP clauses are encoded (1619 SAT variables, 14656 SAT clauses)
21.50/8.40 c (7,7) 20053 (30 %) CSP clauses are encoded (1619 SAT variables, 21340 SAT clauses)
21.50/8.44 c (7,7) 26737 (40 %) CSP clauses are encoded (1619 SAT variables, 28024 SAT clauses)
21.50/8.48 c (7,7) 33421 (50 %) CSP clauses are encoded (1619 SAT variables, 34708 SAT clauses)
21.63/8.52 c (7,7) 40105 (60 %) CSP clauses are encoded (1619 SAT variables, 41392 SAT clauses)
21.63/8.55 c (8,7) 46789 (70 %) CSP clauses are encoded (1619 SAT variables, 48076 SAT clauses)
21.63/8.59 c (8,7) 53473 (80 %) CSP clauses are encoded (1619 SAT variables, 54760 SAT clauses)
21.73/8.63 c (8,7) 60157 (90 %) CSP clauses are encoded (1619 SAT variables, 61444 SAT clauses)
21.73/8.66 c (8,8) 66841 (100 %) CSP clauses are encoded (1619 SAT variables, 68128 SAT clauses)
21.73/8.66 c (8,8) CSPinCNF to SatSolver End
21.73/8.66 c (8,8) Heap : 820 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
22.34/8.91 c (8,8) STATISTICS2:HOME/instance-4295607-1532572464.xml,ExtensionConflict:ExtensionSupport:IntVar,331,66841,-1,25,25,1,,25:247127;2:3998,25:11;4:51527;3:14136;2:1167,1:251125,
22.34/8.91 c (8,8) SatSolver.solve Begin
22.34/8.91 c (8,8) 1619 bool, 68129 clause
22.34/8.91 c (8,8) 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-4295607-1532572464.xml-scop-4440.cnf HOME/instance-4295607-1532572464.xml-scop-4440.cnf.out
2520.04/2505.50 c (2504,8) SatSolver is killed by some reasons.
2520.04/2505.50 c (2504,8) 0,0,6,7,7,7,8,TO,TO,STOP-AFTER(DIMACS)
2520.04/2505.50 s UNKNOWN
2520.04/2505.50 c END-Prog: Thu Jul 26 05:16:10 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 (9864 MiB free)
memory of node 1: 16384 MiB (10915 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295607-1532572464/watcher-4295607-1532572464 -o /tmp/evaluation-result-4295607-1532572464/solver-4295607-1532572464 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32680 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295607-1532572464.xml
running on 4 cores: 0,2,4,6
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=4440, runsolver pid=4437
[startup+0.10012 s]*
/proc/loadavg: 2.01 2.03 2.05 3/220 4455
/proc/meminfo: memFree=21222604/32770624 swapFree=67108860/67108860
[pid=4440] ppid=4437 vsize=15011656 memory=70104 CPUtime=0.11 cores=0,2,4,6
/proc/4440/stat : 4440 (java) S 4437 4440 32649 0 -1 1077944320 6797 0 0 0 9 2 0 0 20 0 15 0 74809676 15371935744 17526 33554432000 4194304 4196468 140726497245952 140726497228496 140615050211063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
/proc/4440/statm: 3752914 17526 2754 1 0 3715374 0
[pid=4440/tid=4442] ppid=4437 vsize=15011656 memory=7100839852823775848 CPUtime=0.09 cores=0,2,4,6
/proc/4440/task/4442/stat : 4442 (java) R 4437 4440 32649 0 -1 4202560 5204 0 0 0 8 1 0 0 20 0 15 0 74809676 15371935744 17856 33554432000 4194304 4196468 140726497245952 140615022023048 140615030487888 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4443] ppid=4437 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4443/stat : 4443 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809678 15371935744 17856 33554432000 4194304 4196468 140726497245952 140615054453904 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4444] ppid=4437 vsize=15011656 memory=140126905136768 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4444/stat : 4444 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809678 15371935744 17856 33554432000 4194304 4196468 140726497245952 140614510574608 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4445] ppid=4437 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4445/stat : 4445 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809678 15371935744 17856 33554432000 4194304 4196468 140726497245952 140614509521808 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4446] ppid=4437 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4446/stat : 4446 (java) S 4437 4440 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74809678 15371935744 17856 33554432000 4194304 4196468 140726497245952 140614508469008 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4447] ppid=4437 vsize=15011656 memory=140126905136768 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4447/stat : 4447 (java) S 4437 4440 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74809679 15371935744 17856 33554432000 4194304 4196468 140726497245952 140614088231280 140615050222210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4448] ppid=4437 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4448/stat : 4448 (java) S 4437 4440 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74809680 15371935744 17922 33554432000 4194304 4196468 140726497245952 140613605385248 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4449] ppid=4437 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4449/stat : 4449 (java) S 4437 4440 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74809680 15371935744 17922 33554432000 4194304 4196468 140726497245952 140613471163248 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4450] ppid=4437 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4450/stat : 4450 (java) S 4437 4440 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74809683 15371935744 17922 33554432000 4194304 4196468 140726497245952 140613096658768 140615050229659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4451] ppid=4437 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4451/stat : 4451 (java) S 4437 4440 32649 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 74809683 15371935744 17922 33554432000 4194304 4196468 140726497245952 140614087179120 140615050222210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4452] ppid=4437 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4452/stat : 4452 (java) S 4437 4440 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74809683 15371935744 17922 33554432000 4194304 4196468 140726497245952 140614086126320 140615050222210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4453] ppid=4437 vsize=15011656 memory=140126905136768 CPUtime=0.01 cores=0,2,4,6
/proc/4440/task/4453/stat : 4453 (java) S 4437 4440 32649 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 15 0 74809683 15371935744 17922 33554432000 4194304 4196468 140726497245952 140614085073520 140615050222210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4454] ppid=4437 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4454/stat : 4454 (java) S 4437 4440 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74809683 15371935744 17922 33554432000 4194304 4196468 140726497245952 140612598754016 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4455] ppid=4437 vsize=15011656 memory=140126905136768 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4455/stat : 4455 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809683 15371935744 17922 33554432000 4194304 4196468 140726497245952 140614084020912 140615050222210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 70104 KiB
[startup+0.210438 s]*
/proc/loadavg: 2.01 2.03 2.05 3/220 4455
/proc/meminfo: memFree=21205364/32770624 swapFree=67108860/67108860
[pid=4440] ppid=4437 vsize=15011656 memory=86228 CPUtime=0.25 cores=0,2,4,6
/proc/4440/stat : 4440 (java) S 4437 4440 32649 0 -1 1077944320 11018 0 0 0 22 3 0 0 20 0 15 0 74809676 15371935744 21557 33554432000 4194304 4196468 140726497245952 140726497228496 140615050211063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
/proc/4440/statm: 3752914 21557 2885 1 0 3715374 0
[pid=4440/tid=4442] ppid=4437 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/4440/task/4442/stat : 4442 (java) R 4437 4440 32649 0 -1 4202560 8913 0 0 0 18 2 0 0 20 0 15 0 74809676 15371935744 21557 33554432000 4194304 4196468 140726497245952 140615022037456 140614553097888 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4443] ppid=4437 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4443/stat : 4443 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809678 15371935744 21557 33554432000 4194304 4196468 140726497245952 140615054453904 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4444] ppid=4437 vsize=15011656 memory=288370503056848512 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4444/stat : 4444 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809678 15371935744 21557 33554432000 4194304 4196468 140726497245952 140614510574608 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4445] ppid=4437 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4445/stat : 4445 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809678 15371935744 21557 33554432000 4194304 4196468 140726497245952 140614509521808 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4446] ppid=4437 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4446/stat : 4446 (java) S 4437 4440 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74809678 15371935744 21557 33554432000 4194304 4196468 140726497245952 140614508469008 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4447] ppid=4437 vsize=15011656 memory=140126905136768 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4447/stat : 4447 (java) S 4437 4440 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74809679 15371935744 21557 33554432000 4194304 4196468 140726497245952 140614088231280 140615050222210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4448] ppid=4437 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4448/stat : 4448 (java) S 4437 4440 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74809680 15371935744 21557 33554432000 4194304 4196468 140726497245952 140613605385248 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4449] ppid=4437 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4449/stat : 4449 (java) S 4437 4440 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74809680 15371935744 21557 33554432000 4194304 4196468 140726497245952 140613471163248 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4450] ppid=4437 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4450/stat : 4450 (java) S 4437 4440 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74809683 15371935744 21557 33554432000 4194304 4196468 140726497245952 140613096658768 140615050229659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4451] ppid=4437 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4440/task/4451/stat : 4451 (java) R 4437 4440 32649 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 15 0 74809683 15371935744 21557 33554432000 4194304 4196468 140726497245952 140614087179120 140615050222210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4452] ppid=4437 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4452/stat : 4452 (java) S 4437 4440 32649 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 74809683 15371935744 21557 33554432000 4194304 4196468 140726497245952 140614086126320 140615050222210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4453] ppid=4437 vsize=15011656 memory=140126905136768 CPUtime=0.03 cores=0,2,4,6
/proc/4440/task/4453/stat : 4453 (java) R 4437 4440 32649 0 -1 4202560 281 0 0 0 3 0 0 0 20 0 15 0 74809683 15371935744 21557 33554432000 4194304 4196468 140726497245952 140614085073520 140615050232410 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4454] ppid=4437 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4454/stat : 4454 (java) S 4437 4440 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74809683 15371935744 21557 33554432000 4194304 4196468 140726497245952 140612598754016 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4455] ppid=4437 vsize=15011656 memory=140126905136768 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4455/stat : 4455 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809683 15371935744 21557 33554432000 4194304 4196468 140726497245952 140614084020912 140615050222210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86228 KiB
[startup+0.310377 s]*
/proc/loadavg: 2.01 2.03 2.05 3/220 4455
/proc/meminfo: memFree=21201828/32770624 swapFree=67108860/67108860
[pid=4440] ppid=4437 vsize=15011656 memory=89728 CPUtime=0.42 cores=0,2,4,6
/proc/4440/stat : 4440 (java) S 4437 4440 32649 0 -1 1077944320 11560 0 0 0 39 3 0 0 20 0 15 0 74809676 15371935744 22432 33554432000 4194304 4196468 140726497245952 140726497228496 140615050211063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
/proc/4440/statm: 3752914 22432 2982 1 0 3715374 0
[pid=4440/tid=4442] ppid=4437 vsize=15011656 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/4440/task/4442/stat : 4442 (java) R 4437 4440 32649 0 -1 4202560 9272 0 0 0 27 3 0 0 20 0 15 0 74809676 15371935744 22432 33554432000 4194304 4196468 140726497245952 140615022015216 140615050222998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4443] ppid=4437 vsize=15011656 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4443/stat : 4443 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809678 15371935744 22432 33554432000 4194304 4196468 140726497245952 140615054453904 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4444] ppid=4437 vsize=15011656 memory=140126905136768 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4444/stat : 4444 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809678 15371935744 22432 33554432000 4194304 4196468 140726497245952 140614510574608 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4445] ppid=4437 vsize=15011656 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4445/stat : 4445 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809678 15371935744 22432 33554432000 4194304 4196468 140726497245952 140614509521808 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4446] ppid=4437 vsize=15011656 memory=140126797799631 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4446/stat : 4446 (java) S 4437 4440 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74809678 15371935744 22432 33554432000 4194304 4196468 140726497245952 140614508469008 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4447] ppid=4437 vsize=15011656 memory=140126905136768 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4447/stat : 4447 (java) S 4437 4440 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74809679 15371935744 22432 33554432000 4194304 4196468 140726497245952 140614088231280 140615050222210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4448] ppid=4437 vsize=15011656 memory=140126797820367 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4448/stat : 4448 (java) S 4437 4440 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74809680 15371935744 22432 33554432000 4194304 4196468 140726497245952 140613605385248 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4449] ppid=4437 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4449/stat : 4449 (java) S 4437 4440 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74809680 15371935744 22432 33554432000 4194304 4196468 140726497245952 140613471163248 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4450] ppid=4437 vsize=15011656 memory=280253595613056 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4450/stat : 4450 (java) S 4437 4440 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74809683 15371935744 22432 33554432000 4194304 4196468 140726497245952 140613096658768 140615050229659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4451] ppid=4437 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4440/task/4451/stat : 4451 (java) R 4437 4440 32649 0 -1 4202560 505 0 0 0 2 0 0 0 20 0 15 0 74809683 15371935744 22432 33554432000 4194304 4196468 140726497245952 140614087179120 140615028102145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4452] ppid=4437 vsize=15011656 memory=140126797832079 CPUtime=0.02 cores=0,2,4,6
/proc/4440/task/4452/stat : 4452 (java) R 4437 4440 32649 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 74809683 15371935744 22432 33554432000 4194304 4196468 140726497245952 140614086126320 140615050222210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4453] ppid=4437 vsize=15011656 memory=140126905136768 CPUtime=0.07 cores=0,2,4,6
/proc/4440/task/4453/stat : 4453 (java) R 4437 4440 32649 0 -1 4202560 323 0 0 0 7 0 0 0 20 0 15 0 74809683 15371935744 22432 33554432000 4194304 4196468 140726497245952 140614085073520 140615050222998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4454] ppid=4437 vsize=15011656 memory=140126797837215 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4454/stat : 4454 (java) S 4437 4440 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74809683 15371935744 22432 33554432000 4194304 4196468 140726497245952 140612598754016 140615050221269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4455] ppid=4437 vsize=15011656 memory=140126979946444 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4455/stat : 4455 (java) R 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809683 15371935744 22432 33554432000 4194304 4196468 140726497245952 140614084020912 140615050222210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89728 KiB
[startup+0.70316 s]
/proc/loadavg: 2.01 2.03 2.05 3/220 4455
/proc/meminfo: memFree=21180188/32770624 swapFree=67108860/67108860
[pid=4440] ppid=4437 vsize=15017928 memory=126800 CPUtime=1.02 cores=0,2,4,6
/proc/4440/stat : 4440 (java) S 4437 4440 32649 0 -1 1077944320 17945 0 0 0 97 5 0 0 20 0 15 0 74809676 15378358272 31700 33554432000 4194304 4196468 140726497245952 140726497228496 140615050211063 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
/proc/4440/statm: 3754482 31700 3135 1 0 3715886 0
[pid=4440/tid=4442] ppid=4437 vsize=15017928 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/4440/task/4442/stat : 4442 (java) R 4437 4440 32649 0 -1 4202560 15268 0 0 0 63 4 0 0 20 0 15 0 74809676 15378358272 31700 33554432000 4194304 4196468 140726497245952 140615022048112 140615050232989 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4443] ppid=4437 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4443/stat : 4443 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809678 15378358272 31700 33554432000 4194304 4196468 140726497245952 140615054453904 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4444] ppid=4437 vsize=15017928 memory=79 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4444/stat : 4444 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809678 15378358272 31700 33554432000 4194304 4196468 140726497245952 140614510574608 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4445] ppid=4437 vsize=15017928 memory=1 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4445/stat : 4445 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809678 15378358272 31700 33554432000 4194304 4196468 140726497245952 140614509521808 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4446] ppid=4437 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4446/stat : 4446 (java) S 4437 4440 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74809678 15378358272 31700 33554432000 4194304 4196468 140726497245952 140614508469008 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4447] ppid=4437 vsize=15017928 memory=159226517267646 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4447/stat : 4447 (java) S 4437 4440 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74809679 15378358272 31700 33554432000 4194304 4196468 140726497245952 140614088231280 140615050222210 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4448] ppid=4437 vsize=15017928 memory=437644 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4448/stat : 4448 (java) S 4437 4440 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74809680 15378358272 31700 33554432000 4194304 4196468 140726497245952 140613605385248 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4449] ppid=4437 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4449/stat : 4449 (java) S 4437 4440 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74809680 15378358272 31700 33554432000 4194304 4196468 140726497245952 140613471163248 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4450] ppid=4437 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4450/stat : 4450 (java) S 4437 4440 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74809683 15378358272 31700 33554432000 4194304 4196468 140726497245952 140613096658768 140615050229659 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4451] ppid=4437 vsize=15017928 memory=7809523229951467574 CPUtime=0.06 cores=0,2,4,6
/proc/4440/task/4451/stat : 4451 (java) R 4437 4440 32649 0 -1 1077944384 548 0 0 0 6 0 0 0 20 0 15 0 74809683 15378358272 31700 33554432000 4194304 4196468 140726497245952 140614087170448 140615050221269 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4452] ppid=4437 vsize=15017928 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4440/task/4452/stat : 4452 (java) R 4437 4440 32649 0 -1 4202560 314 0 0 0 9 0 0 0 20 0 15 0 74809683 15378358272 31700 33554432000 4194304 4196468 140726497245952 140614086126448 140615031730464 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4453] ppid=4437 vsize=15017928 memory=-3535359994705171810 CPUtime=0.18 cores=0,2,4,6
/proc/4440/task/4453/stat : 4453 (java) R 4437 4440 32649 0 -1 4202560 455 0 0 0 18 0 0 0 20 0 15 0 74809683 15378358272 31700 33554432000 4194304 4196468 140726497245952 140614085070456 140615050222998 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4454] ppid=4437 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4454/stat : 4454 (java) S 4437 4440 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74809683 15378358272 31700 33554432000 4194304 4196468 140726497245952 140612598754016 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4455] ppid=4437 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4455/stat : 4455 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809683 15378358272 31700 33554432000 4194304 4196468 140726497245952 140614084020912 140615050222210 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 126800 KiB
[startup+1.50069 s]
/proc/loadavg: 2.01 2.03 2.05 5/220 4455
/proc/meminfo: memFree=21085160/32770624 swapFree=67108860/67108860
[pid=4440] ppid=4437 vsize=15022100 memory=273088 CPUtime=3.42 cores=0,2,4,6
/proc/4440/stat : 4440 (java) S 4437 4440 32649 0 -1 1077944320 22065 0 0 0 333 9 0 0 20 0 15 0 74809676 15382630400 68272 33554432000 4194304 4196468 140726497245952 140726497228496 140615050211063 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
/proc/4440/statm: 3755525 68272 3201 1 0 3716910 0
[pid=4440/tid=4442] ppid=4437 vsize=15022100 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/4440/task/4442/stat : 4442 (java) R 4437 4440 32649 0 -1 4202560 16533 0 0 0 140 7 0 0 20 0 15 0 74809676 15382630400 68272 33554432000 4194304 4196468 140726497245952 140615022038464 140615050222998 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4443] ppid=4437 vsize=15022100 memory=7739270360266396260 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4443/stat : 4443 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809678 15382630400 68272 33554432000 4194304 4196468 140726497245952 140615054453904 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4444] ppid=4437 vsize=15022100 memory=7013622381439182184 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4444/stat : 4444 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809678 15382630400 68272 33554432000 4194304 4196468 140726497245952 140614510574608 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4445] ppid=4437 vsize=15022100 memory=7013626779435427689 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4445/stat : 4445 (java) S 4437 4440 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74809678 15382630400 68272 33554432000 4194304 4196468 140726497245952 140614509521808 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4446] ppid=4437 vsize=15022100 memory=7013626779468784233 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4446/stat : 4446 (java) S 4437 4440 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74809678 15382630400 68272 33554432000 4194304 4196468 140726497245952 140614508469008 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4447] ppid=4437 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4447/stat : 4447 (java) S 4437 4440 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74809679 15382630400 68272 33554432000 4194304 4196468 140726497245952 140614088231280 140615050222210 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
################
# More data... #
################
/proc/meminfo: memFree=18084576/32770624 swapFree=67108860/67108860
[pid=4440] ppid=4437 vsize=15683912 memory=3099380 CPUtime=23.68 cores=0,2,4,6
/proc/4440/stat : 4440 (java) S 4437 4440 32649 0 -1 1077944320 34834 0 0 0 2250 118 0 0 20 0 19 0 74809676 16060325888 774845 33554432000 4194304 4196468 140726497245952 140726497228496 140615050211063 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
/proc/4440/statm: 3920978 774845 3237 1 0 3881834 0
[pid=4456] ppid=4440 vsize=125484 memory=94824 CPUtime=2493.16 cores=0,2,4,6
/proc/4456/stat : 4456 (minisat_release) R 4440 4440 32649 0 -1 4202496 154403 0 0 0 249296 20 0 0 20 0 1 0 74810569 128495616 23706 33554432000 4194304 4308513 140734518468016 140734518465016 4262763 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 19632128 140734518473393 140734518473902 140734518473902 140734518476741 0
/proc/4456/statm: 31371 23706 355 28 0 27611 0
[pid=4440/tid=4442] ppid=4437 vsize=15683912 memory=3099380 CPUtime=8.81 cores=0,2,4,6
/proc/4440/task/4442/stat : 4442 (java) S 4437 4440 32649 0 -1 1077944384 19620 0 0 0 830 51 0 0 20 0 19 0 74809676 16060325888 774845 33554432000 4194304 4196468 140726497245952 140615022050304 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4443] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0.1 cores=0,2,4,6
/proc/4440/task/4443/stat : 4443 (java) S 4437 4440 32649 0 -1 1077944384 60 0 0 0 8 2 0 0 20 0 19 0 74809678 16060325888 774845 33554432000 4194304 4196468 140726497245952 140615054453904 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4444] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0.09 cores=0,2,4,6
/proc/4440/task/4444/stat : 4444 (java) S 4437 4440 32649 0 -1 1077944384 37 0 0 0 7 2 0 0 20 0 19 0 74809678 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614510574608 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4445] ppid=4437 vsize=15683912 memory=94824 CPUtime=0.1 cores=0,2,4,6
/proc/4440/task/4445/stat : 4445 (java) S 4437 4440 32649 0 -1 1077944384 45 0 0 0 8 2 0 0 20 0 19 0 74809678 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614509521808 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4446] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0.1 cores=0,2,4,6
/proc/4440/task/4446/stat : 4446 (java) S 4437 4440 32649 0 -1 1077944384 115 0 0 0 8 2 0 0 20 0 19 0 74809678 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614508469008 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4447] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0.05 cores=0,2,4,6
/proc/4440/task/4447/stat : 4447 (java) S 4437 4440 32649 0 -1 1077944384 24 0 0 0 3 2 0 0 20 0 19 0 74809679 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614088231280 140615050222210 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4448] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4448/stat : 4448 (java) S 4437 4440 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 74809680 16060325888 774845 33554432000 4194304 4196468 140726497245952 140613605385248 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4449] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4449/stat : 4449 (java) S 4437 4440 32649 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 74809680 16060325888 774845 33554432000 4194304 4196468 140726497245952 140613471163248 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4450] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4450/stat : 4450 (java) S 4437 4440 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140613096658768 140615050229659 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4451] ppid=4437 vsize=15683912 memory=22780 CPUtime=6.05 cores=0,2,4,6
/proc/4440/task/4451/stat : 4451 (java) S 4437 4440 32649 0 -1 1077944384 3813 0 0 0 604 1 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614087179120 140615050222210 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4452] ppid=4437 vsize=15683912 memory=1292 CPUtime=5.72 cores=0,2,4,6
/proc/4440/task/4452/stat : 4452 (java) S 4437 4440 32649 0 -1 1077944384 5285 0 0 0 571 1 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614086126320 140615050222210 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4453] ppid=4437 vsize=15683912 memory=3099380 CPUtime=1.43 cores=0,2,4,6
/proc/4440/task/4453/stat : 4453 (java) S 4437 4440 32649 0 -1 1077944384 4244 0 0 0 141 2 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614085073520 140615050222210 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4454] ppid=4437 vsize=15683912 memory=94824 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4454/stat : 4454 (java) S 4437 4440 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140612598754016 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4455] ppid=4437 vsize=15683912 memory=3099380 CPUtime=1.15 cores=0,2,4,6
/proc/4440/task/4455/stat : 4455 (java) S 4437 4440 32649 0 -1 1077944384 167 0 0 0 56 59 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614084020912 140615050222210 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4457] ppid=4437 vsize=15683912 memory=94824 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4457/stat : 4457 (java) S 4437 4440 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74810569 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614076544192 140615050235673 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4459] ppid=4437 vsize=15683912 memory=94824 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4459/stat : 4459 (java) S 4437 4440 32649 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 74810569 16060325888 774845 33554432000 4194304 4196468 140726497245952 140612061867184 140615050232989 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4460] ppid=4437 vsize=15683912 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4460/stat : 4460 (java) S 4437 4440 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 74810569 16060325888 774845 33554432000 4194304 4196468 140726497245952 140612196089904 140615050232989 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4461] ppid=4437 vsize=15683912 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4461/stat : 4461 (java) S 4437 4440 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 74810571 16060325888 774845 33554432000 4194304 4196468 140726497245952 140611793444512 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
Current children cumulated CPU time: 2516.84 s
Current children cumulated vsize: 15809396 KiB
Current children cumulated memory: 3194204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/224 4724
/proc/meminfo: memFree=18084576/32770624 swapFree=67108860/67108860
[pid=4440] ppid=4437 vsize=15683912 memory=3099380 CPUtime=23.68 cores=0,2,4,6
/proc/4440/stat : 4440 (java) S 4437 4440 32649 0 -1 1077944320 34834 0 0 0 2250 118 0 0 20 0 19 0 74809676 16060325888 774845 33554432000 4194304 4196468 140726497245952 140726497228496 140615050211063 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
/proc/4440/statm: 3920978 774845 3237 1 0 3881834 0
[pid=4456] ppid=4440 vsize=125484 memory=94824 CPUtime=2496.36 cores=0,2,4,6
/proc/4456/stat : 4456 (minisat_release) R 4440 4440 32649 0 -1 4202496 154414 0 0 0 249616 20 0 0 20 0 1 0 74810569 128495616 23706 33554432000 4194304 4308513 140734518468016 140734518465016 4276436 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 19632128 140734518473393 140734518473902 140734518473902 140734518476741 0
/proc/4456/statm: 31371 23706 355 28 0 27611 0
[pid=4440/tid=4442] ppid=4437 vsize=15683912 memory=3099380 CPUtime=8.81 cores=0,2,4,6
/proc/4440/task/4442/stat : 4442 (java) S 4437 4440 32649 0 -1 1077944384 19620 0 0 0 830 51 0 0 20 0 19 0 74809676 16060325888 774845 33554432000 4194304 4196468 140726497245952 140615022050304 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4443] ppid=4437 vsize=15683912 memory=94824 CPUtime=0.1 cores=0,2,4,6
/proc/4440/task/4443/stat : 4443 (java) S 4437 4440 32649 0 -1 1077944384 60 0 0 0 8 2 0 0 20 0 19 0 74809678 16060325888 774845 33554432000 4194304 4196468 140726497245952 140615054453904 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4444] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0.09 cores=0,2,4,6
/proc/4440/task/4444/stat : 4444 (java) S 4437 4440 32649 0 -1 1077944384 37 0 0 0 7 2 0 0 20 0 19 0 74809678 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614510574608 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4445] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0.1 cores=0,2,4,6
/proc/4440/task/4445/stat : 4445 (java) S 4437 4440 32649 0 -1 1077944384 45 0 0 0 8 2 0 0 20 0 19 0 74809678 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614509521808 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4446] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0.1 cores=0,2,4,6
/proc/4440/task/4446/stat : 4446 (java) S 4437 4440 32649 0 -1 1077944384 115 0 0 0 8 2 0 0 20 0 19 0 74809678 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614508469008 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4447] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0.05 cores=0,2,4,6
/proc/4440/task/4447/stat : 4447 (java) S 4437 4440 32649 0 -1 1077944384 24 0 0 0 3 2 0 0 20 0 19 0 74809679 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614088231280 140615050222210 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4448] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4448/stat : 4448 (java) S 4437 4440 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 74809680 16060325888 774845 33554432000 4194304 4196468 140726497245952 140613605385248 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4449] ppid=4437 vsize=15683912 memory=94824 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4449/stat : 4449 (java) S 4437 4440 32649 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 74809680 16060325888 774845 33554432000 4194304 4196468 140726497245952 140613471163248 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4450] ppid=4437 vsize=15683912 memory=928 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4450/stat : 4450 (java) S 4437 4440 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140613096658768 140615050229659 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4451] ppid=4437 vsize=15683912 memory=22780 CPUtime=6.05 cores=0,2,4,6
/proc/4440/task/4451/stat : 4451 (java) S 4437 4440 32649 0 -1 1077944384 3813 0 0 0 604 1 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614087179120 140615050222210 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4452] ppid=4437 vsize=15683912 memory=1292 CPUtime=5.72 cores=0,2,4,6
/proc/4440/task/4452/stat : 4452 (java) S 4437 4440 32649 0 -1 1077944384 5285 0 0 0 571 1 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614086126320 140615050222210 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4453] ppid=4437 vsize=15683912 memory=94824 CPUtime=1.43 cores=0,2,4,6
/proc/4440/task/4453/stat : 4453 (java) S 4437 4440 32649 0 -1 1077944384 4244 0 0 0 141 2 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614085073520 140615050222210 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4454] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4454/stat : 4454 (java) S 4437 4440 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140612598754016 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4455] ppid=4437 vsize=15683912 memory=94824 CPUtime=1.15 cores=0,2,4,6
/proc/4440/task/4455/stat : 4455 (java) S 4437 4440 32649 0 -1 1077944384 167 0 0 0 56 59 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614084020912 140615050222210 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4457] ppid=4437 vsize=15683912 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4457/stat : 4457 (java) S 4437 4440 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74810569 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614076544192 140615050235673 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4459] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4459/stat : 4459 (java) S 4437 4440 32649 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 74810569 16060325888 774845 33554432000 4194304 4196468 140726497245952 140612061867184 140615050232989 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4460] ppid=4437 vsize=15683912 memory=94824 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4460/stat : 4460 (java) S 4437 4440 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 74810569 16060325888 774845 33554432000 4194304 4196468 140726497245952 140612196089904 140615050232989 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4461] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4461/stat : 4461 (java) S 4437 4440 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 74810571 16060325888 774845 33554432000 4194304 4196468 140726497245952 140611793444512 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15809396 KiB
Current children cumulated memory: 3194204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.54 s]
# the end of solver process 4440 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.68 s, system=1.41566 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2505.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/224 4724
/proc/meminfo: memFree=18084576/32770624 swapFree=67108860/67108860
[pid=4440] ppid=4437 vsize=15683912 memory=3099380 CPUtime=23.68 cores=0,2,4,6
/proc/4440/stat : 4440 (java) S 4437 4440 32649 0 -1 1077944320 34834 0 0 0 2250 118 0 0 20 0 19 0 74809676 16060325888 774845 33554432000 4194304 4196468 140726497245952 140726497228496 140615050211063 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
/proc/4440/statm: 3920978 774845 3237 1 0 3881834 0
[pid=4456] ppid=4440 vsize=125484 memory=94824 CPUtime=2496.36 cores=0,2,4,6
/proc/4456/stat : 4456 (minisat_release) R 4440 4440 32649 0 -1 4202496 154414 0 0 0 249616 20 0 0 20 0 1 0 74810569 128495616 23706 33554432000 4194304 4308513 140734518468016 140734518465016 4276436 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 19632128 140734518473393 140734518473902 140734518473902 140734518476741 0
/proc/4456/statm: 31371 23706 355 28 0 27611 0
[pid=4440/tid=4442] ppid=4437 vsize=15683912 memory=3099380 CPUtime=8.81 cores=0,2,4,6
/proc/4440/task/4442/stat : 4442 (java) S 4437 4440 32649 0 -1 1077944384 19620 0 0 0 830 51 0 0 20 0 19 0 74809676 16060325888 774845 33554432000 4194304 4196468 140726497245952 140615022050304 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4443] ppid=4437 vsize=15683912 memory=94824 CPUtime=0.1 cores=0,2,4,6
/proc/4440/task/4443/stat : 4443 (java) S 4437 4440 32649 0 -1 1077944384 60 0 0 0 8 2 0 0 20 0 19 0 74809678 16060325888 774845 33554432000 4194304 4196468 140726497245952 140615054453904 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4444] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0.09 cores=0,2,4,6
/proc/4440/task/4444/stat : 4444 (java) S 4437 4440 32649 0 -1 1077944384 37 0 0 0 7 2 0 0 20 0 19 0 74809678 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614510574608 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4445] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0.1 cores=0,2,4,6
/proc/4440/task/4445/stat : 4445 (java) S 4437 4440 32649 0 -1 1077944384 45 0 0 0 8 2 0 0 20 0 19 0 74809678 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614509521808 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4446] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0.1 cores=0,2,4,6
/proc/4440/task/4446/stat : 4446 (java) S 4437 4440 32649 0 -1 1077944384 115 0 0 0 8 2 0 0 20 0 19 0 74809678 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614508469008 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4447] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0.05 cores=0,2,4,6
/proc/4440/task/4447/stat : 4447 (java) S 4437 4440 32649 0 -1 1077944384 24 0 0 0 3 2 0 0 20 0 19 0 74809679 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614088231280 140615050222210 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4448] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4448/stat : 4448 (java) S 4437 4440 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 74809680 16060325888 774845 33554432000 4194304 4196468 140726497245952 140613605385248 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4449] ppid=4437 vsize=15683912 memory=94824 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4449/stat : 4449 (java) S 4437 4440 32649 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 74809680 16060325888 774845 33554432000 4194304 4196468 140726497245952 140613471163248 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4450] ppid=4437 vsize=15683912 memory=928 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4450/stat : 4450 (java) S 4437 4440 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140613096658768 140615050229659 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4451] ppid=4437 vsize=15683912 memory=22780 CPUtime=6.05 cores=0,2,4,6
/proc/4440/task/4451/stat : 4451 (java) S 4437 4440 32649 0 -1 1077944384 3813 0 0 0 604 1 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614087179120 140615050222210 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4452] ppid=4437 vsize=15683912 memory=1292 CPUtime=5.72 cores=0,2,4,6
/proc/4440/task/4452/stat : 4452 (java) S 4437 4440 32649 0 -1 1077944384 5285 0 0 0 571 1 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614086126320 140615050222210 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4453] ppid=4437 vsize=15683912 memory=94824 CPUtime=1.43 cores=0,2,4,6
/proc/4440/task/4453/stat : 4453 (java) S 4437 4440 32649 0 -1 1077944384 4244 0 0 0 141 2 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614085073520 140615050222210 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4454] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4454/stat : 4454 (java) S 4437 4440 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140612598754016 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4455] ppid=4437 vsize=15683912 memory=94824 CPUtime=1.15 cores=0,2,4,6
/proc/4440/task/4455/stat : 4455 (java) S 4437 4440 32649 0 -1 1077944384 167 0 0 0 56 59 0 0 20 0 19 0 74809683 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614084020912 140615050222210 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4457] ppid=4437 vsize=15683912 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4457/stat : 4457 (java) S 4437 4440 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74810569 16060325888 774845 33554432000 4194304 4196468 140726497245952 140614076544192 140615050235673 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4459] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4459/stat : 4459 (java) S 4437 4440 32649 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 74810569 16060325888 774845 33554432000 4194304 4196468 140726497245952 140612061867184 140615050232989 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4460] ppid=4437 vsize=15683912 memory=94824 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4460/stat : 4460 (java) S 4437 4440 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 74810569 16060325888 774845 33554432000 4194304 4196468 140726497245952 140612196089904 140615050232989 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
[pid=4440/tid=4461] ppid=4437 vsize=15683912 memory=3099380 CPUtime=0 cores=0,2,4,6
/proc/4440/task/4461/stat : 4461 (java) S 4437 4440 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 74810571 16060325888 774845 33554432000 4194304 4196468 140726497245952 140611793444512 140615050221269 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24625152 140726497248243 140726497248521 140726497248521 140726497251279 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 15809396 KiB
Current children cumulated memory: 3194204 KiB
Child status: 1
Real time (s): 2505.54
CPU time (s): 2520.1
CPU user time (s): 2518.68
CPU system time (s): 1.41566
CPU usage (%): 100.581
Max. virtual memory (cumulated for all children) (KiB): 15809396
Max. memory (cumulated for all children) (KiB): 3199740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.68
system time used= 1.41566
maximum resident set size= 3100300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189291
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58856
involuntary context switches= 3214
# summary of solver processes directly reported to runsolver:
# pid: 4440
# total CPU time (s): 2520.1
# total CPU user time (s): 2518.68
# total CPU system time (s): 1.41566
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.6839 second user time and 17.2934 second system time
The end