0.55/0.51
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Thu Jul 26 11:40:36 CEST 2018
0.67/0.54 c PID: 8475
0.67/0.54 c IP: 172.20.3.107
0.67/0.54 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.96/1.41 c (0,0) Parsing End
2.96/1.42 c (0,0) CSP: 533 int (0 aux), 0 bool (0 aux), 222 ctr, max domain size 169
2.96/1.42 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.96/1.42 c (0,0) Constraint Name Generate Begin
2.96/1.42 c (0,0) Ctr:HOME/instance-4296136-1532598035.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.96/1.43 c (0,0) Constraint Name Generate End
2.96/1.43 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.96/1.43 c (0,0) CSP to CSPinCNF Begin
23.36/13.63 c (13,12) translated 23 (10%) constraints
34.56/24.18 c (23,23) translated 45 (20%) constraints
47.08/35.06 c (34,33) translated 67 (30%) constraints
58.87/45.75 c (45,44) translated 89 (40%) constraints
72.49/56.91 c (56,54) translated 111 (50%) constraints
84.86/68.11 c (67,65) translated 134 (60%) constraints
97.48/79.06 c (78,75) translated 156 (70%) constraints
105.46/86.37 c (85,82) translated 178 (80%) constraints
105.46/86.37 c (85,82) translated 200 (90%) constraints
105.46/86.37 c (85,82) translated 222 (100%) constraints
110.56/89.79 c (89,85) STATISTICS1:HOME/instance-4296136-1532598035.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,169533,1085203,169,169,170,2,169:14196,169:85514;19:1278264;2:1853761;1:106574,170:169;169:2;5:20111;4:450892;3:163085;2:450892;1:52,2:14196;1:3295773;0:169,
110.56/89.79 c (89,85) ===========================================
110.56/89.79 c (89,85) Both Encoding selects:
110.56/89.79 c (89,85) Order
110.56/89.79 c (89,85) ===========================================
114.32/91.74 c (91,87) translated 108521 (10%) constraints
115.95/93.32 c (92,89) translated 217041 (20%) constraints
117.55/94.90 c (94,91) translated 325561 (30%) constraints
119.74/96.64 c (96,92) translated 434082 (40%) constraints
121.34/98.22 c (97,94) translated 542602 (50%) constraints
122.85/99.79 c (99,95) translated 651122 (60%) constraints
124.45/101.36 c (100,97) translated 759643 (70%) constraints
126.05/102.93 c (102,98) translated 868163 (80%) constraints
129.03/104.86 c (104,100) translated 976683 (90%) constraints
130.63/106.45 c (105,102) translated 1085203 (100%) constraints
130.63/106.45 c (105,102) CSP to CSPinCNF End
130.83/106.52 c (106,102) CSP: 533 int (0 aux), 169000 bool (169000 aux), 1085255 ctr, max domain size 169
130.83/106.52 c (106,102) Heap : 2303 MiB used (max 10704 MiB), NonHeap : 31 MiB used (max 0 MiB)
130.83/106.52 c (106,102) CSPinCNF Propagation Begin
159.47/129.25 c (128,123) 37797 values, 198899 unsatisfiable literals, and 218668 valid clauses are removed
159.47/129.25 c (128,123) CSPinCNF Propagation End
159.57/129.30 c (128,123) CSP: 32346 int (31813 aux), 137187 bool (137187 aux), 866587 ctr, max domain size 169
159.57/129.30 c (128,123) Heap : 3788 MiB used (max 10373 MiB), NonHeap : 32 MiB used (max 0 MiB)
159.57/129.30 c (128,123) Simplify CSPinCNF Begin
163.72/131.45 c (130,125) Simplify CSPinCNF End
163.82/131.52 c (130,125) CSP: 32346 int (31813 aux), 165579 bool (165579 aux), 894979 ctr, max domain size 169
163.82/131.52 c (130,125) Heap : 2166 MiB used (max 10794 MiB), NonHeap : 32 MiB used (max 0 MiB)
163.82/131.52 c (130,125) Calculate Precise Domain Begin
163.82/131.52 c (130,125) 0 values are removed by re-calculation
163.82/131.52 c (130,125) Calculate Precise Domain End
163.82/131.58 c (131,125) CSP: 32346 int (31813 aux), 165579 bool (165579 aux), 894979 ctr, max domain size 169
163.82/131.58 c (131,125) Heap : 2166 MiB used (max 10794 MiB), NonHeap : 32 MiB used (max 0 MiB)
163.82/131.58 c (131,125) CSPinCNF to SatSolver Begin
173.96/139.38 c (138,132) 89498 (10 %) CSP clauses are encoded (193603 SAT variables, 3149776 SAT clauses)
174.52/139.81 c (139,132) 178996 (20 %) CSP clauses are encoded (193603 SAT variables, 3239274 SAT clauses)
174.94/140.52 c (140,133) 268494 (30 %) CSP clauses are encoded (193603 SAT variables, 3328772 SAT clauses)
175.36/140.96 c (140,133) 357992 (40 %) CSP clauses are encoded (193603 SAT variables, 3418270 SAT clauses)
175.76/141.39 c (140,134) 447490 (50 %) CSP clauses are encoded (193603 SAT variables, 3507768 SAT clauses)
176.27/141.83 c (141,134) 536988 (60 %) CSP clauses are encoded (193603 SAT variables, 3597266 SAT clauses)
176.67/142.26 c (141,134) 626486 (70 %) CSP clauses are encoded (193603 SAT variables, 3686764 SAT clauses)
177.07/142.69 c (142,135) 715984 (80 %) CSP clauses are encoded (193603 SAT variables, 3776262 SAT clauses)
177.57/143.13 c (142,135) 805482 (90 %) CSP clauses are encoded (193603 SAT variables, 3865760 SAT clauses)
177.97/143.56 c (143,136) 894979 (100 %) CSP clauses are encoded (193603 SAT variables, 3955257 SAT clauses)
177.97/143.56 c (143,136) CSPinCNF to SatSolver End
177.97/143.56 c (143,136) Heap : 4817 MiB used (max 10807 MiB), NonHeap : 31 MiB used (max 0 MiB)
180.88/145.83 c (145,138) STATISTICS2:HOME/instance-4296136-1532598035.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,197925,894979,169,169,169,2,169:14520;48:12540;4:1332,169:81554;48:18964;19:1091342;4:1372;2:1521853,169:122;121:1;48:44;5:14795;4:350101;3:129631;2:400285,2:28392;1:2658301,
180.88/145.83 c (145,138) SatSolver.solve Begin
180.88/145.83 c (145,138) 193603 bool, 3955258 clause
180.88/145.83 c (145,138) 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-4296136-1532598035.xml-scop-8475.cnf HOME/instance-4296136-1532598035.xml-scop-8475.cnf.out
181.64/146.50 c (145,0) receiving signal SIGTERM
181.64/146.50 s UNKNOWN
181.64/146.51 c (145,138) SatSolver is killed by some reasons.
181.64/146.51 c (145,138) 0,0,106,128,130,131,143,TO,TO,STOP-AFTER(DIMACS)
181.64/146.51 c END-Prog: Thu Jul 26 11:43:02 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 (4379 MiB free)
memory of node 1: 16384 MiB (7800 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296136-1532598035/watcher-4296136-1532598035 -o /tmp/evaluation-result-4296136-1532598035/solver-4296136-1532598035 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532594602-7725 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4296136-1532598035.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8475, runsolver pid=8472
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 2.23 2.07 2.01 3/221 8490
/proc/meminfo: memFree=12413468/32770624 swapFree=67108860/67108860
[pid=8475] ppid=8472 vsize=15011656 memory=72640 CPUtime=0.11 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8472 8475 6157 0 -1 1077944320 6885 0 0 0 9 2 0 0 20 0 15 0 77366706 15371935744 18160 33554432000 4194304 4196468 140736550918816 140736550901360 140685743259383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
/proc/8475/statm: 3752914 18160 2780 1 0 3715374 0
[pid=8475/tid=8477] ppid=8472 vsize=15011656 memory=-8393745925659800667 CPUtime=0.08 cores=1,3,5,7
/proc/8475/task/8477/stat : 8477 (java) R 8472 8475 6157 0 -1 4202560 5181 0 0 0 7 1 0 0 20 0 15 0 77366706 15371935744 18424 33554432000 4194304 4196468 140736550918816 140685715071368 140685723535211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8478] ppid=8472 vsize=15011656 memory=3472467764838679760 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8478/stat : 8478 (java) S 8472 8475 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366708 15371935744 18424 33554432000 4194304 4196468 140736550918816 140685747501840 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8479] ppid=8472 vsize=15011656 memory=139635943528064 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8479/stat : 8479 (java) S 8472 8475 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366708 15371935744 18424 33554432000 4194304 4196468 140736550918816 140685204249488 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8480] ppid=8472 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8480/stat : 8480 (java) S 8472 8475 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366708 15371935744 18424 33554432000 4194304 4196468 140736550918816 140685203196944 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8481] ppid=8472 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8481/stat : 8481 (java) S 8472 8475 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366708 15371935744 18424 33554432000 4194304 4196468 140736550918816 140685202144400 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8482] ppid=8472 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8482/stat : 8482 (java) S 8472 8475 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366709 15371935744 18424 33554432000 4194304 4196468 140736550918816 140684714342384 140685743270530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8483] ppid=8472 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8483/stat : 8483 (java) S 8472 8475 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77366710 15371935744 18424 33554432000 4194304 4196468 140736550918816 140684338127776 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8484] ppid=8472 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8484/stat : 8484 (java) S 8472 8475 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77366710 15371935744 18424 33554432000 4194304 4196468 140736550918816 140684203906032 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8485] ppid=8472 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8485/stat : 8485 (java) S 8472 8475 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366712 15371935744 18424 33554432000 4194304 4196468 140736550918816 140683829401808 140685743277979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8486] ppid=8472 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8486/stat : 8486 (java) S 8472 8475 6157 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 77366712 15371935744 18490 33554432000 4194304 4196468 140736550918816 140684713290224 140685743270530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8487] ppid=8472 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8487/stat : 8487 (java) S 8472 8475 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366712 15371935744 18490 33554432000 4194304 4196468 140736550918816 140684712237680 140685743270530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8488] ppid=8472 vsize=15011656 memory=139635943528064 CPUtime=0.01 cores=1,3,5,7
/proc/8475/task/8488/stat : 8488 (java) S 8472 8475 6157 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 77366712 15371935744 18490 33554432000 4194304 4196468 140736550918816 140684711185136 140685743270530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8489] ppid=8472 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8489/stat : 8489 (java) S 8472 8475 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366713 15371935744 18490 33554432000 4194304 4196468 140736550918816 140683331497056 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8490] ppid=8472 vsize=15011656 memory=139635943528064 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8490/stat : 8490 (java) S 8472 8475 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366713 15371935744 18490 33554432000 4194304 4196468 140736550918816 140684710132016 140685743270530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72640 KiB
[startup+0.210691 s]*
/proc/loadavg: 2.23 2.07 2.01 3/221 8490
/proc/meminfo: memFree=12400020/32770624 swapFree=67108860/67108860
[pid=8475] ppid=8472 vsize=15011656 memory=84688 CPUtime=0.26 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8472 8475 6157 0 -1 1077944320 10124 0 0 0 23 3 0 0 20 0 15 0 77366706 15371935744 21172 33554432000 4194304 4196468 140736550918816 140736550901360 140685743259383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
/proc/8475/statm: 3752914 21172 2890 1 0 3715374 0
[pid=8475/tid=8477] ppid=8472 vsize=15011656 memory=-8340259002029870941 CPUtime=0.19 cores=1,3,5,7
/proc/8475/task/8477/stat : 8477 (java) R 8472 8475 6157 0 -1 4202560 8007 0 0 0 17 2 0 0 20 0 15 0 77366706 15371935744 21172 33554432000 4194304 4196468 140736550918816 140685715087360 140685727303013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8478] ppid=8472 vsize=15011656 memory=5793854886953421241 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8478/stat : 8478 (java) S 8472 8475 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366708 15371935744 21172 33554432000 4194304 4196468 140736550918816 140685747501840 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8479] ppid=8472 vsize=15011656 memory=139635943528064 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8479/stat : 8479 (java) S 8472 8475 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366708 15371935744 21172 33554432000 4194304 4196468 140736550918816 140685204249488 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8480] ppid=8472 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8480/stat : 8480 (java) S 8472 8475 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366708 15371935744 21172 33554432000 4194304 4196468 140736550918816 140685203196944 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8481] ppid=8472 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8481/stat : 8481 (java) S 8472 8475 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366708 15371935744 21172 33554432000 4194304 4196468 140736550918816 140685202144400 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8482] ppid=8472 vsize=15011656 memory=139635943528064 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8482/stat : 8482 (java) S 8472 8475 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366709 15371935744 21172 33554432000 4194304 4196468 140736550918816 140684714342384 140685743270530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8483] ppid=8472 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8483/stat : 8483 (java) S 8472 8475 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77366710 15371935744 21172 33554432000 4194304 4196468 140736550918816 140684338127776 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8484] ppid=8472 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8484/stat : 8484 (java) S 8472 8475 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77366710 15371935744 21172 33554432000 4194304 4196468 140736550918816 140684203906032 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8485] ppid=8472 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8485/stat : 8485 (java) S 8472 8475 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366712 15371935744 21172 33554432000 4194304 4196468 140736550918816 140683829401808 140685743277979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8486] ppid=8472 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8475/task/8486/stat : 8486 (java) R 8472 8475 6157 0 -1 4202560 432 0 0 0 1 0 0 0 20 0 15 0 77366712 15371935744 21172 33554432000 4194304 4196468 140736550918816 140684713290224 140685726670393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8487] ppid=8472 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8487/stat : 8487 (java) R 8472 8475 6157 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 77366712 15371935744 21172 33554432000 4194304 4196468 140736550918816 140684712237680 140685743270530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8488] ppid=8472 vsize=15011656 memory=139635943528064 CPUtime=0.03 cores=1,3,5,7
/proc/8475/task/8488/stat : 8488 (java) S 8472 8475 6157 0 -1 1077944384 294 0 0 0 3 0 0 0 20 0 15 0 77366712 15371935744 21172 33554432000 4194304 4196468 140736550918816 140684711185136 140685743270530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8489] ppid=8472 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8489/stat : 8489 (java) S 8472 8475 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366713 15371935744 21172 33554432000 4194304 4196468 140736550918816 140683331497056 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8490] ppid=8472 vsize=15011656 memory=139635943528064 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8490/stat : 8490 (java) S 8472 8475 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366713 15371935744 21172 33554432000 4194304 4196468 140736550918816 140684710132016 140685743270530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84688 KiB
[startup+0.310802 s]*
/proc/loadavg: 2.23 2.07 2.01 3/221 8490
/proc/meminfo: memFree=12396360/32770624 swapFree=67108860/67108860
[pid=8475] ppid=8472 vsize=15011656 memory=88152 CPUtime=0.43 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8472 8475 6157 0 -1 1077944320 10667 0 0 0 40 3 0 0 20 0 15 0 77366706 15371935744 22038 33554432000 4194304 4196468 140736550918816 140736550901360 140685743259383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
/proc/8475/statm: 3752914 22038 2988 1 0 3715374 0
[pid=8475/tid=8477] ppid=8472 vsize=15011656 memory=-8340259002029870941 CPUtime=0.3 cores=1,3,5,7
/proc/8475/task/8477/stat : 8477 (java) R 8472 8475 6157 0 -1 4202560 8384 0 0 0 27 3 0 0 20 0 15 0 77366706 15371935744 22038 33554432000 4194304 4196468 140736550918816 140685715075920 140685728424976 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8478] ppid=8472 vsize=15011656 memory=5793854886953421241 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8478/stat : 8478 (java) S 8472 8475 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366708 15371935744 22038 33554432000 4194304 4196468 140736550918816 140685747501840 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8479] ppid=8472 vsize=15011656 memory=279271772885632 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8479/stat : 8479 (java) S 8472 8475 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366708 15371935744 22038 33554432000 4194304 4196468 140736550918816 140685204249488 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8480] ppid=8472 vsize=15011656 memory=279271658742784 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8480/stat : 8480 (java) S 8472 8475 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366708 15371935744 22038 33554432000 4194304 4196468 140736550918816 140685203196944 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8481] ppid=8472 vsize=15011656 memory=139635829357583 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8481/stat : 8481 (java) S 8472 8475 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366708 15371935744 22038 33554432000 4194304 4196468 140736550918816 140685202144400 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8482] ppid=8472 vsize=15011656 memory=279271772892544 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8482/stat : 8482 (java) S 8472 8475 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366709 15371935744 22038 33554432000 4194304 4196468 140736550918816 140684714342384 140685743270530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8483] ppid=8472 vsize=15011656 memory=139635829362191 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8483/stat : 8483 (java) S 8472 8475 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77366710 15371935744 22038 33554432000 4194304 4196468 140736550918816 140684338127776 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8484] ppid=8472 vsize=15011656 memory=139635829372221 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8484/stat : 8484 (java) S 8472 8475 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77366710 15371935744 22038 33554432000 4194304 4196468 140736550918816 140684203906032 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8485] ppid=8472 vsize=15011656 memory=139635829374910 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8485/stat : 8485 (java) S 8472 8475 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366712 15371935744 22038 33554432000 4194304 4196468 140736550918816 140683829401808 140685743277979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8486] ppid=8472 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8475/task/8486/stat : 8486 (java) R 8472 8475 6157 0 -1 4202560 490 0 0 0 3 0 0 0 20 0 15 0 77366712 15371935744 22038 33554432000 4194304 4196468 140736550918816 140684713276248 140685720587392 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8487] ppid=8472 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/8475/task/8487/stat : 8487 (java) R 8472 8475 6157 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 15 0 77366712 15371935744 22038 33554432000 4194304 4196468 140736550918816 140684712237680 140685743270530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8488] ppid=8472 vsize=15011656 memory=139635943528064 CPUtime=0.07 cores=1,3,5,7
/proc/8475/task/8488/stat : 8488 (java) S 8472 8475 6157 0 -1 1077944384 314 0 0 0 7 0 0 0 20 0 15 0 77366712 15371935744 22038 33554432000 4194304 4196468 140736550918816 140684711185136 140685743270530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8489] ppid=8472 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8489/stat : 8489 (java) S 8472 8475 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366713 15371935744 22038 33554432000 4194304 4196468 140736550918816 140683331497056 140685743269589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8490] ppid=8472 vsize=15011656 memory=139635943600704 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8490/stat : 8490 (java) S 8472 8475 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366713 15371935744 22038 33554432000 4194304 4196468 140736550918816 140684710132016 140685743270530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88152 KiB
[startup+0.701201 s]
/proc/loadavg: 2.23 2.07 2.01 3/221 8490
/proc/meminfo: memFree=12372036/32770624 swapFree=67108860/67108860
[pid=8475] ppid=8472 vsize=15019976 memory=129884 CPUtime=1.05 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8472 8475 6157 0 -1 1077944320 17662 0 0 0 100 5 0 0 20 0 15 0 77366706 15380455424 32471 33554432000 4194304 4196468 140736550918816 140736550901360 140685743259383 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
/proc/8475/statm: 3754994 32471 3150 1 0 3716398 0
[pid=8475/tid=8477] ppid=8472 vsize=15019976 memory=55 CPUtime=0.67 cores=1,3,5,7
/proc/8475/task/8477/stat : 8477 (java) R 8472 8475 6157 0 -1 4202560 14818 0 0 0 63 4 0 0 20 0 15 0 77366706 15380455424 32471 33554432000 4194304 4196468 140736550918816 140685715092496 140685743281309 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8478] ppid=8472 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8478/stat : 8478 (java) S 8472 8475 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366708 15380455424 32471 33554432000 4194304 4196468 140736550918816 140685747501840 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8479] ppid=8472 vsize=15019976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8479/stat : 8479 (java) S 8472 8475 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366708 15380455424 32471 33554432000 4194304 4196468 140736550918816 140685204249488 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8480] ppid=8472 vsize=15019976 memory=7886766292050916917 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8480/stat : 8480 (java) S 8472 8475 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366708 15380455424 32471 33554432000 4194304 4196468 140736550918816 140685203196944 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8481] ppid=8472 vsize=15019976 memory=5787495302107849536 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8481/stat : 8481 (java) S 8472 8475 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366708 15380455424 32471 33554432000 4194304 4196468 140736550918816 140685202144400 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8482] ppid=8472 vsize=15019976 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8482/stat : 8482 (java) S 8472 8475 6157 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 77366709 15380455424 32471 33554432000 4194304 4196468 140736550918816 140684714342384 140685743270530 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8483] ppid=8472 vsize=15019976 memory=8540 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8483/stat : 8483 (java) S 8472 8475 6157 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77366710 15380455424 32471 33554432000 4194304 4196468 140736550918816 140684338127776 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8484] ppid=8472 vsize=15019976 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8484/stat : 8484 (java) S 8472 8475 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77366710 15380455424 32471 33554432000 4194304 4196468 140736550918816 140684203906032 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8485] ppid=8472 vsize=15019976 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8485/stat : 8485 (java) S 8472 8475 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366712 15380455424 32471 33554432000 4194304 4196468 140736550918816 140683829401808 140685743277979 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8486] ppid=8472 vsize=15019976 memory=4612 CPUtime=0.09 cores=1,3,5,7
/proc/8475/task/8486/stat : 8486 (java) R 8472 8475 6157 0 -1 4202560 655 0 0 0 9 0 0 0 20 0 15 0 77366712 15380455424 32471 33554432000 4194304 4196468 140736550918816 140684713290224 140685729273713 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8487] ppid=8472 vsize=15019976 memory=1012 CPUtime=0.09 cores=1,3,5,7
/proc/8475/task/8487/stat : 8487 (java) R 8472 8475 6157 0 -1 4202560 357 0 0 0 9 0 0 0 20 0 15 0 77366712 15380455424 32471 33554432000 4194304 4196468 140736550918816 140684712225824 140685736356140 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8488] ppid=8472 vsize=15019976 memory=1436 CPUtime=0.17 cores=1,3,5,7
/proc/8475/task/8488/stat : 8488 (java) S 8472 8475 6157 0 -1 1077944384 472 0 0 0 17 0 0 0 20 0 15 0 77366712 15380455424 32471 33554432000 4194304 4196468 140736550918816 140684711185136 140685743270530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8489] ppid=8472 vsize=15019976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8489/stat : 8489 (java) S 8472 8475 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366713 15380455424 32471 33554432000 4194304 4196468 140736550918816 140683331497056 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8490] ppid=8472 vsize=15019976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8490/stat : 8490 (java) S 8472 8475 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366713 15380455424 32471 33554432000 4194304 4196468 140736550918816 140684710132016 140685743270530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 129884 KiB
[startup+1.50161 s]
/proc/loadavg: 2.23 2.07 2.01 5/221 8490
/proc/meminfo: memFree=12258600/32770624 swapFree=67108860/67108860
[pid=8475] ppid=8472 vsize=15022100 memory=330588 CPUtime=3.15 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8472 8475 6157 0 -1 1077944320 20353 0 0 0 306 9 0 0 20 0 15 0 77366706 15382630400 82647 33554432000 4194304 4196468 140736550918816 140736550901360 140685743259383 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
/proc/8475/statm: 3755525 82647 3199 1 0 3716910 0
[pid=8475/tid=8477] ppid=8472 vsize=15022100 memory=4140 CPUtime=1.47 cores=1,3,5,7
/proc/8475/task/8477/stat : 8477 (java) R 8472 8475 6157 0 -1 4202560 15814 0 0 0 140 7 0 0 20 0 15 0 77366706 15382630400 82647 33554432000 4194304 4196468 140736550918816 140685715091712 140685743280730 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8478] ppid=8472 vsize=15022100 memory=23052 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8478/stat : 8478 (java) S 8472 8475 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366708 15382630400 82647 33554432000 4194304 4196468 140736550918816 140685747501840 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8479] ppid=8472 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8479/stat : 8479 (java) S 8472 8475 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366708 15382630400 82647 33554432000 4194304 4196468 140736550918816 140685204249488 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8480] ppid=8472 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8480/stat : 8480 (java) S 8472 8475 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77366708 15382630400 82647 33554432000 4194304 4196468 140736550918816 140685203196944 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8481] ppid=8472 vsize=15022100 memory=55 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8481/stat : 8481 (java) S 8472 8475 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77366708 15382630400 82647 33554432000 4194304 4196468 140736550918816 140685202144400 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8482] ppid=8472 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8482/stat : 8482 (java) S 8472 8475 6157 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 77366709 15382630400 82647 33554432000 4194304 4196468 140736550918816 140684714342384 140685743270530 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
################
# More data... #
################
/proc/8475/task/8488/stat : 8488 (java) S 8472 8475 6157 0 -1 1077944384 5549 0 0 0 129 2 0 0 20 0 15 0 77366712 15384727552 979529 33554432000 4194304 4196468 140736550918816 140684711185136 140685743270530 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8489] ppid=8472 vsize=15024148 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8489/stat : 8489 (java) S 8472 8475 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366713 15384727552 979529 33554432000 4194304 4196468 140736550918816 140683331497056 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8490] ppid=8472 vsize=15024148 memory=4082366416641 CPUtime=0.02 cores=1,3,5,7
/proc/8475/task/8490/stat : 8490 (java) S 8472 8475 6157 0 -1 1077944384 42 0 0 0 1 1 0 0 20 0 15 0 77366713 15384727552 979529 33554432000 4194304 4196468 140736550918816 140684710132016 140685743270530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
Current children cumulated CPU time: 65.42 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3918116 KiB
[startup+102.301 s]
/proc/loadavg: 2.42 2.14 2.04 3/221 8491
/proc/meminfo: memFree=7571636/32770624 swapFree=67108860/67108860
[pid=8475] ppid=8472 vsize=15024148 memory=4903356 CPUtime=125.45 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8472 8475 6157 0 -1 1077944320 66014 0 0 0 12307 238 0 0 20 0 15 0 77366706 15384727552 1225839 33554432000 4194304 4196468 140736550918816 140736550901360 140685743259383 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
/proc/8475/statm: 3756037 1225839 3243 1 0 3717422 0
[pid=8475/tid=8477] ppid=8472 vsize=15024148 memory=4903356 CPUtime=98.75 cores=1,3,5,7
/proc/8475/task/8477/stat : 8477 (java) R 8472 8475 6157 0 -1 4202560 26774 0 0 0 9826 49 0 0 20 0 15 0 77366706 15384727552 1225839 33554432000 4194304 4196468 140736550918816 140685715090096 140685235842075 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8478] ppid=8472 vsize=15024148 memory=164 CPUtime=3.45 cores=1,3,5,7
/proc/8475/task/8478/stat : 8478 (java) S 8472 8475 6157 0 -1 1077944384 1564 0 0 0 298 47 0 0 20 0 15 0 77366708 15384727552 1225839 33554432000 4194304 4196468 140736550918816 140685747501840 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8479] ppid=8472 vsize=15024148 memory=4903356 CPUtime=3.46 cores=1,3,5,7
/proc/8475/task/8479/stat : 8479 (java) S 8472 8475 6157 0 -1 1077944384 2498 0 0 0 301 45 0 0 20 0 15 0 77366708 15384727552 1225839 33554432000 4194304 4196468 140736550918816 140685204249488 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8480] ppid=8472 vsize=15024148 memory=23052 CPUtime=3.42 cores=1,3,5,7
/proc/8475/task/8480/stat : 8480 (java) S 8472 8475 6157 0 -1 1077944384 2374 0 0 0 297 45 0 0 20 0 15 0 77366708 15384727552 1225839 33554432000 4194304 4196468 140736550918816 140685203196944 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8481] ppid=8472 vsize=15024148 memory=1296 CPUtime=3.46 cores=1,3,5,7
/proc/8475/task/8481/stat : 8481 (java) S 8472 8475 6157 0 -1 1077944384 1779 0 0 0 306 40 0 0 20 0 15 0 77366708 15384727552 1225839 33554432000 4194304 4196468 140736550918816 140685202144400 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8482] ppid=8472 vsize=15024148 memory=4770372 CPUtime=0.03 cores=1,3,5,7
/proc/8475/task/8482/stat : 8482 (java) S 8472 8475 6157 0 -1 1077944384 568 0 0 0 3 0 0 0 20 0 15 0 77366709 15384727552 1225839 33554432000 4194304 4196468 140736550918816 140684714342384 140685743270530 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8483] ppid=8472 vsize=15024148 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8483/stat : 8483 (java) S 8472 8475 6157 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 77366710 15384727552 1225839 33554432000 4194304 4196468 140736550918816 140684338127840 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8484] ppid=8472 vsize=15024148 memory=4903356 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8484/stat : 8484 (java) S 8472 8475 6157 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 77366710 15384727552 1225839 33554432000 4194304 4196468 140736550918816 140684203906048 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8485] ppid=8472 vsize=15024148 memory=23052 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8485/stat : 8485 (java) S 8472 8475 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366712 15384727552 1225839 33554432000 4194304 4196468 140736550918816 140683829401808 140685743277979 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8486] ppid=8472 vsize=15024148 memory=4903356 CPUtime=6.03 cores=1,3,5,7
/proc/8475/task/8486/stat : 8486 (java) S 8472 8475 6157 0 -1 1077944384 11410 0 0 0 601 2 0 0 20 0 15 0 77366712 15384727552 1225839 33554432000 4194304 4196468 140736550918816 140684713290224 140685743270530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8487] ppid=8472 vsize=15024148 memory=1012 CPUtime=5.21 cores=1,3,5,7
/proc/8475/task/8487/stat : 8487 (java) S 8472 8475 6157 0 -1 1077944384 6553 0 0 0 520 1 0 0 20 0 15 0 77366712 15384727552 1225839 33554432000 4194304 4196468 140736550918816 140684712237680 140685743270530 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8488] ppid=8472 vsize=15024148 memory=4903356 CPUtime=1.51 cores=1,3,5,7
/proc/8475/task/8488/stat : 8488 (java) S 8472 8475 6157 0 -1 1077944384 10998 0 0 0 148 3 0 0 20 0 15 0 77366712 15384727552 1225839 33554432000 4194304 4196468 140736550918816 140684711185136 140685743270530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8489] ppid=8472 vsize=15024148 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8489/stat : 8489 (java) S 8472 8475 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77366713 15384727552 1225839 33554432000 4194304 4196468 140736550918816 140683331497056 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8490] ppid=8472 vsize=15024148 memory=4612 CPUtime=0.05 cores=1,3,5,7
/proc/8475/task/8490/stat : 8490 (java) S 8472 8475 6157 0 -1 1077944384 114 0 0 0 2 3 0 0 20 0 15 0 77366713 15384727552 1225839 33554432000 4194304 4196468 140736550918816 140684710132016 140685743270530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
Current children cumulated CPU time: 125.45 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 4903356 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+146.501 s]
/proc/loadavg: 1.98 2.06 2.02 3/226 8498
/proc/meminfo: memFree=6303116/32770624 swapFree=67108860/67108860
[pid=8475] ppid=8472 vsize=15683912 memory=6023156 CPUtime=181 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8472 8475 6157 0 -1 1077944320 88049 0 0 0 17727 373 0 0 20 0 19 0 77366706 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140736550901360 140685743259383 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
/proc/8475/statm: 3920978 1505789 3264 1 0 3881834 0
[pid=8493] ppid=8475 vsize=233556 memory=171752 CPUtime=0.64 cores=1,3,5,7
/proc/8493/stat : 8493 (minisat_release) R 8475 8475 6157 0 -1 4202496 33288 0 0 0 58 6 0 0 20 0 1 0 77381291 239161344 42938 33554432000 4194304 4308513 140734494950192 140734494947336 140372091534309 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6409496 6410680 12337152 140734494958257 140734494958766 140734494958766 140734494961605 0
/proc/8493/statm: 58389 42938 316 28 0 54629 0
[pid=8475/tid=8477] ppid=8472 vsize=15683912 memory=6020028 CPUtime=138.99 cores=1,3,5,7
/proc/8475/task/8477/stat : 8477 (java) S 8472 8475 6157 0 -1 1077944384 31350 0 0 0 13840 59 0 0 20 0 19 0 77366706 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140685715098624 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8478] ppid=8472 vsize=15683912 memory=6019928 CPUtime=6.28 cores=1,3,5,7
/proc/8475/task/8478/stat : 8478 (java) S 8472 8475 6157 0 -1 1077944384 2198 0 0 0 557 71 0 0 20 0 19 0 77366708 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140685747501840 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8479] ppid=8472 vsize=15683912 memory=6020028 CPUtime=6.29 cores=1,3,5,7
/proc/8475/task/8479/stat : 8479 (java) S 8472 8475 6157 0 -1 1077944384 4380 0 0 0 551 78 0 0 20 0 19 0 77366708 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140685204249488 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8480] ppid=8472 vsize=15683912 memory=0 CPUtime=6.25 cores=1,3,5,7
/proc/8475/task/8480/stat : 8480 (java) S 8472 8475 6157 0 -1 1077944384 3449 0 0 0 549 76 0 0 20 0 19 0 77366708 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140685203196944 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8481] ppid=8472 vsize=15683912 memory=6019844 CPUtime=6.27 cores=1,3,5,7
/proc/8475/task/8481/stat : 8481 (java) S 8472 8475 6157 0 -1 1077944384 2998 0 0 0 555 72 0 0 20 0 19 0 77366708 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140685202144400 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8482] ppid=8472 vsize=15683912 memory=6031656 CPUtime=0.04 cores=1,3,5,7
/proc/8475/task/8482/stat : 8482 (java) S 8472 8475 6157 0 -1 1077944384 1195 0 0 0 4 0 0 0 20 0 19 0 77366709 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140684714342384 140685743270530 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8483] ppid=8472 vsize=15683912 memory=6020028 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8483/stat : 8483 (java) S 8472 8475 6157 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 77366710 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140684338127840 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8484] ppid=8472 vsize=15683912 memory=6023156 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8484/stat : 8484 (java) S 8472 8475 6157 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 77366710 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140684203906048 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8485] ppid=8472 vsize=15683912 memory=85880 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8485/stat : 8485 (java) S 8472 8475 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77366712 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140683829401808 140685743277979 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8486] ppid=8472 vsize=15683912 memory=6020028 CPUtime=7.86 cores=1,3,5,7
/proc/8475/task/8486/stat : 8486 (java) S 8472 8475 6157 0 -1 1077944384 16968 0 0 0 784 2 0 0 20 0 19 0 77366712 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140684713290224 140685743270530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8487] ppid=8472 vsize=15683912 memory=6019896 CPUtime=7.08 cores=1,3,5,7
/proc/8475/task/8487/stat : 8487 (java) S 8472 8475 6157 0 -1 1077944384 10142 0 0 0 706 2 0 0 20 0 19 0 77366712 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140684712237680 140685743270530 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8488] ppid=8472 vsize=15683912 memory=2400 CPUtime=1.76 cores=1,3,5,7
/proc/8475/task/8488/stat : 8488 (java) S 8472 8475 6157 0 -1 1077944384 13530 0 0 0 172 4 0 0 20 0 19 0 77366712 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140684711185136 140685743270530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8489] ppid=8472 vsize=15683912 memory=6019844 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8489/stat : 8489 (java) S 8472 8475 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77366713 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140683331497056 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8490] ppid=8472 vsize=15683912 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/8475/task/8490/stat : 8490 (java) S 8472 8475 6157 0 -1 1077944384 375 0 0 0 4 4 0 0 20 0 19 0 77366713 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140684710132016 140685743270530 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8494] ppid=8472 vsize=15683912 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8494/stat : 8494 (java) S 8472 8475 6157 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77381291 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140684691768384 140685743283993 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8496] ppid=8472 vsize=15683912 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8496/stat : 8496 (java) S 8472 8475 6157 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 77381291 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140682794610224 140685743281309 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8497] ppid=8472 vsize=15683912 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8497/stat : 8497 (java) S 8472 8475 6157 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 77381291 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140682928832176 140685743281309 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8498] ppid=8472 vsize=15683912 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8498/stat : 8498 (java) S 8472 8475 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77381293 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140682526187040 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
Current children cumulated CPU time: 181.64 s
Current children cumulated vsize: 15917468 KiB
Current children cumulated memory: 6194908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+146.55 s]
# the end of solver process 8475 was just reported to runsolver
# cumulated CPU time of all completed processes: user=177.864 s, system=3.84982 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+146.501 s]
/proc/loadavg: 1.98 2.06 2.02 3/226 8498
/proc/meminfo: memFree=6303116/32770624 swapFree=67108860/67108860
[pid=8475] ppid=8472 vsize=15683912 memory=6023156 CPUtime=181 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8472 8475 6157 0 -1 1077944320 88049 0 0 0 17727 373 0 0 20 0 19 0 77366706 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140736550901360 140685743259383 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
/proc/8475/statm: 3920978 1505789 3264 1 0 3881834 0
[pid=8493] ppid=8475 vsize=233556 memory=171752 CPUtime=0.64 cores=1,3,5,7
/proc/8493/stat : 8493 (minisat_release) R 8475 8475 6157 0 -1 4202496 33288 0 0 0 58 6 0 0 20 0 1 0 77381291 239161344 42938 33554432000 4194304 4308513 140734494950192 140734494947336 140372091534309 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6409496 6410680 12337152 140734494958257 140734494958766 140734494958766 140734494961605 0
/proc/8493/statm: 58389 42938 316 28 0 54629 0
[pid=8475/tid=8477] ppid=8472 vsize=15683912 memory=6020028 CPUtime=138.99 cores=1,3,5,7
/proc/8475/task/8477/stat : 8477 (java) S 8472 8475 6157 0 -1 1077944384 31350 0 0 0 13840 59 0 0 20 0 19 0 77366706 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140685715098624 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8478] ppid=8472 vsize=15683912 memory=6019928 CPUtime=6.28 cores=1,3,5,7
/proc/8475/task/8478/stat : 8478 (java) S 8472 8475 6157 0 -1 1077944384 2198 0 0 0 557 71 0 0 20 0 19 0 77366708 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140685747501840 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8479] ppid=8472 vsize=15683912 memory=6020028 CPUtime=6.29 cores=1,3,5,7
/proc/8475/task/8479/stat : 8479 (java) S 8472 8475 6157 0 -1 1077944384 4380 0 0 0 551 78 0 0 20 0 19 0 77366708 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140685204249488 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8480] ppid=8472 vsize=15683912 memory=0 CPUtime=6.25 cores=1,3,5,7
/proc/8475/task/8480/stat : 8480 (java) S 8472 8475 6157 0 -1 1077944384 3449 0 0 0 549 76 0 0 20 0 19 0 77366708 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140685203196944 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8481] ppid=8472 vsize=15683912 memory=6019844 CPUtime=6.27 cores=1,3,5,7
/proc/8475/task/8481/stat : 8481 (java) S 8472 8475 6157 0 -1 1077944384 2998 0 0 0 555 72 0 0 20 0 19 0 77366708 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140685202144400 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8482] ppid=8472 vsize=15683912 memory=6031656 CPUtime=0.04 cores=1,3,5,7
/proc/8475/task/8482/stat : 8482 (java) S 8472 8475 6157 0 -1 1077944384 1195 0 0 0 4 0 0 0 20 0 19 0 77366709 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140684714342384 140685743270530 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8483] ppid=8472 vsize=15683912 memory=6020028 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8483/stat : 8483 (java) S 8472 8475 6157 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 77366710 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140684338127840 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8484] ppid=8472 vsize=15683912 memory=6023156 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8484/stat : 8484 (java) S 8472 8475 6157 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 77366710 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140684203906048 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8485] ppid=8472 vsize=15683912 memory=85880 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8485/stat : 8485 (java) S 8472 8475 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77366712 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140683829401808 140685743277979 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8486] ppid=8472 vsize=15683912 memory=6020028 CPUtime=7.86 cores=1,3,5,7
/proc/8475/task/8486/stat : 8486 (java) S 8472 8475 6157 0 -1 1077944384 16968 0 0 0 784 2 0 0 20 0 19 0 77366712 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140684713290224 140685743270530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8487] ppid=8472 vsize=15683912 memory=6019896 CPUtime=7.08 cores=1,3,5,7
/proc/8475/task/8487/stat : 8487 (java) S 8472 8475 6157 0 -1 1077944384 10142 0 0 0 706 2 0 0 20 0 19 0 77366712 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140684712237680 140685743270530 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8488] ppid=8472 vsize=15683912 memory=2400 CPUtime=1.76 cores=1,3,5,7
/proc/8475/task/8488/stat : 8488 (java) S 8472 8475 6157 0 -1 1077944384 13530 0 0 0 172 4 0 0 20 0 19 0 77366712 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140684711185136 140685743270530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8489] ppid=8472 vsize=15683912 memory=6019844 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8489/stat : 8489 (java) S 8472 8475 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77366713 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140683331497056 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8490] ppid=8472 vsize=15683912 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/8475/task/8490/stat : 8490 (java) S 8472 8475 6157 0 -1 1077944384 375 0 0 0 4 4 0 0 20 0 19 0 77366713 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140684710132016 140685743270530 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8494] ppid=8472 vsize=15683912 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8494/stat : 8494 (java) S 8472 8475 6157 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77381291 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140684691768384 140685743283993 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8496] ppid=8472 vsize=15683912 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8496/stat : 8496 (java) S 8472 8475 6157 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 77381291 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140682794610224 140685743281309 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8497] ppid=8472 vsize=15683912 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8497/stat : 8497 (java) S 8472 8475 6157 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 77381291 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140682928832176 140685743281309 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
[pid=8475/tid=8498] ppid=8472 vsize=15683912 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8498/stat : 8498 (java) S 8472 8475 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77381293 16060325888 1505789 33554432000 4194304 4196468 140736550918816 140682526187040 140685743269589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6615040 140736550925300 140736550925577 140736550925577 140736550928335 0
Current children cumulated CPU time: 181.64 s
Current children cumulated vsize: 15917468 KiB
Current children cumulated memory: 6194908 KiB
Child status: 1
Real time (s): 146.55
CPU time (s): 181.714
CPU user time (s): 177.864
CPU system time (s): 3.84982
CPU usage (%): 123.994
Max. virtual memory (cumulated for all children) (KiB): 15917468
Max. memory (cumulated for all children) (KiB): 6194908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 177.864
system time used= 3.84983
maximum resident set size= 6031672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121532
page faults= 0
swaps= 0
block input operations= 0
block output operations= 170288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9853
involuntary context switches= 444
# summary of solver processes directly reported to runsolver:
# pid: 8475
# total CPU time (s): 181.714
# total CPU user time (s): 177.864
# total CPU system time (s): 3.84982
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.955226 second user time and 1.41631 second system time
The end