0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-29670-serial-file.bin HOME/instance-4305689-1534082120.xml
0.55/0.51
0.66/0.52 scop both+minisat_release (2018-07-31)
0.81/0.64 (Encoding Process)
0.81/0.64
0.81/0.64 c BEGIN-Prog: Sun Aug 12 15:55:21 CEST 2018
0.81/0.64 c PID: 29673
0.81/0.64 c IP: 172.20.3.106
0.81/0.64 c HOST: node106.alineos.net
0.81/0.64 c (0,0) Parsing Begin
1.46/0.90 c (0,0) Parsing End
1.46/0.90 c (0,0) CSP: 41 int (0 aux), 0 bool (0 aux), 121 ctr, max domain size 73
1.46/0.90 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.46/0.90 c (0,0) Constraint Name Generate Begin
1.46/0.91 c (0,0) Ctr:HOME/instance-4305689-1534082120.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
1.46/0.91 c (0,0) Constraint Name Generate End
1.46/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.46/0.91 c (0,0) CSP to CSPinCNF Begin
5.13/2.23 c (1,1) translated 13 (10%) constraints
6.77/2.80 c (2,2) translated 25 (20%) constraints
7.23/3.29 c (2,2) translated 37 (30%) constraints
7.83/3.77 c (3,3) translated 49 (40%) constraints
8.35/4.25 c (3,3) translated 61 (50%) constraints
8.91/4.73 c (4,4) translated 73 (60%) constraints
9.29/5.10 c (4,4) translated 85 (70%) constraints
9.49/5.12 c (4,4) translated 97 (80%) constraints
9.49/5.14 c (4,4) translated 109 (90%) constraints
9.49/5.15 c (4,4) translated 121 (100%) constraints
10.53/5.60 c (5,5) STATISTICS1:HOME/instance-4305689-1534082120.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,5721,87453,73,73,72,2,73:595;72:225,73:126010;72:37288;2:91600,72:80;41:2;3:74400;2:12965;1:6,2:820;1:253258;0:80,
10.53/5.60 c (5,5) ==========================================
10.53/5.60 c (5,5) Both Encoding selects:
10.53/5.60 c (5,5) Order
10.53/5.60 c (5,5) ==========================================
11.28/5.88 c (5,5) translated 8746 (10%) constraints
11.91/6.08 c (5,5) translated 17491 (20%) constraints
12.48/6.26 c (5,5) translated 26236 (30%) constraints
12.94/6.40 c (5,5) translated 34982 (40%) constraints
13.03/6.51 c (5,5) translated 43727 (50%) constraints
13.14/6.63 c (6,6) translated 52472 (60%) constraints
13.27/6.74 c (6,6) translated 61218 (70%) constraints
13.37/6.86 c (6,6) translated 69963 (80%) constraints
13.49/6.97 c (6,6) translated 78708 (90%) constraints
13.60/7.09 c (6,6) translated 87453 (100%) constraints
13.60/7.09 c (6,6) CSP to CSPinCNF End
13.60/7.10 c (6,6) CSP: 41 int (0 aux), 5680 bool (5680 aux), 87453 ctr, max domain size 73
13.60/7.10 c (6,6) Heap : 2478 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.60/7.10 c (6,6) CSPinCNF Propagation Begin
14.60/7.60 c (7,7) 0 values, 319 unsatisfiable literals, and 245 valid clauses are removed
14.60/7.60 c (7,7) CSPinCNF Propagation End
14.77/7.60 c (7,7) CSP: 41 int (0 aux), 5680 bool (5680 aux), 87208 ctr, max domain size 73
14.77/7.60 c (7,7) Heap : 2816 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
14.77/7.60 c (7,7) Simplify CSPinCNF Begin
15.45/7.89 c (7,7) Simplify CSPinCNF End
15.45/7.89 c (7,7) CSP: 41 int (0 aux), 7320 bool (7320 aux), 88848 ctr, max domain size 73
15.45/7.89 c (7,7) Heap : 168 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.45/7.89 c (7,7) Calculate Precise Domain Begin
15.45/7.89 c (7,7) 0 values are removed by re-calculation
15.45/7.89 c (7,7) Calculate Precise Domain End
15.45/7.90 c (7,7) CSP: 41 int (0 aux), 7320 bool (7320 aux), 88848 ctr, max domain size 73
15.45/7.90 c (7,7) Heap : 168 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.45/7.90 c (7,7) CSPinCNF to SatSolver Begin
17.01/8.41 c (7,7) 8885 (10 %) CSP clauses are encoded (10266 SAT variables, 129419 SAT clauses)
17.01/8.46 c (7,7) 17770 (20 %) CSP clauses are encoded (10266 SAT variables, 138304 SAT clauses)
17.20/8.50 c (7,7) 26655 (30 %) CSP clauses are encoded (10266 SAT variables, 147189 SAT clauses)
17.20/8.54 c (8,7) 35540 (40 %) CSP clauses are encoded (10266 SAT variables, 156074 SAT clauses)
17.20/8.59 c (8,7) 44424 (50 %) CSP clauses are encoded (10266 SAT variables, 164958 SAT clauses)
17.32/8.63 c (8,7) 53309 (60 %) CSP clauses are encoded (10266 SAT variables, 173843 SAT clauses)
17.32/8.67 c (8,8) 62194 (70 %) CSP clauses are encoded (10266 SAT variables, 182728 SAT clauses)
17.43/8.71 c (8,8) 71079 (80 %) CSP clauses are encoded (10266 SAT variables, 191613 SAT clauses)
17.43/8.75 c (8,8) 79964 (90 %) CSP clauses are encoded (10266 SAT variables, 200498 SAT clauses)
17.43/8.79 c (8,8) 88848 (100 %) CSP clauses are encoded (10266 SAT variables, 209382 SAT clauses)
17.43/8.79 c (8,8) Launch Command will be: minisat_release
17.43/8.79 c (8,8) CSPinCNF to SatSolver End
17.43/8.79 c (8,8) Heap : 885 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
18.10/9.06 c (8,8) STATISTICS2:HOME/instance-4305689-1534082120.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,7361,88848,73,73,71,2,73:1190;72:450,73:127410;72:37044;2:94641,71:80;41:2;3:74161;2:14605,2:1640;1:255815,
18.10/9.06 c (8,8) 10266 bool, 209383 clause
18.10/9.06 c (8,8) Export Begin
18.23/9.14 c (8,8) Export to HOME/scop-29670-serial-file.bin
18.23/9.14 c (8,8) Export End
18.23/9.15 c (8,8) Export File Size: 0.01 MB
18.23/9.15 c (8,8) 0,0,6,7,7,7,8,STOP-AFTER(DIMACS)
18.23/9.15 c END-Prog: Sun Aug 12 15:55:29 CEST 2018
18.23/9.17 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-29670-serial-file.bin
18.33/9.65 c (0,0) Read Serial File Begin
18.33/9.65 c (0,0) HOME/scop-29670-serial-file.bin
18.33/9.82 c (0,0) Read Serial File End
18.33/9.83
18.33/9.83 scop order+minisat_release (2018-07-31)
18.33/9.83 (Solving Process)
18.33/9.83
18.33/9.85 c BEGIN-Prog: Sun Aug 12 15:55:30 CEST 2018
18.33/9.85 c PID: 29688
18.33/9.85 c IP: 172.20.3.106
18.33/9.85 c HOST: node106.alineos.net
18.33/9.86 c (0,0) SatSolver.solve Begin
18.33/9.86 c (0,0) 0 bool, 0 clause
18.33/9.86 c (0,0) minisat_release HOME/instance-4305689-1534082120.xml-scop-29673.cnf
2520.07/2509.20 c (2499,0) SatSolver is killed by some reasons.
2520.07/2509.20 c (2499,0) receiving signal SIGTERM
2520.07/2509.20 s UNKNOWN
2520.07/2509.21 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.07/2509.21 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 (9586 MiB free)
memory of node 1: 16384 MiB (13448 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305689-1534082120/watcher-4305689-1534082120 -o /tmp/evaluation-result-4305689-1534082120/solver-4305689-1534082120 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23199 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305689-1534082120.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29670, runsolver pid=29667
Current StackSize limit: 8192 KiB
[startup+0.100714 s]*
/proc/loadavg: 2.18 2.08 2.06 4/222 29687
/proc/meminfo: memFree=23528608/32770624 swapFree=67108688/67108860
[pid=29670] ppid=29667 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/29670/stat : 29670 (scop.sh) S 29667 29670 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225774872 115843072 348 33554432000 4194304 5098028 140734793620688 140734793617944 139853527069308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26157056 140734793622593 140734793622791 140734793622791 140734793625549 0
/proc/29670/statm: 28282 348 296 221 0 87 0
[pid=29673] ppid=29670 vsize=15012476 memory=70156 CPUtime=0.11 cores=1,3,5,7
/proc/29673/stat : 29673 (java) S 29670 29670 23167 0 -1 1077944320 6703 0 0 0 9 2 0 0 20 0 15 0 225774872 15372775424 17539 33554432000 4194304 4196468 140735767044080 140735767026624 140036188307191 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
/proc/29673/statm: 3753119 17539 2772 1 0 3715579 0
[pid=29673/tid=29674] ppid=29670 vsize=15012476 memory=-6078870780940435391 CPUtime=0.08 cores=1,3,5,7
/proc/29673/task/29674/stat : 29674 (java) R 29670 29670 23167 0 -1 4202560 4766 0 0 0 7 1 0 0 20 0 15 0 225774872 15372775424 17539 33554432000 4194304 4196468 140735767044080 140036160119176 140036171494000 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29675] ppid=29670 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29675/stat : 29675 (java) S 29670 29670 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225774874 15372775424 17539 33554432000 4194304 4196468 140735767044080 140036192549904 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29676] ppid=29670 vsize=15012476 memory=140151786473088 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29676/stat : 29676 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225774874 15372775424 17539 33554432000 4194304 4196468 140735767044080 140036006706320 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29677] ppid=29670 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29677/stat : 29677 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225774874 15372775424 17539 33554432000 4194304 4196468 140735767044080 140036005653264 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29678] ppid=29670 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29678/stat : 29678 (java) S 29670 29670 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225774874 15372775424 17539 33554432000 4194304 4196468 140735767044080 140036004600720 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29679] ppid=29670 vsize=15012476 memory=140151786473088 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29679/stat : 29679 (java) S 29670 29670 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225774875 15372775424 17539 33554432000 4194304 4196468 140735767044080 140035024169200 140036188318338 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29680] ppid=29670 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29680/stat : 29680 (java) S 29670 29670 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225774876 15372775424 17539 33554432000 4194304 4196468 140735767044080 140034791433376 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29681] ppid=29670 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29681/stat : 29681 (java) S 29670 29670 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225774876 15372775424 17539 33554432000 4194304 4196468 140735767044080 140034657211120 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29682] ppid=29670 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29682/stat : 29682 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225774878 15372775424 17539 33554432000 4194304 4196468 140735767044080 140034282706896 140036188325787 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29683] ppid=29670 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29683/stat : 29683 (java) S 29670 29670 23167 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 225774878 15372775424 17539 33554432000 4194304 4196468 140735767044080 140035023117040 140036188318338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29684] ppid=29670 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29684/stat : 29684 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225774878 15372775424 17539 33554432000 4194304 4196468 140735767044080 140035022064496 140036188318338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29685] ppid=29670 vsize=15012476 memory=140151786473088 CPUtime=0.01 cores=1,3,5,7
/proc/29673/task/29685/stat : 29685 (java) S 29670 29670 23167 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 225774878 15372775424 17539 33554432000 4194304 4196468 140735767044080 140035021011440 140036188318338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29686] ppid=29670 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29686/stat : 29686 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225774879 15372775424 17539 33554432000 4194304 4196468 140735767044080 140033784802144 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29687] ppid=29670 vsize=15012476 memory=140151786473088 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29687/stat : 29687 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225774879 15372775424 17539 33554432000 4194304 4196468 140735767044080 140035019958832 140036188318338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71548 KiB
[startup+0.210533 s]*
/proc/loadavg: 2.18 2.08 2.06 4/222 29687
/proc/meminfo: memFree=23515648/32770624 swapFree=67108688/67108860
[pid=29670] ppid=29667 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/29670/stat : 29670 (scop.sh) S 29667 29670 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225774872 115843072 348 33554432000 4194304 5098028 140734793620688 140734793617944 139853527069308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26157056 140734793622593 140734793622791 140734793622791 140734793625549 0
/proc/29670/statm: 28282 348 296 221 0 87 0
[pid=29673] ppid=29670 vsize=15012476 memory=83480 CPUtime=0.25 cores=1,3,5,7
/proc/29673/stat : 29673 (java) S 29670 29670 23167 0 -1 1077944320 10285 0 0 0 22 3 0 0 20 0 15 0 225774872 15372775424 20870 33554432000 4194304 4196468 140735767044080 140735767026624 140036188307191 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
/proc/29673/statm: 3753119 20870 2875 1 0 3715579 0
[pid=29673/tid=29674] ppid=29670 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/29673/task/29674/stat : 29674 (java) R 29670 29670 23167 0 -1 4202560 8169 0 0 0 17 2 0 0 20 0 15 0 225774872 15372775424 20870 33554432000 4194304 4196468 140735767044080 140036160120064 140036172350821 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29675] ppid=29670 vsize=15012476 memory=553 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29675/stat : 29675 (java) S 29670 29670 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225774874 15372775424 20870 33554432000 4194304 4196468 140735767044080 140036192549904 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29676] ppid=29670 vsize=15012476 memory=3472472876156094112 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29676/stat : 29676 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225774874 15372775424 20870 33554432000 4194304 4196468 140735767044080 140036006706320 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29677] ppid=29670 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29677/stat : 29677 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225774874 15372775424 20870 33554432000 4194304 4196468 140735767044080 140036005653264 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29678] ppid=29670 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29678/stat : 29678 (java) S 29670 29670 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225774874 15372775424 20870 33554432000 4194304 4196468 140735767044080 140036004600720 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29679] ppid=29670 vsize=15012476 memory=140151786473088 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29679/stat : 29679 (java) S 29670 29670 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225774875 15372775424 20870 33554432000 4194304 4196468 140735767044080 140035024169200 140036188318338 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29680] ppid=29670 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29680/stat : 29680 (java) S 29670 29670 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225774876 15372775424 20870 33554432000 4194304 4196468 140735767044080 140034791433376 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29681] ppid=29670 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29681/stat : 29681 (java) S 29670 29670 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225774876 15372775424 20870 33554432000 4194304 4196468 140735767044080 140034657211120 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29682] ppid=29670 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29682/stat : 29682 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225774878 15372775424 20870 33554432000 4194304 4196468 140735767044080 140034282706896 140036188325787 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29683] ppid=29670 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29683/stat : 29683 (java) S 29670 29670 23167 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 15 0 225774878 15372775424 20870 33554432000 4194304 4196468 140735767044080 140035023117040 140036188318338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29684] ppid=29670 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29684/stat : 29684 (java) S 29670 29670 23167 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 225774878 15372775424 20870 33554432000 4194304 4196468 140735767044080 140035022064496 140036188318338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29685] ppid=29670 vsize=15012476 memory=140151786473088 CPUtime=0.03 cores=1,3,5,7
/proc/29673/task/29685/stat : 29685 (java) R 29670 29670 23167 0 -1 4202560 297 0 0 0 3 0 0 0 20 0 15 0 225774878 15372775424 20870 33554432000 4194304 4196468 140735767044080 140035021011440 140036188319126 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29686] ppid=29670 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29686/stat : 29686 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225774879 15372775424 20870 33554432000 4194304 4196468 140735767044080 140033784802144 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29687] ppid=29670 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29687/stat : 29687 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225774879 15372775424 20870 33554432000 4194304 4196468 140735767044080 140035019958832 140036188318338 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 84872 KiB
[startup+0.310533 s]*
/proc/loadavg: 2.18 2.08 2.06 3/222 29687
/proc/meminfo: memFree=23511864/32770624 swapFree=67108688/67108860
[pid=29670] ppid=29667 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/29670/stat : 29670 (scop.sh) S 29667 29670 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225774872 115843072 348 33554432000 4194304 5098028 140734793620688 140734793617944 139853527069308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26157056 140734793622593 140734793622791 140734793622791 140734793625549 0
/proc/29670/statm: 28282 348 296 221 0 87 0
[pid=29673] ppid=29670 vsize=15012476 memory=87628 CPUtime=0.42 cores=1,3,5,7
/proc/29673/stat : 29673 (java) S 29670 29670 23167 0 -1 1077944320 10899 0 0 0 39 3 0 0 20 0 15 0 225774872 15372775424 21907 33554432000 4194304 4196468 140735767044080 140735767026624 140036188307191 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
/proc/29673/statm: 3753119 21907 2979 1 0 3715579 0
[pid=29673/tid=29674] ppid=29670 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/29673/task/29674/stat : 29674 (java) R 29670 29670 23167 0 -1 4202560 8608 0 0 0 27 3 0 0 20 0 15 0 225774872 15372775424 21907 33554432000 4194304 4196468 140735767044080 140036160102640 140036188319126 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29675] ppid=29670 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29675/stat : 29675 (java) S 29670 29670 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225774874 15372775424 21907 33554432000 4194304 4196468 140735767044080 140036192549904 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29676] ppid=29670 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29676/stat : 29676 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225774874 15372775424 21907 33554432000 4194304 4196468 140735767044080 140036006706320 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29677] ppid=29670 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29677/stat : 29677 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225774874 15372775424 21907 33554432000 4194304 4196468 140735767044080 140036005653264 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29678] ppid=29670 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29678/stat : 29678 (java) S 29670 29670 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225774874 15372775424 21907 33554432000 4194304 4196468 140735767044080 140036004600720 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29679] ppid=29670 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29679/stat : 29679 (java) S 29670 29670 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225774875 15372775424 21907 33554432000 4194304 4196468 140735767044080 140035024169200 140036188318338 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29680] ppid=29670 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29680/stat : 29680 (java) S 29670 29670 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225774876 15372775424 21907 33554432000 4194304 4196468 140735767044080 140034791433376 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29681] ppid=29670 vsize=15012476 memory=-6664436420846798482 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29681/stat : 29681 (java) S 29670 29670 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225774876 15372775424 21907 33554432000 4194304 4196468 140735767044080 140034657211120 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29682] ppid=29670 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29682/stat : 29682 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225774878 15372775424 21907 33554432000 4194304 4196468 140735767044080 140034282706896 140036188325787 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29683] ppid=29670 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/29673/task/29683/stat : 29683 (java) R 29670 29670 23167 0 -1 1077944384 566 0 0 0 3 0 0 0 20 0 15 0 225774878 15372775424 21907 33554432000 4194304 4196468 140735767044080 140035023117040 140036188318338 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29684] ppid=29670 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29673/task/29684/stat : 29684 (java) R 29670 29670 23167 0 -1 4202560 42 0 0 0 1 0 0 0 20 0 15 0 225774878 15372775424 21907 33554432000 4194304 4196468 140735767044080 140035022064496 140036188328538 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29685] ppid=29670 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29673/task/29685/stat : 29685 (java) R 29670 29670 23167 0 -1 4202560 332 0 0 0 7 0 0 0 20 0 15 0 225774878 15372775424 21907 33554432000 4194304 4196468 140735767044080 140035021011440 140036180544318 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29686] ppid=29670 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29686/stat : 29686 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225774879 15372775424 21907 33554432000 4194304 4196468 140735767044080 140033784802144 140036188317397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29687] ppid=29670 vsize=15012476 memory=3833468387996016689 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29687/stat : 29687 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225774879 15372775424 21907 33554432000 4194304 4196468 140735767044080 140035019958832 140036188318338 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89020 KiB
[startup+0.700829 s]
/proc/loadavg: 2.18 2.08 2.06 3/222 29687
/proc/meminfo: memFree=23487184/32770624 swapFree=67108688/67108860
[pid=29670] ppid=29667 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/29670/stat : 29670 (scop.sh) S 29667 29670 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225774872 115843072 348 33554432000 4194304 5098028 140734793620688 140734793617944 139853527069308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26157056 140734793622593 140734793622791 140734793622791 140734793625549 0
/proc/29670/statm: 28282 348 296 221 0 87 0
[pid=29673] ppid=29670 vsize=15020872 memory=127708 CPUtime=1.02 cores=1,3,5,7
/proc/29673/stat : 29673 (java) S 29670 29670 23167 0 -1 1077944320 18158 0 0 0 97 5 0 0 20 0 15 0 225774872 15381372928 31927 33554432000 4194304 4196468 140735767044080 140735767026624 140036188307191 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
/proc/29673/statm: 3755218 31927 3147 1 0 3716603 0
[pid=29673/tid=29674] ppid=29670 vsize=15020872 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/29673/task/29674/stat : 29674 (java) R 29670 29670 23167 0 -1 4202560 15376 0 0 0 63 4 0 0 20 0 15 0 225774872 15381372928 31927 33554432000 4194304 4196468 140735767044080 140036160129856 140036173675984 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29675] ppid=29670 vsize=15020872 memory=116 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29675/stat : 29675 (java) S 29670 29670 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225774874 15381372928 31927 33554432000 4194304 4196468 140735767044080 140036192549904 140036188317397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29676] ppid=29670 vsize=15020872 memory=12868 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29676/stat : 29676 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225774874 15381372928 31927 33554432000 4194304 4196468 140735767044080 140036006706320 140036188317397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29677] ppid=29670 vsize=15020872 memory=25008 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29677/stat : 29677 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225774874 15381372928 31927 33554432000 4194304 4196468 140735767044080 140036005653264 140036188317397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29678] ppid=29670 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29678/stat : 29678 (java) S 29670 29670 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225774874 15381372928 31927 33554432000 4194304 4196468 140735767044080 140036004600720 140036188317397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29679] ppid=29670 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29679/stat : 29679 (java) S 29670 29670 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225774875 15381372928 31927 33554432000 4194304 4196468 140735767044080 140035024169200 140036188318338 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29680] ppid=29670 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29680/stat : 29680 (java) S 29670 29670 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225774876 15381372928 31927 33554432000 4194304 4196468 140735767044080 140034791433376 140036188317397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29681] ppid=29670 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29681/stat : 29681 (java) S 29670 29670 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225774876 15381372928 31927 33554432000 4194304 4196468 140735767044080 140034657211120 140036188317397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29682] ppid=29670 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29682/stat : 29682 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225774878 15381372928 31927 33554432000 4194304 4196468 140735767044080 140034282706896 140036188325787 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29683] ppid=29670 vsize=15020872 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/29673/task/29683/stat : 29683 (java) S 29670 29670 23167 0 -1 1077944384 790 0 0 0 10 0 0 0 20 0 15 0 225774878 15381372928 31927 33554432000 4194304 4196468 140735767044080 140035023117040 140036188318338 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29684] ppid=29670 vsize=15020872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29673/task/29684/stat : 29684 (java) S 29670 29670 23167 0 -1 1077944384 143 0 0 0 7 0 0 0 20 0 15 0 225774878 15381372928 31927 33554432000 4194304 4196468 140735767044080 140035022064496 140036188318338 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29685] ppid=29670 vsize=15020872 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/29673/task/29685/stat : 29685 (java) S 29670 29670 23167 0 -1 1077944384 494 0 0 0 16 0 0 0 20 0 15 0 225774878 15381372928 31927 33554432000 4194304 4196468 140735767044080 140035021011440 140036188318338 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29686] ppid=29670 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29686/stat : 29686 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225774879 15381372928 31927 33554432000 4194304 4196468 140735767044080 140033784802144 140036188317397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
[pid=29673/tid=29687] ppid=29670 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29673/task/29687/stat : 29687 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225774879 15381372928 31927 33554432000 4194304 4196468 140735767044080 140035019958832 140036188318338 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36401152 140735767049223 140735767049521 140735767049521 140735767052239 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129100 KiB
[startup+1.50085 s]
/proc/loadavg: 2.18 2.08 2.06 6/222 29687
/proc/meminfo: memFree=23457944/32770624 swapFree=67108688/67108860
[pid=29670] ppid=29667 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/29670/stat : 29670 (scop.sh) S 29667 29670 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225774872 115843072 348 33554432000 4194304 5098028 140734793620688 140734793617944 139853527069308 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26157056 140734793622593 140734793622791 140734793622791 140734793625549 0
/proc/29670/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=29688/tid=29691] ppid=29670 vsize=8068220 memory=118828 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29691/stat : 29691 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225775790 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681876749328 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29692] ppid=29670 vsize=8068220 memory=118828 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29692/stat : 29692 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225775790 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681875696528 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29693] ppid=29670 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29693/stat : 29693 (java) S 29670 29670 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225775790 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681874643728 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29694] ppid=29670 vsize=8068220 memory=118828 CPUtime=0.05 cores=1,3,5,7
/proc/29688/task/29694/stat : 29694 (java) S 29670 29670 23167 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 225775792 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681451686256 139682072349314 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29695] ppid=29670 vsize=8068220 memory=118828 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29695/stat : 29695 (java) S 29670 29670 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225775792 8261857280 29707 33554432000 4194304 4196468 140724508543680 139680926393376 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29696] ppid=29670 vsize=8068220 memory=118828 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29696/stat : 29696 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225775792 8261857280 29707 33554432000 4194304 4196468 140724508543680 139680657957744 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29697] ppid=29670 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29697/stat : 29697 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139680283449168 139682072356763 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29698] ppid=29670 vsize=8068220 memory=1412 CPUtime=0.08 cores=1,3,5,7
/proc/29688/task/29698/stat : 29698 (java) S 29670 29670 23167 0 -1 1077944384 753 0 0 0 8 0 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681450634096 139682072349314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29699] ppid=29670 vsize=8068220 memory=118828 CPUtime=0.09 cores=1,3,5,7
/proc/29688/task/29699/stat : 29699 (java) S 29670 29670 23167 0 -1 1077944384 201 0 0 0 9 0 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681449581296 139682072349314 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29700] ppid=29670 vsize=8068220 memory=1468 CPUtime=0.2 cores=1,3,5,7
/proc/29688/task/29700/stat : 29700 (java) S 29670 29670 23167 0 -1 1077944384 540 0 0 0 20 0 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681448528496 139682072349314 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29701] ppid=29670 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29701/stat : 29701 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139679785544416 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29702] ppid=29670 vsize=8068220 memory=868 CPUtime=1.4 cores=1,3,5,7
/proc/29688/task/29702/stat : 29702 (java) S 29670 29670 23167 0 -1 1077944384 165 0 0 0 66 74 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681447475888 139682072349314 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29704] ppid=29670 vsize=8068220 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29704/stat : 29704 (java) S 29670 29670 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225775860 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681439667392 139682072362777 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29706] ppid=29670 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29706/stat : 29706 (java) S 29670 29670 23167 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225775860 8261857280 29707 33554432000 4194304 4196468 140724508543680 139679248657680 139682072360093 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29707] ppid=29670 vsize=8068220 memory=118828 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29707/stat : 29707 (java) S 29670 29670 23167 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225775860 8261857280 29707 33554432000 4194304 4196468 140724508543680 139679382880400 139682072360093 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29708] ppid=29670 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29708/stat : 29708 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225775862 8261857280 29707 33554432000 4194304 4196468 140724508543680 139678980234912 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
Current children cumulated CPU time: 2453.13 s
Current children cumulated vsize: 8330132 KiB
Current children cumulated memory: 246256 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.05 2.10 3/222 29884
/proc/meminfo: memFree=15627056/32770624 swapFree=67108688/67108860
[pid=29670] ppid=29667 vsize=113128 memory=1468 CPUtime=18.33 cores=1,3,5,7
/proc/29670/stat : 29670 (scop.sh) S 29667 29670 23167 0 -1 4202496 590 36587 0 0 0 0 1769 64 20 0 1 0 225774872 115843072 367 33554432000 4194304 5098028 140734793620688 140734793617432 139853527069308 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26157056 140734793622593 140734793622791 140734793622791 140734793625549 0
/proc/29670/statm: 28282 367 311 221 0 87 0
[pid=29688] ppid=29670 vsize=8068220 memory=118828 CPUtime=2.64 cores=1,3,5,7
/proc/29688/stat : 29688 (java) S 29670 29670 23167 0 -1 1077944320 18090 0 0 0 183 81 0 0 20 0 19 0 225775789 8261857280 29707 33554432000 4194304 4196468 140724508543680 140724508526224 139682072338167 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
/proc/29688/statm: 2017055 29707 3146 1 0 1978454 0
[pid=29703] ppid=29688 vsize=148784 memory=125960 CPUtime=2492.18 cores=1,3,5,7
/proc/29703/stat : 29703 (minisat_release) R 29688 29670 23167 0 -1 4202496 228779 0 0 0 249198 20 0 0 20 0 1 0 225775860 152354816 31490 33554432000 4194304 4308513 140732492728256 140732492725256 4276151 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 38891520 140732492735604 140732492735702 140732492735702 140732492738501 0
/proc/29703/statm: 37196 31490 341 28 0 33436 0
[pid=29688/tid=29689] ppid=29670 vsize=8068220 memory=118828 CPUtime=0.74 cores=1,3,5,7
/proc/29688/task/29689/stat : 29689 (java) S 29670 29670 23167 0 -1 1077944384 15018 0 0 0 70 4 0 0 20 0 19 0 225775789 8261857280 29707 33554432000 4194304 4196468 140724508543680 139682044178320 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29690] ppid=29670 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29690/stat : 29690 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225775790 8261857280 29707 33554432000 4194304 4196468 140724508543680 139682076581008 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29691] ppid=29670 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29691/stat : 29691 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225775790 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681876749328 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29692] ppid=29670 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29692/stat : 29692 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225775790 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681875696528 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29693] ppid=29670 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29693/stat : 29693 (java) S 29670 29670 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225775790 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681874643728 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29694] ppid=29670 vsize=8068220 memory=1468 CPUtime=0.05 cores=1,3,5,7
/proc/29688/task/29694/stat : 29694 (java) S 29670 29670 23167 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 225775792 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681451686256 139682072349314 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29695] ppid=29670 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29695/stat : 29695 (java) S 29670 29670 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225775792 8261857280 29707 33554432000 4194304 4196468 140724508543680 139680926393376 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29696] ppid=29670 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29696/stat : 29696 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225775792 8261857280 29707 33554432000 4194304 4196468 140724508543680 139680657957744 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29697] ppid=29670 vsize=8068220 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29697/stat : 29697 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139680283449168 139682072356763 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29698] ppid=29670 vsize=8068220 memory=6580 CPUtime=0.08 cores=1,3,5,7
/proc/29688/task/29698/stat : 29698 (java) S 29670 29670 23167 0 -1 1077944384 753 0 0 0 8 0 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681450634096 139682072349314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29699] ppid=29670 vsize=8068220 memory=868 CPUtime=0.09 cores=1,3,5,7
/proc/29688/task/29699/stat : 29699 (java) S 29670 29670 23167 0 -1 1077944384 201 0 0 0 9 0 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681449581296 139682072349314 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29700] ppid=29670 vsize=8068220 memory=1808 CPUtime=0.2 cores=1,3,5,7
/proc/29688/task/29700/stat : 29700 (java) S 29670 29670 23167 0 -1 1077944384 540 0 0 0 20 0 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681448528496 139682072349314 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29701] ppid=29670 vsize=8068220 memory=61480 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29701/stat : 29701 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139679785544416 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29702] ppid=29670 vsize=8068220 memory=1224 CPUtime=1.43 cores=1,3,5,7
/proc/29688/task/29702/stat : 29702 (java) S 29670 29670 23167 0 -1 1077944384 169 0 0 0 67 76 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681447475888 139682072349314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29704] ppid=29670 vsize=8068220 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29704/stat : 29704 (java) S 29670 29670 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225775860 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681439667392 139682072362777 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29706] ppid=29670 vsize=8068220 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29706/stat : 29706 (java) S 29670 29670 23167 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225775860 8261857280 29707 33554432000 4194304 4196468 140724508543680 139679248657680 139682072360093 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29707] ppid=29670 vsize=8068220 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29707/stat : 29707 (java) S 29670 29670 23167 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225775860 8261857280 29707 33554432000 4194304 4196468 140724508543680 139679382880400 139682072360093 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29708] ppid=29670 vsize=8068220 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29708/stat : 29708 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225775862 8261857280 29707 33554432000 4194304 4196468 140724508543680 139678980234912 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
Current children cumulated CPU time: 2513.15 s
Current children cumulated vsize: 8330132 KiB
Current children cumulated memory: 246256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.2 s]
/proc/loadavg: 1.92 2.03 2.09 3/222 29884
/proc/meminfo: memFree=15504180/32770624 swapFree=67108688/67108860
[pid=29670] ppid=29667 vsize=113128 memory=1468 CPUtime=18.33 cores=1,3,5,7
/proc/29670/stat : 29670 (scop.sh) S 29667 29670 23167 0 -1 4202496 590 36587 0 0 0 0 1769 64 20 0 1 0 225774872 115843072 367 33554432000 4194304 5098028 140734793620688 140734793617432 139853527069308 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26157056 140734793622593 140734793622791 140734793622791 140734793625549 0
/proc/29670/statm: 28282 367 311 221 0 87 0
[pid=29688] ppid=29670 vsize=8068220 memory=118828 CPUtime=2.66 cores=1,3,5,7
/proc/29688/stat : 29688 (java) S 29670 29670 23167 0 -1 1077944320 18090 0 0 0 184 82 0 0 20 0 19 0 225775789 8261857280 29707 33554432000 4194304 4196468 140724508543680 140724508526224 139682072338167 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
/proc/29688/statm: 2017055 29707 3146 1 0 1978454 0
[pid=29703] ppid=29688 vsize=148784 memory=125960 CPUtime=2499.08 cores=1,3,5,7
/proc/29703/stat : 29703 (minisat_release) R 29688 29670 23167 0 -1 4202496 228790 0 0 0 249888 20 0 0 20 0 1 0 225775860 152354816 31490 33554432000 4194304 4308513 140732492728256 140732492725256 4250450 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 38891520 140732492735604 140732492735702 140732492735702 140732492738501 0
/proc/29703/statm: 37196 31490 341 28 0 33436 0
[pid=29688/tid=29689] ppid=29670 vsize=8068220 memory=1220 CPUtime=0.74 cores=1,3,5,7
/proc/29688/task/29689/stat : 29689 (java) S 29670 29670 23167 0 -1 1077944384 15018 0 0 0 70 4 0 0 20 0 19 0 225775789 8261857280 29707 33554432000 4194304 4196468 140724508543680 139682044178320 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29690] ppid=29670 vsize=8068220 memory=6580 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29690/stat : 29690 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225775790 8261857280 29707 33554432000 4194304 4196468 140724508543680 139682076581008 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29691] ppid=29670 vsize=8068220 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29691/stat : 29691 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225775790 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681876749328 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29692] ppid=29670 vsize=8068220 memory=4452 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29692/stat : 29692 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225775790 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681875696528 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29693] ppid=29670 vsize=8068220 memory=3732 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29693/stat : 29693 (java) S 29670 29670 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225775790 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681874643728 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29694] ppid=29670 vsize=8068220 memory=12668 CPUtime=0.05 cores=1,3,5,7
/proc/29688/task/29694/stat : 29694 (java) S 29670 29670 23167 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 225775792 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681451686256 139682072349314 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29695] ppid=29670 vsize=8068220 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29695/stat : 29695 (java) S 29670 29670 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225775792 8261857280 29707 33554432000 4194304 4196468 140724508543680 139680926393376 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29696] ppid=29670 vsize=8068220 memory=14888 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29696/stat : 29696 (java) S 29670 29670 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225775792 8261857280 29707 33554432000 4194304 4196468 140724508543680 139680657957744 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29697] ppid=29670 vsize=8068220 memory=3316 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29697/stat : 29697 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139680283449168 139682072356763 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29698] ppid=29670 vsize=8068220 memory=15768 CPUtime=0.08 cores=1,3,5,7
/proc/29688/task/29698/stat : 29698 (java) S 29670 29670 23167 0 -1 1077944384 753 0 0 0 8 0 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681450634096 139682072349314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29699] ppid=29670 vsize=8068220 memory=34724 CPUtime=0.09 cores=1,3,5,7
/proc/29688/task/29699/stat : 29699 (java) S 29670 29670 23167 0 -1 1077944384 201 0 0 0 9 0 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681449581296 139682072349314 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29700] ppid=29670 vsize=8068220 memory=1612 CPUtime=0.2 cores=1,3,5,7
/proc/29688/task/29700/stat : 29700 (java) S 29670 29670 23167 0 -1 1077944384 540 0 0 0 20 0 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681448528496 139682072349314 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29701] ppid=29670 vsize=8068220 memory=496 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29701/stat : 29701 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139679785544416 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29702] ppid=29670 vsize=8068220 memory=924 CPUtime=1.44 cores=1,3,5,7
/proc/29688/task/29702/stat : 29702 (java) S 29670 29670 23167 0 -1 1077944384 169 0 0 0 68 76 0 0 20 0 19 0 225775795 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681447475888 139682072349314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29704] ppid=29670 vsize=8068220 memory=1168 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29704/stat : 29704 (java) S 29670 29670 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225775860 8261857280 29707 33554432000 4194304 4196468 140724508543680 139681439667392 139682072362777 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29706] ppid=29670 vsize=8068220 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29706/stat : 29706 (java) S 29670 29670 23167 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225775860 8261857280 29707 33554432000 4194304 4196468 140724508543680 139679248657680 139682072360093 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29707] ppid=29670 vsize=8068220 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29707/stat : 29707 (java) S 29670 29670 23167 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225775860 8261857280 29707 33554432000 4194304 4196468 140724508543680 139679382880400 139682072360093 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
[pid=29688/tid=29708] ppid=29670 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/29688/task/29708/stat : 29708 (java) S 29670 29670 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225775862 8261857280 29707 33554432000 4194304 4196468 140724508543680 139678980234912 139682072348373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37314560 140724508550325 140724508550449 140724508550449 140724508553167 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 8330132 KiB
Current children cumulated memory: 246256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.21 s]
# the end of solver process 29670 was just reported to runsolver
# cumulated CPU time of all completed processes: user=17.6936 s, system=0.65099 s
[startup+2509.21 s]
# the end of solver process 29688 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.43 s, system=1.69219 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): 2509.21
CPU time (s): 2520.12
CPU user time (s): 2518.43
CPU system time (s): 1.69219
CPU usage (%): 100.435
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3102568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.43
system time used= 1.69219
maximum resident set size= 3101176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284342
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60954
involuntary context switches= 834
# summary of solver processes directly reported to runsolver:
# pid: 29670,29688
# total CPU time (s): 2520.12
# total CPU user time (s): 2518.43
# total CPU system time (s): 1.69219
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1078 second user time and 26.9212 second system time
The end