0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Mon Jul 23 13:21:46 CEST 2018
0.67/0.55 c PID: 12006
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
1.20/0.86 c (0,0) Parsing End
1.20/0.86 c (0,0) CSP: 43 int (0 aux), 0 bool (0 aux), 27 ctr, max domain size 26
1.20/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.86 c (0,0) Constraint Name Generate Begin
1.20/0.87 c (0,0) Ctr:HOME/instance-4293411-1532344906.xml,AllDifferent:Dist:Eq:IntVar
1.20/0.87 c (0,0) Constraint Name Generate End
1.20/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.87 c (0,0) CSP to CSPinCNF Begin
1.39/0.97 c (0,0) translated 3 (10%) constraints
1.39/0.98 c (0,0) translated 6 (20%) constraints
1.39/0.99 c (0,0) translated 9 (30%) constraints
1.39/1.00 c (0,0) translated 11 (40%) constraints
1.59/1.01 c (0,0) translated 14 (50%) constraints
1.59/1.02 c (0,0) translated 17 (60%) constraints
1.59/1.02 c (0,0) translated 19 (70%) constraints
1.59/1.03 c (0,0) translated 22 (80%) constraints
1.59/1.04 c (0,0) translated 25 (90%) constraints
1.59/1.10 c (0,0) translated 27 (100%) constraints
2.09/1.26 c (0,0) STATISTICS1:HOME/instance-4293411-1532344906.xml,AllDifferent:Dist:Eq:IntVar,43,532,650,26,25,3,650:100;26:153;25:300,26:542;25:750,25:2;18:2;2:478;1:50,3:100;2:453;1:86,
2.09/1.26 c (0,0) ===========================================
2.09/1.26 c (0,0) Both Encoding selects:
2.09/1.26 c (0,0) Order
2.09/1.26 c (0,0) ===========================================
2.09/1.28 c (0,0) translated 54 (10%) constraints
2.09/1.29 c (0,0) translated 107 (20%) constraints
2.32/1.30 c (0,0) translated 160 (30%) constraints
2.32/1.31 c (0,0) translated 213 (40%) constraints
2.32/1.32 c (0,0) translated 266 (50%) constraints
2.32/1.33 c (0,0) translated 320 (60%) constraints
2.32/1.33 c (0,0) translated 373 (70%) constraints
2.32/1.34 c (0,0) translated 426 (80%) constraints
2.32/1.34 c (0,0) translated 479 (90%) constraints
2.32/1.35 c (0,0) translated 532 (100%) constraints
2.32/1.35 c (0,0) CSP to CSPinCNF End
2.32/1.35 c (0,0) CSP: 43 int (0 aux), 0 bool (0 aux), 532 ctr, max domain size 26
2.32/1.35 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.32/1.35 c (0,0) CSPinCNF Propagation Begin
2.32/1.38 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.32/1.38 c (0,0) CSPinCNF Propagation End
2.32/1.38 c (0,0) CSP: 43 int (0 aux), 0 bool (0 aux), 532 ctr, max domain size 26
2.32/1.38 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.32/1.38 c (0,0) Simplify CSPinCNF Begin
2.62/1.47 c (0,0) Simplify CSPinCNF End
2.62/1.48 c (0,0) CSP: 43 int (0 aux), 956 bool (956 aux), 1488 ctr, max domain size 26
2.62/1.48 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.62/1.48 c (0,0) Calculate Precise Domain Begin
2.62/1.48 c (0,0) 0 values are removed by re-calculation
2.62/1.48 c (0,0) Calculate Precise Domain End
2.62/1.48 c (0,0) CSP: 43 int (0 aux), 956 bool (956 aux), 1488 ctr, max domain size 26
2.62/1.48 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.62/1.48 c (0,0) CSPinCNF to SatSolver Begin
3.56/1.75 c (1,1) 149 (10 %) CSP clauses are encoded (2006 SAT variables, 33930 SAT clauses)
3.56/1.76 c (1,1) 298 (20 %) CSP clauses are encoded (2006 SAT variables, 36554 SAT clauses)
3.56/1.78 c (1,1) 447 (30 %) CSP clauses are encoded (2006 SAT variables, 39203 SAT clauses)
3.88/1.80 c (1,1) 596 (40 %) CSP clauses are encoded (2006 SAT variables, 41796 SAT clauses)
3.88/1.81 c (1,1) 744 (50 %) CSP clauses are encoded (2006 SAT variables, 44296 SAT clauses)
3.88/1.83 c (1,1) 893 (60 %) CSP clauses are encoded (2006 SAT variables, 46845 SAT clauses)
3.88/1.84 c (1,1) 1042 (70 %) CSP clauses are encoded (2006 SAT variables, 49370 SAT clauses)
3.88/1.85 c (1,1) 1191 (80 %) CSP clauses are encoded (2006 SAT variables, 51895 SAT clauses)
3.88/1.87 c (1,1) 1340 (90 %) CSP clauses are encoded (2006 SAT variables, 54444 SAT clauses)
3.88/1.88 c (1,1) 1488 (100 %) CSP clauses are encoded (2006 SAT variables, 56944 SAT clauses)
3.88/1.88 c (1,1) CSPinCNF to SatSolver End
3.88/1.88 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.19/1.91 c (1,1) STATISTICS2:HOME/instance-4293411-1532344906.xml,AllDifferent:Dist:Eq:IntVar,999,1488,650,26,25,3,650:100;26:306;25:600,26:848;25:1350;2:1912,25:2;18:2;2:1434;1:50,3:100;2:906;1:1998,
4.19/1.91 c (1,1) SatSolver.solve Begin
4.19/1.91 c (1,1) 2006 bool, 56945 clause
4.19/1.91 c (1,1) 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-4293411-1532344906.xml-scop-12006.cnf HOME/instance-4293411-1532344906.xml-scop-12006.cnf.out
5.68/3.14 c (2,0) c This is COMiniSatPS.
5.68/3.14 c (2,0) c WARNING: for repeatability, setting FPU to use double precision
5.68/3.14 c (2,0) c ============================[ Problem Statistics ]=============================
5.68/3.14 c (2,0) c | |
5.68/3.14 c (2,0) c | Number of variables: 2006 |
5.68/3.14 c (2,0) c | Number of clauses: 56945 |
5.68/3.14 c (2,0) c | Parse time: 0.01 s |
5.68/3.14 c (2,0) c | Eliminated clauses: 0.01 Mb |
5.68/3.14 c (2,0) c Reduced to 1528 vars, 56467 cls (grow=0)
5.68/3.14 c (2,0) c No iterative elimination performed. (vars=1528, c/v ratio=37.0)
5.68/3.14 c (2,0) c | Simplification time: 0.07 s |
5.68/3.14 c (2,0) c | |
5.68/3.14 c (2,0) c ============================[ Search Statistics ]==============================
5.68/3.14 c (2,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
5.68/3.14 c (2,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.68/3.14 c (2,0) c ===============================================================================
5.68/3.14 c (2,0) c ===============================================================================
5.68/3.14 c (2,0) c restarts : 39
5.68/3.14 c (2,0) c conflicts : 20182 (16834 /sec)
5.68/3.14 c (2,0) c decisions : 26971 (0.00 % random) (22496 /sec)
5.68/3.14 c (2,0) c propagations : 3439675 (2869016 /sec)
5.68/3.14 c (2,0) c conflict literals : 604217 (14.94 % deleted)
5.68/3.14 c (2,0) c CPU time : 1.1989 s
5.68/3.14 c (2,0)
5.68/3.14 c (2,0) s SATISFIABLE
5.68/3.15 c (2,1) SatSolver.solve End
5.68/3.15 c (2,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.68/3.15 c (2,1) Show results Begin
5.68/3.16 c (2,1) ce[0][0][1] = 13
5.68/3.16 c (2,1) ce[1][0][1] = 9
5.68/3.16 c (2,1) ce[2][0][1] = 22
5.68/3.16 c (2,1) ce[3][0][1] = 5
5.68/3.16 c (2,1) ce[4][0][1] = 14
5.68/3.16 c (2,1) ce[5][0][1] = 15
5.68/3.16 c (2,1) ce[6][0][1] = 20
5.68/3.16 c (2,1) ce[7][0][1] = 8
5.68/3.16 c (2,1) ce[8][0][1] = 23
5.68/3.16 c (2,1) cie[0][0] = 19
5.68/3.16 c (2,1) cie[0][1] = 3
5.68/3.16 c (2,1) cie[1][0] = 21
5.68/3.16 c (2,1) cie[1][1] = 10
5.68/3.16 c (2,1) cie[2][0] = 16
5.68/3.16 c (2,1) cie[2][1] = 11
5.68/3.16 c (2,1) cie[3][0] = 12
5.68/3.16 c (2,1) cie[3][1] = 7
5.68/3.16 c (2,1) cie[4][0] = 1
5.68/3.16 c (2,1) cie[4][1] = 2
5.68/3.16 c (2,1) cie[5][0] = 18
5.68/3.16 c (2,1) cie[5][1] = 17
5.68/3.16 c (2,1) cie[6][0] = 24
5.68/3.16 c (2,1) cie[6][1] = 4
5.68/3.16 c (2,1) cie[7][0] = 25
5.68/3.16 c (2,1) cie[7][1] = 6
5.68/3.16 c (2,1) cn[0][0] = 22
5.68/3.16 c (2,1) cn[0][1] = 9
5.68/3.16 c (2,1) cn[1][0] = 3
5.68/3.16 c (2,1) cn[1][1] = 12
5.68/3.16 c (2,1) cn[2][0] = 24
5.68/3.16 c (2,1) cn[2][1] = 2
5.68/3.16 c (2,1) cn[3][0] = 8
5.68/3.16 c (2,1) cn[3][1] = 13
5.68/3.16 c (2,1) cn[4][0] = 20
5.68/3.16 c (2,1) cn[4][1] = 6
5.68/3.16 c (2,1) cn[5][0] = 19
5.68/3.16 c (2,1) cn[5][1] = 4
5.68/3.16 c (2,1) cn[6][0] = 1
5.68/3.16 c (2,1) cn[6][1] = 21
5.68/3.16 c (2,1) cn[7][0] = 25
5.68/3.16 c (2,1) cn[7][1] = 17
5.68/3.16 c (2,1) cn[8][0] = 0
5.68/3.16 c (2,1) cn[8][1] = 23
5.68/3.16 s SATISFIABLE
5.68/3.16 v <instantiation>
5.68/3.16 v <list>cn[0][0] cn[0][1] cn[1][0] cn[1][1] cn[2][0] cn[2][1] cn[3][0] cn[3][1] cn[4][0] cn[4][1] cn[5][0] cn[5][1] cn[6][0] cn[6][1] cn[7][0] cn[7][1] cn[8][0] cn[8][1] ce[0][0][1] ce[1][0][1] ce[2][0][1] ce[3][0][1] ce[4][0][1] ce[5][0][1] ce[6][0][1] ce[7][0][1] ce[8][0][1] cie[0][0] cie[0][1] cie[1][0] cie[1][1] cie[2][0] cie[2][1] cie[3][0] cie[3][1] cie[4][0] cie[4][1] cie[5][0] cie[5][1] cie[6][0] cie[6][1] cie[7][0] cie[7][1]</list>
5.68/3.16 v <values>22 9 3 12 24 2 8 13 20 6 19 4 1 21 25 17 0 23 13 9 22 5 14 15 20 8 23 19 3 21 10 16 11 12 7 1 2 18 17 24 4 25 6</values>
5.68/3.16 v </instantiation>
5.68/3.16 c (2,1) Show results End
5.68/3.16 c (2,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.68/3.16 c (2,1) 0,0,0,0,0,0,1,2,2,STOP-AFTER(ALL)
5.68/3.16 c END-Prog: Mon Jul 23 13:21:49 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 (4313 MiB free)
memory of node 1: 16384 MiB (10508 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293411-1532344906/watcher-4293411-1532344906 -o /tmp/evaluation-result-4293411-1532344906/solver-4293411-1532344906 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8951 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293411-1532344906.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=12006, runsolver pid=12003
Current StackSize limit: 8192 KiB
[startup+0.102234 s]*
/proc/loadavg: 2.01 2.02 2.05 3/221 12021
/proc/meminfo: memFree=15115916/32770624 swapFree=67108860/67108860
[pid=12006] ppid=12003 vsize=15011656 memory=73436 CPUtime=0.11 cores=1,3,5,7
/proc/12006/stat : 12006 (java) S 12003 12006 8919 0 -1 1077944320 7041 0 0 0 10 1 0 0 20 0 15 0 52053727 15371935744 18359 33554432000 4194304 4196468 140734508138272 140734508120816 139640229113591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
/proc/12006/statm: 3752914 18359 2777 1 0 3715374 0
[pid=12006/tid=12008] ppid=12003 vsize=15011656 memory=-6799202250962287440 CPUtime=0.09 cores=1,3,5,7
/proc/12006/task/12008/stat : 12008 (java) R 12003 12006 8919 0 -1 4202560 5308 0 0 0 8 1 0 0 20 0 15 0 52053727 15371935744 18557 33554432000 4194304 4196468 140734508138272 139640200913784 139640209389419 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12009] ppid=12003 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12009/stat : 12009 (java) S 12003 12006 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52053729 15371935744 18557 33554432000 4194304 4196468 140734508138272 139640233355664 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12010] ppid=12003 vsize=15011656 memory=139927871354496 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12010/stat : 12010 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52053729 15371935744 18557 33554432000 4194304 4196468 140734508138272 139639689390352 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12011] ppid=12003 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12011/stat : 12011 (java) S 12003 12006 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52053729 15371935744 18557 33554432000 4194304 4196468 140734508138272 139639688338064 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12012] ppid=12003 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12012/stat : 12012 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52053729 15371935744 18557 33554432000 4194304 4196468 140734508138272 139639687285264 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12013] ppid=12003 vsize=15011656 memory=139927871354496 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12013/stat : 12013 (java) S 12003 12006 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52053731 15371935744 18557 33554432000 4194304 4196468 140734508138272 139639290694256 139640229124738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12014] ppid=12003 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (java) S 12003 12006 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52053731 15371935744 18557 33554432000 4194304 4196468 140734508138272 139638782027040 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12015] ppid=12003 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12015/stat : 12015 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52053731 15371935744 18557 33554432000 4194304 4196468 140734508138272 139638513591920 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12016] ppid=12003 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12016/stat : 12016 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52053734 15371935744 18557 33554432000 4194304 4196468 140734508138272 139638139083344 139640229132187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12017] ppid=12003 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (java) S 12003 12006 8919 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 52053734 15371935744 18557 33554432000 4194304 4196468 140734508138272 139639289641072 139640229124738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12018] ppid=12003 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12018/stat : 12018 (java) S 12003 12006 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52053734 15371935744 18623 33554432000 4194304 4196468 140734508138272 139639288588272 139640229124738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12019] ppid=12003 vsize=15011656 memory=139927871354496 CPUtime=0.01 cores=1,3,5,7
/proc/12006/task/12019/stat : 12019 (java) S 12003 12006 8919 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 52053734 15371935744 18623 33554432000 4194304 4196468 140734508138272 139639287535984 139640229124738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12020] ppid=12003 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52053734 15371935744 18623 33554432000 4194304 4196468 140734508138272 139637641177568 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12021] ppid=12003 vsize=15011656 memory=139927871354496 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12021/stat : 12021 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52053734 15371935744 18623 33554432000 4194304 4196468 140734508138272 139639286483888 139640229124738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73436 KiB
[startup+0.210593 s]*
/proc/loadavg: 2.01 2.02 2.05 3/221 12021
/proc/meminfo: memFree=15102212/32770624 swapFree=67108860/67108860
[pid=12006] ppid=12003 vsize=15011656 memory=86540 CPUtime=0.25 cores=1,3,5,7
/proc/12006/stat : 12006 (java) S 12003 12006 8919 0 -1 1077944320 10561 0 0 0 23 2 0 0 20 0 15 0 52053727 15371935744 21635 33554432000 4194304 4196468 140734508138272 140734508120816 139640229113591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
/proc/12006/statm: 3752914 21635 2894 1 0 3715374 0
[pid=12006/tid=12008] ppid=12003 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/12006/task/12008/stat : 12008 (java) R 12003 12006 8919 0 -1 4202560 8468 0 0 0 18 2 0 0 20 0 15 0 52053727 15371935744 21635 33554432000 4194304 4196468 140734508138272 139640200939072 139639731917456 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12009] ppid=12003 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12009/stat : 12009 (java) S 12003 12006 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52053729 15371935744 21635 33554432000 4194304 4196468 140734508138272 139640233355664 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12010] ppid=12003 vsize=15011656 memory=139927871656388 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12010/stat : 12010 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52053729 15371935744 21635 33554432000 4194304 4196468 140734508138272 139639689390352 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12011] ppid=12003 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12011/stat : 12011 (java) S 12003 12006 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52053729 15371935744 21635 33554432000 4194304 4196468 140734508138272 139639688338064 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12012] ppid=12003 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12012/stat : 12012 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52053729 15371935744 21635 33554432000 4194304 4196468 140734508138272 139639687285264 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12013] ppid=12003 vsize=15011656 memory=139927871354496 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12013/stat : 12013 (java) S 12003 12006 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52053731 15371935744 21635 33554432000 4194304 4196468 140734508138272 139639290694256 139640229124738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12014] ppid=12003 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (java) S 12003 12006 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52053731 15371935744 21635 33554432000 4194304 4196468 140734508138272 139638782027040 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12015] ppid=12003 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12015/stat : 12015 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52053731 15371935744 21635 33554432000 4194304 4196468 140734508138272 139638513591920 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12016] ppid=12003 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12016/stat : 12016 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52053734 15371935744 21635 33554432000 4194304 4196468 140734508138272 139638139083344 139640229132187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12017] ppid=12003 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (java) S 12003 12006 8919 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 52053734 15371935744 21635 33554432000 4194304 4196468 140734508138272 139639289641072 139640229124738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12018] ppid=12003 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12018/stat : 12018 (java) S 12003 12006 8919 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 52053734 15371935744 21635 33554432000 4194304 4196468 140734508138272 139639288588272 139640229124738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12019] ppid=12003 vsize=15011656 memory=139927871354496 CPUtime=0.03 cores=1,3,5,7
/proc/12006/task/12019/stat : 12019 (java) R 12003 12006 8919 0 -1 4202560 298 0 0 0 3 0 0 0 20 0 15 0 52053734 15371935744 21635 33554432000 4194304 4196468 140734508138272 139639287535984 139640229125526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12020] ppid=12003 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52053734 15371935744 21635 33554432000 4194304 4196468 140734508138272 139637641177568 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12021] ppid=12003 vsize=15011656 memory=139927871354496 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12021/stat : 12021 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52053734 15371935744 21635 33554432000 4194304 4196468 140734508138272 139639286483888 139640229124738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86540 KiB
[startup+0.310584 s]*
/proc/loadavg: 2.01 2.02 2.05 3/221 12021
/proc/meminfo: memFree=15099108/32770624 swapFree=67108860/67108860
[pid=12006] ppid=12003 vsize=15011656 memory=90016 CPUtime=0.43 cores=1,3,5,7
/proc/12006/stat : 12006 (java) S 12003 12006 8919 0 -1 1077944320 11078 0 0 0 40 3 0 0 20 0 15 0 52053727 15371935744 22504 33554432000 4194304 4196468 140734508138272 140734508120816 139640229113591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
/proc/12006/statm: 3752914 22504 2988 1 0 3715374 0
[pid=12006/tid=12008] ppid=12003 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/12006/task/12008/stat : 12008 (java) R 12003 12006 8919 0 -1 4202560 8838 0 0 0 27 2 0 0 20 0 15 0 52053727 15371935744 22504 33554432000 4194304 4196468 140734508138272 139640200917520 139640229125526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12009] ppid=12003 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12009/stat : 12009 (java) S 12003 12006 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52053729 15371935744 22504 33554432000 4194304 4196468 140734508138272 139640233355664 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12010] ppid=12003 vsize=15011656 memory=139927871646248 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12010/stat : 12010 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52053729 15371935744 22504 33554432000 4194304 4196468 140734508138272 139639689390352 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12011] ppid=12003 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12011/stat : 12011 (java) S 12003 12006 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52053729 15371935744 22504 33554432000 4194304 4196468 140734508138272 139639688338064 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12012] ppid=12003 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12012/stat : 12012 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52053729 15371935744 22504 33554432000 4194304 4196468 140734508138272 139639687285264 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12013] ppid=12003 vsize=15011656 memory=139927871354496 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12013/stat : 12013 (java) S 12003 12006 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52053731 15371935744 22504 33554432000 4194304 4196468 140734508138272 139639290694256 139640229124738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12014] ppid=12003 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (java) S 12003 12006 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52053731 15371935744 22504 33554432000 4194304 4196468 140734508138272 139638782027040 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12015] ppid=12003 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12015/stat : 12015 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52053731 15371935744 22504 33554432000 4194304 4196468 140734508138272 139638513591920 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12016] ppid=12003 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12016/stat : 12016 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52053734 15371935744 22504 33554432000 4194304 4196468 140734508138272 139638139083344 139640229132187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12017] ppid=12003 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (java) S 12003 12006 8919 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 15 0 52053734 15371935744 22504 33554432000 4194304 4196468 140734508138272 139639289641072 139640229124738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12018] ppid=12003 vsize=15011656 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/12006/task/12018/stat : 12018 (java) S 12003 12006 8919 0 -1 1077944384 156 0 0 0 3 0 0 0 20 0 15 0 52053734 15371935744 22504 33554432000 4194304 4196468 140734508138272 139639288588272 139640229124738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12019] ppid=12003 vsize=15011656 memory=139927871354496 CPUtime=0.07 cores=1,3,5,7
/proc/12006/task/12019/stat : 12019 (java) R 12003 12006 8919 0 -1 4202560 319 0 0 0 7 0 0 0 20 0 15 0 52053734 15371935744 22504 33554432000 4194304 4196468 140734508138272 139639287535984 139640229134938 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12020] ppid=12003 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52053734 15371935744 22504 33554432000 4194304 4196468 140734508138272 139637641177568 139640229123797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12021] ppid=12003 vsize=15011656 memory=139927871354496 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12021/stat : 12021 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52053734 15371935744 22504 33554432000 4194304 4196468 140734508138272 139639286483888 139640229124738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90016 KiB
[startup+0.700738 s]
/proc/loadavg: 2.01 2.02 2.05 3/221 12021
/proc/meminfo: memFree=15074680/32770624 swapFree=67108860/67108860
[pid=12006] ppid=12003 vsize=15020052 memory=129676 CPUtime=1 cores=1,3,5,7
/proc/12006/stat : 12006 (java) S 12003 12006 8919 0 -1 1077944320 18152 0 0 0 95 5 0 0 20 0 15 0 52053727 15380533248 32419 33554432000 4194304 4196468 140734508138272 140734508120816 139640229113591 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
/proc/12006/statm: 3755013 32419 3162 1 0 3716398 0
[pid=12006/tid=12008] ppid=12003 vsize=15020052 memory=191523194946124 CPUtime=0.67 cores=1,3,5,7
/proc/12006/task/12008/stat : 12008 (java) R 12003 12006 8919 0 -1 4202560 15535 0 0 0 63 4 0 0 20 0 15 0 52053727 15380533248 32419 33554432000 4194304 4196468 140734508138272 139640200949392 139640213157221 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12009] ppid=12003 vsize=15020052 memory=268934 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12009/stat : 12009 (java) S 12003 12006 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52053729 15380533248 32419 33554432000 4194304 4196468 140734508138272 139640233355664 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12010] ppid=12003 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12010/stat : 12010 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52053729 15380533248 32419 33554432000 4194304 4196468 140734508138272 139639689390352 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12011] ppid=12003 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12011/stat : 12011 (java) S 12003 12006 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52053729 15380533248 32419 33554432000 4194304 4196468 140734508138272 139639688338064 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12012] ppid=12003 vsize=15020052 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12012/stat : 12012 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52053729 15380533248 32419 33554432000 4194304 4196468 140734508138272 139639687285264 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12013] ppid=12003 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12013/stat : 12013 (java) S 12003 12006 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52053731 15380533248 32419 33554432000 4194304 4196468 140734508138272 139639290694256 139640229124738 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12014] ppid=12003 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (java) S 12003 12006 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52053731 15380533248 32419 33554432000 4194304 4196468 140734508138272 139638782027040 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12015] ppid=12003 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12015/stat : 12015 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52053731 15380533248 32419 33554432000 4194304 4196468 140734508138272 139638513591920 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12016] ppid=12003 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12016/stat : 12016 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52053734 15380533248 32419 33554432000 4194304 4196468 140734508138272 139638139083344 139640229132187 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12017] ppid=12003 vsize=15020052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (java) R 12003 12006 8919 0 -1 1077944384 672 0 0 0 7 0 0 0 20 0 15 0 52053734 15380533248 32419 33554432000 4194304 4196468 140734508138272 139639289641072 139640229124738 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12018] ppid=12003 vsize=15020052 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12006/task/12018/stat : 12018 (java) R 12003 12006 8919 0 -1 4202560 219 0 0 0 8 0 0 0 20 0 15 0 52053734 15380533248 32419 33554432000 4194304 4196468 140734508138272 139639288565936 139640215128160 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12019] ppid=12003 vsize=15020052 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/12006/task/12019/stat : 12019 (java) R 12003 12006 8919 0 -1 4202560 384 0 0 0 15 0 0 0 20 0 15 0 52053734 15380533248 32419 33554432000 4194304 4196468 140734508138272 139639287535984 139640229125526 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12020] ppid=12003 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52053734 15380533248 32419 33554432000 4194304 4196468 140734508138272 139637641177568 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12021] ppid=12003 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12021/stat : 12021 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52053734 15380533248 32419 33554432000 4194304 4196468 140734508138272 139639286483888 139640229124738 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129676 KiB
[startup+1.50138 s]
/proc/loadavg: 2.01 2.02 2.05 3/221 12021
/proc/meminfo: memFree=15048440/32770624 swapFree=67108860/67108860
[pid=12006] ppid=12003 vsize=15026264 memory=183776 CPUtime=2.91 cores=1,3,5,7
/proc/12006/stat : 12006 (java) S 12003 12006 8919 0 -1 1077944320 22423 0 0 0 283 8 0 0 20 0 15 0 52053727 15386894336 45944 33554432000 4194304 4196468 140734508138272 140734508120816 139640229113591 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
/proc/12006/statm: 3756566 45944 3216 1 0 3717422 0
[pid=12006/tid=12008] ppid=12003 vsize=15026264 memory=5794836780235445856 CPUtime=1.46 cores=1,3,5,7
/proc/12006/task/12008/stat : 12008 (java) R 12003 12006 8919 0 -1 4202560 16878 0 0 0 141 5 0 0 20 0 15 0 52053727 15386894336 45944 33554432000 4194304 4196468 140734508138272 139640200951088 139639731859244 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12009] ppid=12003 vsize=15026264 memory=6298673690012636768 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12009/stat : 12009 (java) S 12003 12006 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52053729 15386894336 45944 33554432000 4194304 4196468 140734508138272 139640233355664 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12010] ppid=12003 vsize=15026264 memory=7589518994116600935 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12010/stat : 12010 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52053729 15386894336 45944 33554432000 4194304 4196468 140734508138272 139639689390352 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12011] ppid=12003 vsize=15026264 memory=7378695464920967512 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12011/stat : 12011 (java) S 12003 12006 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52053729 15386894336 45944 33554432000 4194304 4196468 140734508138272 139639688338064 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12012] ppid=12003 vsize=15026264 memory=4638778411217669456 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12012/stat : 12012 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52053729 15386894336 45944 33554432000 4194304 4196468 140734508138272 139639687285264 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12013] ppid=12003 vsize=15026264 memory=7668621296441583952 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12013/stat : 12013 (java) S 12003 12006 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52053731 15386894336 45944 33554432000 4194304 4196468 140734508138272 139639290694256 139640229124738 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12014] ppid=12003 vsize=15026264 memory=3689632484464224336 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (java) S 12003 12006 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52053731 15386894336 45944 33554432000 4194304 4196468 140734508138272 139638782027040 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12015] ppid=12003 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12015/stat : 12015 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52053731 15386894336 45944 33554432000 4194304 4196468 140734508138272 139638513591920 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12016] ppid=12003 vsize=15026264 memory=279855505604848 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12016/stat : 12016 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52053734 15386894336 45944 33554432000 4194304 4196468 140734508138272 139638139083344 139640229132187 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12017] ppid=12003 vsize=15026264 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (java) R 12003 12006 8919 0 -1 4202560 903 0 0 0 34 1 0 0 20 0 15 0 52053734 15386894336 45944 33554432000 4194304 4196468 140734508138272 139639289641072 139640229125526 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12018] ppid=12003 vsize=15026264 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/12006/task/12018/stat : 12018 (java) R 12003 12006 8919 0 -1 4202560 677 0 0 0 38 0 0 0 20 0 15 0 52053734 15386894336 45944 33554432000 4194304 4196468 140734508138272 139639288575856 139640208360719 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12019] ppid=12003 vsize=15026264 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/12006/task/12019/stat : 12019 (java) R 12003 12006 8919 0 -1 1077944384 2622 0 0 0 69 0 0 0 20 0 15 0 52053734 15386894336 45944 33554432000 4194304 4196468 140734508138272 139639287534384 139640229123797 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12020] ppid=12003 vsize=15026264 memory=13773960120851 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52053734 15386894336 45944 33554432000 4194304 4196468 140734508138272 139637641177568 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12021] ppid=12003 vsize=15026264 memory=1 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12021/stat : 12021 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52053734 15386894336 45944 33554432000 4194304 4196468 140734508138272 139639286483888 139640229124738 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 183776 KiB
[startup+3.11028 s]
/proc/loadavg: 2.17 2.05 2.06 3/226 12027
/proc/meminfo: memFree=14846708/32770624 swapFree=67108860/67108860
[pid=12006] ppid=12003 vsize=15681864 memory=329600 CPUtime=4.51 cores=1,3,5,7
/proc/12006/stat : 12006 (java) S 12003 12006 8919 0 -1 1077944320 24466 0 0 0 440 11 0 0 20 0 19 0 52053727 16058228736 82400 33554432000 4194304 4196468 140734508138272 140734508120816 139640229113591 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
/proc/12006/statm: 3920466 82400 3226 1 0 3881322 0
[pid=12022] ppid=12006 vsize=29088 memory=12928 CPUtime=1.17 cores=1,3,5,7
/proc/12022/stat : 12022 (minisat_release) R 12006 12006 8919 0 -1 4202496 3743 0 0 0 117 0 0 0 20 0 1 0 52053920 29786112 3232 33554432000 4194304 4308513 140721050485392 140721050482392 4276089 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 23674880 140721050493615 140721050494126 140721050494126 140721050496965 0
/proc/12022/statm: 7272 3232 352 28 0 3512 0
[pid=12006/tid=12008] ppid=12003 vsize=15681864 memory=0 CPUtime=1.94 cores=1,3,5,7
/proc/12006/task/12008/stat : 12008 (java) S 12003 12006 8919 0 -1 1077944384 17358 0 0 0 186 8 0 0 20 0 19 0 52053727 16058228736 82400 33554432000 4194304 4196468 140734508138272 139640200952832 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12009] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12009/stat : 12009 (java) S 12003 12006 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52053729 16058228736 82400 33554432000 4194304 4196468 140734508138272 139640233355664 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12010] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12010/stat : 12010 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52053729 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639689390352 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12011] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12011/stat : 12011 (java) S 12003 12006 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52053729 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639688338064 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12012] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12012/stat : 12012 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52053729 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639687285264 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12013] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12013/stat : 12013 (java) S 12003 12006 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52053731 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639290694256 139640229124738 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12014] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (java) S 12003 12006 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52053731 16058228736 82400 33554432000 4194304 4196468 140734508138272 139638782027040 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12015] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12015/stat : 12015 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52053731 16058228736 82400 33554432000 4194304 4196468 140734508138272 139638513591920 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12016] ppid=12003 vsize=15681864 memory=7649399384231129649 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12016/stat : 12016 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52053734 16058228736 82400 33554432000 4194304 4196468 140734508138272 139638139083344 139640229132187 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12017] ppid=12003 vsize=15681864 memory=7588935152971047488 CPUtime=0.87 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (java) S 12003 12006 8919 0 -1 1077944384 2073 0 0 0 86 1 0 0 20 0 19 0 52053734 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639289641072 139640229124738 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12018] ppid=12003 vsize=15681864 memory=279855505643120 CPUtime=0.85 cores=1,3,5,7
/proc/12006/task/12018/stat : 12018 (java) S 12003 12006 8919 0 -1 1077944384 811 0 0 0 85 0 0 0 20 0 19 0 52053734 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639288588272 139640229124738 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12019] ppid=12003 vsize=15681864 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/12006/task/12019/stat : 12019 (java) S 12003 12006 8919 0 -1 1077944384 2829 0 0 0 81 1 0 0 20 0 19 0 52053734 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639287535984 139640229124738 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12020] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52053734 16058228736 82400 33554432000 4194304 4196468 140734508138272 139637641177568 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12021] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12021/stat : 12021 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52053734 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639286483888 139640229124738 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12023] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12023/stat : 12023 (java) S 12003 12006 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52053920 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639270217152 139640229138201 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12025] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12025/stat : 12025 (java) S 12003 12006 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52053921 16058228736 82400 33554432000 4194304 4196468 140734508138272 139636970078128 139640229135517 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12026] ppid=12003 vsize=15681864 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12026/stat : 12026 (java) S 12003 12006 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52053921 16058228736 82400 33554432000 4194304 4196468 140734508138272 139636835855664 139640229135517 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12027] ppid=12003 vsize=15681864 memory=7160715392463538389 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12027/stat : 12027 (java) S 12003 12006 8919 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52053923 16058228736 82400 33554432000 4194304 4196468 140734508138272 139637372738464 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
Current children cumulated CPU time: 5.68 s
Current children cumulated vsize: 15710952 KiB
Current children cumulated memory: 342528 KiB
[startup+3.17307 s]
# the end of solver process 12006 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.67349 s, system=0.136977 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.11028 s]
/proc/loadavg: 2.17 2.05 2.06 3/226 12027
/proc/meminfo: memFree=14846708/32770624 swapFree=67108860/67108860
[pid=12006] ppid=12003 vsize=15681864 memory=329600 CPUtime=4.51 cores=1,3,5,7
/proc/12006/stat : 12006 (java) S 12003 12006 8919 0 -1 1077944320 24466 0 0 0 440 11 0 0 20 0 19 0 52053727 16058228736 82400 33554432000 4194304 4196468 140734508138272 140734508120816 139640229113591 0 0 0 25189583 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
/proc/12006/statm: 3920466 82400 3226 1 0 3881322 0
[pid=12022] ppid=12006 vsize=29088 memory=12928 CPUtime=1.17 cores=1,3,5,7
/proc/12022/stat : 12022 (minisat_release) R 12006 12006 8919 0 -1 4202496 3743 0 0 0 117 0 0 0 20 0 1 0 52053920 29786112 3232 33554432000 4194304 4308513 140721050485392 140721050482392 4276089 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 23674880 140721050493615 140721050494126 140721050494126 140721050496965 0
/proc/12022/statm: 7272 3232 352 28 0 3512 0
[pid=12006/tid=12008] ppid=12003 vsize=15681864 memory=0 CPUtime=1.94 cores=1,3,5,7
/proc/12006/task/12008/stat : 12008 (java) S 12003 12006 8919 0 -1 1077944384 17358 0 0 0 186 8 0 0 20 0 19 0 52053727 16058228736 82400 33554432000 4194304 4196468 140734508138272 139640200952832 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12009] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12009/stat : 12009 (java) S 12003 12006 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52053729 16058228736 82400 33554432000 4194304 4196468 140734508138272 139640233355664 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12010] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12010/stat : 12010 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52053729 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639689390352 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12011] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12011/stat : 12011 (java) S 12003 12006 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52053729 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639688338064 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12012] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12012/stat : 12012 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52053729 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639687285264 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12013] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12013/stat : 12013 (java) S 12003 12006 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52053731 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639290694256 139640229124738 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12014] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (java) S 12003 12006 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52053731 16058228736 82400 33554432000 4194304 4196468 140734508138272 139638782027040 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12015] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12015/stat : 12015 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52053731 16058228736 82400 33554432000 4194304 4196468 140734508138272 139638513591920 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12016] ppid=12003 vsize=15681864 memory=7649399384231129649 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12016/stat : 12016 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52053734 16058228736 82400 33554432000 4194304 4196468 140734508138272 139638139083344 139640229132187 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12017] ppid=12003 vsize=15681864 memory=7588935152971047488 CPUtime=0.87 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (java) S 12003 12006 8919 0 -1 1077944384 2073 0 0 0 86 1 0 0 20 0 19 0 52053734 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639289641072 139640229124738 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12018] ppid=12003 vsize=15681864 memory=279855505643120 CPUtime=0.85 cores=1,3,5,7
/proc/12006/task/12018/stat : 12018 (java) S 12003 12006 8919 0 -1 1077944384 811 0 0 0 85 0 0 0 20 0 19 0 52053734 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639288588272 139640229124738 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12019] ppid=12003 vsize=15681864 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/12006/task/12019/stat : 12019 (java) S 12003 12006 8919 0 -1 1077944384 2829 0 0 0 81 1 0 0 20 0 19 0 52053734 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639287535984 139640229124738 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12020] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (java) S 12003 12006 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52053734 16058228736 82400 33554432000 4194304 4196468 140734508138272 139637641177568 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12021] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12021/stat : 12021 (java) S 12003 12006 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52053734 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639286483888 139640229124738 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12023] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12023/stat : 12023 (java) S 12003 12006 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52053920 16058228736 82400 33554432000 4194304 4196468 140734508138272 139639270217152 139640229138201 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12025] ppid=12003 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12025/stat : 12025 (java) S 12003 12006 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52053921 16058228736 82400 33554432000 4194304 4196468 140734508138272 139636970078128 139640229135517 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12026] ppid=12003 vsize=15681864 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12026/stat : 12026 (java) S 12003 12006 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 52053921 16058228736 82400 33554432000 4194304 4196468 140734508138272 139636835855664 139640229135517 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
[pid=12006/tid=12027] ppid=12003 vsize=15681864 memory=7160715392463538389 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12027/stat : 12027 (java) S 12003 12006 8919 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52053923 16058228736 82400 33554432000 4194304 4196468 140734508138272 139637372738464 139640229123797 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11468800 140734508139508 140734508139785 140734508139785 140734508142543 0
Current children cumulated CPU time: 5.68 s
Current children cumulated vsize: 15710952 KiB
Current children cumulated memory: 342528 KiB
Child status: 0
Real time (s): 3.17312
CPU time (s): 5.81047
CPU user time (s): 5.67349
CPU system time (s): 0.136977
CPU usage (%): 183.116
Max. virtual memory (cumulated for all children) (KiB): 15710952
Max. memory (cumulated for all children) (KiB): 342528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.67349
system time used= 0.136977
maximum resident set size= 332564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28327
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3698
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 12006
# total CPU time (s): 5.81047
# total CPU user time (s): 5.67349
# total CPU system time (s): 0.136977
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041521 second user time and 0.083042 second system time
The end