0.55/0.51
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 14:11:35 CEST 2018
0.67/0.54 c PID: 7724
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.65/1.07 c (0,0) Parsing End
1.65/1.08 c (0,0) CSP: 0 int (0 aux), 840 bool (0 aux), 82 ctr, max domain size 2
1.65/1.08 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.65/1.08 c (0,0) Constraint Name Generate Begin
1.65/1.09 c (0,0) Ctr:HOME/instance-4293820-1532347894.xml,IntVar:Num:WeightedSum
1.65/1.09 c (0,0) Constraint Name Generate End
1.65/1.09 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.65/1.09 c (0,0) CSP to CSPinCNF Begin
2.12/1.23 c (0,0) translated 9 (10%) constraints
2.12/1.24 c (0,0) translated 17 (20%) constraints
2.12/1.26 c (0,0) translated 25 (30%) constraints
2.12/1.28 c (0,0) translated 33 (40%) constraints
2.12/1.30 c (0,0) translated 41 (50%) constraints
2.47/1.32 c (0,0) translated 50 (60%) constraints
2.47/1.33 c (0,0) translated 58 (70%) constraints
2.47/1.35 c (0,0) translated 66 (80%) constraints
2.47/1.35 c (0,0) translated 74 (90%) constraints
2.47/1.36 c (0,0) translated 82 (100%) constraints
2.78/1.42 c (0,0) STATISTICS1:HOME/instance-4293820-1532347894.xml,IntVar:Num:WeightedSum,840,82,1048576,2,1,21,1048576:40;524288:42,2:1680,1:82,21:40;20:42,
2.78/1.42 c (0,0) ===========================================
2.78/1.42 c (0,0) Order
2.78/1.42 c (0,0) ===========================================
2.78/1.47 c (0,0) translated 9 (10%) constraints
2.78/1.49 c (0,0) translated 17 (20%) constraints
3.13/1.52 c (0,0) translated 25 (30%) constraints
3.13/1.54 c (1,1) translated 33 (40%) constraints
3.13/1.56 c (1,1) translated 41 (50%) constraints
3.13/1.58 c (1,1) translated 50 (60%) constraints
3.13/1.59 c (1,1) translated 58 (70%) constraints
3.49/1.61 c (1,1) translated 66 (80%) constraints
3.49/1.62 c (1,1) translated 74 (90%) constraints
3.49/1.64 c (1,1) translated 82 (100%) constraints
3.49/1.64 c (1,1) CSP to CSPinCNF End
3.49/1.64 c (1,1) CSP: 246 int (246 aux), 840 bool (0 aux), 328 ctr, max domain size 8
3.49/1.64 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.49/1.64 c (1,1) CSPinCNF Propagation Begin
3.49/1.66 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.49/1.66 c (1,1) CSPinCNF Propagation End
3.49/1.66 c (1,1) CSP: 246 int (246 aux), 840 bool (0 aux), 328 ctr, max domain size 8
3.49/1.66 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.49/1.66 c (1,1) Simplify CSPinCNF Begin
3.49/1.67 c (1,1) Simplify CSPinCNF End
3.49/1.67 c (1,1) CSP: 246 int (246 aux), 840 bool (0 aux), 328 ctr, max domain size 8
3.49/1.67 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.49/1.67 c (1,1) Calculate Precise Domain Begin
3.82/1.72 c (1,1) 0 values are removed by re-calculation
3.82/1.72 c (1,1) Calculate Precise Domain End
3.82/1.73 c (1,1) CSP: 246 int (246 aux), 840 bool (0 aux), 328 ctr, max domain size 8
3.82/1.73 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.82/1.73 c (1,1) CSPinCNF to SatSolver Begin
4.19/1.83 c (1,1) 33 (10 %) CSP clauses are encoded (1800 SAT variables, 3258 SAT clauses)
4.19/1.87 c (1,1) 66 (20 %) CSP clauses are encoded (1800 SAT variables, 5803 SAT clauses)
4.50/1.90 c (1,1) 99 (30 %) CSP clauses are encoded (1800 SAT variables, 8474 SAT clauses)
4.50/1.93 c (1,1) 132 (40 %) CSP clauses are encoded (1800 SAT variables, 11145 SAT clauses)
4.50/1.95 c (1,1) 164 (50 %) CSP clauses are encoded (1800 SAT variables, 13689 SAT clauses)
4.50/1.97 c (1,1) 197 (60 %) CSP clauses are encoded (1800 SAT variables, 14679 SAT clauses)
4.50/1.98 c (1,1) 230 (70 %) CSP clauses are encoded (1800 SAT variables, 15378 SAT clauses)
4.50/1.99 c (1,1) 263 (80 %) CSP clauses are encoded (1800 SAT variables, 16102 SAT clauses)
4.50/2.00 c (1,1) 296 (90 %) CSP clauses are encoded (1800 SAT variables, 16826 SAT clauses)
4.50/2.01 c (1,1) 328 (100 %) CSP clauses are encoded (1800 SAT variables, 17522 SAT clauses)
4.50/2.01 c (1,1) CSPinCNF to SatSolver End
4.50/2.01 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.84/2.02 c (1,1) STATISTICS2:HOME/instance-4293820-1532347894.xml,IntVar:Num:WeightedSum,1086,328,128,8,1,8,128:204;64:42;56:42;4:40,8:168;7:84;2:1920,1:328,8:204;7:42;3:82,
4.84/2.02 c (1,1) SatSolver.solve Begin
4.84/2.02 c (1,1) 1800 bool, 17550 clause
4.84/2.02 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-4293820-1532347894.xml-scop-7724.cnf HOME/instance-4293820-1532347894.xml-scop-7724.cnf.out
2510.33/2506.37 c (2505,0) c This is COMiniSatPS.
2510.33/2506.37 c (2505,0) c WARNING: for repeatability, setting FPU to use double precision
2510.33/2506.37 c (2505,0) c ============================[ Problem Statistics ]=============================
2510.33/2506.37 c (2505,0) c | |
2510.33/2506.37 c (2505,0) c | Number of variables: 1800 |
2510.33/2506.37 c (2505,0) c | Number of clauses: 17550 |
2510.33/2506.37 c (2505,0) c | Parse time: 0.01 s |
2510.33/2506.37 c (2505,0) c | Eliminated clauses: 0.01 Mb |
2510.33/2506.37 c (2505,0) c Reduced to 918 vars, 3480 cls (grow=0)
2510.33/2506.37 c (2505,0) c No iterative elimination performed. (vars=918, c/v ratio=3.8)
2510.33/2506.37 c (2505,0) c | Simplification time: 0.01 s |
2510.33/2506.37 c (2505,0) c | |
2510.33/2506.37 c (2505,0) c ============================[ Search Statistics ]==============================
2510.33/2506.37 c (2505,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2510.33/2506.37 c (2505,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2510.33/2506.37 c (2505,0) c ===============================================================================
2510.33/2506.37 c (2505,0) c Switched to VSIDS.
2520.03/2516.01 c (2515,1) SatSolver is killed by some reasons.
2520.03/2516.01 c (2515,1) 0,0,1,1,1,1,1,TO,TO,STOP-AFTER(DIMACS)
2520.03/2516.01 s UNKNOWN
2520.03/2516.01 c END-Prog: Mon Jul 23 14:53:31 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 (3175 MiB free)
memory of node 1: 16384 MiB (11581 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293820-1532347894/watcher-4293820-1532347894 -o /tmp/evaluation-result-4293820-1532347894/solver-4293820-1532347894 -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-4293820-1532347894.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=7724, runsolver pid=7721
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 2.32 2.09 2.07 3/220 7739
/proc/meminfo: memFree=15050400/32770624 swapFree=67108860/67108860
[pid=7724] ppid=7721 vsize=15011656 memory=73680 CPUtime=0.11 cores=1,3,5,7
/proc/7724/stat : 7724 (java) S 7721 7724 2271 0 -1 1077944320 7160 0 0 0 10 1 0 0 20 0 15 0 52352620 15371935744 18420 33554432000 4194304 4196468 140726969649136 140726969631680 139924126703351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
/proc/7724/statm: 3752914 18420 2759 1 0 3715374 0
[pid=7724/tid=7726] ppid=7721 vsize=15011656 memory=4426656497906324371 CPUtime=0.09 cores=1,3,5,7
/proc/7724/task/7726/stat : 7726 (java) R 7721 7724 2271 0 -1 4202560 5233 0 0 0 8 1 0 0 20 0 15 0 52352620 15371935744 18486 33554432000 4194304 4196468 140726969649136 139924098515336 139924126725277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7727] ppid=7721 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7727/stat : 7727 (java) S 7721 7724 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52352622 15371935744 18486 33554432000 4194304 4196468 140726969649136 139924130945680 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7728] ppid=7721 vsize=15011656 memory=139892109706880 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7728/stat : 7728 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352622 15371935744 18486 33554432000 4194304 4196468 140726969649136 139923929721360 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7729] ppid=7721 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7729/stat : 7729 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352622 15371935744 18486 33554432000 4194304 4196468 140726969649136 139923928668560 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7730] ppid=7721 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7730/stat : 7730 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352622 15371935744 18486 33554432000 4194304 4196468 140726969649136 139923585751312 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7731] ppid=7721 vsize=15011656 memory=139892109706880 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7731/stat : 7731 (java) S 7721 7724 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52352623 15371935744 18486 33554432000 4194304 4196468 140726969649136 139923097783152 139924126714498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7732] ppid=7721 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7732/stat : 7732 (java) S 7721 7724 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52352624 15371935744 18486 33554432000 4194304 4196468 140726969649136 139922719630880 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7733] ppid=7721 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7733/stat : 7733 (java) S 7721 7724 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52352624 15371935744 18486 33554432000 4194304 4196468 140726969649136 139922585408880 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7734] ppid=7721 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7734/stat : 7734 (java) S 7721 7724 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52352626 15371935744 18486 33554432000 4194304 4196468 140726969649136 139922210904400 139924126721947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7735] ppid=7721 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7735/stat : 7735 (java) R 7721 7724 2271 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 52352626 15371935744 18486 33554432000 4194304 4196468 140726969649136 139923096729968 139924126714498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7736] ppid=7721 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7736/stat : 7736 (java) R 7721 7724 2271 0 -1 4202560 287 0 0 0 0 0 0 0 20 0 15 0 52352626 15371935744 18486 33554432000 4194304 4196468 140726969649136 139923095677168 139924106576112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7737] ppid=7721 vsize=15011656 memory=139892109706880 CPUtime=0.01 cores=1,3,5,7
/proc/7724/task/7737/stat : 7737 (java) R 7721 7724 2271 0 -1 4202560 274 0 0 0 1 0 0 0 20 0 15 0 52352626 15371935744 18486 33554432000 4194304 4196468 140726969649136 139923094624368 139924126724698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7738] ppid=7721 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7738/stat : 7738 (java) S 7721 7724 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52352626 15371935744 18486 33554432000 4194304 4196468 140726969649136 139921712998624 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7739] ppid=7721 vsize=15011656 memory=139892109706880 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7739/stat : 7739 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352627 15371935744 18486 33554432000 4194304 4196468 140726969649136 139923093572784 139924126714498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73680 KiB
[startup+0.210457 s]*
/proc/loadavg: 2.32 2.09 2.07 4/220 7739
/proc/meminfo: memFree=15037440/32770624 swapFree=67108860/67108860
[pid=7724] ppid=7721 vsize=15011656 memory=84924 CPUtime=0.26 cores=1,3,5,7
/proc/7724/stat : 7724 (java) S 7721 7724 2271 0 -1 1077944320 10131 0 0 0 24 2 0 0 20 0 15 0 52352620 15371935744 21231 33554432000 4194304 4196468 140726969649136 140726969631680 139924126703351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
/proc/7724/statm: 3752914 21231 2934 1 0 3715374 0
[pid=7724/tid=7726] ppid=7721 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/7724/task/7726/stat : 7726 (java) R 7721 7724 2271 0 -1 4202560 8001 0 0 0 18 1 0 0 20 0 15 0 52352620 15371935744 21231 33554432000 4194304 4196468 140726969649136 139924098531664 139924126725277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7727] ppid=7721 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7727/stat : 7727 (java) S 7721 7724 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52352622 15371935744 21231 33554432000 4194304 4196468 140726969649136 139924130945680 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7728] ppid=7721 vsize=15011656 memory=3833600583471040160 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7728/stat : 7728 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352622 15371935744 21231 33554432000 4194304 4196468 140726969649136 139923929721360 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7729] ppid=7721 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7729/stat : 7729 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352622 15371935744 21231 33554432000 4194304 4196468 140726969649136 139923928668560 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7730] ppid=7721 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7730/stat : 7730 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352622 15371935744 21231 33554432000 4194304 4196468 140726969649136 139923585751312 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7731] ppid=7721 vsize=15011656 memory=139892109706880 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7731/stat : 7731 (java) S 7721 7724 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52352623 15371935744 21231 33554432000 4194304 4196468 140726969649136 139923097783152 139924126714498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7732] ppid=7721 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7732/stat : 7732 (java) S 7721 7724 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52352624 15371935744 21231 33554432000 4194304 4196468 140726969649136 139922719630880 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7733] ppid=7721 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7733/stat : 7733 (java) S 7721 7724 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52352624 15371935744 21231 33554432000 4194304 4196468 140726969649136 139922585408880 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7734] ppid=7721 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7734/stat : 7734 (java) S 7721 7724 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52352626 15371935744 21231 33554432000 4194304 4196468 140726969649136 139922210904400 139924126721947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7735] ppid=7721 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/7724/task/7735/stat : 7735 (java) S 7721 7724 2271 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 15 0 52352626 15371935744 21231 33554432000 4194304 4196468 140726969649136 139923096729968 139924126714498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7736] ppid=7721 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7736/stat : 7736 (java) R 7721 7724 2271 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 52352626 15371935744 21231 33554432000 4194304 4196468 140726969649136 139923095677168 139924126714498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7737] ppid=7721 vsize=15011656 memory=139892109706880 CPUtime=0.03 cores=1,3,5,7
/proc/7724/task/7737/stat : 7737 (java) S 7721 7724 2271 0 -1 1077944384 288 0 0 0 3 0 0 0 20 0 15 0 52352626 15371935744 21231 33554432000 4194304 4196468 140726969649136 139923094624368 139924126714498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7738] ppid=7721 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7738/stat : 7738 (java) S 7721 7724 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52352626 15371935744 21231 33554432000 4194304 4196468 140726969649136 139921712998624 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7739] ppid=7721 vsize=15011656 memory=139892109706880 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7739/stat : 7739 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352627 15371935744 21231 33554432000 4194304 4196468 140726969649136 139923093572784 139924126714498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84924 KiB
[startup+0.31055 s]*
/proc/loadavg: 2.32 2.09 2.07 3/220 7739
/proc/meminfo: memFree=15033780/32770624 swapFree=67108860/67108860
[pid=7724] ppid=7721 vsize=15011656 memory=88132 CPUtime=0.43 cores=1,3,5,7
/proc/7724/stat : 7724 (java) S 7721 7724 2271 0 -1 1077944320 10661 0 0 0 41 2 0 0 20 0 15 0 52352620 15371935744 22033 33554432000 4194304 4196468 140726969649136 140726969631680 139924126703351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
/proc/7724/statm: 3752914 22033 2972 1 0 3715374 0
[pid=7724/tid=7726] ppid=7721 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/7724/task/7726/stat : 7726 (java) R 7721 7724 2271 0 -1 4202560 8378 0 0 0 28 2 0 0 20 0 15 0 52352620 15371935744 22033 33554432000 4194304 4196468 140726969649136 139924098532656 139924126717233 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7727] ppid=7721 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7727/stat : 7727 (java) S 7721 7724 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52352622 15371935744 22033 33554432000 4194304 4196468 140726969649136 139924130945680 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7728] ppid=7721 vsize=15011656 memory=4121691067513045024 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7728/stat : 7728 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352622 15371935744 22033 33554432000 4194304 4196468 140726969649136 139923929721360 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7729] ppid=7721 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7729/stat : 7729 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352622 15371935744 22033 33554432000 4194304 4196468 140726969649136 139923928668560 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7730] ppid=7721 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7730/stat : 7730 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352622 15371935744 22033 33554432000 4194304 4196468 140726969649136 139923585751312 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7731] ppid=7721 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7731/stat : 7731 (java) S 7721 7724 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52352623 15371935744 22033 33554432000 4194304 4196468 140726969649136 139923097783152 139924126714498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7732] ppid=7721 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7732/stat : 7732 (java) S 7721 7724 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52352624 15371935744 22033 33554432000 4194304 4196468 140726969649136 139922719630880 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7733] ppid=7721 vsize=15011656 memory=139892109706880 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7733/stat : 7733 (java) S 7721 7724 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52352624 15371935744 22033 33554432000 4194304 4196468 140726969649136 139922585408880 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7734] ppid=7721 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7734/stat : 7734 (java) S 7721 7724 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52352626 15371935744 22033 33554432000 4194304 4196468 140726969649136 139922210904400 139924126721947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7735] ppid=7721 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7724/task/7735/stat : 7735 (java) R 7721 7724 2271 0 -1 4202560 164 0 0 0 2 0 0 0 20 0 15 0 52352626 15371935744 22033 33554432000 4194304 4196468 140726969649136 139923096729968 139924104031360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7736] ppid=7721 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/7724/task/7736/stat : 7736 (java) R 7721 7724 2271 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 15 0 52352626 15371935744 22033 33554432000 4194304 4196468 140726969649136 139923095677168 139924126714498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7737] ppid=7721 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7724/task/7737/stat : 7737 (java) S 7721 7724 2271 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 15 0 52352626 15371935744 22033 33554432000 4194304 4196468 140726969649136 139923094624368 139924126714498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7738] ppid=7721 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7738/stat : 7738 (java) S 7721 7724 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52352626 15371935744 22033 33554432000 4194304 4196468 140726969649136 139921712998624 139924126713557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7739] ppid=7721 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7739/stat : 7739 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352627 15371935744 22033 33554432000 4194304 4196468 140726969649136 139923093572784 139924126714498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88132 KiB
[startup+0.700765 s]
/proc/loadavg: 2.32 2.09 2.07 3/220 7739
/proc/meminfo: memFree=15009108/32770624 swapFree=67108860/67108860
[pid=7724] ppid=7721 vsize=15020052 memory=127964 CPUtime=1.03 cores=1,3,5,7
/proc/7724/stat : 7724 (java) S 7721 7724 2271 0 -1 1077944320 17766 0 0 0 98 5 0 0 20 0 15 0 52352620 15380533248 31991 33554432000 4194304 4196468 140726969649136 140726969631680 139924126703351 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
/proc/7724/statm: 3755013 31991 3175 1 0 3716398 0
[pid=7724/tid=7726] ppid=7721 vsize=15020052 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/7724/task/7726/stat : 7726 (java) R 7721 7724 2271 0 -1 4202560 15012 0 0 0 63 4 0 0 20 0 15 0 52352620 15380533248 31991 33554432000 4194304 4196468 140726969649136 139924098539216 139924110746981 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7727] ppid=7721 vsize=15020052 memory=796 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7727/stat : 7727 (java) S 7721 7724 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52352622 15380533248 31991 33554432000 4194304 4196468 140726969649136 139924130945680 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7728] ppid=7721 vsize=15020052 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7728/stat : 7728 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352622 15380533248 31991 33554432000 4194304 4196468 140726969649136 139923929721360 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7729] ppid=7721 vsize=15020052 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7729/stat : 7729 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352622 15380533248 31991 33554432000 4194304 4196468 140726969649136 139923928668560 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7730] ppid=7721 vsize=15020052 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7730/stat : 7730 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352622 15380533248 31991 33554432000 4194304 4196468 140726969649136 139923585751312 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7731] ppid=7721 vsize=15020052 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7731/stat : 7731 (java) S 7721 7724 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52352623 15380533248 31991 33554432000 4194304 4196468 140726969649136 139923097783152 139924126714498 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7732] ppid=7721 vsize=15020052 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7732/stat : 7732 (java) S 7721 7724 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52352624 15380533248 31991 33554432000 4194304 4196468 140726969649136 139922719630880 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7733] ppid=7721 vsize=15020052 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7733/stat : 7733 (java) S 7721 7724 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52352624 15380533248 31991 33554432000 4194304 4196468 140726969649136 139922585408880 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7734] ppid=7721 vsize=15020052 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7734/stat : 7734 (java) S 7721 7724 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52352626 15380533248 31991 33554432000 4194304 4196468 140726969649136 139922210904400 139924126721947 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7735] ppid=7721 vsize=15020052 memory=8380 CPUtime=0.08 cores=1,3,5,7
/proc/7724/task/7735/stat : 7735 (java) S 7721 7724 2271 0 -1 1077944384 236 0 0 0 8 0 0 0 20 0 15 0 52352626 15380533248 31991 33554432000 4194304 4196468 140726969649136 139923096729968 139924126714498 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7736] ppid=7721 vsize=15020052 memory=4616 CPUtime=0.08 cores=1,3,5,7
/proc/7724/task/7736/stat : 7736 (java) S 7721 7724 2271 0 -1 1077944384 705 0 0 0 8 0 0 0 20 0 15 0 52352626 15380533248 31991 33554432000 4194304 4196468 140726969649136 139923095677168 139924126714498 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7737] ppid=7721 vsize=15020052 memory=1424 CPUtime=0.17 cores=1,3,5,7
/proc/7724/task/7737/stat : 7737 (java) S 7721 7724 2271 0 -1 1077944384 454 0 0 0 17 0 0 0 20 0 15 0 52352626 15380533248 31991 33554432000 4194304 4196468 140726969649136 139923094624368 139924126714498 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7738] ppid=7721 vsize=15020052 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7738/stat : 7738 (java) S 7721 7724 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52352626 15380533248 31991 33554432000 4194304 4196468 140726969649136 139921712998624 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7739] ppid=7721 vsize=15020052 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7739/stat : 7739 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352627 15380533248 31991 33554432000 4194304 4196468 140726969649136 139923093572784 139924126714498 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 127964 KiB
[startup+1.50066 s]
/proc/loadavg: 2.32 2.09 2.07 3/220 7739
/proc/meminfo: memFree=14982432/32770624 swapFree=67108860/67108860
[pid=7724] ppid=7721 vsize=15022100 memory=184544 CPUtime=3.13 cores=1,3,5,7
/proc/7724/stat : 7724 (java) S 7721 7724 2271 0 -1 1077944320 21139 0 0 0 305 8 0 0 20 0 15 0 52352620 15382630400 46136 33554432000 4194304 4196468 140726969649136 140726969631680 139924126703351 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
/proc/7724/statm: 3755525 46136 3201 1 0 3716910 0
[pid=7724/tid=7726] ppid=7721 vsize=15022100 memory=13570392392808141 CPUtime=1.47 cores=1,3,5,7
/proc/7724/task/7726/stat : 7726 (java) R 7721 7724 2271 0 -1 4202560 15938 0 0 0 142 5 0 0 20 0 15 0 52352620 15382630400 46136 33554432000 4194304 4196468 140726969649136 139924098533664 139924108568406 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7727] ppid=7721 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7727/stat : 7727 (java) S 7721 7724 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52352622 15382630400 46136 33554432000 4194304 4196468 140726969649136 139924130945680 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7728] ppid=7721 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7728/stat : 7728 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352622 15382630400 46136 33554432000 4194304 4196468 140726969649136 139923929721360 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7729] ppid=7721 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7729/stat : 7729 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352622 15382630400 46136 33554432000 4194304 4196468 140726969649136 139923928668560 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7730] ppid=7721 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7730/stat : 7730 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52352622 15382630400 46136 33554432000 4194304 4196468 140726969649136 139923585751312 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7731] ppid=7721 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7731/stat : 7731 (java) S 7721 7724 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52352623 15382630400 46136 33554432000 4194304 4196468 140726969649136 139923097783152 139924126714498 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
################
# More data... #
################
/proc/meminfo: memFree=12680696/32770624 swapFree=67108860/67108860
[pid=7724] ppid=7721 vsize=15681864 memory=297764 CPUtime=5.86 cores=1,3,5,7
/proc/7724/stat : 7724 (java) S 7721 7724 2271 0 -1 1077944320 24073 0 0 0 539 47 0 0 20 0 19 0 52352620 16058228736 74441 33554432000 4194304 4196468 140726969649136 140726969631680 139924126703351 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
/proc/7724/statm: 3920466 74441 3228 1 0 3881322 0
[pid=7740] ppid=7724 vsize=135660 memory=107340 CPUtime=2440.42 cores=1,3,5,7
/proc/7740/stat : 7740 (minisat_release) R 7724 7724 2271 0 -1 4202496 72659 0 0 0 244034 8 0 0 20 0 1 0 52352824 138915840 26835 33554432000 4194304 4308513 140737375665104 140737375662008 4276112 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 35078144 140737375670961 140737375671470 140737375671470 140737375674309 0
/proc/7740/statm: 33915 26835 354 28 0 30155 0
[pid=7724/tid=7726] ppid=7721 vsize=15681864 memory=297764 CPUtime=2.06 cores=1,3,5,7
/proc/7724/task/7726/stat : 7726 (java) S 7721 7724 2271 0 -1 1077944384 16775 0 0 0 199 7 0 0 20 0 19 0 52352620 16058228736 74441 33554432000 4194304 4196468 140726969649136 139924098542592 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7727] ppid=7721 vsize=15681864 memory=297764 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7727/stat : 7727 (java) S 7721 7724 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52352622 16058228736 74441 33554432000 4194304 4196468 140726969649136 139924130945680 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7728] ppid=7721 vsize=15681864 memory=297764 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7728/stat : 7728 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52352622 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923929721360 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7729] ppid=7721 vsize=15681864 memory=297764 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7729/stat : 7729 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52352622 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923928668560 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7730] ppid=7721 vsize=15681864 memory=297764 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7730/stat : 7730 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52352622 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923585751312 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7731] ppid=7721 vsize=15681864 memory=297764 CPUtime=0.02 cores=1,3,5,7
/proc/7724/task/7731/stat : 7731 (java) S 7721 7724 2271 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 52352623 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923097783152 139924126714498 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7732] ppid=7721 vsize=15681864 memory=297764 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7732/stat : 7732 (java) S 7721 7724 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52352624 16058228736 74441 33554432000 4194304 4196468 140726969649136 139922719630880 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7733] ppid=7721 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7733/stat : 7733 (java) S 7721 7724 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52352624 16058228736 74441 33554432000 4194304 4196468 140726969649136 139922585408880 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7734] ppid=7721 vsize=15681864 memory=7378423846860904041 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7734/stat : 7734 (java) S 7721 7724 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52352626 16058228736 74441 33554432000 4194304 4196468 140726969649136 139922210904400 139924126721947 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7735] ppid=7721 vsize=15681864 memory=297764 CPUtime=1.07 cores=1,3,5,7
/proc/7724/task/7735/stat : 7735 (java) S 7721 7724 2271 0 -1 1077944384 1331 0 0 0 106 1 0 0 20 0 19 0 52352626 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923096729968 139924126714498 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7736] ppid=7721 vsize=15681864 memory=107340 CPUtime=1.11 cores=1,3,5,7
/proc/7724/task/7736/stat : 7736 (java) S 7721 7724 2271 0 -1 1077944384 1790 0 0 0 110 1 0 0 20 0 19 0 52352626 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923095677168 139924126714498 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7737] ppid=7721 vsize=15681864 memory=297764 CPUtime=0.85 cores=1,3,5,7
/proc/7724/task/7737/stat : 7737 (java) S 7721 7724 2271 0 -1 1077944384 2602 0 0 0 84 1 0 0 20 0 19 0 52352626 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923094624368 139924126714498 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7738] ppid=7721 vsize=15681864 memory=107340 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7738/stat : 7738 (java) S 7721 7724 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52352626 16058228736 74441 33554432000 4194304 4196468 140726969649136 139921712998624 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7739] ppid=7721 vsize=15681864 memory=16972 CPUtime=0.71 cores=1,3,5,7
/proc/7724/task/7739/stat : 7739 (java) S 7721 7724 2271 0 -1 1077944384 163 0 0 0 32 39 0 0 20 0 19 0 52352627 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923093572784 139924126714498 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7741] ppid=7721 vsize=15681864 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7741/stat : 7741 (java) S 7721 7724 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52352824 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923189692096 139924126727961 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7743] ppid=7721 vsize=15681864 memory=297764 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7743/stat : 7743 (java) S 7721 7724 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52352825 16058228736 74441 33554432000 4194304 4196468 140726969649136 139921176112816 139924126725277 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7744] ppid=7721 vsize=15681864 memory=297764 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7744/stat : 7744 (java) S 7721 7724 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 52352825 16058228736 74441 33554432000 4194304 4196468 140726969649136 139921041890864 139924126725277 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7745] ppid=7721 vsize=15681864 memory=16972 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7745/stat : 7745 (java) S 7721 7724 2271 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52352827 16058228736 74441 33554432000 4194304 4196468 140726969649136 139921310342304 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
Current children cumulated CPU time: 2446.28 s
Current children cumulated vsize: 15817524 KiB
Current children cumulated memory: 405104 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/226 8470
/proc/meminfo: memFree=12673188/32770624 swapFree=67108860/67108860
[pid=7724] ppid=7721 vsize=15681864 memory=297764 CPUtime=5.89 cores=1,3,5,7
/proc/7724/stat : 7724 (java) S 7721 7724 2271 0 -1 1077944320 24077 0 0 0 540 49 0 0 20 0 19 0 52352620 16058228736 74441 33554432000 4194304 4196468 140726969649136 140726969631680 139924126703351 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
/proc/7724/statm: 3920466 74441 3228 1 0 3881322 0
[pid=7740] ppid=7724 vsize=135660 memory=112972 CPUtime=2500.44 cores=1,3,5,7
/proc/7740/stat : 7740 (minisat_release) R 7724 7724 2271 0 -1 4202496 75806 0 0 0 250035 9 0 0 20 0 1 0 52352824 138915840 28243 33554432000 4194304 4308513 140737375665104 140737375662008 4276392 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 35078144 140737375670961 140737375671470 140737375671470 140737375674309 0
/proc/7740/statm: 33915 28243 354 28 0 30155 0
[pid=7724/tid=7726] ppid=7721 vsize=15681864 memory=297764 CPUtime=2.06 cores=1,3,5,7
/proc/7724/task/7726/stat : 7726 (java) S 7721 7724 2271 0 -1 1077944384 16775 0 0 0 199 7 0 0 20 0 19 0 52352620 16058228736 74441 33554432000 4194304 4196468 140726969649136 139924098542592 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7727] ppid=7721 vsize=15681864 memory=112972 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7727/stat : 7727 (java) S 7721 7724 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52352622 16058228736 74441 33554432000 4194304 4196468 140726969649136 139924130945680 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7728] ppid=7721 vsize=15681864 memory=297764 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7728/stat : 7728 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52352622 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923929721360 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7729] ppid=7721 vsize=15681864 memory=112972 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7729/stat : 7729 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52352622 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923928668560 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7730] ppid=7721 vsize=15681864 memory=297764 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7730/stat : 7730 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52352622 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923585751312 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7731] ppid=7721 vsize=15681864 memory=297764 CPUtime=0.02 cores=1,3,5,7
/proc/7724/task/7731/stat : 7731 (java) S 7721 7724 2271 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 52352623 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923097783152 139924126714498 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7732] ppid=7721 vsize=15681864 memory=112972 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7732/stat : 7732 (java) S 7721 7724 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52352624 16058228736 74441 33554432000 4194304 4196468 140726969649136 139922719630880 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7733] ppid=7721 vsize=15681864 memory=297764 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7733/stat : 7733 (java) S 7721 7724 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52352624 16058228736 74441 33554432000 4194304 4196468 140726969649136 139922585408880 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7734] ppid=7721 vsize=15681864 memory=112972 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7734/stat : 7734 (java) S 7721 7724 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52352626 16058228736 74441 33554432000 4194304 4196468 140726969649136 139922210904400 139924126721947 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7735] ppid=7721 vsize=15681864 memory=4136 CPUtime=1.07 cores=1,3,5,7
/proc/7724/task/7735/stat : 7735 (java) S 7721 7724 2271 0 -1 1077944384 1331 0 0 0 106 1 0 0 20 0 19 0 52352626 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923096729968 139924126714498 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7736] ppid=7721 vsize=15681864 memory=16972 CPUtime=1.11 cores=1,3,5,7
/proc/7724/task/7736/stat : 7736 (java) S 7721 7724 2271 0 -1 1077944384 1790 0 0 0 110 1 0 0 20 0 19 0 52352626 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923095677168 139924126714498 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7737] ppid=7721 vsize=15681864 memory=2344 CPUtime=0.85 cores=1,3,5,7
/proc/7724/task/7737/stat : 7737 (java) S 7721 7724 2271 0 -1 1077944384 2602 0 0 0 84 1 0 0 20 0 19 0 52352626 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923094624368 139924126714498 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7738] ppid=7721 vsize=15681864 memory=928 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7738/stat : 7738 (java) S 7721 7724 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52352626 16058228736 74441 33554432000 4194304 4196468 140726969649136 139921712998624 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7739] ppid=7721 vsize=15681864 memory=297764 CPUtime=0.73 cores=1,3,5,7
/proc/7724/task/7739/stat : 7739 (java) S 7721 7724 2271 0 -1 1077944384 167 0 0 0 33 40 0 0 20 0 19 0 52352627 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923093572784 139924126714498 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7741] ppid=7721 vsize=15681864 memory=297764 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7741/stat : 7741 (java) S 7721 7724 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52352824 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923189692096 139924126727961 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7743] ppid=7721 vsize=15681864 memory=112972 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7743/stat : 7743 (java) S 7721 7724 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 52352825 16058228736 74441 33554432000 4194304 4196468 140726969649136 139921176112816 139924126725277 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7744] ppid=7721 vsize=15681864 memory=297764 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7744/stat : 7744 (java) S 7721 7724 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 52352825 16058228736 74441 33554432000 4194304 4196468 140726969649136 139921041890864 139924126725277 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7745] ppid=7721 vsize=15681864 memory=112972 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7745/stat : 7745 (java) S 7721 7724 2271 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52352827 16058228736 74441 33554432000 4194304 4196468 140726969649136 139921310342304 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
Current children cumulated CPU time: 2506.33 s
Current children cumulated vsize: 15817524 KiB
Current children cumulated memory: 410736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516 s]*
/proc/loadavg: 2.00 2.03 2.06 3/226 8470
/proc/meminfo: memFree=12673576/32770624 swapFree=67108860/67108860
[pid=7724] ppid=7721 vsize=15681864 memory=297764 CPUtime=5.89 cores=1,3,5,7
/proc/7724/stat : 7724 (java) S 7721 7724 2271 0 -1 1077944320 24093 0 0 0 540 49 0 0 20 0 19 0 52352620 16058228736 74441 33554432000 4194304 4196468 140726969649136 140726969631680 139924126703351 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
/proc/7724/statm: 3920466 74441 3228 1 0 3881322 0
[pid=7740] ppid=7724 vsize=135660 memory=112972 CPUtime=2514.14 cores=1,3,5,7
/proc/7740/stat : 7740 (minisat_release) R 7724 7724 2271 0 -1 4202496 76333 0 0 0 251405 9 0 0 20 0 1 0 52352824 138915840 28243 33554432000 4194304 4308513 140737375665104 140737375662600 4262652 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 35078144 140737375670961 140737375671470 140737375671470 140737375674309 0
/proc/7740/statm: 33915 28243 354 28 0 30155 0
[pid=7724/tid=7726] ppid=7721 vsize=15681864 memory=-5059952977386882957 CPUtime=2.06 cores=1,3,5,7
/proc/7724/task/7726/stat : 7726 (java) S 7721 7724 2271 0 -1 1077944384 16775 0 0 0 199 7 0 0 20 0 19 0 52352620 16058228736 74441 33554432000 4194304 4196468 140726969649136 139924098542592 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7727] ppid=7721 vsize=15681864 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7727/stat : 7727 (java) S 7721 7724 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52352622 16058228736 74441 33554432000 4194304 4196468 140726969649136 139924130945680 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7728] ppid=7721 vsize=15681864 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7728/stat : 7728 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52352622 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923929721360 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7729] ppid=7721 vsize=15681864 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7729/stat : 7729 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52352622 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923928668560 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7730] ppid=7721 vsize=15681864 memory=297764 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7730/stat : 7730 (java) S 7721 7724 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52352622 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923585751312 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7731] ppid=7721 vsize=15681864 memory=112972 CPUtime=0.03 cores=1,3,5,7
/proc/7724/task/7731/stat : 7731 (java) S 7721 7724 2271 0 -1 1077944384 5 0 0 0 2 1 0 0 20 0 19 0 52352623 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923097783152 139924126714498 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7732] ppid=7721 vsize=15681864 memory=8380 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7732/stat : 7732 (java) S 7721 7724 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52352624 16058228736 74441 33554432000 4194304 4196468 140726969649136 139922719630880 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7733] ppid=7721 vsize=15681864 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7733/stat : 7733 (java) S 7721 7724 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52352624 16058228736 74441 33554432000 4194304 4196468 140726969649136 139922585408880 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7734] ppid=7721 vsize=15681864 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7734/stat : 7734 (java) S 7721 7724 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52352626 16058228736 74441 33554432000 4194304 4196468 140726969649136 139922210904400 139924126721947 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7735] ppid=7721 vsize=15681864 memory=15868 CPUtime=1.07 cores=1,3,5,7
/proc/7724/task/7735/stat : 7735 (java) S 7721 7724 2271 0 -1 1077944384 1331 0 0 0 106 1 0 0 20 0 19 0 52352626 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923096729968 139924126714498 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7736] ppid=7721 vsize=15681864 memory=297764 CPUtime=1.11 cores=1,3,5,7
/proc/7724/task/7736/stat : 7736 (java) S 7721 7724 2271 0 -1 1077944384 1791 0 0 0 110 1 0 0 20 0 19 0 52352626 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923095677168 139924126714498 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7737] ppid=7721 vsize=15681864 memory=112972 CPUtime=0.85 cores=1,3,5,7
/proc/7724/task/7737/stat : 7737 (java) S 7721 7724 2271 0 -1 1077944384 2613 0 0 0 84 1 0 0 20 0 19 0 52352626 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923094624368 139924126714498 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7738] ppid=7721 vsize=15681864 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7738/stat : 7738 (java) S 7721 7724 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52352626 16058228736 74441 33554432000 4194304 4196468 140726969649136 139921712998624 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7739] ppid=7721 vsize=15681864 memory=4052 CPUtime=0.73 cores=1,3,5,7
/proc/7724/task/7739/stat : 7739 (java) S 7721 7724 2271 0 -1 1077944384 168 0 0 0 33 40 0 0 20 0 19 0 52352627 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923093572784 139924126714498 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7741] ppid=7721 vsize=15681864 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7741/stat : 7741 (java) S 7721 7724 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52352824 16058228736 74441 33554432000 4194304 4196468 140726969649136 139923189692096 139924126727961 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7743] ppid=7721 vsize=15681864 memory=10308 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7743/stat : 7743 (java) S 7721 7724 2271 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 52352825 16058228736 74441 33554432000 4194304 4196468 140726969649136 139921176112816 139924126725277 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7744] ppid=7721 vsize=15681864 memory=644 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7744/stat : 7744 (java) S 7721 7724 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 52352825 16058228736 74441 33554432000 4194304 4196468 140726969649136 139921041890864 139924126725277 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
[pid=7724/tid=7745] ppid=7721 vsize=15681864 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/7724/task/7745/stat : 7745 (java) S 7721 7724 2271 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 52352827 16058228736 74441 33554432000 4194304 4196468 140726969649136 139921310342304 139924126713557 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9400320 140726969656307 140726969656585 140726969656585 140726969659343 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 15817524 KiB
Current children cumulated memory: 410736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2516.02 s]
# the end of solver process 7724 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.47 s, system=0.596885 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2516.02
CPU time (s): 2520.07
CPU user time (s): 2519.47
CPU system time (s): 0.596885
CPU usage (%): 100.161
Max. virtual memory (cumulated for all children) (KiB): 15817524
Max. memory (cumulated for all children) (KiB): 410736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.47
system time used= 0.596885
maximum resident set size= 298688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58058
involuntary context switches= 775
# summary of solver processes directly reported to runsolver:
# pid: 7724
# total CPU time (s): 2520.07
# total CPU user time (s): 2519.47
# total CPU system time (s): 0.596885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8154 second user time and 24.2551 second system time
The end