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 14:04:19 CEST 2018
0.66/0.54 c PID: 10438
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
2.42/1.20 c (0,0) Parsing End
2.76/1.21 c (0,0) CSP: 320 int (0 aux), 0 bool (0 aux), 141 ctr, max domain size 100
2.76/1.21 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.76/1.21 c (0,0) Constraint Name Generate Begin
2.76/1.22 c (0,0) Ctr:HOME/instance-4296155-1532606658.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.76/1.22 c (0,0) Constraint Name Generate End
2.76/1.22 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.76/1.22 c (0,0) CSP to CSPinCNF Begin
14.19/5.80 c (5,5) translated 15 (10%) constraints
17.64/9.03 c (8,8) translated 29 (20%) constraints
21.14/12.18 c (11,11) translated 43 (30%) constraints
24.23/15.19 c (14,14) translated 57 (40%) constraints
28.21/18.40 c (17,17) translated 71 (50%) constraints
31.16/21.39 c (20,20) translated 85 (60%) constraints
35.28/24.66 c (24,23) translated 99 (70%) constraints
35.99/25.30 c (24,24) translated 113 (80%) constraints
35.99/25.30 c (24,24) translated 127 (90%) constraints
35.99/25.30 c (24,24) translated 141 (100%) constraints
37.87/26.62 c (26,25) STATISTICS1:HOME/instance-4296155-1532606658.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,59320,372692,100,100,101,2,100:4950,100:29900;15:421200;2:640100;1:46840,101:100;100:2;5:5500;4:150600;3:65000;2:151450;1:40,2:4950;1:1128180;0:100,
37.87/26.62 c (26,25) ===========================================
37.87/26.62 c (26,25) Order
37.87/26.62 c (26,25) ===========================================
39.71/27.41 c (26,26) translated 37270 (10%) constraints
41.39/28.27 c (27,26) translated 74539 (20%) constraints
42.00/28.84 c (28,27) translated 111808 (30%) constraints
42.60/29.41 c (28,27) translated 149077 (40%) constraints
43.12/29.98 c (29,28) translated 186346 (50%) constraints
43.73/30.55 c (30,29) translated 223616 (60%) constraints
44.34/31.12 c (30,29) translated 260885 (70%) constraints
44.83/31.69 c (31,30) translated 298154 (80%) constraints
45.43/32.25 c (31,30) translated 335423 (90%) constraints
46.03/32.83 c (32,31) translated 372692 (100%) constraints
46.03/32.83 c (32,31) CSP to CSPinCNF End
46.03/32.86 c (32,31) CSP: 320 int (0 aux), 59000 bool (59000 aux), 372732 ctr, max domain size 100
46.03/32.86 c (32,31) Heap : 2114 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
46.03/32.86 c (32,31) CSPinCNF Propagation Begin
57.11/41.73 c (41,39) 15942 values, 84910 unsatisfiable literals, and 91490 valid clauses are removed
57.11/41.73 c (41,39) CSPinCNF Propagation End
57.11/41.76 c (41,39) CSP: 13830 int (13510 aux), 45490 bool (45490 aux), 281242 ctr, max domain size 100
57.11/41.76 c (41,39) Heap : 2791 MiB used (max 10711 MiB), NonHeap : 28 MiB used (max 0 MiB)
57.11/41.76 c (41,39) Simplify CSPinCNF Begin
58.35/42.42 c (41,40) Simplify CSPinCNF End
58.35/42.44 c (41,40) CSP: 13830 int (13510 aux), 55390 bool (55390 aux), 291142 ctr, max domain size 100
58.35/42.44 c (41,40) Heap : 3071 MiB used (max 10711 MiB), NonHeap : 29 MiB used (max 0 MiB)
58.35/42.44 c (41,40) Calculate Precise Domain Begin
58.35/42.44 c (41,40) 0 values are removed by re-calculation
58.35/42.44 c (41,40) Calculate Precise Domain End
58.35/42.46 c (41,40) CSP: 13830 int (13510 aux), 55390 bool (55390 aux), 291142 ctr, max domain size 100
58.35/42.46 c (41,40) Heap : 3071 MiB used (max 10711 MiB), NonHeap : 29 MiB used (max 0 MiB)
58.35/42.46 c (41,40) CSPinCNF to SatSolver Begin
62.01/44.59 c (44,42) 29115 (10 %) CSP clauses are encoded (65378 SAT variables, 618410 SAT clauses)
62.33/44.75 c (44,42) 58229 (20 %) CSP clauses are encoded (65378 SAT variables, 647524 SAT clauses)
62.54/44.91 c (44,42) 87343 (30 %) CSP clauses are encoded (65378 SAT variables, 676638 SAT clauses)
62.65/45.07 c (44,42) 116457 (40 %) CSP clauses are encoded (65378 SAT variables, 705752 SAT clauses)
62.84/45.23 c (44,43) 145571 (50 %) CSP clauses are encoded (65378 SAT variables, 734866 SAT clauses)
62.94/45.39 c (44,43) 174686 (60 %) CSP clauses are encoded (65378 SAT variables, 763981 SAT clauses)
63.14/45.55 c (45,43) 203800 (70 %) CSP clauses are encoded (65378 SAT variables, 793095 SAT clauses)
63.34/45.71 c (45,43) 232914 (80 %) CSP clauses are encoded (65378 SAT variables, 822209 SAT clauses)
63.44/45.87 c (45,43) 262028 (90 %) CSP clauses are encoded (65378 SAT variables, 851323 SAT clauses)
63.64/46.03 c (45,43) 291142 (100 %) CSP clauses are encoded (65378 SAT variables, 880437 SAT clauses)
63.64/46.03 c (45,43) CSPinCNF to SatSolver End
63.64/46.03 c (45,43) Heap : 2978 MiB used (max 10800 MiB), NonHeap : 30 MiB used (max 0 MiB)
65.52/47.07 c (46,44) STATISTICS2:HOME/instance-4296155-1532606658.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,69220,291142,100,100,100,2,100:4032;36:5088;4:780,100:25472;36:8608;15:346679;4:820;2:495889,100:65;64:1;36:32;5:3712;4:108854;3:48920;2:129558,2:9900;1:857668,
65.52/47.07 c (46,44) SatSolver.solve Begin
65.52/47.07 c (46,44) 65378 bool, 880438 clause
65.52/47.07 c (46,44) 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-4296155-1532606658.xml-scop-10438.cnf HOME/instance-4296155-1532606658.xml-scop-10438.cnf.out
106.69/88.11 c (87,0) receiving signal SIGTERM
106.69/88.11 s UNKNOWN
106.69/88.11 c (87,44) SatSolver is killed by some reasons.
106.69/88.11 c (87,44) 0,0,32,41,41,41,45,TO,TO,STOP-AFTER(DIMACS)
106.69/88.11 c END-Prog: Thu Jul 26 14:05:46 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 (9830 MiB free)
memory of node 1: 16384 MiB (10425 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296155-1532606658/watcher-4296155-1532606658 -o /tmp/evaluation-result-4296155-1532606658/solver-4296155-1532606658 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532605409-9419 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4296155-1532606658.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=10438, runsolver pid=10435
[startup+0.100119 s]*
/proc/loadavg: 2.02 2.13 2.10 3/222 10453
/proc/meminfo: memFree=20682360/32770624 swapFree=67108860/67108860
[pid=10438] ppid=10435 vsize=15011656 memory=73592 CPUtime=0.11 cores=0,2,4,6
/proc/10438/stat : 10438 (java) S 10435 10438 8644 0 -1 1077944320 6548 0 0 0 9 2 0 0 20 0 15 0 78229083 15371935744 18398 33554432000 4194304 4196468 140724915392768 140724915375312 139993399783159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
/proc/10438/statm: 3752914 18398 2781 1 0 3715374 0
[pid=10438/tid=10440] ppid=10435 vsize=15011656 memory=-6799202250962287440 CPUtime=0.09 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (java) R 10435 10438 8644 0 -1 4202560 4840 0 0 0 8 1 0 0 20 0 15 0 78229083 15371935744 18596 33554432000 4194304 4196468 140724915392768 139993371595144 139993392020286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10441] ppid=10435 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (java) S 10435 10438 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78229085 15371935744 18596 33554432000 4194304 4196468 140724915392768 139993404025232 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10442] ppid=10435 vsize=15011656 memory=140497372620416 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10442/stat : 10442 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229085 15371935744 18596 33554432000 4194304 4196468 140724915392768 139993195108624 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10443] ppid=10435 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10443/stat : 10443 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229085 15371935744 18596 33554432000 4194304 4196468 140724915392768 139993194056336 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10444] ppid=10435 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10444/stat : 10444 (java) S 10435 10438 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78229085 15371935744 18596 33554432000 4194304 4196468 140724915392768 139993193003536 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10445] ppid=10435 vsize=15011656 memory=140497372620416 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10445/stat : 10445 (java) S 10435 10438 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78229086 15371935744 18596 33554432000 4194304 4196468 140724915392768 139992168884848 139993399794306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10446] ppid=10435 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10446/stat : 10446 (java) S 10435 10438 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78229087 15371935744 18596 33554432000 4194304 4196468 140724915392768 139992043087136 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10447] ppid=10435 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10447/stat : 10447 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229087 15371935744 18596 33554432000 4194304 4196468 140724915392768 139991774652016 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10448] ppid=10435 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10448/stat : 10448 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78229089 15371935744 18596 33554432000 4194304 4196468 140724915392768 139991400143440 139993399801755 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10449] ppid=10435 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10449/stat : 10449 (java) S 10435 10438 8644 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 78229089 15371935744 18596 33554432000 4194304 4196468 140724915392768 139992167831664 139993399794306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10450] ppid=10435 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10450/stat : 10450 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78229089 15371935744 18662 33554432000 4194304 4196468 140724915392768 139992166778864 139993399794306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10451] ppid=10435 vsize=15011656 memory=140497372620416 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10451/stat : 10451 (java) S 10435 10438 8644 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 78229089 15371935744 18662 33554432000 4194304 4196468 140724915392768 139992165726576 139993399794306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10452] ppid=10435 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10452/stat : 10452 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78229090 15371935744 18662 33554432000 4194304 4196468 140724915392768 139990902237664 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10453] ppid=10435 vsize=15011656 memory=140497372620416 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10453/stat : 10453 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229090 15371935744 18662 33554432000 4194304 4196468 140724915392768 139992164674480 139993399794306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73592 KiB
[startup+0.210566 s]*
/proc/loadavg: 2.02 2.13 2.10 3/222 10453
/proc/meminfo: memFree=20668516/32770624 swapFree=67108860/67108860
[pid=10438] ppid=10435 vsize=15011656 memory=85624 CPUtime=0.26 cores=0,2,4,6
/proc/10438/stat : 10438 (java) S 10435 10438 8644 0 -1 1077944320 9859 0 0 0 23 3 0 0 20 0 15 0 78229083 15371935744 21406 33554432000 4194304 4196468 140724915392768 140724915375312 139993399783159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
/proc/10438/statm: 3752914 21406 2893 1 0 3715374 0
[pid=10438/tid=10440] ppid=10435 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (java) R 10435 10438 8644 0 -1 4202560 7758 0 0 0 18 2 0 0 20 0 15 0 78229083 15371935744 21406 33554432000 4194304 4196468 140724915392768 139993371603072 139992865328120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10441] ppid=10435 vsize=15011656 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (java) S 10435 10438 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78229085 15371935744 21406 33554432000 4194304 4196468 140724915392768 139993404025232 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10442] ppid=10435 vsize=15011656 memory=3761547992742536864 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10442/stat : 10442 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229085 15371935744 21406 33554432000 4194304 4196468 140724915392768 139993195108624 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10443] ppid=10435 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10443/stat : 10443 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229085 15371935744 21406 33554432000 4194304 4196468 140724915392768 139993194056336 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10444] ppid=10435 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10444/stat : 10444 (java) S 10435 10438 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78229085 15371935744 21406 33554432000 4194304 4196468 140724915392768 139993193003536 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10445] ppid=10435 vsize=15011656 memory=140497372620416 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10445/stat : 10445 (java) S 10435 10438 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78229086 15371935744 21406 33554432000 4194304 4196468 140724915392768 139992168884848 139993399794306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10446] ppid=10435 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10446/stat : 10446 (java) S 10435 10438 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78229087 15371935744 21406 33554432000 4194304 4196468 140724915392768 139992043087136 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10447] ppid=10435 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10447/stat : 10447 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229087 15371935744 21406 33554432000 4194304 4196468 140724915392768 139991774652016 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10448] ppid=10435 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10448/stat : 10448 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78229089 15371935744 21406 33554432000 4194304 4196468 140724915392768 139991400143440 139993399801755 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10449] ppid=10435 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10438/task/10449/stat : 10449 (java) R 10435 10438 8644 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 15 0 78229089 15371935744 21406 33554432000 4194304 4196468 140724915392768 139992167831664 139993399794306 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10450] ppid=10435 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10450/stat : 10450 (java) R 10435 10438 8644 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 15 0 78229089 15371935744 21406 33554432000 4194304 4196468 140724915392768 139992166778864 139993377037264 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10451] ppid=10435 vsize=15011656 memory=140497372620416 CPUtime=0.03 cores=0,2,4,6
/proc/10438/task/10451/stat : 10451 (java) S 10435 10438 8644 0 -1 1077944384 303 0 0 0 3 0 0 0 20 0 15 0 78229089 15371935744 21406 33554432000 4194304 4196468 140724915392768 139992165726576 139993399794306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10452] ppid=10435 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10452/stat : 10452 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78229090 15371935744 21406 33554432000 4194304 4196468 140724915392768 139990902237664 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10453] ppid=10435 vsize=15011656 memory=140497372620416 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10453/stat : 10453 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229090 15371935744 21406 33554432000 4194304 4196468 140724915392768 139992164674480 139993399794306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85624 KiB
[startup+0.310585 s]*
/proc/loadavg: 2.02 2.13 2.10 3/222 10453
/proc/meminfo: memFree=20664856/32770624 swapFree=67108860/67108860
[pid=10438] ppid=10435 vsize=15011656 memory=89956 CPUtime=0.43 cores=0,2,4,6
/proc/10438/stat : 10438 (java) S 10435 10438 8644 0 -1 1077944320 10487 0 0 0 40 3 0 0 20 0 15 0 78229083 15371935744 22489 33554432000 4194304 4196468 140724915392768 140724915375312 139993399783159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
/proc/10438/statm: 3752914 22489 3039 1 0 3715374 0
[pid=10438/tid=10440] ppid=10435 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (java) R 10435 10438 8644 0 -1 4202560 8186 0 0 0 27 2 0 0 20 0 15 0 78229083 15371935744 22489 33554432000 4194304 4196468 140724915392768 139993371610784 139993384948704 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10441] ppid=10435 vsize=15011656 memory=4294967639 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (java) S 10435 10438 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78229085 15371935744 22489 33554432000 4194304 4196468 140724915392768 139993404025232 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10442] ppid=10435 vsize=15011656 memory=3834448912198968992 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10442/stat : 10442 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229085 15371935744 22489 33554432000 4194304 4196468 140724915392768 139993195108624 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10443] ppid=10435 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10443/stat : 10443 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229085 15371935744 22489 33554432000 4194304 4196468 140724915392768 139993194056336 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10444] ppid=10435 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10444/stat : 10444 (java) S 10435 10438 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78229085 15371935744 22489 33554432000 4194304 4196468 140724915392768 139993193003536 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10445] ppid=10435 vsize=15011656 memory=140497372620416 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10445/stat : 10445 (java) S 10435 10438 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78229086 15371935744 22489 33554432000 4194304 4196468 140724915392768 139992168884848 139993399794306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10446] ppid=10435 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10446/stat : 10446 (java) S 10435 10438 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78229087 15371935744 22489 33554432000 4194304 4196468 140724915392768 139992043087136 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10447] ppid=10435 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10447/stat : 10447 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229087 15371935744 22489 33554432000 4194304 4196468 140724915392768 139991774652016 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10448] ppid=10435 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10448/stat : 10448 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78229089 15371935744 22489 33554432000 4194304 4196468 140724915392768 139991400143440 139993399801755 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10449] ppid=10435 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10438/task/10449/stat : 10449 (java) S 10435 10438 8644 0 -1 1077944384 488 0 0 0 2 0 0 0 20 0 15 0 78229089 15371935744 22489 33554432000 4194304 4196468 140724915392768 139992167831664 139993399794306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10450] ppid=10435 vsize=15011656 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/10438/task/10450/stat : 10450 (java) R 10435 10438 8644 0 -1 1077944384 133 0 0 0 3 0 0 0 20 0 15 0 78229089 15371935744 22489 33554432000 4194304 4196468 140724915392768 139992166778960 139993399793365 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10451] ppid=10435 vsize=15011656 memory=140497372620416 CPUtime=0.07 cores=0,2,4,6
/proc/10438/task/10451/stat : 10451 (java) S 10435 10438 8644 0 -1 1077944384 347 0 0 0 7 0 0 0 20 0 15 0 78229089 15371935744 22489 33554432000 4194304 4196468 140724915392768 139992165726576 139993399794306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10452] ppid=10435 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10452/stat : 10452 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78229090 15371935744 22489 33554432000 4194304 4196468 140724915392768 139990902237664 139993399793365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10453] ppid=10435 vsize=15011656 memory=140497372620416 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10453/stat : 10453 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229090 15371935744 22489 33554432000 4194304 4196468 140724915392768 139992164674480 139993399794306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89956 KiB
[startup+0.700719 s]
/proc/loadavg: 2.02 2.13 2.10 3/222 10453
/proc/meminfo: memFree=20640548/32770624 swapFree=67108860/67108860
[pid=10438] ppid=10435 vsize=15020052 memory=129728 CPUtime=1.03 cores=0,2,4,6
/proc/10438/stat : 10438 (java) S 10435 10438 8644 0 -1 1077944320 17680 0 0 0 97 6 0 0 20 0 15 0 78229083 15380533248 32432 33554432000 4194304 4196468 140724915392768 140724915375312 139993399783159 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
/proc/10438/statm: 3755013 32432 3141 1 0 3716398 0
[pid=10438/tid=10440] ppid=10435 vsize=15020052 memory=185358172044332 CPUtime=0.67 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (java) R 10435 10438 8644 0 -1 4202560 14818 0 0 0 62 5 0 0 20 0 15 0 78229083 15380533248 32432 33554432000 4194304 4196468 140724915392768 139993371615072 139993383863646 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10441] ppid=10435 vsize=15020052 memory=462675 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (java) S 10435 10438 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78229085 15380533248 32432 33554432000 4194304 4196468 140724915392768 139993404025232 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10442] ppid=10435 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10442/stat : 10442 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229085 15380533248 32432 33554432000 4194304 4196468 140724915392768 139993195108624 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10443] ppid=10435 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10443/stat : 10443 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229085 15380533248 32432 33554432000 4194304 4196468 140724915392768 139993194056336 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10444] ppid=10435 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10444/stat : 10444 (java) S 10435 10438 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78229085 15380533248 32432 33554432000 4194304 4196468 140724915392768 139993193003536 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10445] ppid=10435 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10445/stat : 10445 (java) S 10435 10438 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78229086 15380533248 32432 33554432000 4194304 4196468 140724915392768 139992168884848 139993399794306 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10446] ppid=10435 vsize=15020052 memory=-3535359994705171810 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10446/stat : 10446 (java) S 10435 10438 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 78229087 15380533248 32432 33554432000 4194304 4196468 140724915392768 139992043087136 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10447] ppid=10435 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10447/stat : 10447 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229087 15380533248 32432 33554432000 4194304 4196468 140724915392768 139991774652016 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10448] ppid=10435 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10448/stat : 10448 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78229089 15380533248 32432 33554432000 4194304 4196468 140724915392768 139991400143440 139993399801755 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10449] ppid=10435 vsize=15020052 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10438/task/10449/stat : 10449 (java) R 10435 10438 8644 0 -1 4202560 715 0 0 0 9 0 0 0 20 0 15 0 78229089 15380533248 32432 33554432000 4194304 4196468 140724915392768 139992167831664 139993381327249 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10450] ppid=10435 vsize=15020052 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10438/task/10450/stat : 10450 (java) S 10435 10438 8644 0 -1 1077944384 291 0 0 0 7 0 0 0 20 0 15 0 78229089 15380533248 32432 33554432000 4194304 4196468 140724915392768 139992166778864 139993399794306 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10451] ppid=10435 vsize=15020052 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/10438/task/10451/stat : 10451 (java) S 10435 10438 8644 0 -1 1077944384 515 0 0 0 17 0 0 0 20 0 15 0 78229089 15380533248 32432 33554432000 4194304 4196468 140724915392768 139992165726576 139993399794306 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10452] ppid=10435 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10452/stat : 10452 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78229090 15380533248 32432 33554432000 4194304 4196468 140724915392768 139990902237664 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10453] ppid=10435 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10453/stat : 10453 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229090 15380533248 32432 33554432000 4194304 4196468 140724915392768 139992164674480 139993399794306 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129728 KiB
[startup+1.50482 s]
/proc/loadavg: 2.02 2.13 2.10 4/222 10453
/proc/meminfo: memFree=20565724/32770624 swapFree=67108860/67108860
[pid=10438] ppid=10435 vsize=15022100 memory=253060 CPUtime=3.53 cores=0,2,4,6
/proc/10438/stat : 10438 (java) S 10435 10438 8644 0 -1 1077944320 21352 0 0 0 345 8 0 0 20 0 15 0 78229083 15382630400 63265 33554432000 4194304 4196468 140724915392768 140724915375312 139993399783159 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
/proc/10438/statm: 3755525 63265 3203 1 0 3716910 0
[pid=10438/tid=10440] ppid=10435 vsize=15022100 memory=6297269600779065443 CPUtime=1.47 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (java) R 10435 10438 8644 0 -1 4202560 15930 0 0 0 141 6 0 0 20 0 15 0 78229083 15382630400 63265 33554432000 4194304 4196468 140724915392768 139993371610768 139993399795094 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10441] ppid=10435 vsize=15022100 memory=6297269600779065443 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (java) S 10435 10438 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78229085 15382630400 63265 33554432000 4194304 4196468 140724915392768 139993404025232 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10442] ppid=10435 vsize=15022100 memory=7661576588020443241 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10442/stat : 10442 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229085 15382630400 63265 33554432000 4194304 4196468 140724915392768 139993195108624 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10443] ppid=10435 vsize=15022100 memory=7594877047456097625 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10443/stat : 10443 (java) S 10435 10438 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78229085 15382630400 63265 33554432000 4194304 4196468 140724915392768 139993194056336 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10444] ppid=10435 vsize=15022100 memory=4638778415512636752 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10444/stat : 10444 (java) S 10435 10438 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78229085 15382630400 63265 33554432000 4194304 4196468 140724915392768 139993193003536 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10445] ppid=10435 vsize=15022100 memory=7522789770882870889 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10445/stat : 10445 (java) S 10435 10438 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78229086 15382630400 63265 33554432000 4194304 4196468 140724915392768 139992168884848 139993399794306 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
################
# More data... #
################
/proc/meminfo: memFree=17313552/32770624 swapFree=67108860/67108860
[pid=10438] ppid=10435 vsize=15683912 memory=3875400 CPUtime=65.67 cores=0,2,4,6
/proc/10438/stat : 10438 (java) S 10435 10438 8644 0 -1 1077944320 54518 0 0 0 6410 157 0 0 20 0 19 0 78229083 16060325888 968850 33554432000 4194304 4196468 140724915392768 140724915375312 139993399783159 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
/proc/10438/statm: 3920978 968850 3264 1 0 3881834 0
[pid=10614] ppid=10438 vsize=115176 memory=83780 CPUtime=4.01 cores=0,2,4,6
/proc/10614/stat : 10614 (minisat_release) R 10438 10438 8644 0 -1 4202496 45811 0 0 0 395 6 0 0 20 0 1 0 78233792 117940224 20945 33554432000 4194304 4308513 140725967178896 140725967176520 4275873 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 14045184 140725967180463 140725967180974 140725967180974 140725967183813 0
/proc/10614/statm: 28794 20945 352 28 0 25034 0
[pid=10438/tid=10440] ppid=10435 vsize=15683912 memory=81732 CPUtime=45.29 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (java) S 10435 10438 8644 0 -1 1077944384 23355 0 0 0 4477 52 0 0 20 0 19 0 78229083 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993371622400 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10441] ppid=10435 vsize=15683912 memory=3497988 CPUtime=1.73 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (java) S 10435 10438 8644 0 -1 1077944384 978 0 0 0 149 24 0 0 20 0 19 0 78229085 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993404025232 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10442] ppid=10435 vsize=15683912 memory=3313656 CPUtime=1.69 cores=0,2,4,6
/proc/10438/task/10442/stat : 10442 (java) S 10435 10438 8644 0 -1 1077944384 690 0 0 0 146 23 0 0 20 0 19 0 78229085 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993195108624 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10443] ppid=10435 vsize=15683912 memory=3313500 CPUtime=1.75 cores=0,2,4,6
/proc/10438/task/10443/stat : 10443 (java) S 10435 10438 8644 0 -1 1077944384 586 0 0 0 152 23 0 0 20 0 19 0 78229085 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993194056336 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10444] ppid=10435 vsize=15683912 memory=6943526294502006880 CPUtime=1.68 cores=0,2,4,6
/proc/10438/task/10444/stat : 10444 (java) S 10435 10438 8644 0 -1 1077944384 686 0 0 0 144 24 0 0 20 0 19 0 78229085 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993193003536 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10445] ppid=10435 vsize=15683912 memory=164 CPUtime=0.03 cores=0,2,4,6
/proc/10438/task/10445/stat : 10445 (java) S 10435 10438 8644 0 -1 1077944384 242 0 0 0 3 0 0 0 20 0 19 0 78229086 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992168884848 139993399794306 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10446] ppid=10435 vsize=15683912 memory=4640204396461838434 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10446/stat : 10446 (java) S 10435 10438 8644 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 78229087 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992043087200 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10447] ppid=10435 vsize=15683912 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10447/stat : 10447 (java) S 10435 10438 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 78229087 16060325888 968850 33554432000 4194304 4196468 140724915392768 139991774652032 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10448] ppid=10435 vsize=15683912 memory=3875400 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10448/stat : 10448 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78229089 16060325888 968850 33554432000 4194304 4196468 140724915392768 139991400143440 139993399801755 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10449] ppid=10435 vsize=15683912 memory=4136 CPUtime=6 cores=0,2,4,6
/proc/10438/task/10449/stat : 10449 (java) S 10435 10438 8644 0 -1 1077944384 8894 0 0 0 598 2 0 0 20 0 19 0 78229089 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992167831664 139993399794306 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10450] ppid=10435 vsize=15683912 memory=3790256 CPUtime=5.83 cores=0,2,4,6
/proc/10438/task/10450/stat : 10450 (java) S 10435 10438 8644 0 -1 1077944384 6994 0 0 0 582 1 0 0 20 0 19 0 78229089 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992166778864 139993399794306 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10451] ppid=10435 vsize=15683912 memory=840 CPUtime=1.55 cores=0,2,4,6
/proc/10438/task/10451/stat : 10451 (java) S 10435 10438 8644 0 -1 1077944384 10633 0 0 0 152 3 0 0 20 0 19 0 78229089 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992165726576 139993399794306 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10452] ppid=10435 vsize=15683912 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10452/stat : 10452 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78229090 16060325888 968850 33554432000 4194304 4196468 140724915392768 139990902237664 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10453] ppid=10435 vsize=15683912 memory=5792 CPUtime=0.02 cores=0,2,4,6
/proc/10438/task/10453/stat : 10453 (java) S 10435 10438 8644 0 -1 1077944384 56 0 0 0 1 1 0 0 20 0 19 0 78229090 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992164674480 139993399794306 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10615] ppid=10435 vsize=15683912 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10615/stat : 10615 (java) S 10435 10438 8644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 78233792 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993184245184 139993399807769 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10617] ppid=10435 vsize=15683912 memory=9920 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10617/stat : 10617 (java) S 10435 10438 8644 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 78233792 16060325888 968850 33554432000 4194304 4196468 140724915392768 139990365351856 139993399805085 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10618] ppid=10435 vsize=15683912 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10618/stat : 10618 (java) S 10435 10438 8644 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 78233792 16060325888 968850 33554432000 4194304 4196468 140724915392768 139990499573040 139993399805085 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10619] ppid=10435 vsize=15683912 memory=56 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10619/stat : 10619 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78233794 16060325888 968850 33554432000 4194304 4196468 140724915392768 139990096927648 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
Current children cumulated CPU time: 69.68 s
Current children cumulated vsize: 15799088 KiB
Current children cumulated memory: 3959180 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+88.1102 s]
/proc/loadavg: 2.28 2.21 2.13 3/220 10619
/proc/meminfo: memFree=16442288/32770624 swapFree=67108860/67108860
[pid=10438] ppid=10435 vsize=15683912 memory=3875400 CPUtime=65.69 cores=0,2,4,6
/proc/10438/stat : 10438 (java) S 10435 10438 8644 0 -1 1077944320 54521 0 0 0 6412 157 0 0 20 0 19 0 78229083 16060325888 968850 33554432000 4194304 4196468 140724915392768 140724915375312 139993399783159 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
/proc/10438/statm: 3920978 968850 3264 1 0 3881834 0
[pid=10614] ppid=10438 vsize=195316 memory=144600 CPUtime=41 cores=0,2,4,6
/proc/10614/stat : 10614 (minisat_release) R 10438 10438 8644 0 -1 4202496 115559 0 0 0 4088 12 0 0 20 0 1 0 78233792 200003584 36150 33554432000 4194304 4308513 140725967178896 140725967176344 4276114 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 14045184 140725967180463 140725967180974 140725967180974 140725967183813 0
/proc/10614/statm: 48829 36150 353 28 0 45069 0
[pid=10438/tid=10440] ppid=10435 vsize=15683912 memory=3875400 CPUtime=45.29 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (java) S 10435 10438 8644 0 -1 1077944384 23355 0 0 0 4477 52 0 0 20 0 19 0 78229083 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993371622400 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10441] ppid=10435 vsize=15683912 memory=3875400 CPUtime=1.73 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (java) S 10435 10438 8644 0 -1 1077944384 978 0 0 0 149 24 0 0 20 0 19 0 78229085 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993404025232 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10442] ppid=10435 vsize=15683912 memory=3875400 CPUtime=1.69 cores=0,2,4,6
/proc/10438/task/10442/stat : 10442 (java) S 10435 10438 8644 0 -1 1077944384 690 0 0 0 146 23 0 0 20 0 19 0 78229085 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993195108624 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10443] ppid=10435 vsize=15683912 memory=3875400 CPUtime=1.75 cores=0,2,4,6
/proc/10438/task/10443/stat : 10443 (java) S 10435 10438 8644 0 -1 1077944384 586 0 0 0 152 23 0 0 20 0 19 0 78229085 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993194056336 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10444] ppid=10435 vsize=15683912 memory=134100 CPUtime=1.68 cores=0,2,4,6
/proc/10438/task/10444/stat : 10444 (java) S 10435 10438 8644 0 -1 1077944384 686 0 0 0 144 24 0 0 20 0 19 0 78229085 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993193003536 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10445] ppid=10435 vsize=15683912 memory=3848 CPUtime=0.03 cores=0,2,4,6
/proc/10438/task/10445/stat : 10445 (java) S 10435 10438 8644 0 -1 1077944384 242 0 0 0 3 0 0 0 20 0 19 0 78229086 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992168884848 139993399794306 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10446] ppid=10435 vsize=15683912 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10446/stat : 10446 (java) S 10435 10438 8644 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 78229087 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992043087200 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10447] ppid=10435 vsize=15683912 memory=134268 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10447/stat : 10447 (java) S 10435 10438 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 78229087 16060325888 968850 33554432000 4194304 4196468 140724915392768 139991774652032 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10448] ppid=10435 vsize=15683912 memory=95360 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10448/stat : 10448 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78229089 16060325888 968850 33554432000 4194304 4196468 140724915392768 139991400143440 139993399801755 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10449] ppid=10435 vsize=15683912 memory=3875400 CPUtime=6 cores=0,2,4,6
/proc/10438/task/10449/stat : 10449 (java) S 10435 10438 8644 0 -1 1077944384 8894 0 0 0 598 2 0 0 20 0 19 0 78229089 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992167831664 139993399794306 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10450] ppid=10435 vsize=15683912 memory=94024 CPUtime=5.83 cores=0,2,4,6
/proc/10438/task/10450/stat : 10450 (java) S 10435 10438 8644 0 -1 1077944384 6995 0 0 0 582 1 0 0 20 0 19 0 78229089 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992166778864 139993399794306 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10451] ppid=10435 vsize=15683912 memory=3875400 CPUtime=1.55 cores=0,2,4,6
/proc/10438/task/10451/stat : 10451 (java) S 10435 10438 8644 0 -1 1077944384 10633 0 0 0 152 3 0 0 20 0 19 0 78229089 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992165726576 139993399794306 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10452] ppid=10435 vsize=15683912 memory=3875400 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10452/stat : 10452 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78229090 16060325888 968850 33554432000 4194304 4196468 140724915392768 139990902237664 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10453] ppid=10435 vsize=15683912 memory=3875400 CPUtime=0.03 cores=0,2,4,6
/proc/10438/task/10453/stat : 10453 (java) S 10435 10438 8644 0 -1 1077944384 58 0 0 0 2 1 0 0 20 0 19 0 78229090 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992164674480 139993399794306 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10615] ppid=10435 vsize=15683912 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10615/stat : 10615 (java) S 10435 10438 8644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 78233792 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993184245184 139993399807769 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10617] ppid=10435 vsize=15683912 memory=3875400 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10617/stat : 10617 (java) S 10435 10438 8644 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 78233792 16060325888 968850 33554432000 4194304 4196468 140724915392768 139990365351856 139993399805085 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10618] ppid=10435 vsize=15683912 memory=3875400 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10618/stat : 10618 (java) S 10435 10438 8644 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 78233792 16060325888 968850 33554432000 4194304 4196468 140724915392768 139990499573040 139993399805085 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10619] ppid=10435 vsize=15683912 memory=142460 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10619/stat : 10619 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78233794 16060325888 968850 33554432000 4194304 4196468 140724915392768 139990096927648 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
Current children cumulated CPU time: 106.69 s
Current children cumulated vsize: 15879228 KiB
Current children cumulated memory: 4020000 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+88.1432 s]
# the end of solver process 10438 was just reported to runsolver
# cumulated CPU time of all completed processes: user=105.012 s, system=1.73998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+88.1102 s]
/proc/loadavg: 2.28 2.21 2.13 3/220 10619
/proc/meminfo: memFree=16442288/32770624 swapFree=67108860/67108860
[pid=10438] ppid=10435 vsize=15683912 memory=3875400 CPUtime=65.69 cores=0,2,4,6
/proc/10438/stat : 10438 (java) S 10435 10438 8644 0 -1 1077944320 54521 0 0 0 6412 157 0 0 20 0 19 0 78229083 16060325888 968850 33554432000 4194304 4196468 140724915392768 140724915375312 139993399783159 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
/proc/10438/statm: 3920978 968850 3264 1 0 3881834 0
[pid=10614] ppid=10438 vsize=195316 memory=144600 CPUtime=41 cores=0,2,4,6
/proc/10614/stat : 10614 (minisat_release) R 10438 10438 8644 0 -1 4202496 115559 0 0 0 4088 12 0 0 20 0 1 0 78233792 200003584 36150 33554432000 4194304 4308513 140725967178896 140725967176344 4276114 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 14045184 140725967180463 140725967180974 140725967180974 140725967183813 0
/proc/10614/statm: 48829 36150 353 28 0 45069 0
[pid=10438/tid=10440] ppid=10435 vsize=15683912 memory=3875400 CPUtime=45.29 cores=0,2,4,6
/proc/10438/task/10440/stat : 10440 (java) S 10435 10438 8644 0 -1 1077944384 23355 0 0 0 4477 52 0 0 20 0 19 0 78229083 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993371622400 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10441] ppid=10435 vsize=15683912 memory=3875400 CPUtime=1.73 cores=0,2,4,6
/proc/10438/task/10441/stat : 10441 (java) S 10435 10438 8644 0 -1 1077944384 978 0 0 0 149 24 0 0 20 0 19 0 78229085 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993404025232 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10442] ppid=10435 vsize=15683912 memory=3875400 CPUtime=1.69 cores=0,2,4,6
/proc/10438/task/10442/stat : 10442 (java) S 10435 10438 8644 0 -1 1077944384 690 0 0 0 146 23 0 0 20 0 19 0 78229085 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993195108624 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10443] ppid=10435 vsize=15683912 memory=3875400 CPUtime=1.75 cores=0,2,4,6
/proc/10438/task/10443/stat : 10443 (java) S 10435 10438 8644 0 -1 1077944384 586 0 0 0 152 23 0 0 20 0 19 0 78229085 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993194056336 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10444] ppid=10435 vsize=15683912 memory=134100 CPUtime=1.68 cores=0,2,4,6
/proc/10438/task/10444/stat : 10444 (java) S 10435 10438 8644 0 -1 1077944384 686 0 0 0 144 24 0 0 20 0 19 0 78229085 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993193003536 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10445] ppid=10435 vsize=15683912 memory=3848 CPUtime=0.03 cores=0,2,4,6
/proc/10438/task/10445/stat : 10445 (java) S 10435 10438 8644 0 -1 1077944384 242 0 0 0 3 0 0 0 20 0 19 0 78229086 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992168884848 139993399794306 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10446] ppid=10435 vsize=15683912 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10446/stat : 10446 (java) S 10435 10438 8644 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 78229087 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992043087200 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10447] ppid=10435 vsize=15683912 memory=134268 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10447/stat : 10447 (java) S 10435 10438 8644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 78229087 16060325888 968850 33554432000 4194304 4196468 140724915392768 139991774652032 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10448] ppid=10435 vsize=15683912 memory=95360 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10448/stat : 10448 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78229089 16060325888 968850 33554432000 4194304 4196468 140724915392768 139991400143440 139993399801755 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10449] ppid=10435 vsize=15683912 memory=3875400 CPUtime=6 cores=0,2,4,6
/proc/10438/task/10449/stat : 10449 (java) S 10435 10438 8644 0 -1 1077944384 8894 0 0 0 598 2 0 0 20 0 19 0 78229089 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992167831664 139993399794306 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10450] ppid=10435 vsize=15683912 memory=94024 CPUtime=5.83 cores=0,2,4,6
/proc/10438/task/10450/stat : 10450 (java) S 10435 10438 8644 0 -1 1077944384 6995 0 0 0 582 1 0 0 20 0 19 0 78229089 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992166778864 139993399794306 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10451] ppid=10435 vsize=15683912 memory=3875400 CPUtime=1.55 cores=0,2,4,6
/proc/10438/task/10451/stat : 10451 (java) S 10435 10438 8644 0 -1 1077944384 10633 0 0 0 152 3 0 0 20 0 19 0 78229089 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992165726576 139993399794306 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10452] ppid=10435 vsize=15683912 memory=3875400 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10452/stat : 10452 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78229090 16060325888 968850 33554432000 4194304 4196468 140724915392768 139990902237664 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10453] ppid=10435 vsize=15683912 memory=3875400 CPUtime=0.03 cores=0,2,4,6
/proc/10438/task/10453/stat : 10453 (java) S 10435 10438 8644 0 -1 1077944384 58 0 0 0 2 1 0 0 20 0 19 0 78229090 16060325888 968850 33554432000 4194304 4196468 140724915392768 139992164674480 139993399794306 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10615] ppid=10435 vsize=15683912 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10615/stat : 10615 (java) S 10435 10438 8644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 78233792 16060325888 968850 33554432000 4194304 4196468 140724915392768 139993184245184 139993399807769 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10617] ppid=10435 vsize=15683912 memory=3875400 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10617/stat : 10617 (java) S 10435 10438 8644 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 78233792 16060325888 968850 33554432000 4194304 4196468 140724915392768 139990365351856 139993399805085 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10618] ppid=10435 vsize=15683912 memory=3875400 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10618/stat : 10618 (java) S 10435 10438 8644 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 78233792 16060325888 968850 33554432000 4194304 4196468 140724915392768 139990499573040 139993399805085 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
[pid=10438/tid=10619] ppid=10435 vsize=15683912 memory=142460 CPUtime=0 cores=0,2,4,6
/proc/10438/task/10619/stat : 10619 (java) S 10435 10438 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 78233794 16060325888 968850 33554432000 4194304 4196468 140724915392768 139990096927648 139993399793365 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140724915397619 140724915397897 140724915397897 140724915400655 0
Current children cumulated CPU time: 106.69 s
Current children cumulated vsize: 15879228 KiB
Current children cumulated memory: 4020000 KiB
Child status: 1
Real time (s): 88.1432
CPU time (s): 106.752
CPU user time (s): 105.012
CPU system time (s): 1.73998
CPU usage (%): 121.112
Max. virtual memory (cumulated for all children) (KiB): 15879228
Max. memory (cumulated for all children) (KiB): 4020000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105.012
system time used= 1.73998
maximum resident set size= 3877988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170218
page faults= 0
swaps= 0
block input operations= 0
block output operations= 34128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7507
involuntary context switches= 337
# summary of solver processes directly reported to runsolver:
# pid: 10438
# total CPU time (s): 106.752
# total CPU user time (s): 105.012
# total CPU system time (s): 1.73998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.621166 second user time and 0.869822 second system time
The end