0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.82/0.64 c BEGIN-Prog: Thu Jul 26 01:43:36 CEST 2018
0.82/0.64 c PID: 4510
0.82/0.64 c IP: 172.20.3.102
0.82/0.64 c HOST: node102.alineos.net
0.82/0.64 c (0,0) Parsing Begin
1.42/0.90 c (0,0) Parsing End
1.42/0.91 c (0,0) CSP: 91 int (0 aux), 0 bool (0 aux), 86 ctr, max domain size 7
1.42/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.91 c (0,0) Constraint Name Generate Begin
1.42/0.91 c (0,0) Ctr:HOME/instance-4295867-1532562216.xml,AllDifferentMatrix:Element:Instantiation:IntVar
1.42/0.91 c (0,0) Constraint Name Generate End
1.42/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.91 c (0,0) CSP to CSPinCNF Begin
2.10/1.22 c (0,0) translated 9 (10%) constraints
2.10/1.25 c (0,0) translated 18 (20%) constraints
2.10/1.27 c (0,0) translated 26 (30%) constraints
2.10/1.29 c (0,0) translated 35 (40%) constraints
2.36/1.30 c (0,0) translated 43 (50%) constraints
2.36/1.32 c (0,0) translated 52 (60%) constraints
2.36/1.33 c (0,0) translated 61 (70%) constraints
2.36/1.34 c (0,0) translated 69 (80%) constraints
2.36/1.36 c (0,0) translated 78 (90%) constraints
2.36/1.36 c (0,0) translated 86 (100%) constraints
2.68/1.42 c (0,0) STATISTICS1:HOME/instance-4295867-1532562216.xml,AllDifferentMatrix:Element:Instantiation:IntVar,91,917,7,7,7,2,7:1218;1:252,7:2352;1:203,7:28;3:588;2:294;1:7,2:1470;1:798,
2.68/1.42 c (0,0) ===========================================
2.68/1.42 c (0,0) Both Encoding selects:
2.68/1.42 c (0,0) Order
2.68/1.42 c (0,0) ===========================================
2.68/1.44 c (0,0) translated 92 (10%) constraints
2.68/1.46 c (0,0) translated 184 (20%) constraints
2.68/1.47 c (0,0) translated 276 (30%) constraints
2.68/1.50 c (0,0) translated 367 (40%) constraints
2.98/1.53 c (1,0) translated 459 (50%) constraints
2.98/1.56 c (1,1) translated 551 (60%) constraints
2.98/1.58 c (1,1) translated 642 (70%) constraints
3.26/1.61 c (1,1) translated 734 (80%) constraints
3.26/1.63 c (1,1) translated 826 (90%) constraints
3.26/1.65 c (1,1) translated 917 (100%) constraints
3.26/1.65 c (1,1) CSP to CSPinCNF End
3.26/1.65 c (1,1) CSP: 91 int (0 aux), 546 bool (546 aux), 2100 ctr, max domain size 7
3.26/1.65 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.26/1.65 c (1,1) CSPinCNF Propagation Begin
3.60/1.71 c (1,1) 2 values, 324 unsatisfiable literals, and 126 valid clauses are removed
3.60/1.71 c (1,1) CSPinCNF Propagation End
3.60/1.71 c (1,1) CSP: 91 int (0 aux), 546 bool (546 aux), 1974 ctr, max domain size 7
3.60/1.71 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.60/1.71 c (1,1) Simplify CSPinCNF Begin
3.60/1.75 c (1,1) Simplify CSPinCNF End
3.60/1.75 c (1,1) CSP: 91 int (0 aux), 1078 bool (1078 aux), 2506 ctr, max domain size 7
3.60/1.75 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.60/1.75 c (1,1) Calculate Precise Domain Begin
3.60/1.75 c (1,1) 0 values are removed by re-calculation
3.60/1.76 c (1,1) Calculate Precise Domain End
3.60/1.76 c (1,1) CSP: 91 int (0 aux), 1078 bool (1078 aux), 2506 ctr, max domain size 7
3.60/1.76 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.60/1.76 c (1,1) CSPinCNF to SatSolver Begin
3.90/1.84 c (1,1) 251 (10 %) CSP clauses are encoded (1554 SAT variables, 1272 SAT clauses)
3.90/1.86 c (1,1) 502 (20 %) CSP clauses are encoded (1554 SAT variables, 2153 SAT clauses)
3.90/1.87 c (1,1) 752 (30 %) CSP clauses are encoded (1554 SAT variables, 3045 SAT clauses)
3.90/1.89 c (1,1) 1003 (40 %) CSP clauses are encoded (1554 SAT variables, 3987 SAT clauses)
4.22/1.90 c (1,1) 1253 (50 %) CSP clauses are encoded (1554 SAT variables, 4917 SAT clauses)
4.22/1.91 c (1,1) 1504 (60 %) CSP clauses are encoded (1554 SAT variables, 5838 SAT clauses)
4.22/1.92 c (1,1) 1755 (70 %) CSP clauses are encoded (1554 SAT variables, 6796 SAT clauses)
4.22/1.93 c (1,1) 2005 (80 %) CSP clauses are encoded (1554 SAT variables, 7736 SAT clauses)
4.22/1.94 c (1,1) 2256 (90 %) CSP clauses are encoded (1554 SAT variables, 8692 SAT clauses)
4.22/1.94 c (1,1) 2506 (100 %) CSP clauses are encoded (1554 SAT variables, 9633 SAT clauses)
4.22/1.94 c (1,1) CSPinCNF to SatSolver End
4.22/1.94 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.22/1.98 c (1,1) STATISTICS2:HOME/instance-4295867-1532562216.xml,AllDifferentMatrix:Element:Instantiation:IntVar,1169,2506,7,7,5,2,7:600;6:572;5:256;1:256,7:2672;6:1088;5:368;2:2748;1:256,5:24;3:364;2:2118,2:1684;1:3764,
4.22/1.98 c (1,1) SatSolver.solve Begin
4.22/1.98 c (1,1) 1554 bool, 9634 clause
4.22/1.98 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-4295867-1532562216.xml-scop-4510.cnf HOME/instance-4295867-1532562216.xml-scop-4510.cnf.out
4.56/2.09 c (1,0) c This is COMiniSatPS.
4.56/2.09 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
4.56/2.09 c (1,0) c ============================[ Problem Statistics ]=============================
4.56/2.09 c (1,0) c | |
4.56/2.09 c (1,0) c | Number of variables: 1554 |
4.56/2.09 c (1,0) c | Number of clauses: 9634 |
4.56/2.09 c (1,0) c | Parse time: 0.00 s |
4.56/2.09 c (1,0) c | Eliminated clauses: 0.02 Mb |
4.56/2.09 c (1,0) c Reduced to 662 vars, 7322 cls (grow=0)
4.56/2.09 c (1,0) c No iterative elimination performed. (vars=662, c/v ratio=11.1)
4.56/2.09 c (1,0) c | Simplification time: 0.01 s |
4.56/2.09 c (1,0) c | |
4.56/2.09 c (1,0) c ============================[ Search Statistics ]==============================
4.56/2.09 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
4.56/2.09 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.56/2.09 c (1,0) c ===============================================================================
4.56/2.09 c (1,0) c ===============================================================================
4.56/2.09 c (1,0) c restarts : 7
4.56/2.09 c (1,0) c conflicts : 2155 (30001 /sec)
4.56/2.09 c (1,0) c decisions : 2794 (0.00 % random) (38897 /sec)
4.56/2.09 c (1,0) c propagations : 230093 (3203255 /sec)
4.56/2.09 c (1,0) c conflict literals : 18949 (33.26 % deleted)
4.56/2.09 c (1,0) c CPU time : 0.071831 s
4.56/2.09 c (1,0)
4.56/2.09 c (1,0) s UNSATISFIABLE
4.56/2.09 c (1,1) SatSolver.solve End
4.56/2.09 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
4.56/2.09 c (1,1) Show results Begin
4.56/2.09 s UNSATISFIABLE
4.56/2.09 c (1,1) Show results End
4.56/2.09 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
4.56/2.09 c (1,1) 0,0,1,1,1,1,1,1,1,STOP-AFTER(ALL)
4.56/2.09 c END-Prog: Thu Jul 26 01:43:38 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 (7362 MiB free)
memory of node 1: 16384 MiB (15584 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295867-1532562216/watcher-4295867-1532562216 -o /tmp/evaluation-result-4295867-1532562216/solver-4295867-1532562216 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295867-1532562216.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=4510, runsolver pid=4507
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 2.00 2.07 2.11 3/221 4525
/proc/meminfo: memFree=23438712/32770624 swapFree=67076656/67108860
[pid=4510] ppid=4507 vsize=15011656 memory=72648 CPUtime=0.11 cores=1,3,5,7
/proc/4510/stat : 4510 (java) S 4507 4510 29212 0 -1 1077944320 6848 0 0 0 9 2 0 0 20 0 15 0 73784738 15371935744 18162 33554432000 4194304 4196468 140728835849248 140728835831792 139760011067127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
/proc/4510/statm: 3752914 18162 2773 1 0 3715374 0
[pid=4510/tid=4512] ppid=4507 vsize=15011656 memory=7100839887284243048 CPUtime=0.08 cores=1,3,5,7
/proc/4510/task/4512/stat : 4512 (java) R 4507 4510 29212 0 -1 4202560 5262 0 0 0 7 1 0 0 20 0 15 0 73784739 15371935744 18492 33554432000 4194304 4196468 140728835849248 139759982879112 139759991342887 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4513] ppid=4507 vsize=15011656 memory=3472328295574039403 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4513/stat : 4513 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15371935744 18492 33554432000 4194304 4196468 140728835849248 139760015309200 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4514] ppid=4507 vsize=15011656 memory=139863143986816 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4514/stat : 4514 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15371935744 18492 33554432000 4194304 4196468 140728835849248 139759472105744 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4515] ppid=4507 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4515/stat : 4515 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15371935744 18492 33554432000 4194304 4196468 140728835849248 139759471053456 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4516] ppid=4507 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4516/stat : 4516 (java) S 4507 4510 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73784740 15371935744 18492 33554432000 4194304 4196468 140728835849248 139759470000656 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4517] ppid=4507 vsize=15011656 memory=139863143986816 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4517/stat : 4517 (java) S 4507 4510 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73784742 15371935744 18492 33554432000 4194304 4196468 140728835849248 139759350540912 139760011078274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4518] ppid=4507 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4518/stat : 4518 (java) S 4507 4510 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73784742 15371935744 18492 33554432000 4194304 4196468 140728835849248 139758604903712 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4519] ppid=4507 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4519/stat : 4519 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784742 15371935744 18558 33554432000 4194304 4196468 140728835849248 139758370023024 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4520] ppid=4507 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4520/stat : 4520 (java) S 4507 4510 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73784745 15371935744 18558 33554432000 4194304 4196468 140728835849248 139757995514448 139760011085723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4521] ppid=4507 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4521/stat : 4521 (java) S 4507 4510 29212 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 73784745 15371935744 18558 33554432000 4194304 4196468 140728835849248 139759349487728 139760011078274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4522] ppid=4507 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4522/stat : 4522 (java) S 4507 4510 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73784745 15371935744 18558 33554432000 4194304 4196468 140728835849248 139759348434928 139760011078274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4523] ppid=4507 vsize=15011656 memory=139863143986816 CPUtime=0.01 cores=1,3,5,7
/proc/4510/task/4523/stat : 4523 (java) S 4507 4510 29212 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 15 0 73784745 15371935744 18558 33554432000 4194304 4196468 140728835849248 139759347382640 139760011078274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4524] ppid=4507 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4524/stat : 4524 (java) S 4507 4510 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73784745 15371935744 18558 33554432000 4194304 4196468 140728835849248 139757497608672 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4525] ppid=4507 vsize=15011656 memory=139863143986816 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4525/stat : 4525 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784745 15371935744 18558 33554432000 4194304 4196468 140728835849248 139759346330544 139760011078274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72648 KiB
[startup+0.21051 s]*
/proc/loadavg: 2.00 2.06 2.11 3/221 4525
/proc/meminfo: memFree=23424620/32770624 swapFree=67076656/67108860
[pid=4510] ppid=4507 vsize=15011656 memory=85240 CPUtime=0.26 cores=1,3,5,7
/proc/4510/stat : 4510 (java) S 4507 4510 29212 0 -1 1077944320 10233 0 0 0 23 3 0 0 20 0 15 0 73784738 15371935744 21310 33554432000 4194304 4196468 140728835849248 140728835831792 139760011067127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
/proc/4510/statm: 3752914 21310 2889 1 0 3715374 0
[pid=4510/tid=4512] ppid=4507 vsize=15011656 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/4510/task/4512/stat : 4512 (java) S 4507 4510 29212 0 -1 1077944384 8078 0 0 0 17 2 0 0 20 0 15 0 73784739 15371935744 21310 33554432000 4194304 4196468 140728835849248 139759982893040 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4513] ppid=4507 vsize=15011656 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4513/stat : 4513 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15371935744 21310 33554432000 4194304 4196468 140728835849248 139760015309200 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4514] ppid=4507 vsize=15011656 memory=4122678688498562720 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4514/stat : 4514 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15371935744 21310 33554432000 4194304 4196468 140728835849248 139759472105744 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4515] ppid=4507 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4515/stat : 4515 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15371935744 21310 33554432000 4194304 4196468 140728835849248 139759471053456 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4516] ppid=4507 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4516/stat : 4516 (java) S 4507 4510 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73784740 15371935744 21310 33554432000 4194304 4196468 140728835849248 139759470000656 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4517] ppid=4507 vsize=15011656 memory=139863143986816 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4517/stat : 4517 (java) S 4507 4510 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73784742 15371935744 21310 33554432000 4194304 4196468 140728835849248 139759350540912 139760011078274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4518] ppid=4507 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4518/stat : 4518 (java) S 4507 4510 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73784742 15371935744 21310 33554432000 4194304 4196468 140728835849248 139758604903712 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4519] ppid=4507 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4519/stat : 4519 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784742 15371935744 21310 33554432000 4194304 4196468 140728835849248 139758370023024 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4520] ppid=4507 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4520/stat : 4520 (java) S 4507 4510 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73784745 15371935744 21310 33554432000 4194304 4196468 140728835849248 139757995514448 139760011085723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4521] ppid=4507 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4510/task/4521/stat : 4521 (java) R 4507 4510 29212 0 -1 4202560 433 0 0 0 1 0 0 0 20 0 15 0 73784745 15371935744 21310 33554432000 4194304 4196468 140728835849248 139759349487728 139759988321232 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4522] ppid=4507 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4522/stat : 4522 (java) R 4507 4510 29212 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 73784745 15371935744 21310 33554432000 4194304 4196468 140728835849248 139759348434928 139760011078274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4523] ppid=4507 vsize=15011656 memory=139863143986816 CPUtime=0.03 cores=1,3,5,7
/proc/4510/task/4523/stat : 4523 (java) S 4507 4510 29212 0 -1 1077944384 347 0 0 0 3 0 0 0 20 0 15 0 73784745 15371935744 21310 33554432000 4194304 4196468 140728835849248 139759347382640 139760011078274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4524] ppid=4507 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4524/stat : 4524 (java) S 4507 4510 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73784745 15371935744 21310 33554432000 4194304 4196468 140728835849248 139757497608672 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4525] ppid=4507 vsize=15011656 memory=139863143986816 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4525/stat : 4525 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784745 15371935744 21310 33554432000 4194304 4196468 140728835849248 139759346330544 139760011078274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85240 KiB
[startup+0.310594 s]*
/proc/loadavg: 2.00 2.06 2.11 3/221 4525
/proc/meminfo: memFree=23421048/32770624 swapFree=67076656/67108860
[pid=4510] ppid=4507 vsize=15011656 memory=89276 CPUtime=0.42 cores=1,3,5,7
/proc/4510/stat : 4510 (java) S 4507 4510 29212 0 -1 1077944320 10856 0 0 0 39 3 0 0 20 0 15 0 73784738 15371935744 22319 33554432000 4194304 4196468 140728835849248 140728835831792 139760011067127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
/proc/4510/statm: 3752914 22319 3022 1 0 3715374 0
[pid=4510/tid=4512] ppid=4507 vsize=15011656 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/4510/task/4512/stat : 4512 (java) R 4507 4510 29212 0 -1 4202560 8454 0 0 0 27 3 0 0 20 0 15 0 73784739 15371935744 22319 33554432000 4194304 4196468 140728835849248 139759982895328 139760011089053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4513] ppid=4507 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4513/stat : 4513 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15371935744 22319 33554432000 4194304 4196468 140728835849248 139760015309200 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4514] ppid=4507 vsize=15011656 memory=139863143986816 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4514/stat : 4514 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15371935744 22319 33554432000 4194304 4196468 140728835849248 139759472105744 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4515] ppid=4507 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4515/stat : 4515 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15371935744 22319 33554432000 4194304 4196468 140728835849248 139759471053456 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4516] ppid=4507 vsize=15011656 memory=139862992855247 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4516/stat : 4516 (java) S 4507 4510 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73784740 15371935744 22319 33554432000 4194304 4196468 140728835849248 139759470000656 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4517] ppid=4507 vsize=15011656 memory=139863143986816 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4517/stat : 4517 (java) S 4507 4510 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73784742 15371935744 22319 33554432000 4194304 4196468 140728835849248 139759350540912 139760011078274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4518] ppid=4507 vsize=15011656 memory=139862992875983 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4518/stat : 4518 (java) S 4507 4510 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73784742 15371935744 22319 33554432000 4194304 4196468 140728835849248 139758604903712 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4519] ppid=4507 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4519/stat : 4519 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784742 15371935744 22319 33554432000 4194304 4196468 140728835849248 139758370023024 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4520] ppid=4507 vsize=15011656 memory=279725985724288 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4520/stat : 4520 (java) S 4507 4510 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73784745 15371935744 22319 33554432000 4194304 4196468 140728835849248 139757995514448 139760011085723 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4521] ppid=4507 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4510/task/4521/stat : 4521 (java) R 4507 4510 29212 0 -1 4202560 496 0 0 0 2 0 0 0 20 0 15 0 73784745 15371935744 22319 33554432000 4194304 4196468 140728835849248 139759349487728 139760003356576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4522] ppid=4507 vsize=15011656 memory=139862992887695 CPUtime=0.02 cores=1,3,5,7
/proc/4510/task/4522/stat : 4522 (java) R 4507 4510 29212 0 -1 1077944384 144 0 0 0 2 0 0 0 20 0 15 0 73784745 15371935744 22319 33554432000 4194304 4196468 140728835849248 139759348434928 139760011078274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4523] ppid=4507 vsize=15011656 memory=139863143986816 CPUtime=0.07 cores=1,3,5,7
/proc/4510/task/4523/stat : 4523 (java) R 4507 4510 29212 0 -1 4202560 436 0 0 0 7 0 0 0 20 0 15 0 73784745 15371935744 22319 33554432000 4194304 4196468 140728835849248 139759347380176 139759990506987 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4524] ppid=4507 vsize=15011656 memory=139862992892831 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4524/stat : 4524 (java) S 4507 4510 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73784745 15371935744 22319 33554432000 4194304 4196468 140728835849248 139757497608672 139760011077333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4525] ppid=4507 vsize=15011656 memory=139863217771554 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4525/stat : 4525 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784745 15371935744 22319 33554432000 4194304 4196468 140728835849248 139759346330544 139760011078274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89276 KiB
[startup+0.704759 s]
/proc/loadavg: 2.00 2.06 2.11 3/221 4525
/proc/meminfo: memFree=23396120/32770624 swapFree=67076656/67108860
[pid=4510] ppid=4507 vsize=15020052 memory=129312 CPUtime=1.03 cores=1,3,5,7
/proc/4510/stat : 4510 (java) S 4507 4510 29212 0 -1 1077944320 18042 0 0 0 97 6 0 0 20 0 15 0 73784738 15380533248 32328 33554432000 4194304 4196468 140728835849248 140728835831792 139760011067127 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
/proc/4510/statm: 3755013 32328 3165 1 0 3716398 0
[pid=4510/tid=4512] ppid=4507 vsize=15020052 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/4510/task/4512/stat : 4512 (java) S 4507 4510 29212 0 -1 1077944384 15080 0 0 0 63 5 0 0 20 0 15 0 73784739 15380533248 32328 33554432000 4194304 4196468 140728835849248 139759982902736 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4513] ppid=4507 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4513/stat : 4513 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15380533248 32328 33554432000 4194304 4196468 140728835849248 139760015309200 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4514] ppid=4507 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4514/stat : 4514 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15380533248 32328 33554432000 4194304 4196468 140728835849248 139759472105744 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4515] ppid=4507 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4515/stat : 4515 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15380533248 32328 33554432000 4194304 4196468 140728835849248 139759471053456 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4516] ppid=4507 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4516/stat : 4516 (java) S 4507 4510 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73784740 15380533248 32328 33554432000 4194304 4196468 140728835849248 139759470000656 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4517] ppid=4507 vsize=15020052 memory=159263360034052 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4517/stat : 4517 (java) S 4507 4510 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73784742 15380533248 32328 33554432000 4194304 4196468 140728835849248 139759350540912 139760011078274 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4518] ppid=4507 vsize=15020052 memory=431844 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4518/stat : 4518 (java) S 4507 4510 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73784742 15380533248 32328 33554432000 4194304 4196468 140728835849248 139758604903712 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4519] ppid=4507 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4519/stat : 4519 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784742 15380533248 32328 33554432000 4194304 4196468 140728835849248 139758370023024 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4520] ppid=4507 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4520/stat : 4520 (java) S 4507 4510 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73784745 15380533248 32328 33554432000 4194304 4196468 140728835849248 139757995514448 139760011085723 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4521] ppid=4507 vsize=15020052 memory=7809523229951467576 CPUtime=0.09 cores=1,3,5,7
/proc/4510/task/4521/stat : 4521 (java) S 4507 4510 29212 0 -1 1077944384 743 0 0 0 9 0 0 0 20 0 15 0 73784745 15380533248 32328 33554432000 4194304 4196468 140728835849248 139759349487728 139760011078274 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4522] ppid=4507 vsize=15020052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4510/task/4522/stat : 4522 (java) R 4507 4510 29212 0 -1 4202560 227 0 0 0 7 0 0 0 20 0 15 0 73784745 15380533248 32328 33554432000 4194304 4196468 140728835849248 139759348434928 139759992592263 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4523] ppid=4507 vsize=15020052 memory=-3472574513799858009 CPUtime=0.17 cores=1,3,5,7
/proc/4510/task/4523/stat : 4523 (java) S 4507 4510 29212 0 -1 1077944384 655 0 0 0 17 0 0 0 20 0 15 0 73784745 15380533248 32328 33554432000 4194304 4196468 140728835849248 139759347382640 139760011078274 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4524] ppid=4507 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4524/stat : 4524 (java) S 4507 4510 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73784745 15380533248 32328 33554432000 4194304 4196468 140728835849248 139757497608672 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4525] ppid=4507 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4525/stat : 4525 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784745 15380533248 32328 33554432000 4194304 4196468 140728835849248 139759346330544 139760011078274 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129312 KiB
[startup+1.50175 s]
/proc/loadavg: 2.00 2.06 2.11 6/221 4525
/proc/meminfo: memFree=23369676/32770624 swapFree=67076656/67108860
[pid=4510] ppid=4507 vsize=15024148 memory=177800 CPUtime=2.98 cores=1,3,5,7
/proc/4510/stat : 4510 (java) S 4507 4510 29212 0 -1 1077944320 21924 0 0 0 289 9 0 0 20 0 15 0 73784738 15384727552 44450 33554432000 4194304 4196468 140728835849248 140728835831792 139760011067127 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
/proc/4510/statm: 3756037 44450 3201 1 0 3717422 0
[pid=4510/tid=4512] ppid=4507 vsize=15024148 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/4510/task/4512/stat : 4512 (java) R 4507 4510 29212 0 -1 4202560 16194 0 0 0 140 6 0 0 20 0 15 0 73784739 15384727552 44450 33554432000 4194304 4196468 140728835849248 139759982904048 139759990766801 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4513] ppid=4507 vsize=15024148 memory=7739278121389742189 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4513/stat : 4513 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15384727552 44450 33554432000 4194304 4196468 140728835849248 139760015309200 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4514] ppid=4507 vsize=15024148 memory=7084549656015825254 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4514/stat : 4514 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15384727552 44450 33554432000 4194304 4196468 140728835849248 139759472105744 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4515] ppid=4507 vsize=15024148 memory=7084554071325829476 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4515/stat : 4515 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15384727552 44450 33554432000 4194304 4196468 140728835849248 139759471053456 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4516] ppid=4507 vsize=15024148 memory=7084556274593590883 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4516/stat : 4516 (java) S 4507 4510 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73784740 15384727552 44450 33554432000 4194304 4196468 140728835849248 139759470000656 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4517] ppid=4507 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4517/stat : 4517 (java) S 4507 4510 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73784742 15384727552 44450 33554432000 4194304 4196468 140728835849248 139759350540912 139760011078274 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4518] ppid=4507 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4518/stat : 4518 (java) S 4507 4510 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73784742 15384727552 44450 33554432000 4194304 4196468 140728835849248 139758604903712 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4519] ppid=4507 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4519/stat : 4519 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784742 15384727552 44450 33554432000 4194304 4196468 140728835849248 139758370023024 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4520] ppid=4507 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4520/stat : 4520 (java) S 4507 4510 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73784745 15384727552 44450 33554432000 4194304 4196468 140728835849248 139757995514448 139760011085723 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4521] ppid=4507 vsize=15024148 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/4510/task/4521/stat : 4521 (java) S 4507 4510 29212 0 -1 1077944384 1057 0 0 0 40 0 0 0 20 0 15 0 73784745 15384727552 44450 33554432000 4194304 4196468 140728835849248 139759349487728 139760011078274 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4522] ppid=4507 vsize=15024148 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/4510/task/4522/stat : 4522 (java) S 4507 4510 29212 0 -1 1077944384 486 0 0 0 37 0 0 0 20 0 15 0 73784745 15384727552 44450 33554432000 4194304 4196468 140728835849248 139759348434928 139760011078274 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4523] ppid=4507 vsize=15024148 memory=0 CPUtime=0.7 cores=1,3,5,7
/proc/4510/task/4523/stat : 4523 (java) R 4507 4510 29212 0 -1 4202560 2846 0 0 0 69 1 0 0 20 0 15 0 73784745 15384727552 44450 33554432000 4194304 4196468 140728835849248 139759347382640 139760011088474 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4524] ppid=4507 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4524/stat : 4524 (java) S 4507 4510 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73784745 15384727552 44450 33554432000 4194304 4196468 140728835849248 139757497608672 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4525] ppid=4507 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4525/stat : 4525 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784745 15384727552 44450 33554432000 4194304 4196468 140728835849248 139759346330544 139760011078274 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 177800 KiB
[startup+2.12041 s]
# the end of solver process 4510 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.73571 s, system=0.121731 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60672 s]
/proc/loadavg: 2.00 2.06 2.11 6/221 4525
/proc/meminfo: memFree=23369676/32770624 swapFree=67076656/67108860
[pid=4510] ppid=4507 vsize=15024148 memory=190932 CPUtime=3.26 cores=1,3,5,7
/proc/4510/stat : 4510 (java) S 4507 4510 29212 0 -1 1077944320 22155 0 0 0 317 9 0 0 20 0 15 0 73784738 15384727552 47733 33554432000 4194304 4196468 140728835849248 140728835831792 139760011067127 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
/proc/4510/statm: 3756037 47733 3201 1 0 3717422 0
[pid=4510/tid=4512] ppid=4507 vsize=15024148 memory=279725985671672 CPUtime=1.57 cores=1,3,5,7
/proc/4510/task/4512/stat : 4512 (java) R 4507 4510 29212 0 -1 4202560 16203 0 0 0 151 6 0 0 20 0 15 0 73784739 15384727552 47733 33554432000 4194304 4196468 140728835849248 139759982902672 139759522766901 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4513] ppid=4507 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4513/stat : 4513 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15384727552 47733 33554432000 4194304 4196468 140728835849248 139760015309200 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4514] ppid=4507 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4514/stat : 4514 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15384727552 47733 33554432000 4194304 4196468 140728835849248 139759472105744 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4515] ppid=4507 vsize=15024148 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4515/stat : 4515 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784740 15384727552 47733 33554432000 4194304 4196468 140728835849248 139759471053456 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4516] ppid=4507 vsize=15024148 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4516/stat : 4516 (java) S 4507 4510 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73784740 15384727552 47733 33554432000 4194304 4196468 140728835849248 139759470000656 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4517] ppid=4507 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4517/stat : 4517 (java) S 4507 4510 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73784742 15384727552 47733 33554432000 4194304 4196468 140728835849248 139759350540912 139760011078274 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4518] ppid=4507 vsize=15024148 memory=7169337534283176416 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4518/stat : 4518 (java) S 4507 4510 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73784742 15384727552 47733 33554432000 4194304 4196468 140728835849248 139758604903712 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4519] ppid=4507 vsize=15024148 memory=-3040564339240289162 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4519/stat : 4519 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784742 15384727552 47733 33554432000 4194304 4196468 140728835849248 139758370023024 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4520] ppid=4507 vsize=15024148 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4520/stat : 4520 (java) S 4507 4510 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73784745 15384727552 47733 33554432000 4194304 4196468 140728835849248 139757995514448 139760011085723 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4521] ppid=4507 vsize=15024148 memory=6944656592455360604 CPUtime=0.48 cores=1,3,5,7
/proc/4510/task/4521/stat : 4521 (java) R 4507 4510 29212 0 -1 4202560 1099 0 0 0 48 0 0 0 20 0 15 0 73784745 15384727552 47733 33554432000 4194304 4196468 140728835849248 139759349474160 139760011088474 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4522] ppid=4507 vsize=15024148 memory=7976406965554101975 CPUtime=0.45 cores=1,3,5,7
/proc/4510/task/4522/stat : 4522 (java) R 4507 4510 29212 0 -1 4202560 629 0 0 0 45 0 0 0 20 0 15 0 73784745 15384727552 47733 33554432000 4194304 4196468 140728835849248 139759348426768 139759995464272 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4523] ppid=4507 vsize=15024148 memory=279725985617664 CPUtime=0.73 cores=1,3,5,7
/proc/4510/task/4523/stat : 4523 (java) R 4507 4510 29212 0 -1 4202560 2883 0 0 0 72 1 0 0 20 0 15 0 73784745 15384727552 47733 33554432000 4194304 4196468 140728835849248 139759347382640 139759990500192 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4524] ppid=4507 vsize=15024148 memory=-7316765472996040608 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4524/stat : 4524 (java) S 4507 4510 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73784745 15384727552 47733 33554432000 4194304 4196468 140728835849248 139757497608672 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4525] ppid=4507 vsize=15024148 memory=-3689385055762157364 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4525/stat : 4525 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73784745 15384727552 47733 33554432000 4194304 4196468 140728835849248 139759346330544 139760011078274 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
Current children cumulated CPU time: 3.26 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 190932 KiB
[startup+2.00076 s]*
/proc/loadavg: 2.00 2.06 2.11 5/222 4526
/proc/meminfo: memFree=23252356/32770624 swapFree=67076656/67108860
[pid=4510] ppid=4507 vsize=15223104 memory=260324 CPUtime=4.56 cores=1,3,5,7
/proc/4510/stat : 4510 (java) S 4507 4510 29212 0 -1 1077944320 23731 0 0 0 446 10 0 0 20 0 17 0 73784738 15588458496 65081 33554432000 4194304 4196468 140728835849248 140728835831792 139760011067127 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
/proc/4510/statm: 3805776 65081 3222 1 0 3766632 0
[pid=4526] ppid=4510 vsize=2456 memory=4 CPUtime=0 cores=1,3,5,7
/proc/4526/stat : 4526 (minisat_release) R 4510 4510 29212 0 -1 1077936128 36 0 0 0 0 0 0 0 20 0 1 0 73784938 2514944 1 33554432000 4194304 4308513 140724831068656 140724831065944 139934653220551 0 4 0 0 0 0 0 17 5 0 0 0 0 0 6409496 6410680 33169408 140724831072945 140724831073454 140724831073454 140724831076293 0
/proc/4526/statm: 614 1 0 28 0 550 0
[pid=4510/tid=4512] ppid=4507 vsize=15354180 memory=604165431873306742 CPUtime=1.96 cores=1,3,5,7
/proc/4510/task/4512/stat : 4512 (java) R 4507 4510 29212 0 -1 4202560 16705 0 0 0 189 7 0 0 20 0 17 0 73784739 15722680320 65593 33554432000 4194304 4196468 140728835849248 139759982906896 139760003806977 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4513] ppid=4507 vsize=15419716 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4513/stat : 4513 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 73784740 15789789184 65593 33554432000 4194304 4196468 140728835849248 139760015309200 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4514] ppid=4507 vsize=15419716 memory=4049078245889698466 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4514/stat : 4514 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 73784740 15789789184 65593 33554432000 4194304 4196468 140728835849248 139759472105744 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4515] ppid=4507 vsize=15419716 memory=3472328279047811119 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4515/stat : 4515 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 73784740 15789789184 65593 33554432000 4194304 4196468 140728835849248 139759471053456 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4516] ppid=4507 vsize=15419716 memory=3472328279047811119 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4516/stat : 4516 (java) S 4507 4510 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 73784740 15789789184 65593 33554432000 4194304 4196468 140728835849248 139759470000656 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4517] ppid=4507 vsize=15419716 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4517/stat : 4517 (java) S 4507 4510 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 18 0 73784742 15789789184 65593 33554432000 4194304 4196468 140728835849248 139759350540912 139760011078274 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4518] ppid=4507 vsize=15419716 memory=-2897801490638248215 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4518/stat : 4518 (java) S 4507 4510 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 18 0 73784742 15789789184 65593 33554432000 4194304 4196468 140728835849248 139758604903712 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4519] ppid=4507 vsize=15419716 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4519/stat : 4519 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 73784742 15789789184 65593 33554432000 4194304 4196468 140728835849248 139758370023024 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4520] ppid=4507 vsize=15419716 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4520/stat : 4520 (java) S 4507 4510 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 73784745 15789789184 65593 33554432000 4194304 4196468 140728835849248 139757995514448 139760011085723 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4521] ppid=4507 vsize=15419716 memory=3472328296160571439 CPUtime=0.85 cores=1,3,5,7
/proc/4510/task/4521/stat : 4521 (java) R 4507 4510 29212 0 -1 4202560 1289 0 0 0 85 0 0 0 20 0 18 0 73784745 15789789184 65593 33554432000 4194304 4196468 140728835849248 139759349470560 139759994561238 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4522] ppid=4507 vsize=15419716 memory=3472468159371666096 CPUtime=0.81 cores=1,3,5,7
/proc/4510/task/4522/stat : 4522 (java) R 4507 4510 29212 0 -1 4202560 1185 0 0 0 81 0 0 0 20 0 18 0 73784745 15789789184 65593 33554432000 4194304 4196468 140728835849248 139759348416496 139759990402435 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4523] ppid=4507 vsize=15419716 memory=3472328296227680299 CPUtime=0.9 cores=1,3,5,7
/proc/4510/task/4523/stat : 4523 (java) R 4507 4510 29212 0 -1 1077944384 3197 0 0 0 89 1 0 0 20 0 18 0 73784745 15789789184 65593 33554432000 4194304 4196468 140728835849248 139759347382640 139760011078274 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4524] ppid=4507 vsize=15419716 memory=139863143986816 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4524/stat : 4524 (java) S 4507 4510 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 73784745 15789789184 65593 33554432000 4194304 4196468 140728835849248 139757497608672 139760011077333 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4525] ppid=4507 vsize=15419716 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4525/stat : 4525 (java) S 4507 4510 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 73784745 15789789184 65593 33554432000 4194304 4196468 140728835849248 139759346330544 139760011078274 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4527] ppid=4507 vsize=15419716 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4527/stat : 4527 (java) S 4507 4510 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 18 0 73784938 15789789184 65593 33554432000 4194304 4196468 140728835849248 139759444321728 139760011091737 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4528] ppid=4507 vsize=15419716 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4528/stat : 4528 (java) R 4507 4510 29212 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 73784938 15789789184 66105 33554432000 4194304 4196468 140728835849248 139757229174240 139760011089149 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
[pid=4510/tid=4529] ppid=4507 vsize=15419716 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4529/stat : 4529 (java) R 4507 4510 29212 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 18 0 73784939 15789789184 66105 33554432000 4194304 4196468 140728835849248 139759982906896 139760003806977 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7970816 140728835855348 140728835855625 140728835855625 140728835858383 0
Current children cumulated CPU time: 4.56 s
Current children cumulated vsize: 15225560 KiB
Current children cumulated memory: 260328 KiB
[startup+2.11065 s]*
/proc/loadavg: 2.00 2.06 2.11 3/208 4531
/proc/meminfo: memFree=23421272/32770624 swapFree=67076656/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 2.12044
CPU time (s): 4.85744
CPU user time (s): 4.73571
CPU system time (s): 0.121731
CPU usage (%): 229.077
Max. virtual memory (cumulated for all children) (KiB): 15225560
Max. memory (cumulated for all children) (KiB): 260328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.73571
system time used= 0.121731
maximum resident set size= 274788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25148
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3788
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 4510
# total CPU time (s): 4.85744
# total CPU user time (s): 4.73571
# total CPU system time (s): 0.121731
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037819 second user time and 0.068284 second system time
The end