0.67/0.52
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Mon Jul 23 16:50:03 CEST 2018
0.67/0.55 c PID: 11750
0.67/0.55 c IP: 172.20.3.105
0.67/0.55 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
3.06/1.32 c (0,0) Parsing End
3.06/1.34 c (0,0) CSP: 1000 int (0 aux), 0 bool (0 aux), 621 ctr, max domain size 50
3.06/1.34 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.06/1.34 c (0,0) Constraint Name Generate Begin
3.06/1.35 c (0,0) Ctr:HOME/instance-4294577-1532357403.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
3.06/1.35 c (0,0) Constraint Name Generate End
3.06/1.35 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.06/1.35 c (0,0) CSP to CSPinCNF Begin
5.37/2.15 c (1,1) translated 63 (10%) constraints
10.75/4.42 c (3,3) translated 125 (20%) constraints
11.47/4.63 c (4,4) translated 187 (30%) constraints
11.79/4.78 c (4,4) translated 249 (40%) constraints
12.41/4.91 c (4,4) translated 311 (50%) constraints
12.75/5.05 c (4,4) translated 373 (60%) constraints
13.08/5.18 c (4,4) translated 435 (70%) constraints
13.68/5.31 c (4,4) translated 497 (80%) constraints
14.00/5.43 c (4,4) translated 559 (90%) constraints
14.30/5.55 c (5,4) translated 621 (100%) constraints
15.87/6.01 c (5,5) STATISTICS1:HOME/instance-4294577-1532357403.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,4089,49779,50,50,50,2,50:11547;49:284;48:247;47:252;46:257;45:525;6:500;5:500,50:80804;49:1047;48:879;47:879;46:879;45:1736;6:4000;5:3500;2:13767,50:20;7:250;6:250;5:200;4:339;3:28553;2:20089;1:78,2:14112;1:104267;0:500,
15.87/6.01 c (5,5) ===========================================
15.87/6.01 c (5,5) Order
15.87/6.01 c (5,5) ===========================================
16.56/6.23 c (5,5) translated 4978 (10%) constraints
16.95/6.40 c (5,5) translated 9956 (20%) constraints
17.53/6.68 c (6,6) translated 14934 (30%) constraints
18.64/7.09 c (6,6) translated 19912 (40%) constraints
19.15/7.47 c (6,6) translated 24890 (50%) constraints
19.56/7.82 c (7,7) translated 29868 (60%) constraints
19.88/8.17 c (7,7) translated 34846 (70%) constraints
20.41/8.50 c (7,7) translated 39824 (80%) constraints
20.71/8.66 c (8,8) translated 44802 (90%) constraints
21.01/8.76 c (8,8) translated 49779 (100%) constraints
21.01/8.76 c (8,8) CSP to CSPinCNF End
21.01/8.77 c (8,8) CSP: 1000 int (0 aux), 28089 bool (28089 aux), 99779 ctr, max domain size 50
21.01/8.77 c (8,8) Heap : 2591 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
21.01/8.77 c (8,8) CSPinCNF Propagation Begin
23.08/9.57 c (9,8) 273 values, 2171 unsatisfiable literals, and 1594 valid clauses are removed
23.08/9.57 c (9,8) CSPinCNF Propagation End
23.08/9.58 c (9,8) CSP: 1198 int (198 aux), 27891 bool (27891 aux), 98185 ctr, max domain size 50
23.08/9.58 c (9,8) Heap : 303 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.08/9.58 c (9,8) Simplify CSPinCNF Begin
24.04/10.16 c (9,9) Simplify CSPinCNF End
24.04/10.19 c (9,9) CSP: 1198 int (198 aux), 54836 bool (54836 aux), 125130 ctr, max domain size 50
24.04/10.19 c (9,9) Heap : 634 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.04/10.19 c (9,9) Calculate Precise Domain Begin
24.04/10.19 c (9,9) 0 values are removed by re-calculation
24.04/10.19 c (9,9) Calculate Precise Domain End
24.29/10.21 c (9,9) CSP: 1198 int (198 aux), 54836 bool (54836 aux), 125130 ctr, max domain size 50
24.29/10.21 c (9,9) Heap : 634 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.29/10.21 c (9,9) CSPinCNF to SatSolver Begin
26.45/11.59 c (11,10) 12513 (10 %) CSP clauses are encoded (81388 SAT variables, 438945 SAT clauses)
27.68/12.72 c (12,12) 25026 (20 %) CSP clauses are encoded (81388 SAT variables, 853128 SAT clauses)
29.31/13.95 c (13,13) 37539 (30 %) CSP clauses are encoded (81388 SAT variables, 1246696 SAT clauses)
29.42/14.04 c (13,13) 50052 (40 %) CSP clauses are encoded (81388 SAT variables, 1266289 SAT clauses)
29.42/14.09 c (13,13) 62565 (50 %) CSP clauses are encoded (81388 SAT variables, 1278802 SAT clauses)
29.52/14.15 c (13,13) 75078 (60 %) CSP clauses are encoded (81388 SAT variables, 1291315 SAT clauses)
29.61/14.21 c (13,13) 87591 (70 %) CSP clauses are encoded (81388 SAT variables, 1303828 SAT clauses)
29.61/14.26 c (13,13) 100104 (80 %) CSP clauses are encoded (81388 SAT variables, 1316341 SAT clauses)
29.71/14.32 c (13,13) 112617 (90 %) CSP clauses are encoded (81388 SAT variables, 1328854 SAT clauses)
29.98/14.50 c (13,13) 125130 (100 %) CSP clauses are encoded (81388 SAT variables, 1382656 SAT clauses)
29.98/14.50 c (13,13) CSPinCNF to SatSolver End
29.98/14.50 c (13,13) Heap : 1115 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
30.62/14.87 c (14,14) STATISTICS2:HOME/instance-4294577-1532357403.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,56034,125130,50,50,50,2,50:19925;49:538;48:1007;47:942;46:962;45:1988;6:1000;5:1000,50:140597;49:1867;48:3397;47:3049;46:3009;45:5936;6:5000;5:4500;2:141407,50:5;45:14;43:1;6:250;5:450;4:339;3:27307;2:96686;1:78,2:27362;1:254038,
30.62/14.87 c (14,14) SatSolver.solve Begin
30.62/14.87 c (14,14) 81388 bool, 1382657 clause
30.62/14.87 c (14,14) 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-4294577-1532357403.xml-scop-11750.cnf HOME/instance-4294577-1532357403.xml-scop-11750.cnf.out
32.80/16.90 c (16,0) receiving signal SIGTERM
32.80/16.90 s UNKNOWN
32.80/16.91 c (16,14) SatSolver is killed by some reasons.
32.80/16.91 c (16,14) 0,0,8,9,9,9,13,TO,TO,STOP-AFTER(DIMACS)
32.80/16.91 c END-Prog: Mon Jul 23 16:50:20 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 (1989 MiB free)
memory of node 1: 16384 MiB (11576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294577-1532357403/watcher-4294577-1532357403 -o /tmp/evaluation-result-4294577-1532357403/solver-4294577-1532357403 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2303 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294577-1532357403.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11750, runsolver pid=11747
[startup+0.100158 s]*
/proc/loadavg: 2.97 2.48 2.23 3/220 11765
/proc/meminfo: memFree=13832324/32770624 swapFree=67108860/67108860
[pid=11750] ppid=11747 vsize=15011656 memory=72824 CPUtime=0.11 cores=1,3,5,7
/proc/11750/stat : 11750 (java) S 11747 11750 2271 0 -1 1077944320 6407 0 0 0 9 2 0 0 20 0 15 0 53303424 15371935744 18206 33554432000 4194304 4196468 140729851845280 140729851827824 140515303608055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
/proc/11750/statm: 3752914 18206 2761 1 0 3715374 0
[pid=11750/tid=11752] ppid=11747 vsize=15011656 memory=-6871259845000215376 CPUtime=0.08 cores=1,3,5,7
/proc/11750/task/11752/stat : 11752 (java) R 11747 11750 2271 0 -1 4202560 4658 0 0 0 7 1 0 0 20 0 15 0 53303424 15371935744 18404 33554432000 4194304 4196468 140729851845280 140515275413528 140515283883869 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11753] ppid=11747 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11753/stat : 11753 (java) S 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303426 15371935744 18404 33554432000 4194304 4196468 140729851845280 140515307850128 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11754] ppid=11747 vsize=15011656 memory=140323024098944 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11754/stat : 11754 (java) S 11747 11750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53303426 15371935744 18404 33554432000 4194304 4196468 140729851845280 140515098933520 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11755] ppid=11747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11755/stat : 11755 (java) S 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303426 15371935744 18404 33554432000 4194304 4196468 140729851845280 140515097881232 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11756] ppid=11747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11756/stat : 11756 (java) S 11747 11750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53303426 15371935744 18404 33554432000 4194304 4196468 140729851845280 140515096828432 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11757] ppid=11747 vsize=15011656 memory=140323024098944 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11757/stat : 11757 (java) S 11747 11750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53303427 15371935744 18404 33554432000 4194304 4196468 140729851845280 140514273741424 140515303619202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11758] ppid=11747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11758/stat : 11758 (java) S 11747 11750 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53303428 15371935744 18404 33554432000 4194304 4196468 140729851845280 140513881613600 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11759] ppid=11747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11759/stat : 11759 (java) S 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303428 15371935744 18404 33554432000 4194304 4196468 140729851845280 140513613178480 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11760] ppid=11747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11760/stat : 11760 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53303430 15371935744 18470 33554432000 4194304 4196468 140729851845280 140513238669904 140515303626651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11761] ppid=11747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11761/stat : 11761 (java) S 11747 11750 2271 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 53303430 15371935744 18470 33554432000 4194304 4196468 140729851845280 140514272688240 140515303619202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11762] ppid=11747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11762/stat : 11762 (java) S 11747 11750 2271 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 15 0 53303430 15371935744 18470 33554432000 4194304 4196468 140729851845280 140514271635440 140515303619202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11763] ppid=11747 vsize=15011656 memory=140323024098944 CPUtime=0.01 cores=1,3,5,7
/proc/11750/task/11763/stat : 11763 (java) S 11747 11750 2271 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 53303430 15371935744 18470 33554432000 4194304 4196468 140729851845280 140514270583152 140515303619202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11764] ppid=11747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11764/stat : 11764 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53303431 15371935744 18470 33554432000 4194304 4196468 140729851845280 140512740764128 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11765] ppid=11747 vsize=15011656 memory=140323024098944 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11765/stat : 11765 (java) S 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303431 15371935744 18470 33554432000 4194304 4196468 140729851845280 140514269531056 140515303619202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72824 KiB
[startup+0.21051 s]*
/proc/loadavg: 2.97 2.48 2.23 3/220 11765
/proc/meminfo: memFree=13818336/32770624 swapFree=67108860/67108860
[pid=11750] ppid=11747 vsize=15011656 memory=85640 CPUtime=0.26 cores=1,3,5,7
/proc/11750/stat : 11750 (java) S 11747 11750 2271 0 -1 1077944320 9859 0 0 0 23 3 0 0 20 0 15 0 53303424 15371935744 21410 33554432000 4194304 4196468 140729851845280 140729851827824 140515303608055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
/proc/11750/statm: 3752914 21410 2890 1 0 3715374 0
[pid=11750/tid=11752] ppid=11747 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/11750/task/11752/stat : 11752 (java) R 11747 11750 2271 0 -1 4202560 7762 0 0 0 18 2 0 0 20 0 15 0 53303424 15371935744 21410 33554432000 4194304 4196468 140729851845280 140515275433968 140515295845182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11753] ppid=11747 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11753/stat : 11753 (java) S 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303426 15371935744 21410 33554432000 4194304 4196468 140729851845280 140515307850128 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11754] ppid=11747 vsize=15011656 memory=288370699175810688 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11754/stat : 11754 (java) S 11747 11750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53303426 15371935744 21410 33554432000 4194304 4196468 140729851845280 140515098933520 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11755] ppid=11747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11755/stat : 11755 (java) S 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303426 15371935744 21410 33554432000 4194304 4196468 140729851845280 140515097881232 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11756] ppid=11747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11756/stat : 11756 (java) S 11747 11750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53303426 15371935744 21410 33554432000 4194304 4196468 140729851845280 140515096828432 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11757] ppid=11747 vsize=15011656 memory=140323024098944 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11757/stat : 11757 (java) S 11747 11750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53303427 15371935744 21410 33554432000 4194304 4196468 140729851845280 140514273741424 140515303619202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11758] ppid=11747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11758/stat : 11758 (java) S 11747 11750 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53303428 15371935744 21410 33554432000 4194304 4196468 140729851845280 140513881613600 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11759] ppid=11747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11759/stat : 11759 (java) S 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303428 15371935744 21410 33554432000 4194304 4196468 140729851845280 140513613178480 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11760] ppid=11747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11760/stat : 11760 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53303430 15371935744 21410 33554432000 4194304 4196468 140729851845280 140513238669904 140515303626651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11761] ppid=11747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11761/stat : 11761 (java) R 11747 11750 2271 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 15 0 53303430 15371935744 21410 33554432000 4194304 4196468 140729851845280 140514272688240 140515284785892 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11762] ppid=11747 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/11750/task/11762/stat : 11762 (java) R 11747 11750 2271 0 -1 4202560 431 0 0 0 1 0 0 0 20 0 15 0 53303430 15371935744 21410 33554432000 4194304 4196468 140729851845280 140514271635440 140515281475872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11763] ppid=11747 vsize=15011656 memory=140323024098944 CPUtime=0.03 cores=1,3,5,7
/proc/11750/task/11763/stat : 11763 (java) R 11747 11750 2271 0 -1 1077944384 290 0 0 0 3 0 0 0 20 0 15 0 53303430 15371935744 21410 33554432000 4194304 4196468 140729851845280 140514270583152 140515303619202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11764] ppid=11747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11764/stat : 11764 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53303431 15371935744 21410 33554432000 4194304 4196468 140729851845280 140512740764128 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11765] ppid=11747 vsize=15011656 memory=140323024098944 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11765/stat : 11765 (java) R 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303431 15371935744 21410 33554432000 4194304 4196468 140729851845280 140514269531056 140515303619202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85640 KiB
[startup+0.310548 s]*
/proc/loadavg: 2.97 2.48 2.23 3/220 11765
/proc/meminfo: memFree=13814676/32770624 swapFree=67108860/67108860
[pid=11750] ppid=11747 vsize=15011656 memory=89704 CPUtime=0.43 cores=1,3,5,7
/proc/11750/stat : 11750 (java) S 11747 11750 2271 0 -1 1077944320 10482 0 0 0 40 3 0 0 20 0 15 0 53303424 15371935744 22426 33554432000 4194304 4196468 140729851845280 140729851827824 140515303608055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
/proc/11750/statm: 3752914 22426 2985 1 0 3715374 0
[pid=11750/tid=11752] ppid=11747 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/11750/task/11752/stat : 11752 (java) R 11747 11750 2271 0 -1 4202560 8185 0 0 0 27 2 0 0 20 0 15 0 53303424 15371935744 22426 33554432000 4194304 4196468 140729851845280 140515275436256 140514770963469 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11753] ppid=11747 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11753/stat : 11753 (java) S 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303426 15371935744 22426 33554432000 4194304 4196468 140729851845280 140515307850128 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11754] ppid=11747 vsize=15011656 memory=288230376152078777 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11754/stat : 11754 (java) S 11747 11750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53303426 15371935744 22426 33554432000 4194304 4196468 140729851845280 140515098933520 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11755] ppid=11747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11755/stat : 11755 (java) S 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303426 15371935744 22426 33554432000 4194304 4196468 140729851845280 140515097881232 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11756] ppid=11747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11756/stat : 11756 (java) S 11747 11750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53303426 15371935744 22426 33554432000 4194304 4196468 140729851845280 140515096828432 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11757] ppid=11747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11757/stat : 11757 (java) S 11747 11750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53303427 15371935744 22426 33554432000 4194304 4196468 140729851845280 140514273741424 140515303619202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11758] ppid=11747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11758/stat : 11758 (java) S 11747 11750 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53303428 15371935744 22426 33554432000 4194304 4196468 140729851845280 140513881613600 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11759] ppid=11747 vsize=15011656 memory=140323024098944 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11759/stat : 11759 (java) S 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303428 15371935744 22426 33554432000 4194304 4196468 140729851845280 140513613178480 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11760] ppid=11747 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11760/stat : 11760 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53303430 15371935744 22426 33554432000 4194304 4196468 140729851845280 140513238669904 140515303626651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11761] ppid=11747 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11750/task/11761/stat : 11761 (java) S 11747 11750 2271 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 15 0 53303430 15371935744 22426 33554432000 4194304 4196468 140729851845280 140514272688240 140515303619202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11762] ppid=11747 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11750/task/11762/stat : 11762 (java) S 11747 11750 2271 0 -1 1077944384 516 0 0 0 2 0 0 0 20 0 15 0 53303430 15371935744 22426 33554432000 4194304 4196468 140729851845280 140514271635440 140515303619202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11763] ppid=11747 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11750/task/11763/stat : 11763 (java) R 11747 11750 2271 0 -1 4202560 336 0 0 0 7 0 0 0 20 0 15 0 53303430 15371935744 22426 33554432000 4194304 4196468 140729851845280 140514270583152 140515282229025 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11764] ppid=11747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11764/stat : 11764 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53303431 15371935744 22426 33554432000 4194304 4196468 140729851845280 140512740764128 140515303618261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11765] ppid=11747 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11765/stat : 11765 (java) S 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303431 15371935744 22426 33554432000 4194304 4196468 140729851845280 140514269531056 140515303619202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89704 KiB
[startup+0.701889 s]
/proc/loadavg: 2.97 2.48 2.23 3/220 11765
/proc/meminfo: memFree=13789996/32770624 swapFree=67108860/67108860
[pid=11750] ppid=11747 vsize=15019976 memory=132132 CPUtime=1.05 cores=1,3,5,7
/proc/11750/stat : 11750 (java) S 11747 11750 2271 0 -1 1077944320 17655 0 0 0 100 5 0 0 20 0 15 0 53303424 15380455424 33033 33554432000 4194304 4196468 140729851845280 140729851827824 140515303608055 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
/proc/11750/statm: 3754994 33033 3149 1 0 3716398 0
[pid=11750/tid=11752] ppid=11747 vsize=15019976 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/11750/task/11752/stat : 11752 (java) R 11747 11750 2271 0 -1 4202560 14763 0 0 0 63 4 0 0 20 0 15 0 53303424 15380455424 33033 33554432000 4194304 4196468 140729851845280 140515275443296 140515303619990 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11753] ppid=11747 vsize=15019976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11753/stat : 11753 (java) S 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303426 15380455424 33033 33554432000 4194304 4196468 140729851845280 140515307850128 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11754] ppid=11747 vsize=15019976 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11754/stat : 11754 (java) S 11747 11750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53303426 15380455424 33033 33554432000 4194304 4196468 140729851845280 140515098933520 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11755] ppid=11747 vsize=15019976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11755/stat : 11755 (java) S 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303426 15380455424 33033 33554432000 4194304 4196468 140729851845280 140515097881232 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11756] ppid=11747 vsize=15019976 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11756/stat : 11756 (java) S 11747 11750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53303426 15380455424 33033 33554432000 4194304 4196468 140729851845280 140515096828432 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11757] ppid=11747 vsize=15019976 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11757/stat : 11757 (java) S 11747 11750 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53303427 15380455424 33033 33554432000 4194304 4196468 140729851845280 140514273741424 140515303619202 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11758] ppid=11747 vsize=15019976 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11758/stat : 11758 (java) S 11747 11750 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53303428 15380455424 33033 33554432000 4194304 4196468 140729851845280 140513881613600 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11759] ppid=11747 vsize=15019976 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11759/stat : 11759 (java) S 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303428 15380455424 33033 33554432000 4194304 4196468 140729851845280 140513613178480 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11760] ppid=11747 vsize=15019976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11760/stat : 11760 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53303430 15380455424 33033 33554432000 4194304 4196468 140729851845280 140513238669904 140515303626651 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11761] ppid=11747 vsize=15019976 memory=8384 CPUtime=0.1 cores=1,3,5,7
/proc/11750/task/11761/stat : 11761 (java) R 11747 11750 2271 0 -1 4202560 353 0 0 0 10 0 0 0 20 0 15 0 53303430 15380455424 33033 33554432000 4194304 4196468 140729851845280 140514272680192 140515303629402 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11762] ppid=11747 vsize=15019976 memory=4616 CPUtime=0.08 cores=1,3,5,7
/proc/11750/task/11762/stat : 11762 (java) R 11747 11750 2271 0 -1 1077944384 671 0 0 0 8 0 0 0 20 0 15 0 53303430 15380455424 33033 33554432000 4194304 4196468 140729851845280 140514271635440 140515303619202 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11763] ppid=11747 vsize=15019976 memory=1424 CPUtime=0.18 cores=1,3,5,7
/proc/11750/task/11763/stat : 11763 (java) R 11747 11750 2271 0 -1 4202560 528 0 0 0 18 0 0 0 20 0 15 0 53303430 15380455424 33033 33554432000 4194304 4196468 140729851845280 140514270580408 140515287688542 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11764] ppid=11747 vsize=15019976 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11764/stat : 11764 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53303431 15380455424 33033 33554432000 4194304 4196468 140729851845280 140512740764128 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11765] ppid=11747 vsize=15019976 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11765/stat : 11765 (java) S 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303431 15380455424 33033 33554432000 4194304 4196468 140729851845280 140514269531056 140515303619202 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15019976 KiB
Current children cumulated memory: 132132 KiB
[startup+1.50075 s]
/proc/loadavg: 2.97 2.48 2.23 5/220 11765
/proc/meminfo: memFree=13729564/32770624 swapFree=67108860/67108860
[pid=11750] ppid=11747 vsize=15022100 memory=206668 CPUtime=3.59 cores=1,3,5,7
/proc/11750/stat : 11750 (java) S 11747 11750 2271 0 -1 1077944320 21820 0 0 0 352 7 0 0 20 0 15 0 53303424 15382630400 51667 33554432000 4194304 4196468 140729851845280 140729851827824 140515303608055 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
/proc/11750/statm: 3755525 51667 3206 1 0 3716910 0
[pid=11750/tid=11752] ppid=11747 vsize=15022100 memory=13570392392808141 CPUtime=1.47 cores=1,3,5,7
/proc/11750/task/11752/stat : 11752 (java) R 11747 11750 2271 0 -1 4202560 15892 0 0 0 141 6 0 0 20 0 15 0 53303424 15382630400 51667 33554432000 4194304 4196468 140729851845280 140515275434848 140515283883869 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11753] ppid=11747 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11753/stat : 11753 (java) S 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303426 15382630400 51667 33554432000 4194304 4196468 140729851845280 140515307850128 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11754] ppid=11747 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11754/stat : 11754 (java) S 11747 11750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53303426 15382630400 51667 33554432000 4194304 4196468 140729851845280 140515098933520 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11755] ppid=11747 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11755/stat : 11755 (java) S 11747 11750 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53303426 15382630400 51667 33554432000 4194304 4196468 140729851845280 140515097881232 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11756] ppid=11747 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11756/stat : 11756 (java) S 11747 11750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53303426 15382630400 51667 33554432000 4194304 4196468 140729851845280 140515096828432 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11757] ppid=11747 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11757/stat : 11757 (java) S 11747 11750 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53303427 15382630400 51667 33554432000 4194304 4196468 140729851845280 140514273741424 140515303619202 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
################
# More data... #
################
/proc/11750/task/11763/stat : 11763 (java) S 11747 11750 2271 0 -1 1077944384 5607 0 0 0 175 2 0 0 20 0 15 0 53303430 15384727552 457051 33554432000 4194304 4196468 140729851845280 140514270583152 140515303619202 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11764] ppid=11747 vsize=15024148 memory=1491544 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11764/stat : 11764 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53303431 15384727552 457051 33554432000 4194304 4196468 140729851845280 140512740764128 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11765] ppid=11747 vsize=15024148 memory=16098156739823870 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11765/stat : 11765 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53303431 15384727552 457051 33554432000 4194304 4196468 140729851845280 140514269531056 140515303619202 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
Current children cumulated CPU time: 16.83 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 1828204 KiB
[startup+12.7008 s]
/proc/loadavg: 3.12 2.53 2.25 3/220 11765
/proc/meminfo: memFree=10755224/32770624 swapFree=67108860/67108860
[pid=11750] ppid=11747 vsize=15028312 memory=3132680 CPUtime=27.68 cores=1,3,5,7
/proc/11750/stat : 11750 (java) S 11747 11750 2271 0 -1 1077944320 38524 0 0 0 2694 74 0 0 20 0 15 0 53303424 15388991488 783170 33554432000 4194304 4196468 140729851845280 140729851827824 140515303608055 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
/proc/11750/statm: 3757078 783170 3237 1 0 3717934 0
[pid=11750/tid=11752] ppid=11747 vsize=15028312 memory=17200 CPUtime=12.49 cores=1,3,5,7
/proc/11750/task/11752/stat : 11752 (java) R 11747 11750 2271 0 -1 4202560 19711 0 0 0 1196 53 0 0 20 0 15 0 53303424 15388991488 783170 33554432000 4194304 4196468 140729851845280 140515275447584 140514779005796 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11753] ppid=11747 vsize=15028312 memory=280645780697472 CPUtime=0.14 cores=1,3,5,7
/proc/11750/task/11753/stat : 11753 (java) S 11747 11750 2271 0 -1 1077944384 58 0 0 0 11 3 0 0 20 0 15 0 53303426 15388991488 783170 33554432000 4194304 4196468 140729851845280 140515307850128 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11754] ppid=11747 vsize=15028312 memory=6791534058613427641 CPUtime=0.14 cores=1,3,5,7
/proc/11750/task/11754/stat : 11754 (java) S 11747 11750 2271 0 -1 1077944384 61 0 0 0 11 3 0 0 20 0 15 0 53303426 15388991488 783170 33554432000 4194304 4196468 140729851845280 140515098933520 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11755] ppid=11747 vsize=15028312 memory=6944652177228980320 CPUtime=0.14 cores=1,3,5,7
/proc/11750/task/11755/stat : 11755 (java) S 11747 11750 2271 0 -1 1077944384 80 0 0 0 11 3 0 0 20 0 15 0 53303426 15388991488 783170 33554432000 4194304 4196468 140729851845280 140515097881232 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11756] ppid=11747 vsize=15028312 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/11750/task/11756/stat : 11756 (java) S 11747 11750 2271 0 -1 1077944384 97 0 0 0 11 3 0 0 20 0 15 0 53303426 15388991488 783170 33554432000 4194304 4196468 140729851845280 140515096828432 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11757] ppid=11747 vsize=15028312 memory=3135488 CPUtime=0.01 cores=1,3,5,7
/proc/11750/task/11757/stat : 11757 (java) S 11747 11750 2271 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 53303427 15388991488 783170 33554432000 4194304 4196468 140729851845280 140514273741424 140515303619202 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11758] ppid=11747 vsize=15028312 memory=854 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11758/stat : 11758 (java) S 11747 11750 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53303428 15388991488 783170 33554432000 4194304 4196468 140729851845280 140513881613600 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11759] ppid=11747 vsize=15028312 memory=2748 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11759/stat : 11759 (java) S 11747 11750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53303428 15388991488 783170 33554432000 4194304 4196468 140729851845280 140513613178496 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11760] ppid=11747 vsize=15028312 memory=2110673497147892 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11760/stat : 11760 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53303430 15388991488 783170 33554432000 4194304 4196468 140729851845280 140513238669904 140515303626651 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11761] ppid=11747 vsize=15028312 memory=0 CPUtime=6.44 cores=1,3,5,7
/proc/11750/task/11761/stat : 11761 (java) S 11747 11750 2271 0 -1 1077944384 5149 0 0 0 642 2 0 0 20 0 15 0 53303430 15388991488 783170 33554432000 4194304 4196468 140729851845280 140514272688240 140515303619202 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11762] ppid=11747 vsize=15028312 memory=3132660 CPUtime=6.09 cores=1,3,5,7
/proc/11750/task/11762/stat : 11762 (java) S 11747 11750 2271 0 -1 1077944384 6368 0 0 0 608 1 0 0 20 0 15 0 53303430 15388991488 783170 33554432000 4194304 4196468 140729851845280 140514271635440 140515303619202 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11763] ppid=11747 vsize=15028312 memory=-6438865889672082020 CPUtime=2.01 cores=1,3,5,7
/proc/11750/task/11763/stat : 11763 (java) S 11747 11750 2271 0 -1 1077944384 5644 0 0 0 198 3 0 0 20 0 15 0 53303430 15388991488 783170 33554432000 4194304 4196468 140729851845280 140514270583152 140515303619202 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11764] ppid=11747 vsize=15028312 memory=56 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11764/stat : 11764 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53303431 15388991488 783170 33554432000 4194304 4196468 140729851845280 140512740764128 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11765] ppid=11747 vsize=15028312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11765/stat : 11765 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53303431 15388991488 783170 33554432000 4194304 4196468 140729851845280 140514269531056 140515303619202 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
Current children cumulated CPU time: 27.68 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3132680 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+16.9009 s]
/proc/loadavg: 3.03 2.52 2.25 3/225 11771
/proc/meminfo: memFree=10442980/32770624 swapFree=67108860/67108860
[pid=11750] ppid=11747 vsize=15683912 memory=3285420 CPUtime=30.8 cores=1,3,5,7
/proc/11750/stat : 11750 (java) S 11747 11750 2271 0 -1 1077944320 39141 0 0 0 2988 92 0 0 20 0 19 0 53303424 16060325888 821355 33554432000 4194304 4196468 140729851845280 140729851827824 140515303608055 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
/proc/11750/statm: 3920978 821355 3249 1 0 3881834 0
[pid=11766] ppid=11750 vsize=201348 memory=168884 CPUtime=2 cores=1,3,5,7
/proc/11766/stat : 11766 (minisat_release) R 11750 11750 2271 0 -1 4202496 35118 0 0 0 193 7 0 0 20 0 1 0 53304913 206180352 42221 33554432000 4194304 4308513 140730541659552 140730541656696 4237231 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6409496 6410680 16977920 140730541662895 140730541663406 140730541663406 140730541666245 0
/proc/11766/statm: 50337 42221 332 28 0 46577 0
[pid=11750/tid=11752] ppid=11747 vsize=15683912 memory=3285420 CPUtime=14.57 cores=1,3,5,7
/proc/11750/task/11752/stat : 11752 (java) S 11747 11750 2271 0 -1 1077944384 20011 0 0 0 1403 54 0 0 20 0 19 0 53303424 16060325888 821355 33554432000 4194304 4196468 140729851845280 140515275447296 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11753] ppid=11747 vsize=15683912 memory=152472 CPUtime=0.29 cores=1,3,5,7
/proc/11750/task/11753/stat : 11753 (java) S 11747 11750 2271 0 -1 1077944384 118 0 0 0 22 7 0 0 20 0 19 0 53303426 16060325888 821355 33554432000 4194304 4196468 140729851845280 140515307850128 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11754] ppid=11747 vsize=15683912 memory=56 CPUtime=0.28 cores=1,3,5,7
/proc/11750/task/11754/stat : 11754 (java) S 11747 11750 2271 0 -1 1077944384 121 0 0 0 21 7 0 0 20 0 19 0 53303426 16060325888 821355 33554432000 4194304 4196468 140729851845280 140515098933520 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11755] ppid=11747 vsize=15683912 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/11750/task/11755/stat : 11755 (java) S 11747 11750 2271 0 -1 1077944384 140 0 0 0 22 7 0 0 20 0 19 0 53303426 16060325888 821355 33554432000 4194304 4196468 140729851845280 140515097881232 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11756] ppid=11747 vsize=15683912 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/11750/task/11756/stat : 11756 (java) S 11747 11750 2271 0 -1 1077944384 157 0 0 0 21 7 0 0 20 0 19 0 53303426 16060325888 821355 33554432000 4194304 4196468 140729851845280 140515096828432 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11757] ppid=11747 vsize=15683912 memory=3282244 CPUtime=0.01 cores=1,3,5,7
/proc/11750/task/11757/stat : 11757 (java) S 11747 11750 2271 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 19 0 53303427 16060325888 821355 33554432000 4194304 4196468 140729851845280 140514273741424 140515303619202 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11758] ppid=11747 vsize=15683912 memory=2748 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11758/stat : 11758 (java) S 11747 11750 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53303428 16060325888 821355 33554432000 4194304 4196468 140729851845280 140513881613664 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11759] ppid=11747 vsize=15683912 memory=2738 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11759/stat : 11759 (java) S 11747 11750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53303428 16060325888 821355 33554432000 4194304 4196468 140729851845280 140513613178496 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11760] ppid=11747 vsize=15683912 memory=1219 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11760/stat : 11760 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53303430 16060325888 821355 33554432000 4194304 4196468 140729851845280 140513238669904 140515303626651 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11761] ppid=11747 vsize=15683912 memory=3282828 CPUtime=6.66 cores=1,3,5,7
/proc/11750/task/11761/stat : 11761 (java) S 11747 11750 2271 0 -1 1077944384 5149 0 0 0 664 2 0 0 20 0 19 0 53303430 16060325888 821355 33554432000 4194304 4196468 140729851845280 140514272688240 140515303619202 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11762] ppid=11747 vsize=15683912 memory=17200 CPUtime=6.28 cores=1,3,5,7
/proc/11750/task/11762/stat : 11762 (java) S 11747 11750 2271 0 -1 1077944384 6368 0 0 0 627 1 0 0 20 0 19 0 53303430 16060325888 821355 33554432000 4194304 4196468 140729851845280 140514271635440 140515303619202 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11763] ppid=11747 vsize=15683912 memory=4136 CPUtime=2.05 cores=1,3,5,7
/proc/11750/task/11763/stat : 11763 (java) S 11747 11750 2271 0 -1 1077944384 5651 0 0 0 202 3 0 0 20 0 19 0 53303430 16060325888 821355 33554432000 4194304 4196468 140729851845280 140514270583152 140515303619202 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11764] ppid=11747 vsize=15683912 memory=17200 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11764/stat : 11764 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53303431 16060325888 821355 33554432000 4194304 4196468 140729851845280 140512740764128 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11765] ppid=11747 vsize=15683912 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11765/stat : 11765 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53303431 16060325888 821355 33554432000 4194304 4196468 140729851845280 140514269531056 140515303619202 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11767] ppid=11747 vsize=15683912 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11767/stat : 11767 (java) S 11747 11750 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53304913 16060325888 821355 33554432000 4194304 4196468 140729851845280 140515090175424 140515303632665 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11769] ppid=11747 vsize=15683912 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11769/stat : 11769 (java) S 11747 11750 2271 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 53304913 16060325888 821355 33554432000 4194304 4196468 140729851845280 140512338100144 140515303629981 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11770] ppid=11747 vsize=15683912 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11770/stat : 11770 (java) S 11747 11750 2271 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 53304913 16060325888 821355 33554432000 4194304 4196468 140729851845280 140512203877680 140515303629981 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11771] ppid=11747 vsize=15683912 memory=8384 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11771/stat : 11771 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53304915 16060325888 821355 33554432000 4194304 4196468 140729851845280 140511935454112 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
Current children cumulated CPU time: 32.8 s
Current children cumulated vsize: 15885260 KiB
Current children cumulated memory: 3454304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+16.9333 s]
# the end of solver process 11750 was just reported to runsolver
# cumulated CPU time of all completed processes: user=31.8273 s, system=1.02922 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+16.9009 s]
/proc/loadavg: 3.03 2.52 2.25 3/225 11771
/proc/meminfo: memFree=10442980/32770624 swapFree=67108860/67108860
[pid=11750] ppid=11747 vsize=15683912 memory=3285420 CPUtime=30.8 cores=1,3,5,7
/proc/11750/stat : 11750 (java) S 11747 11750 2271 0 -1 1077944320 39141 0 0 0 2988 92 0 0 20 0 19 0 53303424 16060325888 821355 33554432000 4194304 4196468 140729851845280 140729851827824 140515303608055 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
/proc/11750/statm: 3920978 821355 3249 1 0 3881834 0
[pid=11766] ppid=11750 vsize=201348 memory=168884 CPUtime=2 cores=1,3,5,7
/proc/11766/stat : 11766 (minisat_release) R 11750 11750 2271 0 -1 4202496 35118 0 0 0 193 7 0 0 20 0 1 0 53304913 206180352 42221 33554432000 4194304 4308513 140730541659552 140730541656696 4237231 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6409496 6410680 16977920 140730541662895 140730541663406 140730541663406 140730541666245 0
/proc/11766/statm: 50337 42221 332 28 0 46577 0
[pid=11750/tid=11752] ppid=11747 vsize=15683912 memory=3285420 CPUtime=14.57 cores=1,3,5,7
/proc/11750/task/11752/stat : 11752 (java) S 11747 11750 2271 0 -1 1077944384 20011 0 0 0 1403 54 0 0 20 0 19 0 53303424 16060325888 821355 33554432000 4194304 4196468 140729851845280 140515275447296 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11753] ppid=11747 vsize=15683912 memory=152472 CPUtime=0.29 cores=1,3,5,7
/proc/11750/task/11753/stat : 11753 (java) S 11747 11750 2271 0 -1 1077944384 118 0 0 0 22 7 0 0 20 0 19 0 53303426 16060325888 821355 33554432000 4194304 4196468 140729851845280 140515307850128 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11754] ppid=11747 vsize=15683912 memory=56 CPUtime=0.28 cores=1,3,5,7
/proc/11750/task/11754/stat : 11754 (java) S 11747 11750 2271 0 -1 1077944384 121 0 0 0 21 7 0 0 20 0 19 0 53303426 16060325888 821355 33554432000 4194304 4196468 140729851845280 140515098933520 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11755] ppid=11747 vsize=15683912 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/11750/task/11755/stat : 11755 (java) S 11747 11750 2271 0 -1 1077944384 140 0 0 0 22 7 0 0 20 0 19 0 53303426 16060325888 821355 33554432000 4194304 4196468 140729851845280 140515097881232 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11756] ppid=11747 vsize=15683912 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/11750/task/11756/stat : 11756 (java) S 11747 11750 2271 0 -1 1077944384 157 0 0 0 21 7 0 0 20 0 19 0 53303426 16060325888 821355 33554432000 4194304 4196468 140729851845280 140515096828432 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11757] ppid=11747 vsize=15683912 memory=3282244 CPUtime=0.01 cores=1,3,5,7
/proc/11750/task/11757/stat : 11757 (java) S 11747 11750 2271 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 19 0 53303427 16060325888 821355 33554432000 4194304 4196468 140729851845280 140514273741424 140515303619202 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11758] ppid=11747 vsize=15683912 memory=2748 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11758/stat : 11758 (java) S 11747 11750 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53303428 16060325888 821355 33554432000 4194304 4196468 140729851845280 140513881613664 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11759] ppid=11747 vsize=15683912 memory=2738 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11759/stat : 11759 (java) S 11747 11750 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53303428 16060325888 821355 33554432000 4194304 4196468 140729851845280 140513613178496 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11760] ppid=11747 vsize=15683912 memory=1219 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11760/stat : 11760 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53303430 16060325888 821355 33554432000 4194304 4196468 140729851845280 140513238669904 140515303626651 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11761] ppid=11747 vsize=15683912 memory=3282828 CPUtime=6.66 cores=1,3,5,7
/proc/11750/task/11761/stat : 11761 (java) S 11747 11750 2271 0 -1 1077944384 5149 0 0 0 664 2 0 0 20 0 19 0 53303430 16060325888 821355 33554432000 4194304 4196468 140729851845280 140514272688240 140515303619202 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11762] ppid=11747 vsize=15683912 memory=17200 CPUtime=6.28 cores=1,3,5,7
/proc/11750/task/11762/stat : 11762 (java) S 11747 11750 2271 0 -1 1077944384 6368 0 0 0 627 1 0 0 20 0 19 0 53303430 16060325888 821355 33554432000 4194304 4196468 140729851845280 140514271635440 140515303619202 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11763] ppid=11747 vsize=15683912 memory=4136 CPUtime=2.05 cores=1,3,5,7
/proc/11750/task/11763/stat : 11763 (java) S 11747 11750 2271 0 -1 1077944384 5651 0 0 0 202 3 0 0 20 0 19 0 53303430 16060325888 821355 33554432000 4194304 4196468 140729851845280 140514270583152 140515303619202 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11764] ppid=11747 vsize=15683912 memory=17200 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11764/stat : 11764 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53303431 16060325888 821355 33554432000 4194304 4196468 140729851845280 140512740764128 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11765] ppid=11747 vsize=15683912 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11765/stat : 11765 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53303431 16060325888 821355 33554432000 4194304 4196468 140729851845280 140514269531056 140515303619202 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11767] ppid=11747 vsize=15683912 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11767/stat : 11767 (java) S 11747 11750 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53304913 16060325888 821355 33554432000 4194304 4196468 140729851845280 140515090175424 140515303632665 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11769] ppid=11747 vsize=15683912 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11769/stat : 11769 (java) S 11747 11750 2271 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 53304913 16060325888 821355 33554432000 4194304 4196468 140729851845280 140512338100144 140515303629981 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11770] ppid=11747 vsize=15683912 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11770/stat : 11770 (java) S 11747 11750 2271 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 53304913 16060325888 821355 33554432000 4194304 4196468 140729851845280 140512203877680 140515303629981 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
[pid=11750/tid=11771] ppid=11747 vsize=15683912 memory=8384 CPUtime=0 cores=1,3,5,7
/proc/11750/task/11771/stat : 11771 (java) S 11747 11750 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53304915 16060325888 821355 33554432000 4194304 4196468 140729851845280 140511935454112 140515303618261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140729851851763 140729851852041 140729851852041 140729851854799 0
Current children cumulated CPU time: 32.8 s
Current children cumulated vsize: 15885260 KiB
Current children cumulated memory: 3454304 KiB
Child status: 1
Real time (s): 16.9333
CPU time (s): 32.8565
CPU user time (s): 31.8273
CPU system time (s): 1.02922
CPU usage (%): 194.034
Max. virtual memory (cumulated for all children) (KiB): 15885260
Max. memory (cumulated for all children) (KiB): 3454304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.8273
system time used= 1.02922
maximum resident set size= 3288312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74573
page faults= 0
swaps= 0
block input operations= 0
block output operations= 55160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6119
involuntary context switches= 107
# summary of solver processes directly reported to runsolver:
# pid: 11750
# total CPU time (s): 32.8565
# total CPU user time (s): 31.8273
# total CPU system time (s): 1.02922
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.136371 second user time and 0.195946 second system time
The end