0.67/0.52
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 16:51:30 CEST 2018
0.67/0.54 c PID: 13534
0.67/0.54 c IP: 172.20.3.105
0.67/0.54 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.47/0.98 c (0,0) Parsing End
1.47/0.99 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 459 ctr, max domain size 10
1.47/0.99 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.47/0.99 c (0,0) Constraint Name Generate Begin
1.47/1.00 c (0,0) Ctr:HOME/instance-4294775-1532357489.xml,ExtensionConflict:ExtensionSupport:IntVar
1.47/1.00 c (0,0) Constraint Name Generate End
1.47/1.00 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.47/1.00 c (0,0) CSP to CSPinCNF Begin
2.27/1.40 c (0,0) translated 46 (10%) constraints
2.61/1.47 c (0,0) translated 92 (20%) constraints
2.93/1.52 c (1,0) translated 138 (30%) constraints
2.93/1.58 c (1,1) translated 184 (40%) constraints
3.59/1.74 c (1,1) translated 230 (50%) constraints
3.90/1.80 c (1,1) translated 276 (60%) constraints
3.90/1.85 c (1,1) translated 322 (70%) constraints
4.20/1.90 c (1,1) translated 368 (80%) constraints
4.20/1.95 c (1,1) translated 414 (90%) constraints
4.20/1.99 c (1,1) translated 459 (100%) constraints
4.53/2.05 c (1,1) STATISTICS1:HOME/instance-4294775-1532357489.xml,ExtensionConflict:ExtensionSupport:IntVar,190,4770,-1,10,11,1,,10:17262;2:432,11:9;4:3969;3:144;2:648,1:17694;0:9,
4.53/2.05 c (1,1) ===========================================
4.53/2.05 c (1,1) Order
4.53/2.05 c (1,1) ===========================================
4.53/2.09 c (1,1) translated 477 (10%) constraints
4.86/2.11 c (1,1) translated 954 (20%) constraints
4.86/2.13 c (1,1) translated 1431 (30%) constraints
4.86/2.16 c (1,1) translated 1908 (40%) constraints
4.86/2.18 c (1,1) translated 2385 (50%) constraints
5.14/2.21 c (1,1) translated 2862 (60%) constraints
5.14/2.23 c (1,1) translated 3339 (70%) constraints
5.14/2.26 c (1,1) translated 3816 (80%) constraints
5.14/2.28 c (1,1) translated 4293 (90%) constraints
5.44/2.30 c (1,1) translated 4770 (100%) constraints
5.44/2.30 c (1,1) CSP to CSPinCNF End
5.44/2.30 c (1,1) CSP: 100 int (0 aux), 90 bool (90 aux), 4770 ctr, max domain size 10
5.44/2.30 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.44/2.30 c (1,1) CSPinCNF Propagation Begin
5.44/2.39 c (1,1) 0 values, 909 unsatisfiable literals, and 0 valid clauses are removed
5.44/2.39 c (1,1) CSPinCNF Propagation End
5.44/2.39 c (1,1) CSP: 100 int (0 aux), 90 bool (90 aux), 4770 ctr, max domain size 10
5.44/2.39 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.44/2.39 c (1,1) Simplify CSPinCNF Begin
5.78/2.41 c (1,1) Simplify CSPinCNF End
5.78/2.41 c (1,1) CSP: 100 int (0 aux), 90 bool (90 aux), 4770 ctr, max domain size 10
5.78/2.41 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.78/2.41 c (1,1) Calculate Precise Domain Begin
5.78/2.41 c (1,1) 0 values are removed by re-calculation
5.78/2.41 c (1,1) Calculate Precise Domain End
5.78/2.41 c (1,1) CSP: 100 int (0 aux), 90 bool (90 aux), 4770 ctr, max domain size 10
5.78/2.41 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.78/2.41 c (1,1) CSPinCNF to SatSolver Begin
5.78/2.46 c (1,1) 477 (10 %) CSP clauses are encoded (990 SAT variables, 1276 SAT clauses)
5.78/2.47 c (1,1) 954 (20 %) CSP clauses are encoded (990 SAT variables, 1753 SAT clauses)
5.78/2.47 c (1,1) 1431 (30 %) CSP clauses are encoded (990 SAT variables, 2230 SAT clauses)
5.78/2.48 c (1,1) 1908 (40 %) CSP clauses are encoded (990 SAT variables, 2707 SAT clauses)
5.78/2.49 c (1,1) 2385 (50 %) CSP clauses are encoded (990 SAT variables, 3184 SAT clauses)
6.13/2.50 c (1,1) 2862 (60 %) CSP clauses are encoded (990 SAT variables, 3661 SAT clauses)
6.13/2.51 c (1,1) 3339 (70 %) CSP clauses are encoded (990 SAT variables, 4138 SAT clauses)
6.13/2.52 c (2,1) 3816 (80 %) CSP clauses are encoded (990 SAT variables, 4615 SAT clauses)
6.13/2.53 c (2,1) 4293 (90 %) CSP clauses are encoded (990 SAT variables, 5092 SAT clauses)
6.13/2.54 c (2,2) 4770 (100 %) CSP clauses are encoded (990 SAT variables, 5569 SAT clauses)
6.13/2.54 c (2,2) CSPinCNF to SatSolver End
6.13/2.54 c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.13/2.59 c (2,2) STATISTICS2:HOME/instance-4294775-1532357489.xml,ExtensionConflict:ExtensionSupport:IntVar,190,4770,-1,10,10,1,,10:16362;2:432,10:9;4:3519;3:144;2:1098,1:16794,
6.13/2.59 c (2,2) SatSolver.solve Begin
6.13/2.59 c (2,2) 990 bool, 5570 clause
6.13/2.59 c (2,2) 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-4294775-1532357489.xml-scop-13534.cnf HOME/instance-4294775-1532357489.xml-scop-13534.cnf.out
6.65/2.96 c (2,0) c This is COMiniSatPS.
6.65/2.96 c (2,0) c WARNING: for repeatability, setting FPU to use double precision
6.65/2.96 c (2,0) c ============================[ Problem Statistics ]=============================
6.65/2.96 c (2,0) c | |
6.65/2.96 c (2,0) c | Number of variables: 990 |
6.65/2.96 c (2,0) c | Number of clauses: 5570 |
6.65/2.96 c (2,0) c | Parse time: 0.00 s |
6.65/2.96 c (2,0) c | Eliminated clauses: 0.00 Mb |
6.65/2.96 c (2,0) c Reduced to 891 vars, 5357 cls (grow=0)
6.65/2.96 c (2,0) c No iterative elimination performed. (vars=891, c/v ratio=6.0)
6.65/2.96 c (2,0) c | Simplification time: 0.00 s |
6.65/2.96 c (2,0) c | |
6.65/2.96 c (2,0) c ============================[ Search Statistics ]==============================
6.65/2.96 c (2,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
6.65/2.96 c (2,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.65/2.96 c (2,0) c ===============================================================================
6.65/2.96 c (2,0) c ===============================================================================
6.65/2.96 c (2,0) c restarts : 56
6.65/2.96 c (2,0) c conflicts : 44898 (125316 /sec)
6.65/2.96 c (2,0) c decisions : 79200 (0.00 % random) (221058 /sec)
6.65/2.96 c (2,0) c propagations : 625700 (1746414 /sec)
6.65/2.96 c (2,0) c conflict literals : 406688 (9.01 % deleted)
6.65/2.96 c (2,0) c CPU time : 0.358277 s
6.65/2.96 c (2,0)
6.65/2.96 c (2,0) s UNSATISFIABLE
6.65/2.97 c (2,2) SatSolver.solve End
6.65/2.97 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.65/2.97 c (2,2) Show results Begin
6.65/2.97 s UNSATISFIABLE
6.65/2.97 c (2,2) Show results End
6.65/2.97 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.65/2.97 c (2,2) 0,0,1,1,1,1,2,2,2,STOP-AFTER(ALL)
6.65/2.97 c END-Prog: Mon Jul 23 16:51:32 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 (1982 MiB free)
memory of node 1: 16384 MiB (11575 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294775-1532357489/watcher-4294775-1532357489 -o /tmp/evaluation-result-4294775-1532357489/solver-4294775-1532357489 -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-4294775-1532357489.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=13534, runsolver pid=13531
[startup+0.100141 s]*
/proc/loadavg: 2.94 2.59 2.30 3/220 13549
/proc/meminfo: memFree=13825852/32770624 swapFree=67108860/67108860
[pid=13534] ppid=13531 vsize=15011656 memory=71560 CPUtime=0.11 cores=1,3,5,7
/proc/13534/stat : 13534 (java) S 13531 13534 2271 0 -1 1077944320 7125 0 0 0 9 2 0 0 20 0 15 0 53312116 15371935744 17890 33554432000 4194304 4196468 140731650089712 140731650072256 140122942734071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
/proc/13534/statm: 3752914 17890 2775 1 0 3715374 0
[pid=13534/tid=13536] ppid=13531 vsize=15011656 memory=-6943317439038143312 CPUtime=0.09 cores=1,3,5,7
/proc/13534/task/13536/stat : 13536 (java) R 13531 13534 2271 0 -1 4202560 5340 0 0 0 8 1 0 0 20 0 15 0 53312116 15371935744 18022 33554432000 4194304 4196468 140731650089712 140122914560400 140122923010896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13537] ppid=13531 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13537/stat : 13537 (java) S 13531 13534 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53312118 15371935744 18088 33554432000 4194304 4196468 140731650089712 140122946976144 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13538] ppid=13531 vsize=15011656 memory=139887852975744 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13538/stat : 13538 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15371935744 18088 33554432000 4194304 4196468 140731650089712 140122403449104 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13539] ppid=13531 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13539/stat : 13539 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15371935744 18088 33554432000 4194304 4196468 140731650089712 140122402396816 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13540] ppid=13531 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13540/stat : 13540 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15371935744 18088 33554432000 4194304 4196468 140731650089712 140122401344016 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13541] ppid=13531 vsize=15011656 memory=139887852975744 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13541/stat : 13541 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312119 15371935744 18088 33554432000 4194304 4196468 140731650089712 140121981106800 140122942745218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13542] ppid=13531 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13542/stat : 13542 (java) S 13531 13534 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53312120 15371935744 18088 33554432000 4194304 4196468 140731650089712 140121361868064 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13543] ppid=13531 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13543/stat : 13543 (java) S 13531 13534 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53312120 15371935744 18088 33554432000 4194304 4196468 140731650089712 140121227646576 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13544] ppid=13531 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13544/stat : 13544 (java) S 13531 13534 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53312122 15371935744 18088 33554432000 4194304 4196468 140731650089712 140120853142096 140122942752667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13545] ppid=13531 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13545/stat : 13545 (java) S 13531 13534 2271 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 53312122 15371935744 18088 33554432000 4194304 4196468 140731650089712 140121980053616 140122942745218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13546] ppid=13531 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13546/stat : 13546 (java) S 13531 13534 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53312122 15371935744 18088 33554432000 4194304 4196468 140731650089712 140121979000816 140122942745218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13547] ppid=13531 vsize=15011656 memory=139887852975744 CPUtime=0.01 cores=1,3,5,7
/proc/13534/task/13547/stat : 13547 (java) S 13531 13534 2271 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 53312122 15371935744 18088 33554432000 4194304 4196468 140731650089712 140121977948528 140122942745218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13548] ppid=13531 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13548/stat : 13548 (java) S 13531 13534 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53312122 15371935744 18088 33554432000 4194304 4196468 140731650089712 140120355236320 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13549] ppid=13531 vsize=15011656 memory=139887852975744 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13549/stat : 13549 (java) S 13531 13534 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53312123 15371935744 18154 33554432000 4194304 4196468 140731650089712 140121976896432 140122942745218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71560 KiB
[startup+0.210487 s]*
/proc/loadavg: 2.94 2.59 2.30 3/220 13549
/proc/meminfo: memFree=13809940/32770624 swapFree=67108860/67108860
[pid=13534] ppid=13531 vsize=15011656 memory=84104 CPUtime=0.26 cores=1,3,5,7
/proc/13534/stat : 13534 (java) S 13531 13534 2271 0 -1 1077944320 10433 0 0 0 23 3 0 0 20 0 15 0 53312116 15371935744 21026 33554432000 4194304 4196468 140731650089712 140731650072256 140122942734071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
/proc/13534/statm: 3752914 21026 2944 1 0 3715374 0
[pid=13534/tid=13536] ppid=13531 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/13534/task/13536/stat : 13536 (java) R 13531 13534 2271 0 -1 4202560 8295 0 0 0 17 2 0 0 20 0 15 0 53312116 15371935744 21026 33554432000 4194304 4196468 140731650089712 140122914562912 140122926814558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13537] ppid=13531 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13537/stat : 13537 (java) S 13531 13534 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53312118 15371935744 21026 33554432000 4194304 4196468 140731650089712 140122946976144 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13538] ppid=13531 vsize=15011656 memory=288370264004687488 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13538/stat : 13538 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15371935744 21026 33554432000 4194304 4196468 140731650089712 140122403449104 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13539] ppid=13531 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13539/stat : 13539 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15371935744 21026 33554432000 4194304 4196468 140731650089712 140122402396816 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13540] ppid=13531 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13540/stat : 13540 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15371935744 21026 33554432000 4194304 4196468 140731650089712 140122401344016 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13541] ppid=13531 vsize=15011656 memory=139887852975744 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13541/stat : 13541 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312119 15371935744 21026 33554432000 4194304 4196468 140731650089712 140121981106800 140122942745218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13542] ppid=13531 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13542/stat : 13542 (java) S 13531 13534 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53312120 15371935744 21026 33554432000 4194304 4196468 140731650089712 140121361868064 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13543] ppid=13531 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13543/stat : 13543 (java) S 13531 13534 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53312120 15371935744 21026 33554432000 4194304 4196468 140731650089712 140121227646576 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13544] ppid=13531 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13544/stat : 13544 (java) S 13531 13534 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53312122 15371935744 21026 33554432000 4194304 4196468 140731650089712 140120853142096 140122942752667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13545] ppid=13531 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13534/task/13545/stat : 13545 (java) R 13531 13534 2271 0 -1 4202560 341 0 0 0 1 0 0 0 20 0 15 0 53312122 15371935744 21026 33554432000 4194304 4196468 140731650089712 140121980053616 140122919988176 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13546] ppid=13531 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13546/stat : 13546 (java) R 13531 13534 2271 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 53312122 15371935744 21026 33554432000 4194304 4196468 140731650089712 140121979000816 140122942745218 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13547] ppid=13531 vsize=15011656 memory=139887852975744 CPUtime=0.03 cores=1,3,5,7
/proc/13534/task/13547/stat : 13547 (java) S 13531 13534 2271 0 -1 1077944384 312 0 0 0 3 0 0 0 20 0 15 0 53312122 15371935744 21026 33554432000 4194304 4196468 140731650089712 140121977948528 140122942745218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13548] ppid=13531 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13548/stat : 13548 (java) S 13531 13534 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53312122 15371935744 21026 33554432000 4194304 4196468 140731650089712 140120355236320 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13549] ppid=13531 vsize=15011656 memory=139887852975744 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13549/stat : 13549 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312123 15371935744 21026 33554432000 4194304 4196468 140731650089712 140121976896432 140122942745218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84104 KiB
[startup+0.310512 s]*
/proc/loadavg: 2.94 2.59 2.30 3/220 13549
/proc/meminfo: memFree=13808316/32770624 swapFree=67108860/67108860
[pid=13534] ppid=13531 vsize=15011656 memory=87728 CPUtime=0.44 cores=1,3,5,7
/proc/13534/stat : 13534 (java) S 13531 13534 2271 0 -1 1077944320 11033 0 0 0 40 4 0 0 20 0 15 0 53312116 15371935744 21932 33554432000 4194304 4196468 140731650089712 140731650072256 140122942734071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
/proc/13534/statm: 3752914 21932 2996 1 0 3715374 0
[pid=13534/tid=13536] ppid=13531 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/13534/task/13536/stat : 13536 (java) R 13531 13534 2271 0 -1 4202560 8725 0 0 0 27 3 0 0 20 0 15 0 53312116 15371935744 21932 33554432000 4194304 4196468 140731650089712 140122914538224 140122924299033 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13537] ppid=13531 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13537/stat : 13537 (java) S 13531 13534 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53312118 15371935744 21932 33554432000 4194304 4196468 140731650089712 140122946976144 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13538] ppid=13531 vsize=15011656 memory=288230376152078777 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13538/stat : 13538 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15371935744 21932 33554432000 4194304 4196468 140731650089712 140122403449104 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13539] ppid=13531 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13539/stat : 13539 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15371935744 21932 33554432000 4194304 4196468 140731650089712 140122402396816 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13540] ppid=13531 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13540/stat : 13540 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15371935744 21932 33554432000 4194304 4196468 140731650089712 140122401344016 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13541] ppid=13531 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13541/stat : 13541 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312119 15371935744 21932 33554432000 4194304 4196468 140731650089712 140121981106800 140122942745218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13542] ppid=13531 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13542/stat : 13542 (java) S 13531 13534 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53312120 15371935744 21932 33554432000 4194304 4196468 140731650089712 140121361868064 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13543] ppid=13531 vsize=15011656 memory=139887852975744 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13543/stat : 13543 (java) S 13531 13534 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53312120 15371935744 21932 33554432000 4194304 4196468 140731650089712 140121227646576 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13544] ppid=13531 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13544/stat : 13544 (java) S 13531 13534 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53312122 15371935744 21932 33554432000 4194304 4196468 140731650089712 140120853142096 140122942752667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13545] ppid=13531 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13534/task/13545/stat : 13545 (java) S 13531 13534 2271 0 -1 1077944384 455 0 0 0 3 0 0 0 20 0 15 0 53312122 15371935744 21932 33554432000 4194304 4196468 140731650089712 140121980053616 140122942745218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13546] ppid=13531 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13546/stat : 13546 (java) R 13531 13534 2271 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 15 0 53312122 15371935744 21932 33554432000 4194304 4196468 140731650089712 140121979000816 140122942745218 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13547] ppid=13531 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13534/task/13547/stat : 13547 (java) R 13531 13534 2271 0 -1 4202560 357 0 0 0 7 0 0 0 20 0 15 0 53312122 15371935744 21932 33554432000 4194304 4196468 140731650089712 140121977948528 140122934971198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13548] ppid=13531 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13548/stat : 13548 (java) S 13531 13534 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53312122 15371935744 21932 33554432000 4194304 4196468 140731650089712 140120355236320 140122942744277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13549] ppid=13531 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13549/stat : 13549 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312123 15371935744 21932 33554432000 4194304 4196468 140731650089712 140121976896432 140122942745218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87728 KiB
[startup+0.700771 s]
/proc/loadavg: 2.87 2.58 2.29 3/220 13549
/proc/meminfo: memFree=13783636/32770624 swapFree=67108860/67108860
[pid=13534] ppid=13531 vsize=15020052 memory=127608 CPUtime=1.02 cores=1,3,5,7
/proc/13534/stat : 13534 (java) S 13531 13534 2271 0 -1 1077944320 18236 0 0 0 96 6 0 0 20 0 15 0 53312116 15380533248 31902 33554432000 4194304 4196468 140731650089712 140731650072256 140122942734071 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
/proc/13534/statm: 3755013 31902 3155 1 0 3716398 0
[pid=13534/tid=13536] ppid=13531 vsize=15020052 memory=796 CPUtime=0.67 cores=1,3,5,7
/proc/13534/task/13536/stat : 13536 (java) R 13531 13534 2271 0 -1 4202560 15457 0 0 0 63 4 0 0 20 0 15 0 53312116 15380533248 31902 33554432000 4194304 4196468 140731650089712 140122914570448 140122926777701 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13537] ppid=13531 vsize=15020052 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13537/stat : 13537 (java) S 13531 13534 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53312118 15380533248 31902 33554432000 4194304 4196468 140731650089712 140122946976144 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13538] ppid=13531 vsize=15020052 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13538/stat : 13538 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15380533248 31902 33554432000 4194304 4196468 140731650089712 140122403449104 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13539] ppid=13531 vsize=15020052 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13539/stat : 13539 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15380533248 31902 33554432000 4194304 4196468 140731650089712 140122402396816 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13540] ppid=13531 vsize=15020052 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13540/stat : 13540 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15380533248 31902 33554432000 4194304 4196468 140731650089712 140122401344016 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13541] ppid=13531 vsize=15020052 memory=279775512143648 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13541/stat : 13541 (java) S 13531 13534 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53312119 15380533248 31902 33554432000 4194304 4196468 140731650089712 140121981106800 140122942745218 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13542] ppid=13531 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13542/stat : 13542 (java) S 13531 13534 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53312120 15380533248 31902 33554432000 4194304 4196468 140731650089712 140121361868064 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13543] ppid=13531 vsize=15020052 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13543/stat : 13543 (java) S 13531 13534 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53312120 15380533248 31902 33554432000 4194304 4196468 140731650089712 140121227646576 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13544] ppid=13531 vsize=15020052 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13544/stat : 13544 (java) S 13531 13534 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53312122 15380533248 31902 33554432000 4194304 4196468 140731650089712 140120853142096 140122942752667 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13545] ppid=13531 vsize=15020052 memory=8384 CPUtime=0.08 cores=1,3,5,7
/proc/13534/task/13545/stat : 13545 (java) S 13531 13534 2271 0 -1 1077944384 542 0 0 0 8 0 0 0 20 0 15 0 53312122 15380533248 31902 33554432000 4194304 4196468 140731650089712 140121980053616 140122942745218 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13546] ppid=13531 vsize=15020052 memory=7307210974946176466 CPUtime=0.08 cores=1,3,5,7
/proc/13534/task/13546/stat : 13546 (java) S 13531 13534 2271 0 -1 1077944384 388 0 0 0 8 0 0 0 20 0 15 0 53312122 15380533248 31902 33554432000 4194304 4196468 140731650089712 140121979000816 140122942745218 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13547] ppid=13531 vsize=15020052 memory=7302135314614015847 CPUtime=0.17 cores=1,3,5,7
/proc/13534/task/13547/stat : 13547 (java) R 13531 13534 2271 0 -1 4202560 491 0 0 0 17 0 0 0 20 0 15 0 53312122 15380533248 31902 33554432000 4194304 4196468 140731650089712 140121977948528 140122942746006 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13548] ppid=13531 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13548/stat : 13548 (java) S 13531 13534 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53312122 15380533248 31902 33554432000 4194304 4196468 140731650089712 140120355236320 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13549] ppid=13531 vsize=15020052 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13549/stat : 13549 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312123 15380533248 31902 33554432000 4194304 4196468 140731650089712 140121976896432 140122942745218 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 127608 KiB
[startup+1.50557 s]
/proc/loadavg: 2.87 2.58 2.29 4/220 13549
/proc/meminfo: memFree=13755256/32770624 swapFree=67108860/67108860
[pid=13534] ppid=13531 vsize=15022100 memory=184232 CPUtime=2.93 cores=1,3,5,7
/proc/13534/stat : 13534 (java) S 13531 13534 2271 0 -1 1077944320 22081 0 0 0 284 9 0 0 20 0 15 0 53312116 15382630400 46058 33554432000 4194304 4196468 140731650089712 140731650072256 140122942734071 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
/proc/13534/statm: 3755525 46058 3202 1 0 3716910 0
[pid=13534/tid=13536] ppid=13531 vsize=15022100 memory=288230377108275491 CPUtime=1.47 cores=1,3,5,7
/proc/13534/task/13536/stat : 13536 (java) R 13531 13534 2271 0 -1 4202560 16570 0 0 0 141 6 0 0 20 0 15 0 53312116 15382630400 46058 33554432000 4194304 4196468 140731650089712 140122914560992 140122924602605 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13537] ppid=13531 vsize=15022100 memory=288293289789228285 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13537/stat : 13537 (java) S 13531 13534 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53312118 15382630400 46058 33554432000 4194304 4196468 140731650089712 140122946976144 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13538] ppid=13531 vsize=15022100 memory=288285580272600099 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13538/stat : 13538 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15382630400 46058 33554432000 4194304 4196468 140731650089712 140122403449104 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13539] ppid=13531 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13539/stat : 13539 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15382630400 46058 33554432000 4194304 4196468 140731650089712 140122402396816 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13540] ppid=13531 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13540/stat : 13540 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15382630400 46058 33554432000 4194304 4196468 140731650089712 140122401344016 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13541] ppid=13531 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13541/stat : 13541 (java) S 13531 13534 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53312119 15382630400 46058 33554432000 4194304 4196468 140731650089712 140121981106800 140122942745218 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
################
# More data... #
################
[startup+2.97919 s]
# the end of solver process 13534 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.875 s, system=0.161956 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60164 s]
/proc/loadavg: 2.87 2.58 2.29 4/220 13549
/proc/meminfo: memFree=13755256/32770624 swapFree=67108860/67108860
[pid=13534] ppid=13531 vsize=15022100 memory=209656 CPUtime=3.23 cores=1,3,5,7
/proc/13534/stat : 13534 (java) S 13531 13534 2271 0 -1 1077944320 23363 0 0 0 313 10 0 0 20 0 15 0 53312116 15382630400 52414 33554432000 4194304 4196468 140731650089712 140731650072256 140122942734071 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
/proc/13534/statm: 3755525 52414 3202 1 0 3716910 0
[pid=13534/tid=13536] ppid=13531 vsize=15022100 memory=6944656575208382560 CPUtime=1.57 cores=1,3,5,7
/proc/13534/task/13536/stat : 13536 (java) R 13531 13534 2271 0 -1 4202560 17268 0 0 0 150 7 0 0 20 0 15 0 53312116 15382630400 52414 33554432000 4194304 4196468 140731650089712 140122914557056 140122453018852 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13537] ppid=13531 vsize=15022100 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13537/stat : 13537 (java) S 13531 13534 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53312118 15382630400 52414 33554432000 4194304 4196468 140731650089712 140122946976144 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13538] ppid=13531 vsize=15022100 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13538/stat : 13538 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15382630400 52414 33554432000 4194304 4196468 140731650089712 140122403449104 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13539] ppid=13531 vsize=15022100 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13539/stat : 13539 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15382630400 52414 33554432000 4194304 4196468 140731650089712 140122402396816 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13540] ppid=13531 vsize=15022100 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13540/stat : 13540 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15382630400 52414 33554432000 4194304 4196468 140731650089712 140122401344016 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13541] ppid=13531 vsize=15022100 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13541/stat : 13541 (java) S 13531 13534 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53312119 15382630400 52414 33554432000 4194304 4196468 140731650089712 140121981106800 140122942745218 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13542] ppid=13531 vsize=15022100 memory=-8826033242812282048 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13542/stat : 13542 (java) S 13531 13534 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53312120 15382630400 52414 33554432000 4194304 4196468 140731650089712 140121361868064 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13543] ppid=13531 vsize=15022100 memory=4715410141804852778 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13543/stat : 13543 (java) S 13531 13534 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53312120 15382630400 52414 33554432000 4194304 4196468 140731650089712 140121227646576 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13544] ppid=13531 vsize=15022100 memory=-8124364409528160384 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13544/stat : 13544 (java) S 13531 13534 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53312122 15382630400 52414 33554432000 4194304 4196468 140731650089712 140120853142096 140122942752667 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13545] ppid=13531 vsize=15022100 memory=-8253362762723522712 CPUtime=0.48 cores=1,3,5,7
/proc/13534/task/13545/stat : 13545 (java) R 13531 13534 2271 0 -1 4202560 1147 0 0 0 48 0 0 0 20 0 15 0 53312122 15382630400 52414 33554432000 4194304 4196468 140731650089712 140121980031728 140122926230855 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13546] ppid=13531 vsize=15022100 memory=-8826033242812282048 CPUtime=0.47 cores=1,3,5,7
/proc/13534/task/13546/stat : 13546 (java) R 13531 13534 2271 0 -1 4202560 980 0 0 0 47 0 0 0 20 0 15 0 53312122 15382630400 52414 33554432000 4194304 4196468 140731650089712 140121978981832 140122926230855 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13547] ppid=13531 vsize=15022100 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/13534/task/13547/stat : 13547 (java) S 13531 13534 2271 0 -1 1077944384 2605 0 0 0 67 0 0 0 20 0 15 0 53312122 15382630400 52414 33554432000 4194304 4196468 140731650089712 140121977948528 140122942745218 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13548] ppid=13531 vsize=15022100 memory=198045908196676 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13548/stat : 13548 (java) S 13531 13534 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53312122 15382630400 52414 33554432000 4194304 4196468 140731650089712 140120355236320 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13549] ppid=13531 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13549/stat : 13549 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312123 15382630400 52414 33554432000 4194304 4196468 140731650089712 140121976896432 140122942745218 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
Current children cumulated CPU time: 3.23 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 209656 KiB
[startup+2.40073 s]
/proc/loadavg: 2.87 2.58 2.29 5/220 13549
/proc/meminfo: memFree=13608572/32770624 swapFree=67108860/67108860
[pid=13534] ppid=13531 vsize=15024148 memory=382496 CPUtime=5.78 cores=1,3,5,7
/proc/13534/stat : 13534 (java) S 13531 13534 2271 0 -1 1077944320 25156 0 0 0 565 13 0 0 20 0 15 0 53312116 15384727552 95624 33554432000 4194304 4196468 140731650089712 140731650072256 140122942734071 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
/proc/13534/statm: 3756037 95624 3202 1 0 3717422 0
[pid=13534/tid=13536] ppid=13531 vsize=15024148 memory=0 CPUtime=2.37 cores=1,3,5,7
/proc/13534/task/13536/stat : 13536 (java) R 13531 13534 2271 0 -1 4202560 17559 0 0 0 227 10 0 0 20 0 15 0 53312116 15384727552 95624 33554432000 4194304 4196468 140731650089712 140122914565248 140122451182355 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13537] ppid=13531 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13537/stat : 13537 (java) S 13531 13534 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53312118 15384727552 95624 33554432000 4194304 4196468 140731650089712 140122946976144 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13538] ppid=13531 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13538/stat : 13538 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15384727552 95624 33554432000 4194304 4196468 140731650089712 140122403449104 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13539] ppid=13531 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13539/stat : 13539 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15384727552 95624 33554432000 4194304 4196468 140731650089712 140122402396816 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13540] ppid=13531 vsize=15024148 memory=239364 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13540/stat : 13540 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312118 15384727552 95624 33554432000 4194304 4196468 140731650089712 140122401344016 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13541] ppid=13531 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13541/stat : 13541 (java) S 13531 13534 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53312119 15384727552 95624 33554432000 4194304 4196468 140731650089712 140121981106800 140122942745218 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13542] ppid=13531 vsize=15024148 memory=198002287339967 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13542/stat : 13542 (java) S 13531 13534 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53312120 15384727552 95624 33554432000 4194304 4196468 140731650089712 140121361868064 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13543] ppid=13531 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13543/stat : 13543 (java) S 13531 13534 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53312120 15384727552 95624 33554432000 4194304 4196468 140731650089712 140121227646576 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13544] ppid=13531 vsize=15024148 memory=7813733982955120146 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13544/stat : 13544 (java) S 13531 13534 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53312122 15384727552 95624 33554432000 4194304 4196468 140731650089712 140120853142096 140122942752667 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13545] ppid=13531 vsize=15024148 memory=6656426216303648864 CPUtime=1.27 cores=1,3,5,7
/proc/13534/task/13545/stat : 13545 (java) R 13531 13534 2271 0 -1 4202560 1842 0 0 0 127 0 0 0 20 0 15 0 53312122 15384727552 95624 33554432000 4194304 4196468 140731650089712 140121980030976 140122927841670 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13546] ppid=13531 vsize=15024148 memory=6944656592455360604 CPUtime=1.27 cores=1,3,5,7
/proc/13534/task/13546/stat : 13546 (java) R 13531 13534 2271 0 -1 4202560 1553 0 0 0 127 0 0 0 20 0 15 0 53312122 15384727552 95624 33554432000 4194304 4196468 140731650089712 140121978987600 140122924255511 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13547] ppid=13531 vsize=15024148 memory=6944656592455359580 CPUtime=0.84 cores=1,3,5,7
/proc/13534/task/13547/stat : 13547 (java) S 13531 13534 2271 0 -1 1077944384 2839 0 0 0 83 1 0 0 20 0 15 0 53312122 15384727552 95624 33554432000 4194304 4196468 140731650089712 140121977948528 140122942745218 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13548] ppid=13531 vsize=15024148 memory=-4051592751533505334 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13548/stat : 13548 (java) S 13531 13534 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53312122 15384727552 95624 33554432000 4194304 4196468 140731650089712 140120355236320 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13549] ppid=13531 vsize=15024148 memory=7100839887252727714 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13549/stat : 13549 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53312123 15384727552 95624 33554432000 4194304 4196468 140731650089712 140121976896432 140122942745218 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
Current children cumulated CPU time: 5.78 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 382496 KiB
[startup+2.8007 s]
/proc/loadavg: 2.87 2.58 2.29 5/220 13549
/proc/meminfo: memFree=13608572/32770624 swapFree=67108860/67108860
[pid=13534] ppid=13531 vsize=15683912 memory=450932 CPUtime=6.65 cores=1,3,5,7
/proc/13534/stat : 13534 (java) S 13531 13534 2271 0 -1 1077944320 25992 0 0 0 650 15 0 0 20 0 19 0 53312116 16060325888 112733 33554432000 4194304 4196468 140731650089712 140731650072256 140122942734071 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
/proc/13534/statm: 3920978 112733 3220 1 0 3881834 0
[pid=13534/tid=13536] ppid=13531 vsize=15683912 memory=0 CPUtime=2.62 cores=1,3,5,7
/proc/13534/task/13536/stat : 13536 (java) S 13531 13534 2271 0 -1 1077944384 17968 0 0 0 251 11 0 0 20 0 19 0 53312116 16060325888 112733 33554432000 4194304 4196468 140731650089712 140122914573312 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13537] ppid=13531 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13537/stat : 13537 (java) S 13531 13534 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53312118 16060325888 112733 33554432000 4194304 4196468 140731650089712 140122946976144 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13538] ppid=13531 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13538/stat : 13538 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53312118 16060325888 112733 33554432000 4194304 4196468 140731650089712 140122403449104 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13539] ppid=13531 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13539/stat : 13539 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53312118 16060325888 112733 33554432000 4194304 4196468 140731650089712 140122402396816 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13540] ppid=13531 vsize=15683912 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13540/stat : 13540 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53312118 16060325888 112733 33554432000 4194304 4196468 140731650089712 140122401344016 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13541] ppid=13531 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13541/stat : 13541 (java) S 13531 13534 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 53312119 16060325888 112733 33554432000 4194304 4196468 140731650089712 140121981106800 140122942745218 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13542] ppid=13531 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13542/stat : 13542 (java) S 13531 13534 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53312120 16060325888 112733 33554432000 4194304 4196468 140731650089712 140121361868064 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13543] ppid=13531 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13543/stat : 13543 (java) S 13531 13534 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53312120 16060325888 112733 33554432000 4194304 4196468 140731650089712 140121227646576 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13544] ppid=13531 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13544/stat : 13544 (java) S 13531 13534 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53312122 16060325888 112733 33554432000 4194304 4196468 140731650089712 140120853142096 140122942752667 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13545] ppid=13531 vsize=15683912 memory=0 CPUtime=1.54 cores=1,3,5,7
/proc/13534/task/13545/stat : 13545 (java) S 13531 13534 2271 0 -1 1077944384 1965 0 0 0 153 1 0 0 20 0 19 0 53312122 16060325888 112733 33554432000 4194304 4196468 140731650089712 140121980053616 140122942745218 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13546] ppid=13531 vsize=15683912 memory=0 CPUtime=1.52 cores=1,3,5,7
/proc/13534/task/13546/stat : 13546 (java) S 13531 13534 2271 0 -1 1077944384 1631 0 0 0 152 0 0 0 20 0 19 0 53312122 16060325888 112733 33554432000 4194304 4196468 140731650089712 140121979000816 140122942745218 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13547] ppid=13531 vsize=15683912 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/13534/task/13547/stat : 13547 (java) S 13531 13534 2271 0 -1 1077944384 3014 0 0 0 93 1 0 0 20 0 19 0 53312122 16060325888 112733 33554432000 4194304 4196468 140731650089712 140121977948528 140122942745218 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13548] ppid=13531 vsize=15683912 memory=5792591547326092387 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13548/stat : 13548 (java) S 13531 13534 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53312122 16060325888 112733 33554432000 4194304 4196468 140731650089712 140120355236320 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13549] ppid=13531 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13549/stat : 13549 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53312123 16060325888 112733 33554432000 4194304 4196468 140731650089712 140121976896432 140122942745218 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
Current children cumulated CPU time: 6.65 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 450932 KiB
[startup+2.90064 s]
/proc/loadavg: 2.87 2.58 2.29 5/220 13549
/proc/meminfo: memFree=13608572/32770624 swapFree=67108860/67108860
[pid=13534] ppid=13531 vsize=15683912 memory=450932 CPUtime=6.65 cores=1,3,5,7
/proc/13534/stat : 13534 (java) S 13531 13534 2271 0 -1 1077944320 25992 0 0 0 650 15 0 0 20 0 19 0 53312116 16060325888 112733 33554432000 4194304 4196468 140731650089712 140731650072256 140122942734071 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
/proc/13534/statm: 3920978 112733 3220 1 0 3881834 0
[pid=13534/tid=13536] ppid=13531 vsize=15683912 memory=450932 CPUtime=2.62 cores=1,3,5,7
/proc/13534/task/13536/stat : 13536 (java) S 13531 13534 2271 0 -1 1077944384 17968 0 0 0 251 11 0 0 20 0 19 0 53312116 16060325888 112733 33554432000 4194304 4196468 140731650089712 140122914573312 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13537] ppid=13531 vsize=15683912 memory=-8393745925659800667 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13537/stat : 13537 (java) S 13531 13534 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53312118 16060325888 112733 33554432000 4194304 4196468 140731650089712 140122946976144 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13538] ppid=13531 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13538/stat : 13538 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53312118 16060325888 112733 33554432000 4194304 4196468 140731650089712 140122403449104 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13539] ppid=13531 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13539/stat : 13539 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53312118 16060325888 112733 33554432000 4194304 4196468 140731650089712 140122402396816 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13540] ppid=13531 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13540/stat : 13540 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53312118 16060325888 112733 33554432000 4194304 4196468 140731650089712 140122401344016 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13541] ppid=13531 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13541/stat : 13541 (java) S 13531 13534 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 53312119 16060325888 112733 33554432000 4194304 4196468 140731650089712 140121981106800 140122942745218 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13542] ppid=13531 vsize=15683912 memory=167 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13542/stat : 13542 (java) S 13531 13534 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53312120 16060325888 112733 33554432000 4194304 4196468 140731650089712 140121361868064 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13543] ppid=13531 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13543/stat : 13543 (java) S 13531 13534 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53312120 16060325888 112733 33554432000 4194304 4196468 140731650089712 140121227646576 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13544] ppid=13531 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13544/stat : 13544 (java) S 13531 13534 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53312122 16060325888 112733 33554432000 4194304 4196468 140731650089712 140120853142096 140122942752667 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13545] ppid=13531 vsize=15683912 memory=0 CPUtime=1.54 cores=1,3,5,7
/proc/13534/task/13545/stat : 13545 (java) S 13531 13534 2271 0 -1 1077944384 1965 0 0 0 153 1 0 0 20 0 19 0 53312122 16060325888 112733 33554432000 4194304 4196468 140731650089712 140121980053616 140122942745218 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13546] ppid=13531 vsize=15683912 memory=279775512181776 CPUtime=1.52 cores=1,3,5,7
/proc/13534/task/13546/stat : 13546 (java) S 13531 13534 2271 0 -1 1077944384 1631 0 0 0 152 0 0 0 20 0 19 0 53312122 16060325888 112733 33554432000 4194304 4196468 140731650089712 140121979000816 140122942745218 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13547] ppid=13531 vsize=15683912 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/13534/task/13547/stat : 13547 (java) S 13531 13534 2271 0 -1 1077944384 3014 0 0 0 93 1 0 0 20 0 19 0 53312122 16060325888 112733 33554432000 4194304 4196468 140731650089712 140121977948528 140122942745218 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13548] ppid=13531 vsize=15683912 memory=-4546129931942301728 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13548/stat : 13548 (java) S 13531 13534 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53312122 16060325888 112733 33554432000 4194304 4196468 140731650089712 140120355236320 140122942744277 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
[pid=13534/tid=13549] ppid=13531 vsize=15683912 memory=-1807685287717842718 CPUtime=0 cores=1,3,5,7
/proc/13534/task/13549/stat : 13549 (java) S 13531 13534 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53312123 16060325888 112733 33554432000 4194304 4196468 140731650089712 140121976896432 140122942745218 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6823936 140731650094067 140731650094345 140731650094345 140731650097103 0
Current children cumulated CPU time: 6.65 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 450932 KiB
Child status: 0
Real time (s): 2.97923
CPU time (s): 7.03696
CPU user time (s): 6.875
CPU system time (s): 0.161956
CPU usage (%): 236.2
Max. virtual memory (cumulated for all children) (KiB): 15683912
Max. memory (cumulated for all children) (KiB): 450932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.875
system time used= 0.161956
maximum resident set size= 452980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28229
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3799
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 13534
# total CPU time (s): 7.03696
# total CPU user time (s): 6.875
# total CPU system time (s): 0.161956
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047173 second user time and 0.064021 second system time
The end