0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-11618-serial-file.bin HOME/instance-4305476-1534083976.xml
0.54/0.51
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 16:26:16 CEST 2018
0.66/0.54 c PID: 11621
0.66/0.54 c IP: 172.20.3.151
0.66/0.54 c HOST: node151.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.96/1.43 c (0,0) Parsing End
2.96/1.44 c (0,0) CSP: 59 int (0 aux), 0 bool (0 aux), 556 ctr, max domain size 26
2.96/1.44 c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.96/1.44 c (0,0) Constraint Name Generate Begin
2.96/1.45 c (0,0) Ctr:HOME/instance-4305476-1534083976.xml,ExtensionConflict:ExtensionSupport:IntVar
2.96/1.45 c (0,0) Constraint Name Generate End
2.96/1.45 c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.96/1.45 c (0,0) CSP to CSPinCNF Begin
6.28/2.60 c (2,1) translated 56 (10%) constraints
8.16/3.16 c (2,2) translated 112 (20%) constraints
9.65/3.70 c (3,3) translated 167 (30%) constraints
11.47/4.21 c (3,3) translated 223 (40%) constraints
12.69/4.64 c (4,3) translated 278 (50%) constraints
13.58/5.00 c (4,4) translated 334 (60%) constraints
14.71/5.31 c (4,4) translated 390 (70%) constraints
15.19/5.59 c (5,4) translated 445 (80%) constraints
15.81/5.88 c (5,5) translated 501 (90%) constraints
16.41/6.15 c (5,5) translated 556 (100%) constraints
17.43/6.56 c (6,5) STATISTICS1:HOME/instance-4305476-1534083976.xml,ExtensionConflict:ExtensionSupport:IntVar,397,78161,-1,26,27,1,,26:295774;2:5028,27:13;4:66874;3:10420;2:854,1:300802;0:13,
17.43/6.56 c (6,5) ==========================================
17.43/6.56 c (6,5) Order
17.43/6.56 c (6,5) ==========================================
17.94/6.79 c (6,6) translated 7817 (10%) constraints
18.47/6.93 c (6,6) translated 15633 (20%) constraints
18.62/7.06 c (6,6) translated 23449 (30%) constraints
18.88/7.20 c (6,6) translated 31265 (40%) constraints
18.98/7.33 c (6,6) translated 39081 (50%) constraints
19.71/7.61 c (7,6) translated 46897 (60%) constraints
19.82/7.74 c (7,6) translated 54713 (70%) constraints
19.91/7.87 c (7,7) translated 62529 (80%) constraints
20.02/8.00 c (7,7) translated 70345 (90%) constraints
20.22/8.13 c (7,7) translated 78161 (100%) constraints
20.22/8.13 c (7,7) CSP to CSPinCNF End
20.22/8.13 c (7,7) CSP: 59 int (0 aux), 338 bool (338 aux), 78161 ctr, max domain size 26
20.22/8.13 c (7,7) Heap : 460 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
20.22/8.13 c (7,7) CSPinCNF Propagation Begin
21.08/8.55 c (8,7) 0 values, 6712 unsatisfiable literals, and 0 valid clauses are removed
21.08/8.55 c (8,7) CSPinCNF Propagation End
21.08/8.55 c (8,7) CSP: 59 int (0 aux), 338 bool (338 aux), 78161 ctr, max domain size 26
21.08/8.55 c (8,7) Heap : 842 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.08/8.55 c (8,7) Simplify CSPinCNF Begin
21.41/8.70 c (8,7) Simplify CSPinCNF End
21.41/8.70 c (8,7) CSP: 59 int (0 aux), 338 bool (338 aux), 78161 ctr, max domain size 26
21.41/8.70 c (8,7) Heap : 897 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.41/8.70 c (8,7) Calculate Precise Domain Begin
21.41/8.70 c (8,7) 0 values are removed by re-calculation
21.41/8.70 c (8,7) Calculate Precise Domain End
21.41/8.70 c (8,7) CSP: 59 int (0 aux), 338 bool (338 aux), 78161 ctr, max domain size 26
21.41/8.70 c (8,7) Heap : 897 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.41/8.70 c (8,7) CSPinCNF to SatSolver Begin
21.67/8.87 c (8,8) 7817 (10 %) CSP clauses are encoded (1813 SAT variables, 9232 SAT clauses)
21.97/8.94 c (8,8) 15633 (20 %) CSP clauses are encoded (1813 SAT variables, 17048 SAT clauses)
21.97/8.98 c (8,8) 23449 (30 %) CSP clauses are encoded (1813 SAT variables, 24864 SAT clauses)
22.20/9.02 c (8,8) 31265 (40 %) CSP clauses are encoded (1813 SAT variables, 32680 SAT clauses)
22.20/9.07 c (8,8) 39081 (50 %) CSP clauses are encoded (1813 SAT variables, 40496 SAT clauses)
22.34/9.11 c (8,8) 46897 (60 %) CSP clauses are encoded (1813 SAT variables, 48312 SAT clauses)
22.34/9.15 c (8,8) 54713 (70 %) CSP clauses are encoded (1813 SAT variables, 56128 SAT clauses)
22.43/9.20 c (8,8) 62529 (80 %) CSP clauses are encoded (1813 SAT variables, 63944 SAT clauses)
22.43/9.24 c (8,8) 70345 (90 %) CSP clauses are encoded (1813 SAT variables, 71760 SAT clauses)
22.43/9.29 c (8,8) 78161 (100 %) CSP clauses are encoded (1813 SAT variables, 79576 SAT clauses)
22.43/9.29 c (8,8) Launch Command will be: minisat_release
22.43/9.29 c (8,8) CSPinCNF to SatSolver End
22.43/9.29 c (8,8) Heap : 1389 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.02/9.54 c (9,8) STATISTICS2:HOME/instance-4305476-1534083976.xml,ExtensionConflict:ExtensionSupport:IntVar,397,78161,-1,26,26,1,,26:289075;2:5028,26:13;4:60609;3:16251;2:1288,1:294103,
23.02/9.54 c (9,8) 1813 bool, 79577 clause
23.02/9.54 c (9,8) Export Begin
23.16/9.63 c (9,8) Export to HOME/scop-11618-serial-file.bin
23.16/9.63 c (9,8) Export End
23.16/9.63 c (9,8) Export File Size: 0.01 MB
23.16/9.63 c (9,8) 0,0,7,8,8,8,8,STOP-AFTER(DIMACS)
23.16/9.63 c END-Prog: Sun Aug 12 16:26:25 CEST 2018
23.16/9.65 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-11618-serial-file.bin
23.83/10.14 c (0,0) Read Serial File Begin
23.83/10.14 c (0,0) HOME/scop-11618-serial-file.bin
24.12/10.31 c (0,0) Read Serial File End
24.12/10.32
24.12/10.32 scop order+minisat_release (2018-07-31)
24.12/10.33 (Solving Process)
24.12/10.33
24.12/10.35 c BEGIN-Prog: Sun Aug 12 16:26:26 CEST 2018
24.12/10.35 c PID: 11636
24.12/10.35 c IP: 172.20.3.151
24.12/10.35 c HOST: node151.alineos.net
24.12/10.35 c (0,0) SatSolver.solve Begin
24.12/10.35 c (0,0) 0 bool, 0 clause
24.12/10.35 c (0,0) minisat_release HOME/instance-4305476-1534083976.xml-scop-11621.cnf
2520.01/2505.01 c (2494,0) SatSolver is killed by some reasons.
2520.01/2505.01 c (2494,0) receiving signal SIGTERM
2520.01/2505.01 s UNKNOWN
2520.01/2505.02 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.01/2505.02 c (scop.sh) Killing background jobs.
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 (7950 MiB free)
memory of node 1: 16384 MiB (9604 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305476-1534083976/watcher-4305476-1534083976 -o /tmp/evaluation-result-4305476-1534083976/solver-4305476-1534083976 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305476-1534083976.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=11618, runsolver pid=11615
[startup+0.10068 s]*
/proc/loadavg: 2.03 2.02 2.05 3/222 11635
/proc/meminfo: memFree=17916188/32770624 swapFree=67108196/67108860
[pid=11618] ppid=11615 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11618/stat : 11618 (scop.sh) S 11615 11618 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225960768 115843072 349 33554432000 4194304 5098028 140723434976624 140723434973880 140340265382524 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11558912 140723434984512 140723434984711 140723434984711 140723434987469 0
/proc/11618/statm: 28282 349 296 221 0 87 0
[pid=11621] ppid=11618 vsize=15012476 memory=72404 CPUtime=0.1 cores=1,3,5,7
/proc/11621/stat : 11621 (java) S 11618 11618 3762 0 -1 1077944320 6203 0 0 0 9 1 0 0 20 0 15 0 225960768 15372775424 18101 33554432000 4194304 4196468 140732019192160 140732019174704 140585173925623 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
/proc/11621/statm: 3753119 18101 2771 1 0 3715579 0
[pid=11621/tid=11622] ppid=11618 vsize=15012476 memory=7533807676074704953 CPUtime=0.09 cores=1,3,5,7
/proc/11621/task/11622/stat : 11622 (java) R 11618 11618 3762 0 -1 4202560 4299 0 0 0 8 1 0 0 20 0 15 0 225960768 15372775424 18101 33554432000 4194304 4196468 140732019192160 140585145721672 140585154201383 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11623] ppid=11618 vsize=15012476 memory=3472468092779501232 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11623/stat : 11623 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225960770 15372775424 18101 33554432000 4194304 4196468 140732019192160 140585178167824 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11624] ppid=11618 vsize=15012476 memory=139796551820928 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11624/stat : 11624 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225960770 15372775424 18101 33554432000 4194304 4196468 140732019192160 140584953870992 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11625] ppid=11618 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11625/stat : 11625 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225960770 15372775424 18101 33554432000 4194304 4196468 140732019192160 140584952817936 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11626] ppid=11618 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11626/stat : 11626 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225960770 15372775424 18101 33554432000 4194304 4196468 140732019192160 140584951765392 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11627] ppid=11618 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11627/stat : 11627 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225960771 15372775424 18101 33554432000 4194304 4196468 140732019192160 140584143543024 140585173936770 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11628] ppid=11618 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11628/stat : 11628 (java) S 11618 11618 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225960772 15372775424 18167 33554432000 4194304 4196468 140732019192160 140583741941408 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11629] ppid=11618 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11629/stat : 11629 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225960772 15372775424 18167 33554432000 4194304 4196468 140732019192160 140583473505520 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11630] ppid=11618 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11630/stat : 11630 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225960774 15372775424 18167 33554432000 4194304 4196468 140732019192160 140583098997200 140585173944219 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11631] ppid=11618 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11631/stat : 11631 (java) S 11618 11618 3762 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 225960774 15372775424 18167 33554432000 4194304 4196468 140732019192160 140584142489840 140585173936770 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11632] ppid=11618 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11632/stat : 11632 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225960774 15372775424 18167 33554432000 4194304 4196468 140732019192160 140584141437296 140585173936770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11633] ppid=11618 vsize=15012476 memory=139796551820928 CPUtime=0.01 cores=1,3,5,7
/proc/11621/task/11633/stat : 11633 (java) S 11618 11618 3762 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 225960774 15372775424 18167 33554432000 4194304 4196468 140732019192160 140584140384240 140585173936770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11634] ppid=11618 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11634/stat : 11634 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225960775 15372775424 18167 33554432000 4194304 4196468 140732019192160 140582601091424 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11635] ppid=11618 vsize=15012476 memory=139796551820928 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11635/stat : 11635 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225960775 15372775424 18167 33554432000 4194304 4196468 140732019192160 140584139332656 140585173936770 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73800 KiB
[startup+0.210675 s]*
/proc/loadavg: 2.03 2.02 2.05 4/222 11635
/proc/meminfo: memFree=17902732/32770624 swapFree=67108196/67108860
[pid=11618] ppid=11615 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11618/stat : 11618 (scop.sh) S 11615 11618 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225960768 115843072 349 33554432000 4194304 5098028 140723434976624 140723434973880 140340265382524 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11558912 140723434984512 140723434984711 140723434984711 140723434987469 0
/proc/11618/statm: 28282 349 296 221 0 87 0
[pid=11621] ppid=11618 vsize=15012476 memory=85472 CPUtime=0.24 cores=1,3,5,7
/proc/11621/stat : 11621 (java) S 11618 11618 3762 0 -1 1077944320 9753 0 0 0 22 2 0 0 20 0 15 0 225960768 15372775424 21368 33554432000 4194304 4196468 140732019192160 140732019174704 140585173925623 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
/proc/11621/statm: 3753119 21368 2879 1 0 3715579 0
[pid=11621/tid=11622] ppid=11618 vsize=15012476 memory=8514701219881124769 CPUtime=0.19 cores=1,3,5,7
/proc/11621/task/11622/stat : 11622 (java) R 11618 11618 3762 0 -1 4202560 7667 0 0 0 17 2 0 0 20 0 15 0 225960768 15372775424 21368 33554432000 4194304 4196468 140732019192160 140585145752016 140585158006110 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11623] ppid=11618 vsize=15012476 memory=3472468092779501232 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11623/stat : 11623 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225960770 15372775424 21368 33554432000 4194304 4196468 140732019192160 140585178167824 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11624] ppid=11618 vsize=15012476 memory=139796551820928 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11624/stat : 11624 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225960770 15372775424 21434 33554432000 4194304 4196468 140732019192160 140584953870992 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11625] ppid=11618 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11625/stat : 11625 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225960770 15372775424 21434 33554432000 4194304 4196468 140732019192160 140584952817936 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11626] ppid=11618 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11626/stat : 11626 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225960770 15372775424 21434 33554432000 4194304 4196468 140732019192160 140584951765392 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11627] ppid=11618 vsize=15012476 memory=139796551820928 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11627/stat : 11627 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225960771 15372775424 21434 33554432000 4194304 4196468 140732019192160 140584143543024 140585173936770 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11628] ppid=11618 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11628/stat : 11628 (java) S 11618 11618 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225960772 15372775424 21434 33554432000 4194304 4196468 140732019192160 140583741941408 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11629] ppid=11618 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11629/stat : 11629 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225960772 15372775424 21434 33554432000 4194304 4196468 140732019192160 140583473505520 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11630] ppid=11618 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11630/stat : 11630 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225960774 15372775424 21434 33554432000 4194304 4196468 140732019192160 140583098997200 140585173944219 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11631] ppid=11618 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11631/stat : 11631 (java) S 11618 11618 3762 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 225960774 15372775424 21434 33554432000 4194304 4196468 140732019192160 140584142489840 140585173936770 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11632] ppid=11618 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11632/stat : 11632 (java) S 11618 11618 3762 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 225960774 15372775424 21434 33554432000 4194304 4196468 140732019192160 140584141437296 140585173936770 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11633] ppid=11618 vsize=15012476 memory=139796551820928 CPUtime=0.03 cores=1,3,5,7
/proc/11621/task/11633/stat : 11633 (java) R 11618 11618 3762 0 -1 4202560 295 0 0 0 3 0 0 0 20 0 15 0 225960774 15372775424 21434 33554432000 4194304 4196468 140732019192160 140584140384240 140585173946970 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11634] ppid=11618 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11634/stat : 11634 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225960775 15372775424 21434 33554432000 4194304 4196468 140732019192160 140582601091424 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11635] ppid=11618 vsize=15012476 memory=139796551820928 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11635/stat : 11635 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225960775 15372775424 21434 33554432000 4194304 4196468 140732019192160 140584139332656 140585173936770 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86868 KiB
[startup+0.31073 s]*
/proc/loadavg: 2.03 2.02 2.05 3/222 11635
/proc/meminfo: memFree=17898948/32770624 swapFree=67108196/67108860
[pid=11618] ppid=11615 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11618/stat : 11618 (scop.sh) S 11615 11618 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225960768 115843072 349 33554432000 4194304 5098028 140723434976624 140723434973880 140340265382524 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11558912 140723434984512 140723434984711 140723434984711 140723434987469 0
/proc/11618/statm: 28282 349 296 221 0 87 0
[pid=11621] ppid=11618 vsize=15012476 memory=89700 CPUtime=0.42 cores=1,3,5,7
/proc/11621/stat : 11621 (java) S 11618 11618 3762 0 -1 1077944320 10366 0 0 0 39 3 0 0 20 0 15 0 225960768 15372775424 22425 33554432000 4194304 4196468 140732019192160 140732019174704 140585173925623 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
/proc/11621/statm: 3753119 22425 2981 1 0 3715579 0
[pid=11621/tid=11622] ppid=11618 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=1,3,5,7
/proc/11621/task/11622/stat : 11622 (java) R 11618 11618 3762 0 -1 4202560 8107 0 0 0 27 2 0 0 20 0 15 0 225960768 15372775424 22425 33554432000 4194304 4196468 140732019192160 140585145720624 140585173947549 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11623] ppid=11618 vsize=15012476 memory=3472468092779501232 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11623/stat : 11623 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225960770 15372775424 22425 33554432000 4194304 4196468 140732019192160 140585178167824 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11624] ppid=11618 vsize=15012476 memory=279592972692352 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11624/stat : 11624 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225960770 15372775424 22425 33554432000 4194304 4196468 140732019192160 140584953870992 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11625] ppid=11618 vsize=15012476 memory=279592841775136 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11625/stat : 11625 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225960770 15372775424 22425 33554432000 4194304 4196468 140732019192160 140584952817936 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11626] ppid=11618 vsize=15012476 memory=139796420871439 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11626/stat : 11626 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225960770 15372775424 22425 33554432000 4194304 4196468 140732019192160 140584951765392 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11627] ppid=11618 vsize=15012476 memory=279592972699264 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11627/stat : 11627 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225960771 15372775424 22425 33554432000 4194304 4196468 140732019192160 140584143543024 140585173936770 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11628] ppid=11618 vsize=15012476 memory=139796420876047 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11628/stat : 11628 (java) S 11618 11618 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225960772 15372775424 22425 33554432000 4194304 4196468 140732019192160 140583741941408 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11629] ppid=11618 vsize=15012476 memory=139796420889832 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11629/stat : 11629 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225960772 15372775424 22425 33554432000 4194304 4196468 140732019192160 140583473505520 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11630] ppid=11618 vsize=15012476 memory=279592841784352 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11630/stat : 11630 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225960774 15372775424 22425 33554432000 4194304 4196468 140732019192160 140583098997200 140585173944219 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11631] ppid=11618 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11621/task/11631/stat : 11631 (java) R 11618 11618 3762 0 -1 4202560 533 0 0 0 3 0 0 0 20 0 15 0 225960774 15372775424 22425 33554432000 4194304 4196468 140732019192160 140584142489840 140585157425955 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11632] ppid=11618 vsize=15012476 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/11621/task/11632/stat : 11632 (java) R 11618 11618 3762 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 15 0 225960774 15372775424 22425 33554432000 4194304 4196468 140732019192160 140584141437296 140585173936770 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11633] ppid=11618 vsize=15012476 memory=139796551820928 CPUtime=0.07 cores=1,3,5,7
/proc/11621/task/11633/stat : 11633 (java) R 11618 11618 3762 0 -1 4202560 336 0 0 0 7 0 0 0 20 0 15 0 225960774 15372775424 22425 33554432000 4194304 4196468 140732019192160 140584140384240 140585152292008 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11634] ppid=11618 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11634/stat : 11634 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225960775 15372775424 22425 33554432000 4194304 4196468 140732019192160 140582601091424 140585173935829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11635] ppid=11618 vsize=15012476 memory=139796551822324 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11635/stat : 11635 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225960775 15372775424 22425 33554432000 4194304 4196468 140732019192160 140584139332656 140585173936770 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91096 KiB
[startup+0.702133 s]
/proc/loadavg: 2.03 2.02 2.05 3/222 11635
/proc/meminfo: memFree=17874268/32770624 swapFree=67108196/67108860
[pid=11618] ppid=11615 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11618/stat : 11618 (scop.sh) S 11615 11618 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225960768 115843072 349 33554432000 4194304 5098028 140723434976624 140723434973880 140340265382524 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11558912 140723434984512 140723434984711 140723434984711 140723434987469 0
/proc/11618/statm: 28282 349 296 221 0 87 0
[pid=11621] ppid=11618 vsize=15018748 memory=129632 CPUtime=1.04 cores=1,3,5,7
/proc/11621/stat : 11621 (java) S 11618 11618 3762 0 -1 1077944320 17470 0 0 0 99 5 0 0 20 0 15 0 225960768 15379197952 32408 33554432000 4194304 4196468 140732019192160 140732019174704 140585173925623 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
/proc/11621/statm: 3754687 32408 3148 1 0 3716091 0
[pid=11621/tid=11622] ppid=11618 vsize=15018748 memory=54 CPUtime=0.67 cores=1,3,5,7
/proc/11621/task/11622/stat : 11622 (java) R 11618 11618 3762 0 -1 4202560 14590 0 0 0 63 4 0 0 20 0 15 0 225960768 15379197952 32408 33554432000 4194304 4196468 140732019192160 140585145763056 140585158006110 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11623] ppid=11618 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11623/stat : 11623 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225960770 15379197952 32408 33554432000 4194304 4196468 140732019192160 140585178167824 140585173935829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11624] ppid=11618 vsize=15018748 memory=8751464017575360309 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11624/stat : 11624 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225960770 15379197952 32408 33554432000 4194304 4196468 140732019192160 140584953870992 140585173935829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11625] ppid=11618 vsize=15018748 memory=5788902676991533888 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11625/stat : 11625 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225960770 15379197952 32408 33554432000 4194304 4196468 140732019192160 140584952817936 140585173935829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11626] ppid=11618 vsize=15018748 memory=6440526044186890340 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11626/stat : 11626 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225960770 15379197952 32408 33554432000 4194304 4196468 140732019192160 140584951765392 140585173935829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11627] ppid=11618 vsize=15018748 memory=170926128 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11627/stat : 11627 (java) S 11618 11618 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225960771 15379197952 32408 33554432000 4194304 4196468 140732019192160 140584143543024 140585173936770 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11628] ppid=11618 vsize=15018748 memory=1128 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11628/stat : 11628 (java) S 11618 11618 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225960772 15379197952 32408 33554432000 4194304 4196468 140732019192160 140583741941408 140585173935829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11629] ppid=11618 vsize=15018748 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11629/stat : 11629 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225960772 15379197952 32408 33554432000 4194304 4196468 140732019192160 140583473505520 140585173935829 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11630] ppid=11618 vsize=15018748 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11630/stat : 11630 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225960774 15379197952 32408 33554432000 4194304 4196468 140732019192160 140583098997200 140585173944219 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11631] ppid=11618 vsize=15018748 memory=4168 CPUtime=0.09 cores=1,3,5,7
/proc/11621/task/11631/stat : 11631 (java) R 11618 11618 3762 0 -1 4202560 684 0 0 0 9 0 0 0 20 0 15 0 225960774 15379197952 32408 33554432000 4194304 4196468 140732019192160 140584142489840 140585153422687 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11632] ppid=11618 vsize=15018748 memory=7852 CPUtime=0.08 cores=1,3,5,7
/proc/11621/task/11632/stat : 11632 (java) R 11618 11618 3762 0 -1 4202560 331 0 0 0 8 0 0 0 20 0 15 0 225960774 15379197952 32408 33554432000 4194304 4196468 140732019192160 140584141429216 140585154265526 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11633] ppid=11618 vsize=15018748 memory=1628 CPUtime=0.18 cores=1,3,5,7
/proc/11621/task/11633/stat : 11633 (java) R 11618 11618 3762 0 -1 1077944384 528 0 0 0 18 0 0 0 20 0 15 0 225960774 15379197952 32408 33554432000 4194304 4196468 140732019192160 140584140378592 140585173935829 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11634] ppid=11618 vsize=15018748 memory=1140 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11634/stat : 11634 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225960775 15379197952 32408 33554432000 4194304 4196468 140732019192160 140582601091424 140585173935829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
[pid=11621/tid=11635] ppid=11618 vsize=15018748 memory=15244 CPUtime=0 cores=1,3,5,7
/proc/11621/task/11635/stat : 11635 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225960775 15379197952 32419 33554432000 4194304 4196468 140732019192160 140584139332656 140585173936770 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16269312 140732019196934 140732019197233 140732019197233 140732019199951 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 131028 KiB
[startup+1.50473 s]
/proc/loadavg: 2.03 2.02 2.05 5/222 11635
/proc/meminfo: memFree=17768840/32770624 swapFree=67108196/67108860
[pid=11618] ppid=11615 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11618/stat : 11618 (scop.sh) S 11615 11618 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225960768 115843072 349 33554432000 4194304 5098028 140723434976624 140723434973880 140340265382524 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11558912 140723434984512 140723434984711 140723434984711 140723434987469 0
/proc/11618/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=11636/tid=11639] ppid=11618 vsize=8068220 memory=116756 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11639/stat : 11639 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225961735 8261857280 29189 33554432000 4194304 4196468 140729020155088 140130087324176 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11640] ppid=11618 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11640/stat : 11640 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225961735 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129744927120 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11641] ppid=11618 vsize=8068220 memory=116756 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11641/stat : 11641 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225961735 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129743874320 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11642] ppid=11618 vsize=8068220 memory=116756 CPUtime=0.03 cores=1,3,5,7
/proc/11636/task/11642/stat : 11642 (java) S 11618 11618 3762 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 225961736 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129706969968 140130260597378 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11643] ppid=11618 vsize=8068220 memory=116756 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11643/stat : 11643 (java) S 11618 11618 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225961737 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129213605408 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11644] ppid=11618 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11644/stat : 11644 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225961737 8261857280 29189 33554432000 4194304 4196468 140729020155088 140128945169776 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11645] ppid=11618 vsize=8068220 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11645/stat : 11645 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225961739 8261857280 29189 33554432000 4194304 4196468 140729020155088 140128570661200 140130260604827 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11646] ppid=11618 vsize=8068220 memory=2244 CPUtime=0.1 cores=1,3,5,7
/proc/11636/task/11646/stat : 11646 (java) S 11618 11618 3762 0 -1 1077944384 639 0 0 0 10 0 0 0 20 0 19 0 225961739 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129705916784 140130260597378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11647] ppid=11618 vsize=8068220 memory=6425271076031 CPUtime=0.07 cores=1,3,5,7
/proc/11636/task/11647/stat : 11647 (java) S 11618 11618 3762 0 -1 1077944384 322 0 0 0 7 0 0 0 20 0 19 0 225961739 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129704863984 140130260597378 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11648] ppid=11618 vsize=8068220 memory=6944656592455360604 CPUtime=0.2 cores=1,3,5,7
/proc/11636/task/11648/stat : 11648 (java) S 11618 11618 3762 0 -1 1077944384 522 0 0 0 20 0 0 0 20 0 19 0 225961739 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129703811184 140130260597378 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11649] ppid=11618 vsize=8068220 memory=4294967363 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11649/stat : 11649 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225961740 8261857280 29189 33554432000 4194304 4196468 140729020155088 140128072755424 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11650] ppid=11618 vsize=8068220 memory=3471342191933675431 CPUtime=1.01 cores=1,3,5,7
/proc/11636/task/11650/stat : 11650 (java) S 11618 11618 3762 0 -1 1077944384 163 0 0 0 38 63 0 0 20 0 19 0 225961740 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129702759600 140130260597378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11652] ppid=11618 vsize=8068220 memory=69784 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11652/stat : 11652 (java) S 11618 11618 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225961805 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129694951104 140130260610841 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11654] ppid=11618 vsize=8068220 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11654/stat : 11654 (java) S 11618 11618 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225961806 8261857280 29189 33554432000 4194304 4196468 140729020155088 140127535869712 140130260608157 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11655] ppid=11618 vsize=8068220 memory=69784 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11655/stat : 11655 (java) S 11618 11618 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225961806 8261857280 29189 33554432000 4194304 4196468 140729020155088 140127670091408 140130260608157 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11656] ppid=11618 vsize=8068220 memory=61452 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11656/stat : 11656 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225961808 8261857280 29189 33554432000 4194304 4196468 140729020155088 140127267445920 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
Current children cumulated CPU time: 2457.27 s
Current children cumulated vsize: 8271308 KiB
Current children cumulated memory: 188012 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 11854
/proc/meminfo: memFree=18413404/32770624 swapFree=67108196/67108860
[pid=11618] ppid=11615 vsize=113128 memory=1472 CPUtime=23.24 cores=1,3,5,7
/proc/11618/stat : 11618 (scop.sh) S 11615 11618 3762 0 -1 4202496 590 36753 0 0 0 0 2250 74 20 0 1 0 225960768 115843072 368 33554432000 4194304 5098028 140723434976624 140723434973368 140340265382524 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11558912 140723434984512 140723434984711 140723434984711 140723434987469 0
/proc/11618/statm: 28282 368 311 221 0 87 0
[pid=11636] ppid=11618 vsize=8068220 memory=116756 CPUtime=2.24 cores=1,3,5,7
/proc/11636/stat : 11636 (java) S 11618 11618 3762 0 -1 1077944320 18113 0 0 0 154 70 0 0 20 0 19 0 225961733 8261857280 29189 33554432000 4194304 4196468 140729020155088 140729020137632 140130260586231 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
/proc/11636/statm: 2017055 29189 3147 1 0 1978454 0
[pid=11651] ppid=11636 vsize=89960 memory=69784 CPUtime=2491.82 cores=1,3,5,7
/proc/11651/stat : 11651 (minisat_release) R 11636 11618 3762 0 -1 4202496 176507 0 0 0 249166 16 0 0 20 0 1 0 225961805 92119040 17446 33554432000 4194304 4308513 140721437456736 140721437453640 4276056 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 15273984 140721437459572 140721437459670 140721437459670 140721437462469 0
/proc/11651/statm: 22490 17446 340 28 0 18730 0
[pid=11636/tid=11637] ppid=11618 vsize=8068220 memory=116756 CPUtime=0.74 cores=1,3,5,7
/proc/11636/task/11637/stat : 11637 (java) S 11618 11618 3762 0 -1 1077944384 15054 0 0 0 70 4 0 0 20 0 19 0 225961734 8261857280 29189 33554432000 4194304 4196468 140729020155088 140130232426384 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11638] ppid=11618 vsize=8068220 memory=116756 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11638/stat : 11638 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225961735 8261857280 29189 33554432000 4194304 4196468 140729020155088 140130264828560 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11639] ppid=11618 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11639/stat : 11639 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225961735 8261857280 29189 33554432000 4194304 4196468 140729020155088 140130087324176 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11640] ppid=11618 vsize=8068220 memory=116756 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11640/stat : 11640 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225961735 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129744927120 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11641] ppid=11618 vsize=8068220 memory=116756 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11641/stat : 11641 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225961735 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129743874320 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11642] ppid=11618 vsize=8068220 memory=69784 CPUtime=0.04 cores=1,3,5,7
/proc/11636/task/11642/stat : 11642 (java) S 11618 11618 3762 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 225961736 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129706969968 140130260597378 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11643] ppid=11618 vsize=8068220 memory=1140 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11643/stat : 11643 (java) S 11618 11618 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225961737 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129213605408 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11644] ppid=11618 vsize=8068220 memory=15244 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11644/stat : 11644 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225961737 8261857280 29189 33554432000 4194304 4196468 140729020155088 140128945169776 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11645] ppid=11618 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11645/stat : 11645 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225961739 8261857280 29189 33554432000 4194304 4196468 140729020155088 140128570661200 140130260604827 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11646] ppid=11618 vsize=8068220 memory=4028 CPUtime=0.1 cores=1,3,5,7
/proc/11636/task/11646/stat : 11646 (java) S 11618 11618 3762 0 -1 1077944384 639 0 0 0 10 0 0 0 20 0 19 0 225961739 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129705916784 140130260597378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11647] ppid=11618 vsize=8068220 memory=2196 CPUtime=0.07 cores=1,3,5,7
/proc/11636/task/11647/stat : 11647 (java) S 11618 11618 3762 0 -1 1077944384 322 0 0 0 7 0 0 0 20 0 19 0 225961739 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129704863984 140130260597378 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11648] ppid=11618 vsize=8068220 memory=1760 CPUtime=0.2 cores=1,3,5,7
/proc/11636/task/11648/stat : 11648 (java) S 11618 11618 3762 0 -1 1077944384 522 0 0 0 20 0 0 0 20 0 19 0 225961739 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129703811184 140130260597378 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11649] ppid=11618 vsize=8068220 memory=116756 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11649/stat : 11649 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225961740 8261857280 29189 33554432000 4194304 4196468 140729020155088 140128072755424 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11650] ppid=11618 vsize=8068220 memory=69784 CPUtime=1.04 cores=1,3,5,7
/proc/11636/task/11650/stat : 11650 (java) S 11618 11618 3762 0 -1 1077944384 167 0 0 0 40 64 0 0 20 0 19 0 225961740 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129702759600 140130260597378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11652] ppid=11618 vsize=8068220 memory=116756 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11652/stat : 11652 (java) S 11618 11618 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225961805 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129694951104 140130260610841 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11654] ppid=11618 vsize=8068220 memory=69784 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11654/stat : 11654 (java) S 11618 11618 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225961806 8261857280 29189 33554432000 4194304 4196468 140729020155088 140127535869712 140130260608157 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11655] ppid=11618 vsize=8068220 memory=69784 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11655/stat : 11655 (java) S 11618 11618 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225961806 8261857280 29189 33554432000 4194304 4196468 140729020155088 140127670091408 140130260608157 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11656] ppid=11618 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11656/stat : 11656 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225961808 8261857280 29189 33554432000 4194304 4196468 140729020155088 140127267445920 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
Current children cumulated CPU time: 2517.3 s
Current children cumulated vsize: 8271308 KiB
Current children cumulated memory: 188012 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505 s]*
/proc/loadavg: 2.00 2.01 2.05 3/227 11854
/proc/meminfo: memFree=18413404/32770624 swapFree=67108196/67108860
[pid=11618] ppid=11615 vsize=113128 memory=1472 CPUtime=23.24 cores=1,3,5,7
/proc/11618/stat : 11618 (scop.sh) S 11615 11618 3762 0 -1 4202496 590 36753 0 0 0 0 2250 74 20 0 1 0 225960768 115843072 368 33554432000 4194304 5098028 140723434976624 140723434973368 140340265382524 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11558912 140723434984512 140723434984711 140723434984711 140723434987469 0
/proc/11618/statm: 28282 368 311 221 0 87 0
[pid=11636] ppid=11618 vsize=8068220 memory=116756 CPUtime=2.24 cores=1,3,5,7
/proc/11636/stat : 11636 (java) S 11618 11618 3762 0 -1 1077944320 18113 0 0 0 154 70 0 0 20 0 19 0 225961733 8261857280 29189 33554432000 4194304 4196468 140729020155088 140729020137632 140130260586231 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
/proc/11636/statm: 2017055 29189 3147 1 0 1978454 0
[pid=11651] ppid=11636 vsize=89960 memory=69784 CPUtime=2494.53 cores=1,3,5,7
/proc/11651/stat : 11651 (minisat_release) R 11636 11618 3762 0 -1 4202496 176526 0 0 0 249437 16 0 0 20 0 1 0 225961805 92119040 17446 33554432000 4194304 4308513 140721437456736 140721437453640 4275923 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 15273984 140721437459572 140721437459670 140721437459670 140721437462469 0
/proc/11651/statm: 22490 17446 340 28 0 18730 0
[pid=11636/tid=11637] ppid=11618 vsize=8068220 memory=-7824251494390715748 CPUtime=0.74 cores=1,3,5,7
/proc/11636/task/11637/stat : 11637 (java) S 11618 11618 3762 0 -1 1077944384 15054 0 0 0 70 4 0 0 20 0 19 0 225961734 8261857280 29189 33554432000 4194304 4196468 140729020155088 140130232426384 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11638] ppid=11618 vsize=8068220 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11638/stat : 11638 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225961735 8261857280 29189 33554432000 4194304 4196468 140729020155088 140130264828560 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11639] ppid=11618 vsize=8068220 memory=116756 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11639/stat : 11639 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225961735 8261857280 29189 33554432000 4194304 4196468 140729020155088 140130087324176 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11640] ppid=11618 vsize=8068220 memory=69784 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11640/stat : 11640 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225961735 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129744927120 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11641] ppid=11618 vsize=8068220 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11641/stat : 11641 (java) S 11618 11618 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225961735 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129743874320 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11642] ppid=11618 vsize=8068220 memory=1472 CPUtime=0.04 cores=1,3,5,7
/proc/11636/task/11642/stat : 11642 (java) S 11618 11618 3762 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 225961736 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129706969968 140130260597378 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11643] ppid=11618 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11643/stat : 11643 (java) S 11618 11618 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225961737 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129213605408 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11644] ppid=11618 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11644/stat : 11644 (java) S 11618 11618 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225961737 8261857280 29189 33554432000 4194304 4196468 140729020155088 140128945169776 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11645] ppid=11618 vsize=8068220 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11645/stat : 11645 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225961739 8261857280 29189 33554432000 4194304 4196468 140729020155088 140128570661200 140130260604827 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11646] ppid=11618 vsize=8068220 memory=976 CPUtime=0.1 cores=1,3,5,7
/proc/11636/task/11646/stat : 11646 (java) S 11618 11618 3762 0 -1 1077944384 639 0 0 0 10 0 0 0 20 0 19 0 225961739 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129705916784 140130260597378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11647] ppid=11618 vsize=8068220 memory=11200 CPUtime=0.07 cores=1,3,5,7
/proc/11636/task/11647/stat : 11647 (java) S 11618 11618 3762 0 -1 1077944384 322 0 0 0 7 0 0 0 20 0 19 0 225961739 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129704863984 140130260597378 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11648] ppid=11618 vsize=8068220 memory=5060 CPUtime=0.2 cores=1,3,5,7
/proc/11636/task/11648/stat : 11648 (java) S 11618 11618 3762 0 -1 1077944384 522 0 0 0 20 0 0 0 20 0 19 0 225961739 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129703811184 140130260597378 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11649] ppid=11618 vsize=8068220 memory=792 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11649/stat : 11649 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225961740 8261857280 29189 33554432000 4194304 4196468 140729020155088 140128072755424 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11650] ppid=11618 vsize=8068220 memory=1128 CPUtime=1.04 cores=1,3,5,7
/proc/11636/task/11650/stat : 11650 (java) S 11618 11618 3762 0 -1 1077944384 167 0 0 0 40 64 0 0 20 0 19 0 225961740 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129702759600 140130260597378 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11652] ppid=11618 vsize=8068220 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11652/stat : 11652 (java) S 11618 11618 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225961805 8261857280 29189 33554432000 4194304 4196468 140729020155088 140129694951104 140130260610841 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11654] ppid=11618 vsize=8068220 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11654/stat : 11654 (java) S 11618 11618 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225961806 8261857280 29189 33554432000 4194304 4196468 140729020155088 140127535869712 140130260608157 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11655] ppid=11618 vsize=8068220 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11655/stat : 11655 (java) S 11618 11618 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225961806 8261857280 29189 33554432000 4194304 4196468 140729020155088 140127670091408 140130260608157 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
[pid=11636/tid=11656] ppid=11618 vsize=8068220 memory=7852 CPUtime=0 cores=1,3,5,7
/proc/11636/task/11656/stat : 11656 (java) S 11618 11618 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225961808 8261857280 29189 33554432000 4194304 4196468 140729020155088 140127267445920 140130260596437 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20377600 140729020163253 140729020163377 140729020163377 140729020166095 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 8271308 KiB
Current children cumulated memory: 188012 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.02 s]
# the end of solver process 11618 was just reported to runsolver
# cumulated CPU time of all completed processes: user=22.503 s, system=0.744332 s
[startup+2505.02 s]
# the end of solver process 11636 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.43 s, system=1.62244 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2505.02
CPU time (s): 2520.05
CPU user time (s): 2518.43
CPU system time (s): 1.62244
CPU usage (%): 100.6
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3125988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.43
system time used= 1.62244
maximum resident set size= 3125480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232267
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59298
involuntary context switches= 843
# summary of solver processes directly reported to runsolver:
# pid: 11618,11636
# total CPU time (s): 2520.05
# total CPU user time (s): 2518.43
# total CPU system time (s): 1.62244
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1749 second user time and 26.1506 second system time
The end