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-9106-serial-file.bin HOME/instance-4305617-1534135660.xml
0.55/0.51
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Mon Aug 13 06:47:41 CEST 2018
0.66/0.54 c PID: 9109
0.66/0.54 c IP: 172.20.3.150
0.66/0.54 c HOST: node150.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.39/1.15 c (0,0) Parsing End
2.39/1.16 c (0,0) CSP: 261 int (0 aux), 0 bool (0 aux), 118 ctr, max domain size 81
2.39/1.16 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.39/1.16 c (0,0) Constraint Name Generate Begin
2.39/1.17 c (0,0) Ctr:HOME/instance-4305617-1534135660.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.39/1.17 c (0,0) Constraint Name Generate End
2.39/1.17 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.39/1.17 c (0,0) CSP to CSPinCNF Begin
11.61/4.40 c (3,3) translated 12 (10%) constraints
15.28/6.69 c (6,6) translated 24 (20%) constraints
17.71/8.91 c (8,8) translated 36 (30%) constraints
20.24/11.10 c (10,10) translated 48 (40%) constraints
22.16/12.98 c (12,12) translated 59 (50%) constraints
24.37/15.02 c (14,14) translated 71 (60%) constraints
27.23/17.27 c (16,16) translated 83 (70%) constraints
27.23/17.27 c (16,16) translated 95 (80%) constraints
27.23/17.27 c (16,16) translated 107 (90%) constraints
27.23/17.27 c (16,16) translated 118 (100%) constraints
28.87/18.23 c (17,17) STATISTICS1:HOME/instance-4305617-1534135660.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,39222,244577,81,81,82,2,81:3240,81:19602;14:271656;2:420309;1:33993,82:81;81:2;5:3240;4:97686;3:44793;2:98739;1:36,2:3240;1:739116;0:81,
28.87/18.23 c (17,17) ==========================================
28.87/18.23 c (17,17) Both Encoding selects:
28.87/18.23 c (17,17) Order
28.87/18.23 c (17,17) ==========================================
30.53/18.81 c (18,17) translated 24458 (10%) constraints
30.87/19.17 c (18,18) translated 48916 (20%) constraints
31.28/19.54 c (19,18) translated 73374 (30%) constraints
31.68/19.91 c (19,19) translated 97831 (40%) constraints
31.98/20.28 c (19,19) translated 122289 (50%) constraints
32.39/20.65 c (20,19) translated 146747 (60%) constraints
32.80/21.02 c (20,20) translated 171204 (70%) constraints
33.10/21.39 c (20,20) translated 195662 (80%) constraints
34.70/22.06 c (21,20) translated 220120 (90%) constraints
35.09/22.43 c (21,21) translated 244577 (100%) constraints
35.09/22.43 c (21,21) CSP to CSPinCNF End
35.09/22.45 c (21,21) CSP: 261 int (0 aux), 38961 bool (38961 aux), 244613 ctr, max domain size 81
35.09/22.45 c (21,21) Heap : 555 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
35.09/22.45 c (21,21) CSPinCNF Propagation Begin
40.83/27.03 c (26,25) 11316 values, 60533 unsatisfiable literals, and 64982 valid clauses are removed
40.83/27.03 c (26,25) CSPinCNF Propagation End
40.83/27.04 c (26,25) CSP: 9897 int (9636 aux), 29325 bool (29325 aux), 179631 ctr, max domain size 81
40.83/27.04 c (26,25) Heap : 2665 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
40.83/27.04 c (26,25) Simplify CSPinCNF Begin
41.62/27.47 c (26,26) Simplify CSPinCNF End
41.62/27.48 c (26,26) CSP: 9897 int (9636 aux), 35805 bool (35805 aux), 186111 ctr, max domain size 81
41.62/27.48 c (26,26) Heap : 2885 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
41.62/27.48 c (26,26) Calculate Precise Domain Begin
41.62/27.49 c (26,26) 0 values are removed by re-calculation
41.62/27.49 c (26,26) Calculate Precise Domain End
41.73/27.50 c (26,26) CSP: 9897 int (9636 aux), 35805 bool (35805 aux), 186111 ctr, max domain size 81
41.73/27.50 c (26,26) Heap : 2885 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
41.73/27.50 c (26,26) CSPinCNF to SatSolver Begin
44.19/28.67 c (28,27) 18612 (10 %) CSP clauses are encoded (42477 SAT variables, 323602 SAT clauses)
44.39/28.77 c (28,27) 37223 (20 %) CSP clauses are encoded (42477 SAT variables, 342213 SAT clauses)
44.53/28.86 c (28,27) 55834 (30 %) CSP clauses are encoded (42477 SAT variables, 360824 SAT clauses)
44.63/28.95 c (28,27) 74445 (40 %) CSP clauses are encoded (42477 SAT variables, 379435 SAT clauses)
44.75/29.04 c (28,27) 93056 (50 %) CSP clauses are encoded (42477 SAT variables, 398046 SAT clauses)
44.86/29.13 c (28,27) 111667 (60 %) CSP clauses are encoded (42477 SAT variables, 416657 SAT clauses)
44.95/29.22 c (28,27) 130278 (70 %) CSP clauses are encoded (42477 SAT variables, 435268 SAT clauses)
45.06/29.31 c (28,27) 148889 (80 %) CSP clauses are encoded (42477 SAT variables, 453879 SAT clauses)
45.16/29.40 c (28,28) 167500 (90 %) CSP clauses are encoded (42477 SAT variables, 472490 SAT clauses)
45.16/29.49 c (28,28) 186111 (100 %) CSP clauses are encoded (42477 SAT variables, 491101 SAT clauses)
45.16/29.49 c (28,28) Launch Command will be: minisat_release
45.16/29.49 c (28,28) CSPinCNF to SatSolver End
45.16/29.49 c (28,28) Heap : 1519 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
45.86/29.99 c (29,28) STATISTICS2:HOME/instance-4305617-1534135660.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,45702,186111,81,81,81,2,81:2352;32:3500;4:628,81:15778;32:6244;14:219716;4:668;2:316653,81:50;49:1;32:28;5:2086;4:68220;3:32822;2:82904,2:6480;1:546099,
45.86/29.99 c (29,28) 42477 bool, 491102 clause
45.86/29.99 c (29,28) Export Begin
45.98/30.09 c (29,28) Export to HOME/scop-9106-serial-file.bin
45.98/30.09 c (29,28) Export End
45.98/30.10 c (29,28) Export File Size: 0.05 MB
45.98/30.10 c (29,28) 0,0,21,26,26,26,28,STOP-AFTER(DIMACS)
45.98/30.10 c END-Prog: Mon Aug 13 06:48:11 CEST 2018
46.18/30.13 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-9106-serial-file.bin
46.20/30.62 c (0,0) Read Serial File Begin
46.20/30.62 c (0,0) HOME/scop-9106-serial-file.bin
46.20/30.81 c (0,0) Read Serial File End
46.20/30.82
46.20/30.82 scop order+minisat_release (2018-07-31)
46.20/30.83 (Solving Process)
46.20/30.83
46.20/30.85 c BEGIN-Prog: Mon Aug 13 06:48:11 CEST 2018
46.20/30.85 c PID: 9124
46.20/30.85 c IP: 172.20.3.150
46.20/30.85 c HOST: node150.alineos.net
46.20/30.85 c (0,0) SatSolver.solve Begin
46.20/30.85 c (0,0) 0 bool, 0 clause
46.20/30.85 c (0,0) minisat_release HOME/instance-4305617-1534135660.xml-scop-9109.cnf
2520.10/2502.01 c (2471,0) receiving signal SIGTERM
2520.10/2502.01 s UNKNOWN
2520.10/2502.01 c (2471,0) SatSolver is killed by some reasons.
2520.10/2502.02 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.10/2502.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 (5587 MiB free)
memory of node 1: 16384 MiB (9794 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305617-1534135660/watcher-4305617-1534135660 -o /tmp/evaluation-result-4305617-1534135660/solver-4305617-1534135660 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534130664-8262 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305617-1534135660.xml
running on 4 cores: 0,2,4,6
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=9106, runsolver pid=9103
Current StackSize limit: 8192 KiB
[startup+0.100128 s]*
/proc/loadavg: 1.92 2.00 2.04 3/222 9123
/proc/meminfo: memFree=15691236/32770624 swapFree=67108792/67108860
[pid=9106] ppid=9103 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/9106/stat : 9106 (scop.sh) S 9103 9106 8231 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 231129315 115843072 348 33554432000 4194304 5098028 140729236620352 140729236617608 139721787462268 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28753920 140729236624449 140729236624647 140729236624647 140729236627405 0
/proc/9106/statm: 28282 348 296 221 0 87 0
[pid=9109] ppid=9106 vsize=15012476 memory=71672 CPUtime=0.1 cores=0,2,4,6
/proc/9109/stat : 9109 (java) S 9106 9106 8231 0 -1 1077944320 6055 0 0 0 9 1 0 0 20 0 15 0 231129315 15372775424 17918 33554432000 4194304 4196468 140735358545120 140735358527664 140075701071607 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
/proc/9109/statm: 3753119 17918 2770 1 0 3715579 0
[pid=9109/tid=9110] ppid=9106 vsize=15012476 memory=-6526411401870300574 CPUtime=0.09 cores=0,2,4,6
/proc/9109/task/9110/stat : 9110 (java) R 9106 9106 8231 0 -1 4202560 4111 0 0 0 8 1 0 0 20 0 15 0 231129316 15372775424 17918 33554432000 4194304 4196468 140735358545120 140075672883592 140075681346937 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9111] ppid=9106 vsize=15012476 memory=3472468530159564464 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9111/stat : 9111 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231129317 15372775424 17918 33554432000 4194304 4196468 140735358545120 140075705313808 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9112] ppid=9106 vsize=15012476 memory=140233931884160 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9112/stat : 9112 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231129317 15372775424 17918 33554432000 4194304 4196468 140735358545120 140075527809680 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9113] ppid=9106 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9113/stat : 9113 (java) S 9106 9106 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231129317 15372775424 17918 33554432000 4194304 4196468 140735358545120 140075160955152 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9114] ppid=9106 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9114/stat : 9114 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231129317 15372775424 17918 33554432000 4194304 4196468 140735358545120 140075159902608 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9115] ppid=9106 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9115/stat : 9115 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231129319 15372775424 17918 33554432000 4194304 4196468 140735358545120 140074537265904 140075701082754 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9116] ppid=9106 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9116/stat : 9116 (java) S 9106 9106 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231129319 15372775424 17918 33554432000 4194304 4196468 140735358545120 140074318554784 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9117] ppid=9106 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9117/stat : 9117 (java) S 9106 9106 8231 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231129319 15372775424 17918 33554432000 4194304 4196468 140735358545120 140074184332528 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9118] ppid=9106 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9118/stat : 9118 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231129322 15372775424 17918 33554432000 4194304 4196468 140735358545120 140073809828304 140075701090203 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9119] ppid=9106 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9119/stat : 9119 (java) S 9106 9106 8231 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 231129322 15372775424 17918 33554432000 4194304 4196468 140735358545120 140074536212720 140075701082754 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9120] ppid=9106 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9120/stat : 9120 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231129322 15372775424 17918 33554432000 4194304 4196468 140735358545120 140074535160176 140075701082754 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9121] ppid=9106 vsize=15012476 memory=140233931884160 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9121/stat : 9121 (java) S 9106 9106 8231 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 15 0 231129322 15372775424 17918 33554432000 4194304 4196468 140735358545120 140074534107120 140075701082754 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9122] ppid=9106 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9122/stat : 9122 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231129322 15372775424 17918 33554432000 4194304 4196468 140735358545120 140073311922528 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9123] ppid=9106 vsize=15012476 memory=140233931884160 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9123/stat : 9123 (java) S 9106 9106 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231129322 15372775424 17918 33554432000 4194304 4196468 140735358545120 140074533055536 140075701082754 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73064 KiB
[startup+0.210578 s]*
/proc/loadavg: 1.92 2.00 2.04 4/222 9123
/proc/meminfo: memFree=15677532/32770624 swapFree=67108792/67108860
[pid=9106] ppid=9103 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/9106/stat : 9106 (scop.sh) S 9103 9106 8231 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 231129315 115843072 348 33554432000 4194304 5098028 140729236620352 140729236617608 139721787462268 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28753920 140729236624449 140729236624647 140729236624647 140729236627405 0
/proc/9106/statm: 28282 348 296 221 0 87 0
[pid=9109] ppid=9106 vsize=15012476 memory=84948 CPUtime=0.25 cores=0,2,4,6
/proc/9109/stat : 9109 (java) S 9106 9106 8231 0 -1 1077944320 9551 0 0 0 23 2 0 0 20 0 15 0 231129315 15372775424 21237 33554432000 4194304 4196468 140735358545120 140735358527664 140075701071607 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
/proc/9109/statm: 3753119 21237 2928 1 0 3715579 0
[pid=9109/tid=9110] ppid=9106 vsize=15012476 memory=-8976644418600983157 CPUtime=0.19 cores=0,2,4,6
/proc/9109/task/9110/stat : 9110 (java) R 9106 9106 8231 0 -1 4202560 7425 0 0 0 18 1 0 0 20 0 15 0 231129316 15372775424 21237 33554432000 4194304 4196468 140735358545120 140075672898000 140075701083542 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9111] ppid=9106 vsize=15012476 memory=3472468530159564464 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9111/stat : 9111 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231129317 15372775424 21237 33554432000 4194304 4196468 140735358545120 140075705313808 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9112] ppid=9106 vsize=15012476 memory=140233931884160 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9112/stat : 9112 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231129317 15372775424 21237 33554432000 4194304 4196468 140735358545120 140075527809680 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9113] ppid=9106 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9113/stat : 9113 (java) S 9106 9106 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231129317 15372775424 21237 33554432000 4194304 4196468 140735358545120 140075160955152 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9114] ppid=9106 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9114/stat : 9114 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231129317 15372775424 21237 33554432000 4194304 4196468 140735358545120 140075159902608 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9115] ppid=9106 vsize=15012476 memory=140233931884160 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9115/stat : 9115 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231129319 15372775424 21237 33554432000 4194304 4196468 140735358545120 140074537265904 140075701082754 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9116] ppid=9106 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9116/stat : 9116 (java) S 9106 9106 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231129319 15372775424 21237 33554432000 4194304 4196468 140735358545120 140074318554784 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9117] ppid=9106 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9117/stat : 9117 (java) S 9106 9106 8231 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231129319 15372775424 21237 33554432000 4194304 4196468 140735358545120 140074184332528 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9118] ppid=9106 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9118/stat : 9118 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231129322 15372775424 21237 33554432000 4194304 4196468 140735358545120 140073809828304 140075701090203 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9119] ppid=9106 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9119/stat : 9119 (java) S 9106 9106 8231 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 15 0 231129322 15372775424 21237 33554432000 4194304 4196468 140735358545120 140074536212720 140075701082754 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9120] ppid=9106 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9120/stat : 9120 (java) S 9106 9106 8231 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 231129322 15372775424 21237 33554432000 4194304 4196468 140735358545120 140074535160176 140075701082754 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9121] ppid=9106 vsize=15012476 memory=140233931884160 CPUtime=0.03 cores=0,2,4,6
/proc/9109/task/9121/stat : 9121 (java) R 9106 9106 8231 0 -1 4202560 300 0 0 0 3 0 0 0 20 0 15 0 231129322 15372775424 21237 33554432000 4194304 4196468 140735358545120 140074534107120 140075685152094 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9122] ppid=9106 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9122/stat : 9122 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231129322 15372775424 21237 33554432000 4194304 4196468 140735358545120 140073311922528 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9123] ppid=9106 vsize=15012476 memory=140233931884160 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9123/stat : 9123 (java) S 9106 9106 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231129322 15372775424 21237 33554432000 4194304 4196468 140735358545120 140074533055536 140075701082754 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86340 KiB
[startup+0.310594 s]*
/proc/loadavg: 1.92 2.00 2.04 3/222 9123
/proc/meminfo: memFree=15673872/32770624 swapFree=67108792/67108860
[pid=9106] ppid=9103 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/9106/stat : 9106 (scop.sh) S 9103 9106 8231 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 231129315 115843072 348 33554432000 4194304 5098028 140729236620352 140729236617608 139721787462268 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28753920 140729236624449 140729236624647 140729236624647 140729236627405 0
/proc/9106/statm: 28282 348 296 221 0 87 0
[pid=9109] ppid=9106 vsize=15012476 memory=88212 CPUtime=0.42 cores=0,2,4,6
/proc/9109/stat : 9109 (java) S 9106 9106 8231 0 -1 1077944320 10090 0 0 0 40 2 0 0 20 0 15 0 231129315 15372775424 22053 33554432000 4194304 4196468 140735358545120 140735358527664 140075701071607 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
/proc/9109/statm: 3753119 22053 2969 1 0 3715579 0
[pid=9109/tid=9110] ppid=9106 vsize=15012476 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/9109/task/9110/stat : 9110 (java) R 9106 9106 8231 0 -1 4202560 7801 0 0 0 28 2 0 0 20 0 15 0 231129316 15372775424 22053 33554432000 4194304 4196468 140735358545120 140075672866608 140075685152094 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9111] ppid=9106 vsize=15012476 memory=3472468530159564464 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9111/stat : 9111 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231129317 15372775424 22053 33554432000 4194304 4196468 140735358545120 140075705313808 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9112] ppid=9106 vsize=15012476 memory=280467701222272 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9112/stat : 9112 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231129317 15372775424 22053 33554432000 4194304 4196468 140735358545120 140075527809680 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9113] ppid=9106 vsize=15012476 memory=280467538706208 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9113/stat : 9113 (java) S 9106 9106 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231129317 15372775424 22053 33554432000 4194304 4196468 140735358545120 140075160955152 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9114] ppid=9106 vsize=15012476 memory=140233769338127 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9114/stat : 9114 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231129317 15372775424 22053 33554432000 4194304 4196468 140735358545120 140075159902608 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9115] ppid=9106 vsize=15012476 memory=280467701229184 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9115/stat : 9115 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231129319 15372775424 22053 33554432000 4194304 4196468 140735358545120 140074537265904 140075701082754 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9116] ppid=9106 vsize=15012476 memory=140233769342735 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9116/stat : 9116 (java) S 9106 9106 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231129319 15372775424 22053 33554432000 4194304 4196468 140735358545120 140074318554784 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9117] ppid=9106 vsize=15012476 memory=140233769353968 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9117/stat : 9117 (java) S 9106 9106 8231 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231129319 15372775424 22053 33554432000 4194304 4196468 140735358545120 140074184332528 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9118] ppid=9106 vsize=15012476 memory=280467538717728 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9118/stat : 9118 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231129322 15372775424 22053 33554432000 4194304 4196468 140735358545120 140073809828304 140075701090203 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9119] ppid=9106 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9109/task/9119/stat : 9119 (java) R 9106 9106 8231 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 15 0 231129322 15372775424 22053 33554432000 4194304 4196468 140735358545120 140074536212720 140075701082754 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9120] ppid=9106 vsize=15012476 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/9109/task/9120/stat : 9120 (java) R 9106 9106 8231 0 -1 4202560 228 0 0 0 1 0 0 0 20 0 15 0 231129322 15372775424 22053 33554432000 4194304 4196468 140735358545120 140074535160176 140075681772210 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9121] ppid=9106 vsize=15012476 memory=140233931884160 CPUtime=0.07 cores=0,2,4,6
/proc/9109/task/9121/stat : 9121 (java) R 9106 9106 8231 0 -1 4202560 321 0 0 0 7 0 0 0 20 0 15 0 231129322 15372775424 22053 33554432000 4194304 4196468 140735358545120 140074534107120 140075682656469 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9122] ppid=9106 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9122/stat : 9122 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231129322 15372775424 22053 33554432000 4194304 4196468 140735358545120 140073311922528 140075701081813 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9123] ppid=9106 vsize=15012476 memory=140233931885552 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9123/stat : 9123 (java) S 9106 9106 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231129322 15372775424 22053 33554432000 4194304 4196468 140735358545120 140074533055536 140075701082754 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89604 KiB
[startup+0.702082 s]
/proc/loadavg: 1.92 2.00 2.04 3/222 9123
/proc/meminfo: memFree=15650060/32770624 swapFree=67108792/67108860
[pid=9106] ppid=9103 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/9106/stat : 9106 (scop.sh) S 9103 9106 8231 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 231129315 115843072 348 33554432000 4194304 5098028 140729236620352 140729236617608 139721787462268 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28753920 140729236624449 140729236624647 140729236624647 140729236627405 0
/proc/9106/statm: 28282 348 296 221 0 87 0
[pid=9109] ppid=9106 vsize=15020872 memory=127608 CPUtime=1.01 cores=0,2,4,6
/proc/9109/stat : 9109 (java) S 9106 9106 8231 0 -1 1077944320 16999 0 0 0 97 4 0 0 20 0 15 0 231129315 15381372928 31902 33554432000 4194304 4196468 140735358545120 140735358527664 140075701071607 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
/proc/9109/statm: 3755218 31902 3147 1 0 3716603 0
[pid=9109/tid=9110] ppid=9106 vsize=15020872 memory=53 CPUtime=0.67 cores=0,2,4,6
/proc/9109/task/9110/stat : 9110 (java) R 9106 9106 8231 0 -1 4202560 14316 0 0 0 64 3 0 0 20 0 15 0 231129316 15381372928 31902 33554432000 4194304 4196468 140735358545120 140075672905504 140075701093533 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9111] ppid=9106 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9111/stat : 9111 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231129317 15381372928 31902 33554432000 4194304 4196468 140735358545120 140075705313808 140075701081813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9112] ppid=9106 vsize=15020872 memory=8320808402719618869 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9112/stat : 9112 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231129317 15381372928 31902 33554432000 4194304 4196468 140735358545120 140075527809680 140075701081813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9113] ppid=9106 vsize=15020872 memory=7223880817056039022 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9113/stat : 9113 (java) S 9106 9106 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231129317 15381372928 31902 33554432000 4194304 4196468 140735358545120 140075160955152 140075701081813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9114] ppid=9106 vsize=15020872 memory=7588675599774802240 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9114/stat : 9114 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231129317 15381372928 31902 33554432000 4194304 4196468 140735358545120 140075159902608 140075701081813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9115] ppid=9106 vsize=15020872 memory=734122130331934768 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9115/stat : 9115 (java) S 9106 9106 8231 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231129319 15381372928 31902 33554432000 4194304 4196468 140735358545120 140074537265904 140075701082754 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9116] ppid=9106 vsize=15020872 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9116/stat : 9116 (java) S 9106 9106 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231129319 15381372928 31902 33554432000 4194304 4196468 140735358545120 140074318554784 140075701081813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9117] ppid=9106 vsize=15020872 memory=1264 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9117/stat : 9117 (java) S 9106 9106 8231 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231129319 15381372928 31902 33554432000 4194304 4196468 140735358545120 140074184332528 140075701081813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9118] ppid=9106 vsize=15020872 memory=7136 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9118/stat : 9118 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231129322 15381372928 31902 33554432000 4194304 4196468 140735358545120 140073809828304 140075701090203 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9119] ppid=9106 vsize=15020872 memory=748 CPUtime=0.1 cores=0,2,4,6
/proc/9109/task/9119/stat : 9119 (java) S 9106 9106 8231 0 -1 1077944384 622 0 0 0 10 0 0 0 20 0 15 0 231129322 15381372928 31902 33554432000 4194304 4196468 140735358545120 140074536212720 140075701082754 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9120] ppid=9106 vsize=15020872 memory=872 CPUtime=0.06 cores=0,2,4,6
/proc/9109/task/9120/stat : 9120 (java) S 9106 9106 8231 0 -1 1077944384 294 0 0 0 6 0 0 0 20 0 15 0 231129322 15381372928 31902 33554432000 4194304 4196468 140735358545120 140074535160176 140075701082754 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9121] ppid=9106 vsize=15020872 memory=1220 CPUtime=0.16 cores=0,2,4,6
/proc/9109/task/9121/stat : 9121 (java) S 9106 9106 8231 0 -1 1077944384 411 0 0 0 16 0 0 0 20 0 15 0 231129322 15381372928 31902 33554432000 4194304 4196468 140735358545120 140074534107120 140075701082754 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9122] ppid=9106 vsize=15020872 memory=1108 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9122/stat : 9122 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231129322 15381372928 31902 33554432000 4194304 4196468 140735358545120 140073311922528 140075701081813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
[pid=9109/tid=9123] ppid=9106 vsize=15020872 memory=15336 CPUtime=0 cores=0,2,4,6
/proc/9109/task/9123/stat : 9123 (java) S 9106 9106 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231129322 15381372928 31902 33554432000 4194304 4196468 140735358545120 140074533055536 140075701082754 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17215488 140735358551048 140735358551345 140735358551345 140735358554063 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129000 KiB
[startup+1.50358 s]
/proc/loadavg: 1.92 2.00 2.04 6/222 9123
/proc/meminfo: memFree=15592528/32770624 swapFree=67108792/67108860
[pid=9106] ppid=9103 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/9106/stat : 9106 (scop.sh) S 9103 9106 8231 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 231129315 115843072 348 33554432000 4194304 5098028 140729236620352 140729236617608 139721787462268 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28753920 140729236624449 140729236624647 140729236624647 140729236627405 0
/proc/9106/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=9124/tid=9127] ppid=9106 vsize=8068220 memory=118224 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9127/stat : 9127 (java) S 9106 9106 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231132330 8261857280 29556 33554432000 4194304 4196468 140727218785008 140160506632720 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9128] ppid=9106 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9128/stat : 9128 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231132330 8261857280 29556 33554432000 4194304 4196468 140727218785008 140160505579920 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9129] ppid=9106 vsize=8068220 memory=118224 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9129/stat : 9129 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231132330 8261857280 29556 33554432000 4194304 4196468 140727218785008 140160504527120 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9130] ppid=9106 vsize=8068220 memory=118224 CPUtime=0.04 cores=0,2,4,6
/proc/9124/task/9130/stat : 9130 (java) S 9106 9106 8231 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 231132331 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159812090736 140160702233218 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9131] ppid=9106 vsize=8068220 memory=118224 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9131/stat : 9131 (java) S 9106 9106 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231132332 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159613920800 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9132] ppid=9106 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9132/stat : 9132 (java) S 9106 9106 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231132332 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159345485168 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9133] ppid=9106 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9133/stat : 9133 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231132334 8261857280 29556 33554432000 4194304 4196468 140727218785008 140158970976592 140160702240667 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9134] ppid=9106 vsize=8068220 memory=118224 CPUtime=0.16 cores=0,2,4,6
/proc/9124/task/9134/stat : 9134 (java) S 9106 9106 8231 0 -1 1077944384 942 0 0 0 16 0 0 0 20 0 19 0 231132334 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159811037552 140160702233218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9135] ppid=9106 vsize=8068220 memory=156312 CPUtime=0.12 cores=0,2,4,6
/proc/9124/task/9135/stat : 9135 (java) S 9106 9106 8231 0 -1 1077944384 309 0 0 0 12 0 0 0 20 0 19 0 231132334 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159809984752 140160702233218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9136] ppid=9106 vsize=8068220 memory=8564 CPUtime=0.22 cores=0,2,4,6
/proc/9124/task/9136/stat : 9136 (java) S 9106 9106 8231 0 -1 1077944384 588 0 0 0 22 0 0 0 20 0 19 0 231132334 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159808931952 140160702233218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9137] ppid=9106 vsize=8068220 memory=12 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9137/stat : 9137 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231132335 8261857280 29556 33554432000 4194304 4196468 140727218785008 140158473070816 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9138] ppid=9106 vsize=8068220 memory=22 CPUtime=1.58 cores=0,2,4,6
/proc/9124/task/9138/stat : 9138 (java) S 9106 9106 8231 0 -1 1077944384 157 0 0 0 85 73 0 0 20 0 19 0 231132335 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159807880368 140160702233218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9140] ppid=9106 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9140/stat : 9140 (java) S 9106 9106 8231 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231132403 8261857280 29556 33554432000 4194304 4196468 140727218785008 140160017290944 140160702246681 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9142] ppid=9106 vsize=8068220 memory=4714330304578020402 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9142/stat : 9142 (java) S 9106 9106 8231 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 231132403 8261857280 29556 33554432000 4194304 4196468 140727218785008 140157936185136 140160702243997 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9143] ppid=9106 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9143/stat : 9143 (java) S 9106 9106 8231 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231132403 8261857280 29556 33554432000 4194304 4196468 140727218785008 140158070406832 140160702243997 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9144] ppid=9106 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9144/stat : 9144 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231132406 8261857280 29556 33554432000 4194304 4196468 140727218785008 140157667761312 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
Current children cumulated CPU time: 2400.33 s
Current children cumulated vsize: 8378244 KiB
Current children cumulated memory: 284196 KiB
[startup+2442.3 s]
/proc/loadavg: 2.11 2.14 2.09 3/227 9340
/proc/meminfo: memFree=15310020/32770624 swapFree=67108792/67108860
[pid=9106] ppid=9103 vsize=113128 memory=1468 CPUtime=46.2 cores=0,2,4,6
/proc/9106/stat : 9106 (scop.sh) S 9103 9106 8231 0 -1 4202496 588 55927 0 0 0 0 4499 121 20 0 1 0 231129315 115843072 367 33554432000 4194304 5098028 140729236620352 140729236617096 139721787462268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28753920 140729236624449 140729236624647 140729236624647 140729236627405 0
/proc/9106/statm: 28282 367 311 221 0 87 0
[pid=9124] ppid=9106 vsize=8068220 memory=118224 CPUtime=2.97 cores=0,2,4,6
/proc/9124/stat : 9124 (java) S 9106 9106 8231 0 -1 1077944320 18473 0 0 0 222 75 0 0 20 0 19 0 231132328 8261857280 29556 33554432000 4194304 4196468 140727218785008 140727218767552 140160702222071 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
/proc/9124/statm: 2017055 29556 3157 1 0 1978454 0
[pid=9139] ppid=9124 vsize=196896 memory=164504 CPUtime=2411.19 cores=0,2,4,6
/proc/9139/stat : 9139 (minisat_release) R 9124 9106 8231 0 -1 4202496 603854 0 0 0 240945 174 0 0 20 0 1 0 231132403 201621504 41126 33554432000 4194304 4308513 140735470396048 140735470393496 4275982 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 19218432 140735470400629 140735470400726 140735470400726 140735470403525 0
/proc/9139/statm: 49224 41126 342 28 0 45464 0
[pid=9124/tid=9125] ppid=9106 vsize=8068220 memory=118224 CPUtime=0.77 cores=0,2,4,6
/proc/9124/task/9125/stat : 9125 (java) S 9106 9106 8231 0 -1 1077944384 15062 0 0 0 71 6 0 0 20 0 19 0 231132329 8261857280 29556 33554432000 4194304 4196468 140727218785008 140160674062224 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9126] ppid=9106 vsize=8068220 memory=118224 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9126/stat : 9126 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231132330 8261857280 29556 33554432000 4194304 4196468 140727218785008 140160706464400 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9127] ppid=9106 vsize=8068220 memory=118224 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9127/stat : 9127 (java) S 9106 9106 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231132330 8261857280 29556 33554432000 4194304 4196468 140727218785008 140160506632720 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9128] ppid=9106 vsize=8068220 memory=118224 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9128/stat : 9128 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231132330 8261857280 29556 33554432000 4194304 4196468 140727218785008 140160505579920 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9129] ppid=9106 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9129/stat : 9129 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231132330 8261857280 29556 33554432000 4194304 4196468 140727218785008 140160504527120 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9130] ppid=9106 vsize=8068220 memory=118224 CPUtime=0.04 cores=0,2,4,6
/proc/9124/task/9130/stat : 9130 (java) S 9106 9106 8231 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 231132331 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159812090736 140160702233218 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9131] ppid=9106 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9131/stat : 9131 (java) S 9106 9106 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231132332 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159613920800 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9132] ppid=9106 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9132/stat : 9132 (java) S 9106 9106 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231132332 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159345485168 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9133] ppid=9106 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9133/stat : 9133 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231132334 8261857280 29556 33554432000 4194304 4196468 140727218785008 140158970976592 140160702240667 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9134] ppid=9106 vsize=8068220 memory=1468 CPUtime=0.16 cores=0,2,4,6
/proc/9124/task/9134/stat : 9134 (java) S 9106 9106 8231 0 -1 1077944384 942 0 0 0 16 0 0 0 20 0 19 0 231132334 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159811037552 140160702233218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9135] ppid=9106 vsize=8068220 memory=1468 CPUtime=0.12 cores=0,2,4,6
/proc/9124/task/9135/stat : 9135 (java) S 9106 9106 8231 0 -1 1077944384 309 0 0 0 12 0 0 0 20 0 19 0 231132334 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159809984752 140160702233218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9136] ppid=9106 vsize=8068220 memory=1468 CPUtime=0.22 cores=0,2,4,6
/proc/9124/task/9136/stat : 9136 (java) S 9106 9106 8231 0 -1 1077944384 588 0 0 0 22 0 0 0 20 0 19 0 231132334 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159808931952 140160702233218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9137] ppid=9106 vsize=8068220 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9137/stat : 9137 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231132335 8261857280 29556 33554432000 4194304 4196468 140727218785008 140158473070816 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9138] ppid=9106 vsize=8068220 memory=2380 CPUtime=1.62 cores=0,2,4,6
/proc/9124/task/9138/stat : 9138 (java) S 9106 9106 8231 0 -1 1077944384 161 0 0 0 87 75 0 0 20 0 19 0 231132335 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159807880368 140160702233218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9140] ppid=9106 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9140/stat : 9140 (java) S 9106 9106 8231 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231132403 8261857280 29556 33554432000 4194304 4196468 140727218785008 140160017290944 140160702246681 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9142] ppid=9106 vsize=8068220 memory=118224 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9142/stat : 9142 (java) S 9106 9106 8231 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 231132403 8261857280 29556 33554432000 4194304 4196468 140727218785008 140157936185136 140160702243997 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9143] ppid=9106 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9143/stat : 9143 (java) S 9106 9106 8231 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231132403 8261857280 29556 33554432000 4194304 4196468 140727218785008 140158070406832 140160702243997 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9144] ppid=9106 vsize=8068220 memory=118224 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9144/stat : 9144 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231132406 8261857280 29556 33554432000 4194304 4196468 140727218785008 140157667761312 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
Current children cumulated CPU time: 2460.36 s
Current children cumulated vsize: 8378244 KiB
Current children cumulated memory: 284196 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2502 s]*
/proc/loadavg: 2.04 2.11 2.09 3/227 9341
/proc/meminfo: memFree=15313108/32770624 swapFree=67108792/67108860
[pid=9106] ppid=9103 vsize=113128 memory=1468 CPUtime=46.2 cores=0,2,4,6
/proc/9106/stat : 9106 (scop.sh) S 9103 9106 8231 0 -1 4202496 588 55927 0 0 0 0 4499 121 20 0 1 0 231129315 115843072 367 33554432000 4194304 5098028 140729236620352 140729236617096 139721787462268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28753920 140729236624449 140729236624647 140729236624647 140729236627405 0
/proc/9106/statm: 28282 367 311 221 0 87 0
[pid=9124] ppid=9106 vsize=8068220 memory=118224 CPUtime=3 cores=0,2,4,6
/proc/9124/stat : 9124 (java) S 9106 9106 8231 0 -1 1077944320 18477 0 0 0 224 76 0 0 20 0 19 0 231132328 8261857280 29556 33554432000 4194304 4196468 140727218785008 140727218767552 140160702222071 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
/proc/9124/statm: 2017055 29556 3157 1 0 1978454 0
[pid=9139] ppid=9124 vsize=196896 memory=166820 CPUtime=2470.9 cores=0,2,4,6
/proc/9139/stat : 9139 (minisat_release) R 9124 9106 8231 0 -1 4202496 613176 0 0 0 246914 176 0 0 20 0 1 0 231132403 201621504 41705 33554432000 4194304 4308513 140735470396048 140735470393496 4262552 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 19218432 140735470400629 140735470400726 140735470400726 140735470403525 0
/proc/9139/statm: 49224 41705 342 28 0 45464 0
[pid=9124/tid=9125] ppid=9106 vsize=8068220 memory=-6733704525061579059 CPUtime=0.77 cores=0,2,4,6
/proc/9124/task/9125/stat : 9125 (java) S 9106 9106 8231 0 -1 1077944384 15062 0 0 0 71 6 0 0 20 0 19 0 231132329 8261857280 29556 33554432000 4194304 4196468 140727218785008 140160674062224 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9126] ppid=9106 vsize=8068220 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9126/stat : 9126 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231132330 8261857280 29556 33554432000 4194304 4196468 140727218785008 140160706464400 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9127] ppid=9106 vsize=8068220 memory=118224 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9127/stat : 9127 (java) S 9106 9106 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231132330 8261857280 29556 33554432000 4194304 4196468 140727218785008 140160506632720 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9128] ppid=9106 vsize=8068220 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9128/stat : 9128 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231132330 8261857280 29556 33554432000 4194304 4196468 140727218785008 140160505579920 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9129] ppid=9106 vsize=8068220 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9129/stat : 9129 (java) S 9106 9106 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231132330 8261857280 29556 33554432000 4194304 4196468 140727218785008 140160504527120 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9130] ppid=9106 vsize=8068220 memory=1108 CPUtime=0.04 cores=0,2,4,6
/proc/9124/task/9130/stat : 9130 (java) S 9106 9106 8231 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 231132331 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159812090736 140160702233218 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9131] ppid=9106 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9131/stat : 9131 (java) S 9106 9106 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231132332 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159613920800 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9132] ppid=9106 vsize=8068220 memory=280467539392064 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9132/stat : 9132 (java) S 9106 9106 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231132332 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159345485168 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9133] ppid=9106 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9133/stat : 9133 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231132334 8261857280 29556 33554432000 4194304 4196468 140727218785008 140158970976592 140160702240667 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9134] ppid=9106 vsize=8068220 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/9124/task/9134/stat : 9134 (java) S 9106 9106 8231 0 -1 1077944384 942 0 0 0 16 0 0 0 20 0 19 0 231132334 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159811037552 140160702233218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9135] ppid=9106 vsize=8068220 memory=1220 CPUtime=0.12 cores=0,2,4,6
/proc/9124/task/9135/stat : 9135 (java) S 9106 9106 8231 0 -1 1077944384 309 0 0 0 12 0 0 0 20 0 19 0 231132334 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159809984752 140160702233218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9136] ppid=9106 vsize=8068220 memory=2380 CPUtime=0.22 cores=0,2,4,6
/proc/9124/task/9136/stat : 9136 (java) S 9106 9106 8231 0 -1 1077944384 588 0 0 0 22 0 0 0 20 0 19 0 231132334 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159808931952 140160702233218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9137] ppid=9106 vsize=8068220 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9137/stat : 9137 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231132335 8261857280 29556 33554432000 4194304 4196468 140727218785008 140158473070816 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9138] ppid=9106 vsize=8068220 memory=3984 CPUtime=1.65 cores=0,2,4,6
/proc/9124/task/9138/stat : 9138 (java) S 9106 9106 8231 0 -1 1077944384 165 0 0 0 89 76 0 0 20 0 19 0 231132335 8261857280 29556 33554432000 4194304 4196468 140727218785008 140159807880368 140160702233218 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9140] ppid=9106 vsize=8068220 memory=-8412652160765825907 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9140/stat : 9140 (java) S 9106 9106 8231 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231132403 8261857280 29556 33554432000 4194304 4196468 140727218785008 140160017290944 140160702246681 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9142] ppid=9106 vsize=8068220 memory=2380 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9142/stat : 9142 (java) S 9106 9106 8231 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 231132403 8261857280 29556 33554432000 4194304 4196468 140727218785008 140157936185136 140160702243997 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9143] ppid=9106 vsize=8068220 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9143/stat : 9143 (java) S 9106 9106 8231 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231132403 8261857280 29556 33554432000 4194304 4196468 140727218785008 140158070406832 140160702243997 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
[pid=9124/tid=9144] ppid=9106 vsize=8068220 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/9124/task/9144/stat : 9144 (java) S 9106 9106 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231132406 8261857280 29556 33554432000 4194304 4196468 140727218785008 140157667761312 140160702232277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20074496 140727218791606 140727218791729 140727218791729 140727218794447 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 8378244 KiB
Current children cumulated memory: 286512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2502.02 s]
# the end of solver process 9106 was just reported to runsolver
# cumulated CPU time of all completed processes: user=44.9935 s, system=1.21558 s
[startup+2502.02 s]
# the end of solver process 9124 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.39 s, system=3.76561 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): 2502.02
CPU time (s): 2520.15
CPU user time (s): 2516.39
CPU system time (s): 3.76561
CPU usage (%): 100.725
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3543204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.39
system time used= 3.76561
maximum resident set size= 3542272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 688454
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60398
involuntary context switches= 3278
# summary of solver processes directly reported to runsolver:
# pid: 9106,9124
# total CPU time (s): 2520.15
# total CPU user time (s): 2516.39
# total CPU system time (s): 3.76561
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5967 second user time and 26.9256 second system time
The end