0.67/0.52
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Mon Jul 23 09:15:34 CEST 2018
0.67/0.55 c PID: 2519
0.67/0.55 c IP: 172.20.3.105
0.67/0.55 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.21/0.86 c (0,0) Parsing End
1.21/0.87 c (0,0) CSP: 81 int (0 aux), 0 bool (0 aux), 48 ctr, max domain size 9
1.21/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.87 c (0,0) Constraint Name Generate Begin
1.21/0.87 c (0,0) Ctr:HOME/instance-4292808-1532330133.xml,AllDifferent:IntVar
1.21/0.87 c (0,0) Constraint Name Generate End
1.21/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.88 c (0,0) CSP to CSPinCNF Begin
1.57/1.08 c (0,0) translated 5 (10%) constraints
1.86/1.14 c (0,0) translated 10 (20%) constraints
1.86/1.18 c (0,0) translated 15 (30%) constraints
2.11/1.22 c (0,0) translated 20 (40%) constraints
2.11/1.24 c (0,0) translated 24 (50%) constraints
2.11/1.25 c (0,0) translated 29 (60%) constraints
2.11/1.26 c (0,0) translated 34 (70%) constraints
2.11/1.26 c (0,0) translated 39 (80%) constraints
2.11/1.28 c (0,0) translated 44 (90%) constraints
2.11/1.28 c (0,0) translated 48 (100%) constraints
2.41/1.35 c (0,0) STATISTICS1:HOME/instance-4292808-1532330133.xml,AllDifferent:IntVar,81,1152,9,9,9,2,9:1056,9:2752,9:40;8:8;7:8;6:8;5:8;4:8;3:8;2:1064,2:1056;1:640,
2.41/1.35 c (0,0) ===========================================
2.41/1.35 c (0,0) Order
2.41/1.35 c (0,0) ===========================================
2.41/1.38 c (0,0) translated 116 (10%) constraints
2.41/1.40 c (0,0) translated 231 (20%) constraints
2.72/1.41 c (0,0) translated 346 (30%) constraints
2.72/1.42 c (0,0) translated 461 (40%) constraints
2.72/1.43 c (0,0) translated 576 (50%) constraints
2.72/1.44 c (0,0) translated 692 (60%) constraints
2.72/1.45 c (0,0) translated 807 (70%) constraints
2.72/1.46 c (0,0) translated 922 (80%) constraints
2.72/1.46 c (0,0) translated 1037 (90%) constraints
2.72/1.47 c (0,0) translated 1152 (100%) constraints
2.72/1.48 c (0,0) CSP to CSPinCNF End
2.72/1.48 c (0,0) CSP: 81 int (0 aux), 0 bool (0 aux), 1152 ctr, max domain size 9
2.72/1.48 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.72/1.48 c (0,0) CSPinCNF Propagation Begin
2.99/1.50 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.99/1.50 c (0,0) CSPinCNF Propagation End
2.99/1.50 c (0,0) CSP: 81 int (0 aux), 0 bool (0 aux), 1152 ctr, max domain size 9
2.99/1.50 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.99/1.50 c (0,0) Simplify CSPinCNF Begin
3.28/1.65 c (1,1) Simplify CSPinCNF End
3.28/1.66 c (1,1) CSP: 81 int (0 aux), 2112 bool (2112 aux), 3264 ctr, max domain size 9
3.28/1.66 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.28/1.66 c (1,1) Calculate Precise Domain Begin
3.28/1.66 c (1,1) 0 values are removed by re-calculation
3.28/1.66 c (1,1) Calculate Precise Domain End
3.28/1.66 c (1,1) CSP: 81 int (0 aux), 2112 bool (2112 aux), 3264 ctr, max domain size 9
3.28/1.66 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.28/1.66 c (1,1) CSPinCNF to SatSolver Begin
3.61/1.77 c (1,1) 327 (10 %) CSP clauses are encoded (2760 SAT variables, 2605 SAT clauses)
3.98/1.80 c (1,1) 653 (20 %) CSP clauses are encoded (2760 SAT variables, 4643 SAT clauses)
3.98/1.82 c (1,1) 980 (30 %) CSP clauses are encoded (2760 SAT variables, 6682 SAT clauses)
3.98/1.85 c (1,1) 1306 (40 %) CSP clauses are encoded (2760 SAT variables, 8712 SAT clauses)
3.98/1.86 c (1,1) 1632 (50 %) CSP clauses are encoded (2760 SAT variables, 10742 SAT clauses)
3.98/1.87 c (1,1) 1959 (60 %) CSP clauses are encoded (2760 SAT variables, 12781 SAT clauses)
3.98/1.89 c (1,1) 2285 (70 %) CSP clauses are encoded (2760 SAT variables, 14803 SAT clauses)
4.27/1.90 c (1,1) 2612 (80 %) CSP clauses are encoded (2760 SAT variables, 16770 SAT clauses)
4.27/1.92 c (1,1) 2938 (90 %) CSP clauses are encoded (2760 SAT variables, 18736 SAT clauses)
4.27/1.93 c (1,1) 3264 (100 %) CSP clauses are encoded (2760 SAT variables, 20726 SAT clauses)
4.27/1.93 c (1,1) CSPinCNF to SatSolver End
4.27/1.93 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.27/1.97 c (1,1) STATISTICS2:HOME/instance-4292808-1532330133.xml,AllDifferent:IntVar,2193,3264,9,9,9,2,9:2112,9:4864;2:4224,9:40;8:8;7:8;6:8;5:8;4:8;3:8;2:3176,2:2112;1:4864,
4.27/1.97 c (1,1) SatSolver.solve Begin
4.27/1.97 c (1,1) 2760 bool, 20727 clause
4.27/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-4292808-1532330133.xml-scop-2519.cnf HOME/instance-4292808-1532330133.xml-scop-2519.cnf.out
2520.01/2516.01 c (2515,1) SatSolver is killed by some reasons.
2520.01/2516.01 c (2515,1) 0,0,0,0,1,1,1,TO,TO,STOP-AFTER(DIMACS)
2520.01/2516.01 s UNKNOWN
2520.01/2516.01 c END-Prog: Mon Jul 23 09:57:29 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 (3439 MiB free)
memory of node 1: 16384 MiB (11589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292808-1532330133/watcher-4292808-1532330133 -o /tmp/evaluation-result-4292808-1532330133/solver-4292808-1532330133 -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-4292808-1532330133.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2519, runsolver pid=2516
[startup+0.100138 s]*
/proc/loadavg: 1.42 1.70 1.92 3/222 2534
/proc/meminfo: memFree=15328804/32770624 swapFree=67108860/67108860
[pid=2519] ppid=2516 vsize=15011656 memory=73808 CPUtime=0.11 cores=1,3,5,7
/proc/2519/stat : 2519 (java) S 2516 2519 2271 0 -1 1077944320 7174 0 0 0 10 1 0 0 20 0 15 0 50576484 15371935744 18452 33554432000 4194304 4196468 140722850824800 140722850807344 139787399253751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
/proc/2519/statm: 3752914 18452 2781 1 0 3715374 0
[pid=2519/tid=2521] ppid=2516 vsize=15011656 memory=4427782397813166995 CPUtime=0.09 cores=1,3,5,7
/proc/2519/task/2521/stat : 2521 (java) R 2516 2519 2271 0 -1 4202560 5509 0 0 0 8 1 0 0 20 0 15 0 50576485 15371935744 18716 33554432000 4194304 4196468 140722850824800 139787371065736 139787379529500 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2522] ppid=2516 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2522/stat : 2522 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576486 15371935744 18716 33554432000 4194304 4196468 140722850824800 139787403495696 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2523] ppid=2516 vsize=15011656 memory=140348947678848 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2523/stat : 2523 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576486 15371935744 18716 33554432000 4194304 4196468 140722850824800 139787228137872 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2524] ppid=2516 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2524/stat : 2524 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576486 15371935744 18782 33554432000 4194304 4196468 140722850824800 139786859129360 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2525] ppid=2516 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2525/stat : 2525 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576486 15371935744 18782 33554432000 4194304 4196468 140722850824800 139786858076816 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2526] ppid=2516 vsize=15011656 memory=140348947678848 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2526/stat : 2526 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576488 15371935744 18782 33554432000 4194304 4196468 140722850824800 139786437515760 139787399264898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2527] ppid=2516 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2527/stat : 2527 (java) S 2516 2519 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50576488 15371935744 18782 33554432000 4194304 4196468 140722850824800 139785951765920 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2528] ppid=2516 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2528/stat : 2528 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576488 15371935744 18782 33554432000 4194304 4196468 140722850824800 139785683330544 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2529] ppid=2516 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2529/stat : 2529 (java) S 2516 2519 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576491 15371935744 18782 33554432000 4194304 4196468 140722850824800 139785308822224 139787399272347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2530] ppid=2516 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2530/stat : 2530 (java) S 2516 2519 2271 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 50576491 15371935744 18782 33554432000 4194304 4196468 140722850824800 139786436462576 139787399264898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2531] ppid=2516 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2531/stat : 2531 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576491 15371935744 18782 33554432000 4194304 4196468 140722850824800 139786435410032 139787399264898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2532] ppid=2516 vsize=15011656 memory=140348947678848 CPUtime=0.01 cores=1,3,5,7
/proc/2519/task/2532/stat : 2532 (java) S 2516 2519 2271 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 50576491 15371935744 18782 33554432000 4194304 4196468 140722850824800 139786434357488 139787399264898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2533] ppid=2516 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2533/stat : 2533 (java) S 2516 2519 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576491 15371935744 18782 33554432000 4194304 4196468 140722850824800 139784810916448 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2534] ppid=2516 vsize=15011656 memory=140348947678848 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2534/stat : 2534 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576491 15371935744 18848 33554432000 4194304 4196468 140722850824800 139786433305392 139787399264898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73808 KiB
[startup+0.210623 s]*
/proc/loadavg: 1.42 1.70 1.92 3/222 2534
/proc/meminfo: memFree=15314728/32770624 swapFree=67108860/67108860
[pid=2519] ppid=2516 vsize=15011656 memory=86344 CPUtime=0.25 cores=1,3,5,7
/proc/2519/stat : 2519 (java) S 2516 2519 2271 0 -1 1077944320 10525 0 0 0 23 2 0 0 20 0 15 0 50576484 15371935744 21586 33554432000 4194304 4196468 140722850824800 140722850807344 139787399253751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
/proc/2519/statm: 3752914 21586 2875 1 0 3715374 0
[pid=2519/tid=2521] ppid=2516 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/2519/task/2521/stat : 2521 (java) R 2516 2519 2271 0 -1 4202560 8420 0 0 0 18 2 0 0 20 0 15 0 50576485 15371935744 21652 33554432000 4194304 4196468 140722850824800 139787371079664 139787391490878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2522] ppid=2516 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2522/stat : 2522 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576486 15371935744 21652 33554432000 4194304 4196468 140722850824800 139787403495696 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2523] ppid=2516 vsize=15011656 memory=140348947955443 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2523/stat : 2523 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576486 15371935744 21652 33554432000 4194304 4196468 140722850824800 139787228137872 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2524] ppid=2516 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2524/stat : 2524 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576486 15371935744 21652 33554432000 4194304 4196468 140722850824800 139786859129360 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2525] ppid=2516 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2525/stat : 2525 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576486 15371935744 21652 33554432000 4194304 4196468 140722850824800 139786858076816 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2526] ppid=2516 vsize=15011656 memory=140348947678848 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2526/stat : 2526 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576488 15371935744 21652 33554432000 4194304 4196468 140722850824800 139786437515760 139787399264898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2527] ppid=2516 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2527/stat : 2527 (java) S 2516 2519 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50576488 15371935744 21652 33554432000 4194304 4196468 140722850824800 139785951765920 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2528] ppid=2516 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2528/stat : 2528 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576488 15371935744 21652 33554432000 4194304 4196468 140722850824800 139785683330544 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2529] ppid=2516 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2529/stat : 2529 (java) S 2516 2519 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576491 15371935744 21652 33554432000 4194304 4196468 140722850824800 139785308822224 139787399272347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2530] ppid=2516 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2530/stat : 2530 (java) R 2516 2519 2271 0 -1 4202560 469 0 0 0 0 0 0 0 20 0 15 0 50576491 15371935744 21652 33554432000 4194304 4196468 140722850824800 139786436462576 139787383149763 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2531] ppid=2516 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2531/stat : 2531 (java) S 2516 2519 2271 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 50576491 15371935744 21652 33554432000 4194304 4196468 140722850824800 139786435410032 139787399264898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2532] ppid=2516 vsize=15011656 memory=140348947678848 CPUtime=0.03 cores=1,3,5,7
/proc/2519/task/2532/stat : 2532 (java) R 2516 2519 2271 0 -1 1077944384 292 0 0 0 3 0 0 0 20 0 15 0 50576491 15371935744 21652 33554432000 4194304 4196468 140722850824800 139786434357488 139787399264898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2533] ppid=2516 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2533/stat : 2533 (java) S 2516 2519 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576491 15371935744 21652 33554432000 4194304 4196468 140722850824800 139784810916448 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2534] ppid=2516 vsize=15011656 memory=140348947678848 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2534/stat : 2534 (java) R 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576491 15371935744 21652 33554432000 4194304 4196468 140722850824800 139786433305392 139787399264898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86344 KiB
[startup+0.310644 s]*
/proc/loadavg: 1.42 1.70 1.92 3/222 2534
/proc/meminfo: memFree=15305608/32770624 swapFree=67108860/67108860
[pid=2519] ppid=2516 vsize=15011656 memory=89812 CPUtime=0.43 cores=1,3,5,7
/proc/2519/stat : 2519 (java) S 2516 2519 2271 0 -1 1077944320 11059 0 0 0 40 3 0 0 20 0 15 0 50576484 15371935744 22453 33554432000 4194304 4196468 140722850824800 140722850807344 139787399253751 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
/proc/2519/statm: 3752914 22453 2971 1 0 3715374 0
[pid=2519/tid=2521] ppid=2516 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/2519/task/2521/stat : 2521 (java) R 2516 2519 2271 0 -1 4202560 8793 0 0 0 27 2 0 0 20 0 15 0 50576485 15371935744 22453 33554432000 4194304 4196468 140722850824800 139787371057904 139787379529554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2522] ppid=2516 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2522/stat : 2522 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576486 15371935744 22453 33554432000 4194304 4196468 140722850824800 139787403495696 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2523] ppid=2516 vsize=15011656 memory=294951 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2523/stat : 2523 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576486 15371935744 22453 33554432000 4194304 4196468 140722850824800 139787228137872 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2524] ppid=2516 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2524/stat : 2524 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576486 15371935744 22453 33554432000 4194304 4196468 140722850824800 139786859129360 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2525] ppid=2516 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2525/stat : 2525 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576486 15371935744 22453 33554432000 4194304 4196468 140722850824800 139786858076816 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2526] ppid=2516 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2526/stat : 2526 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576488 15371935744 22453 33554432000 4194304 4196468 140722850824800 139786437515760 139787399264898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2527] ppid=2516 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2527/stat : 2527 (java) S 2516 2519 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50576488 15371935744 22453 33554432000 4194304 4196468 140722850824800 139785951765920 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2528] ppid=2516 vsize=15011656 memory=140348947678848 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2528/stat : 2528 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576488 15371935744 22453 33554432000 4194304 4196468 140722850824800 139785683330544 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2529] ppid=2516 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2529/stat : 2529 (java) S 2516 2519 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576491 15371935744 22453 33554432000 4194304 4196468 140722850824800 139785308822224 139787399272347 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2530] ppid=2516 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2519/task/2530/stat : 2530 (java) S 2516 2519 2271 0 -1 1077944384 516 0 0 0 2 0 0 0 20 0 15 0 50576491 15371935744 22453 33554432000 4194304 4196468 140722850824800 139786436462576 139787399264898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2531] ppid=2516 vsize=15011656 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/2519/task/2531/stat : 2531 (java) S 2516 2519 2271 0 -1 1077944384 112 0 0 0 3 0 0 0 20 0 15 0 50576491 15371935744 22453 33554432000 4194304 4196468 140722850824800 139786435410032 139787399264898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2532] ppid=2516 vsize=15011656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2519/task/2532/stat : 2532 (java) R 2516 2519 2271 0 -1 4202560 312 0 0 0 8 0 0 0 20 0 15 0 50576491 15371935744 22453 33554432000 4194304 4196468 140722850824800 139786434357488 139787399275098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2533] ppid=2516 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2533/stat : 2533 (java) S 2516 2519 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576491 15371935744 22453 33554432000 4194304 4196468 140722850824800 139784810916448 139787399263957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2534] ppid=2516 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2534/stat : 2534 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576491 15371935744 22453 33554432000 4194304 4196468 140722850824800 139786433305392 139787399264898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89812 KiB
[startup+0.700762 s]
/proc/loadavg: 1.42 1.70 1.92 3/222 2534
/proc/meminfo: memFree=15281424/32770624 swapFree=67108860/67108860
[pid=2519] ppid=2516 vsize=15020052 memory=129616 CPUtime=1.01 cores=1,3,5,7
/proc/2519/stat : 2519 (java) S 2516 2519 2271 0 -1 1077944320 18180 0 0 0 96 5 0 0 20 0 15 0 50576484 15380533248 32404 33554432000 4194304 4196468 140722850824800 140722850807344 139787399253751 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
/proc/2519/statm: 3755013 32404 3159 1 0 3716398 0
[pid=2519/tid=2521] ppid=2516 vsize=15020052 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/2519/task/2521/stat : 2521 (java) R 2516 2519 2271 0 -1 4202560 15542 0 0 0 63 4 0 0 20 0 15 0 50576485 15380533248 32404 33554432000 4194304 4196468 140722850824800 139787371088272 139787383334238 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2522] ppid=2516 vsize=15020052 memory=796 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2522/stat : 2522 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576486 15380533248 32404 33554432000 4194304 4196468 140722850824800 139787403495696 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2523] ppid=2516 vsize=15020052 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2523/stat : 2523 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576486 15380533248 32404 33554432000 4194304 4196468 140722850824800 139787228137872 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2524] ppid=2516 vsize=15020052 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2524/stat : 2524 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576486 15380533248 32404 33554432000 4194304 4196468 140722850824800 139786859129360 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2525] ppid=2516 vsize=15020052 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2525/stat : 2525 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576486 15380533248 32404 33554432000 4194304 4196468 140722850824800 139786858076816 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2526] ppid=2516 vsize=15020052 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2526/stat : 2526 (java) S 2516 2519 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50576488 15380533248 32404 33554432000 4194304 4196468 140722850824800 139786437515760 139787399264898 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2527] ppid=2516 vsize=15020052 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2527/stat : 2527 (java) S 2516 2519 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50576488 15380533248 32404 33554432000 4194304 4196468 140722850824800 139785951765920 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2528] ppid=2516 vsize=15020052 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2528/stat : 2528 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576488 15380533248 32404 33554432000 4194304 4196468 140722850824800 139785683330544 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2529] ppid=2516 vsize=15020052 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2529/stat : 2529 (java) S 2516 2519 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576491 15380533248 32404 33554432000 4194304 4196468 140722850824800 139785308822224 139787399272347 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2530] ppid=2516 vsize=15020052 memory=8380 CPUtime=0.09 cores=1,3,5,7
/proc/2519/task/2530/stat : 2530 (java) R 2516 2519 2271 0 -1 4202560 740 0 0 0 9 0 0 0 20 0 15 0 50576491 15380533248 32404 33554432000 4194304 4196468 140722850824800 139786436451840 139787384365920 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2531] ppid=2516 vsize=15020052 memory=4616 CPUtime=0.07 cores=1,3,5,7
/proc/2519/task/2531/stat : 2531 (java) S 2516 2519 2271 0 -1 1077944384 173 0 0 0 7 0 0 0 20 0 15 0 50576491 15380533248 32404 33554432000 4194304 4196468 140722850824800 139786435410032 139787399264898 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2532] ppid=2516 vsize=15020052 memory=1424 CPUtime=0.16 cores=1,3,5,7
/proc/2519/task/2532/stat : 2532 (java) R 2516 2519 2271 0 -1 4202560 385 0 0 0 16 0 0 0 20 0 15 0 50576491 15380533248 32404 33554432000 4194304 4196468 140722850824800 139786434357488 139787399275098 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2533] ppid=2516 vsize=15020052 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2533/stat : 2533 (java) S 2516 2519 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50576491 15380533248 32404 33554432000 4194304 4196468 140722850824800 139784810916448 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2534] ppid=2516 vsize=15020052 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2534/stat : 2534 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576491 15380533248 32404 33554432000 4194304 4196468 140722850824800 139786433305392 139787399264898 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129616 KiB
[startup+1.50084 s]
/proc/loadavg: 1.42 1.70 1.92 4/222 2534
/proc/meminfo: memFree=15258996/32770624 swapFree=67108860/67108860
[pid=2519] ppid=2516 vsize=15022100 memory=188056 CPUtime=2.99 cores=1,3,5,7
/proc/2519/stat : 2519 (java) S 2516 2519 2271 0 -1 1077944320 21993 0 0 0 291 8 0 0 20 0 15 0 50576484 15382630400 47014 33554432000 4194304 4196468 140722850824800 140722850807344 139787399253751 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
/proc/2519/statm: 3755525 47014 3201 1 0 3716910 0
[pid=2519/tid=2521] ppid=2516 vsize=15022100 memory=13852962586175252 CPUtime=1.47 cores=1,3,5,7
/proc/2519/task/2521/stat : 2521 (java) R 2516 2519 2271 0 -1 4202560 16626 0 0 0 141 6 0 0 20 0 15 0 50576485 15382630400 47014 33554432000 4194304 4196468 140722850824800 139787371092688 139787383297381 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2522] ppid=2516 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2522/stat : 2522 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576486 15382630400 47014 33554432000 4194304 4196468 140722850824800 139787403495696 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2523] ppid=2516 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2523/stat : 2523 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576486 15382630400 47014 33554432000 4194304 4196468 140722850824800 139787228137872 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2524] ppid=2516 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2524/stat : 2524 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50576486 15382630400 47014 33554432000 4194304 4196468 140722850824800 139786859129360 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2525] ppid=2516 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2525/stat : 2525 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50576486 15382630400 47014 33554432000 4194304 4196468 140722850824800 139786858076816 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2526] ppid=2516 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2526/stat : 2526 (java) S 2516 2519 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50576488 15382630400 47014 33554432000 4194304 4196468 140722850824800 139786437515760 139787399264898 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
################
# More data... #
################
/proc/meminfo: memFree=14962772/32770624 swapFree=67108860/67108860
[pid=2519] ppid=2516 vsize=15681864 memory=305976 CPUtime=5.78 cores=1,3,5,7
/proc/2519/stat : 2519 (java) S 2516 2519 2271 0 -1 1077944320 24593 0 0 0 517 61 0 0 20 0 19 0 50576484 16058228736 76494 33554432000 4194304 4196468 140722850824800 140722850807344 139787399253751 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
/proc/2519/statm: 3920466 76494 3226 1 0 3881322 0
[pid=2535] ppid=2519 vsize=73688 memory=57024 CPUtime=2440.48 cores=1,3,5,7
/proc/2535/stat : 2535 (minisat_release) R 2519 2519 2271 0 -1 4202496 109018 0 0 0 244039 9 0 0 20 0 1 0 50576684 75456512 14256 33554432000 4194304 4308513 140729296237216 140729296234216 4276465 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 16195584 140729296245425 140729296245934 140729296245934 140729296248773 0
/proc/2535/statm: 18422 14256 353 28 0 14662 0
[pid=2519/tid=2521] ppid=2516 vsize=15681864 memory=305976 CPUtime=2 cores=1,3,5,7
/proc/2519/task/2521/stat : 2521 (java) S 2516 2519 2271 0 -1 1077944384 17296 0 0 0 192 8 0 0 20 0 19 0 50576485 16058228736 76494 33554432000 4194304 4196468 140722850824800 139787371092992 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2522] ppid=2516 vsize=15681864 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2522/stat : 2522 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 50576486 16058228736 76494 33554432000 4194304 4196468 140722850824800 139787403495696 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2523] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2523/stat : 2523 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50576486 16058228736 76494 33554432000 4194304 4196468 140722850824800 139787228137872 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2524] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2524/stat : 2524 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50576486 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786859129360 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2525] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2525/stat : 2525 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 50576486 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786858076816 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2526] ppid=2516 vsize=15681864 memory=305976 CPUtime=0.03 cores=1,3,5,7
/proc/2519/task/2526/stat : 2526 (java) S 2516 2519 2271 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 50576488 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786437515760 139787399264898 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2527] ppid=2516 vsize=15681864 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2527/stat : 2527 (java) S 2516 2519 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 50576488 16058228736 76494 33554432000 4194304 4196468 140722850824800 139785951765920 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2528] ppid=2516 vsize=15681864 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2528/stat : 2528 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50576488 16058228736 76494 33554432000 4194304 4196468 140722850824800 139785683330544 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2529] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2529/stat : 2529 (java) S 2516 2519 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139785308822224 139787399272347 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2530] ppid=2516 vsize=15681864 memory=305976 CPUtime=0.98 cores=1,3,5,7
/proc/2519/task/2530/stat : 2530 (java) S 2516 2519 2271 0 -1 1077944384 2081 0 0 0 97 1 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786436462576 139787399264898 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2531] ppid=2516 vsize=15681864 memory=305976 CPUtime=0.9 cores=1,3,5,7
/proc/2519/task/2531/stat : 2531 (java) S 2516 2519 2271 0 -1 1077944384 816 0 0 0 90 0 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786435410032 139787399264898 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2532] ppid=2516 vsize=15681864 memory=4136 CPUtime=0.86 cores=1,3,5,7
/proc/2519/task/2532/stat : 2532 (java) S 2516 2519 2271 0 -1 1077944384 2841 0 0 0 85 1 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786434357488 139787399264898 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2533] ppid=2516 vsize=15681864 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2533/stat : 2533 (java) S 2516 2519 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139784810916448 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2534] ppid=2516 vsize=15681864 memory=9924 CPUtime=0.95 cores=1,3,5,7
/proc/2519/task/2534/stat : 2534 (java) S 2516 2519 2271 0 -1 1077944384 165 0 0 0 41 54 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786433305392 139787399264898 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2536] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2536/stat : 2536 (java) S 2516 2519 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 50576684 16058228736 76494 33554432000 4194304 4196468 140722850824800 139787227084352 139787399278361 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2538] ppid=2516 vsize=15681864 memory=57024 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2538/stat : 2538 (java) S 2516 2519 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 50576684 16058228736 76494 33554432000 4194304 4196468 140722850824800 139784274034736 139787399275677 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2539] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2539/stat : 2539 (java) S 2516 2519 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 50576684 16058228736 76494 33554432000 4194304 4196468 140722850824800 139784005598384 139787399275677 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2540] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2540/stat : 2540 (java) S 2516 2519 2271 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 50576688 16058228736 76494 33554432000 4194304 4196468 140722850824800 139784542477344 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
Current children cumulated CPU time: 2446.26 s
Current children cumulated vsize: 15755552 KiB
Current children cumulated memory: 363000 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/225 2613
/proc/meminfo: memFree=14962892/32770624 swapFree=67108860/67108860
[pid=2519] ppid=2516 vsize=15681864 memory=305976 CPUtime=5.81 cores=1,3,5,7
/proc/2519/stat : 2519 (java) S 2516 2519 2271 0 -1 1077944320 24597 0 0 0 518 63 0 0 20 0 19 0 50576484 16058228736 76494 33554432000 4194304 4196468 140722850824800 140722850807344 139787399253751 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
/proc/2519/statm: 3920466 76494 3226 1 0 3881322 0
[pid=2535] ppid=2519 vsize=73688 memory=57024 CPUtime=2500.49 cores=1,3,5,7
/proc/2535/stat : 2535 (minisat_release) R 2519 2519 2271 0 -1 4202496 113075 0 0 0 250040 9 0 0 20 0 1 0 50576684 75456512 14256 33554432000 4194304 4308513 140729296237216 140729296234216 4276414 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 16195584 140729296245425 140729296245934 140729296245934 140729296248773 0
/proc/2535/statm: 18422 14256 353 28 0 14662 0
[pid=2519/tid=2521] ppid=2516 vsize=15681864 memory=305976 CPUtime=2 cores=1,3,5,7
/proc/2519/task/2521/stat : 2521 (java) S 2516 2519 2271 0 -1 1077944384 17296 0 0 0 192 8 0 0 20 0 19 0 50576485 16058228736 76494 33554432000 4194304 4196468 140722850824800 139787371092992 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2522] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2522/stat : 2522 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 50576486 16058228736 76494 33554432000 4194304 4196468 140722850824800 139787403495696 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2523] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2523/stat : 2523 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50576486 16058228736 76494 33554432000 4194304 4196468 140722850824800 139787228137872 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2524] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2524/stat : 2524 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50576486 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786859129360 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2525] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2525/stat : 2525 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 50576486 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786858076816 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2526] ppid=2516 vsize=15681864 memory=305976 CPUtime=0.03 cores=1,3,5,7
/proc/2519/task/2526/stat : 2526 (java) S 2516 2519 2271 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 50576488 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786437515760 139787399264898 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2527] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2527/stat : 2527 (java) S 2516 2519 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 50576488 16058228736 76494 33554432000 4194304 4196468 140722850824800 139785951765920 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2528] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2528/stat : 2528 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50576488 16058228736 76494 33554432000 4194304 4196468 140722850824800 139785683330544 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2529] ppid=2516 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2529/stat : 2529 (java) S 2516 2519 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139785308822224 139787399272347 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2530] ppid=2516 vsize=15681864 memory=305976 CPUtime=0.98 cores=1,3,5,7
/proc/2519/task/2530/stat : 2530 (java) S 2516 2519 2271 0 -1 1077944384 2081 0 0 0 97 1 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786436462576 139787399264898 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2531] ppid=2516 vsize=15681864 memory=305976 CPUtime=0.91 cores=1,3,5,7
/proc/2519/task/2531/stat : 2531 (java) S 2516 2519 2271 0 -1 1077944384 816 0 0 0 90 1 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786435410032 139787399264898 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2532] ppid=2516 vsize=15681864 memory=57024 CPUtime=0.86 cores=1,3,5,7
/proc/2519/task/2532/stat : 2532 (java) S 2516 2519 2271 0 -1 1077944384 2841 0 0 0 85 1 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786434357488 139787399264898 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2533] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2533/stat : 2533 (java) S 2516 2519 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139784810916448 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2534] ppid=2516 vsize=15681864 memory=57024 CPUtime=0.98 cores=1,3,5,7
/proc/2519/task/2534/stat : 2534 (java) S 2516 2519 2271 0 -1 1077944384 169 0 0 0 42 56 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786433305392 139787399264898 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2536] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2536/stat : 2536 (java) S 2516 2519 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 50576684 16058228736 76494 33554432000 4194304 4196468 140722850824800 139787227084352 139787399278361 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2538] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2538/stat : 2538 (java) S 2516 2519 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 50576684 16058228736 76494 33554432000 4194304 4196468 140722850824800 139784274034736 139787399275677 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2539] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2539/stat : 2539 (java) S 2516 2519 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 50576684 16058228736 76494 33554432000 4194304 4196468 140722850824800 139784005598384 139787399275677 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2540] ppid=2516 vsize=15681864 memory=57024 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2540/stat : 2540 (java) S 2516 2519 2271 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 50576688 16058228736 76494 33554432000 4194304 4196468 140722850824800 139784542477344 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
Current children cumulated CPU time: 2506.3 s
Current children cumulated vsize: 15755552 KiB
Current children cumulated memory: 363000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516 s]*
/proc/loadavg: 2.16 2.05 1.99 3/225 2694
/proc/meminfo: memFree=14821520/32770624 swapFree=67108860/67108860
[pid=2519] ppid=2516 vsize=15681864 memory=305976 CPUtime=5.82 cores=1,3,5,7
/proc/2519/stat : 2519 (java) S 2516 2519 2271 0 -1 1077944320 24597 0 0 0 519 63 0 0 20 0 19 0 50576484 16058228736 76494 33554432000 4194304 4196468 140722850824800 140722850807344 139787399253751 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
/proc/2519/statm: 3920466 76494 3226 1 0 3881322 0
[pid=2535] ppid=2519 vsize=73688 memory=57024 CPUtime=2514.19 cores=1,3,5,7
/proc/2535/stat : 2535 (minisat_release) R 2519 2519 2271 0 -1 4202496 113100 0 0 0 251410 9 0 0 20 0 1 0 50576684 75456512 14256 33554432000 4194304 4308513 140729296237216 140729296233472 4276421 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 16195584 140729296245425 140729296245934 140729296245934 140729296248773 0
/proc/2535/statm: 18422 14256 353 28 0 14662 0
[pid=2519/tid=2521] ppid=2516 vsize=15681864 memory=-5059952977386882957 CPUtime=2 cores=1,3,5,7
/proc/2519/task/2521/stat : 2521 (java) S 2516 2519 2271 0 -1 1077944384 17296 0 0 0 192 8 0 0 20 0 19 0 50576485 16058228736 76494 33554432000 4194304 4196468 140722850824800 139787371092992 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2522] ppid=2516 vsize=15681864 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2522/stat : 2522 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 50576486 16058228736 76494 33554432000 4194304 4196468 140722850824800 139787403495696 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2523] ppid=2516 vsize=15681864 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2523/stat : 2523 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50576486 16058228736 76494 33554432000 4194304 4196468 140722850824800 139787228137872 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2524] ppid=2516 vsize=15681864 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2524/stat : 2524 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50576486 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786859129360 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2525] ppid=2516 vsize=15681864 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2525/stat : 2525 (java) S 2516 2519 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 50576486 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786858076816 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2526] ppid=2516 vsize=15681864 memory=1696 CPUtime=0.03 cores=1,3,5,7
/proc/2519/task/2526/stat : 2526 (java) S 2516 2519 2271 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 50576488 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786437515760 139787399264898 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2527] ppid=2516 vsize=15681864 memory=920 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2527/stat : 2527 (java) S 2516 2519 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 50576488 16058228736 76494 33554432000 4194304 4196468 140722850824800 139785951765920 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2528] ppid=2516 vsize=15681864 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2528/stat : 2528 (java) S 2516 2519 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50576488 16058228736 76494 33554432000 4194304 4196468 140722850824800 139785683330544 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2529] ppid=2516 vsize=15681864 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2529/stat : 2529 (java) S 2516 2519 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139785308822224 139787399272347 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2530] ppid=2516 vsize=15681864 memory=2576 CPUtime=0.98 cores=1,3,5,7
/proc/2519/task/2530/stat : 2530 (java) S 2516 2519 2271 0 -1 1077944384 2081 0 0 0 97 1 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786436462576 139787399264898 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2531] ppid=2516 vsize=15681864 memory=2200 CPUtime=0.91 cores=1,3,5,7
/proc/2519/task/2531/stat : 2531 (java) S 2516 2519 2271 0 -1 1077944384 816 0 0 0 90 1 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786435410032 139787399264898 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2532] ppid=2516 vsize=15681864 memory=7528 CPUtime=0.86 cores=1,3,5,7
/proc/2519/task/2532/stat : 2532 (java) S 2516 2519 2271 0 -1 1077944384 2841 0 0 0 85 1 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786434357488 139787399264898 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2533] ppid=2516 vsize=15681864 memory=844 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2533/stat : 2533 (java) S 2516 2519 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139784810916448 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2534] ppid=2516 vsize=15681864 memory=1408 CPUtime=0.99 cores=1,3,5,7
/proc/2519/task/2534/stat : 2534 (java) S 2516 2519 2271 0 -1 1077944384 169 0 0 0 42 57 0 0 20 0 19 0 50576491 16058228736 76494 33554432000 4194304 4196468 140722850824800 139786433305392 139787399264898 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2536] ppid=2516 vsize=15681864 memory=3536 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2536/stat : 2536 (java) S 2516 2519 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 50576684 16058228736 76494 33554432000 4194304 4196468 140722850824800 139787227084352 139787399278361 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2538] ppid=2516 vsize=15681864 memory=305976 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2538/stat : 2538 (java) S 2516 2519 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 50576684 16058228736 76494 33554432000 4194304 4196468 140722850824800 139784274034736 139787399275677 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2539] ppid=2516 vsize=15681864 memory=57024 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2539/stat : 2539 (java) S 2516 2519 2271 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 50576684 16058228736 76494 33554432000 4194304 4196468 140722850824800 139784005598384 139787399275677 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
[pid=2519/tid=2540] ppid=2516 vsize=15681864 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/2519/task/2540/stat : 2540 (java) S 2516 2519 2271 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 50576688 16058228736 76494 33554432000 4194304 4196468 140722850824800 139784542477344 139787399263957 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18456576 140722850829299 140722850829577 140722850829577 140722850832335 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 15755552 KiB
Current children cumulated memory: 363000 KiB
Sending SIGTERM to process tree (bottom up)
[startup+2516.02 s]
# the end of solver process 2519 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.31 s, system=0.745145 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2516.02
CPU time (s): 2520.05
CPU user time (s): 2519.31
CPU system time (s): 0.745145
CPU usage (%): 100.16
Max. virtual memory (cumulated for all children) (KiB): 15755552
Max. memory (cumulated for all children) (KiB): 363000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.31
system time used= 0.745145
maximum resident set size= 305976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137712
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58216
involuntary context switches= 838
# summary of solver processes directly reported to runsolver:
# pid: 2519
# total CPU time (s): 2520.05
# total CPU user time (s): 2519.31
# total CPU system time (s): 0.745145
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1482 second user time and 26.0633 second system time
The end