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-21281-serial-file.bin HOME/instance-4305637-1534067503.xml
0.54/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: Sun Aug 12 11:51:43 CEST 2018
0.66/0.54 c PID: 21284
0.66/0.54 c IP: 172.20.3.103
0.66/0.54 c HOST: node103.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.43/0.93 c (0,0) Parsing End
1.43/0.93 c (0,0) CSP: 98 int (0 aux), 0 bool (0 aux), 79 ctr, max domain size 78
1.43/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.43/0.93 c (0,0) Constraint Name Generate Begin
1.43/0.94 c (0,0) Ctr:HOME/instance-4305637-1534067503.xml,AllDifferent:Dist:Eq:IntVar
1.43/0.94 c (0,0) Constraint Name Generate End
1.43/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.43/0.94 c (0,0) CSP to CSPinCNF Begin
1.60/1.05 c (0,0) translated 8 (10%) constraints
1.60/1.08 c (0,0) translated 16 (20%) constraints
1.60/1.09 c (0,0) translated 24 (30%) constraints
1.82/1.11 c (0,0) translated 32 (40%) constraints
1.82/1.12 c (0,0) translated 40 (50%) constraints
1.82/1.13 c (0,0) translated 48 (60%) constraints
1.82/1.15 c (0,0) translated 56 (70%) constraints
1.82/1.16 c (0,0) translated 64 (80%) constraints
1.82/1.17 c (0,0) translated 72 (90%) constraints
2.05/1.23 c (0,0) translated 79 (100%) constraints
2.94/1.55 c (1,1) STATISTICS1:HOME/instance-4305637-1534067503.xml,AllDifferent:Dist:Eq:IntVar,98,3371,6006,78,77,3,6006:308;78:210;77:2926,78:1078;77:6314,77:2;21:2;2:3213;1:154,3:308;2:3136;1:196,
2.94/1.55 c (1,1) ==========================================
2.94/1.55 c (1,1) Both Encoding selects:
2.94/1.55 c (1,1) Order
2.94/1.55 c (1,1) ==========================================
2.94/1.59 c (1,1) translated 338 (10%) constraints
3.27/1.61 c (1,1) translated 675 (20%) constraints
3.27/1.64 c (1,1) translated 1012 (30%) constraints
3.27/1.66 c (1,1) translated 1349 (40%) constraints
3.27/1.68 c (1,1) translated 1686 (50%) constraints
3.57/1.70 c (1,1) translated 2023 (60%) constraints
3.57/1.72 c (1,1) translated 2360 (70%) constraints
3.57/1.74 c (1,1) translated 2697 (80%) constraints
3.57/1.76 c (1,1) translated 3034 (90%) constraints
3.57/1.78 c (1,1) translated 3371 (100%) constraints
3.57/1.78 c (1,1) CSP to CSPinCNF End
3.57/1.78 c (1,1) CSP: 98 int (0 aux), 0 bool (0 aux), 3371 ctr, max domain size 78
3.57/1.78 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.57/1.78 c (1,1) CSPinCNF Propagation Begin
3.91/1.83 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.91/1.83 c (1,1) CSPinCNF Propagation End
3.91/1.84 c (1,1) CSP: 98 int (0 aux), 0 bool (0 aux), 3371 ctr, max domain size 78
3.91/1.84 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.91/1.84 c (1,1) Simplify CSPinCNF Begin
4.86/2.11 c (1,1) Simplify CSPinCNF End
4.86/2.12 c (1,1) CSP: 98 int (0 aux), 6426 bool (6426 aux), 9797 ctr, max domain size 78
4.86/2.12 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.86/2.12 c (1,1) Calculate Precise Domain Begin
4.86/2.13 c (1,1) 0 values are removed by re-calculation
4.86/2.13 c (1,1) Calculate Precise Domain End
4.86/2.13 c (1,1) CSP: 98 int (0 aux), 6426 bool (6426 aux), 9797 ctr, max domain size 78
4.86/2.13 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.86/2.13 c (1,1) CSPinCNF to SatSolver Begin
8.68/4.58 c (4,3) 980 (10 %) CSP clauses are encoded (13895 SAT variables, 963458 SAT clauses)
9.01/4.74 c (4,3) 1960 (20 %) CSP clauses are encoded (13895 SAT variables, 1014014 SAT clauses)
9.16/4.87 c (4,4) 2940 (30 %) CSP clauses are encoded (13895 SAT variables, 1064622 SAT clauses)
9.26/5.00 c (4,4) 3919 (40 %) CSP clauses are encoded (13895 SAT variables, 1115229 SAT clauses)
9.49/5.13 c (4,4) 4899 (50 %) CSP clauses are encoded (13895 SAT variables, 1165837 SAT clauses)
9.59/5.26 c (4,4) 5879 (60 %) CSP clauses are encoded (13895 SAT variables, 1216445 SAT clauses)
9.68/5.38 c (4,4) 6858 (70 %) CSP clauses are encoded (13895 SAT variables, 1267052 SAT clauses)
9.92/5.51 c (4,4) 7838 (80 %) CSP clauses are encoded (13895 SAT variables, 1317660 SAT clauses)
10.08/5.65 c (5,4) 8818 (90 %) CSP clauses are encoded (13895 SAT variables, 1368344 SAT clauses)
10.20/5.77 c (5,4) 9797 (100 %) CSP clauses are encoded (13895 SAT variables, 1418875 SAT clauses)
10.20/5.77 c (5,4) Launch Command will be: minisat_release
10.20/5.77 c (5,4) CSPinCNF to SatSolver End
10.20/5.77 c (5,4) Heap : 209 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.37/5.84 c (5,5) STATISTICS2:HOME/instance-4305637-1534067503.xml,AllDifferent:Dist:Eq:IntVar,6524,9797,6006,78,77,3,6006:308;78:420;77:5852,78:1498;77:12166;2:12852,77:2;21:2;2:9639;1:154,3:308;2:6272;1:13048,
10.37/5.84 c (5,5) 13895 bool, 1418876 clause
10.37/5.84 c (5,5) Export Begin
10.68/5.93 c (5,5) Export to HOME/scop-21281-serial-file.bin
10.68/5.93 c (5,5) Export End
10.68/5.93 c (5,5) Export File Size: 0.02 MB
10.68/5.93 c (5,5) 0,0,1,1,1,1,5,STOP-AFTER(DIMACS)
10.68/5.93 c END-Prog: Sun Aug 12 11:51:49 CEST 2018
10.68/5.95 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21281-serial-file.bin
11.38/6.44 c (0,0) Read Serial File Begin
11.38/6.44 c (0,0) HOME/scop-21281-serial-file.bin
11.67/6.61 c (0,0) Read Serial File End
11.67/6.62
11.67/6.62 scop order+minisat_release (2018-07-31)
11.67/6.62 (Solving Process)
11.67/6.62
11.67/6.64 c BEGIN-Prog: Sun Aug 12 11:51:50 CEST 2018
11.67/6.64 c PID: 21299
11.67/6.64 c IP: 172.20.3.103
11.67/6.64 c HOST: node103.alineos.net
11.67/6.65 c (0,0) SatSolver.solve Begin
11.67/6.65 c (0,0) 0 bool, 0 clause
11.67/6.65 c (0,0) minisat_release HOME/instance-4305637-1534067503.xml-scop-21284.cnf
2520.01/2513.20 c (2506,0) receiving signal SIGTERM
2520.01/2513.20 s UNKNOWN
2520.01/2513.21 c (2506,0) SatSolver is killed by some reasons.
2520.01/2513.21 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.01/2513.21 c (scop.sh) Remove HOME/scop-21281-serial-file.bin.
2520.01/2513.21 c (scop.sh) Killing background jobs.
2520.01/2513.21 c (2506,0) TO,TO,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(Nothing)
2520.01/2513.21 c (2506,0) receiving signal SIGTERM
2520.01/2513.21 c END-Prog: Sun Aug 12 12:33:36 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (7831 MiB free)
memory of node 1: 16384 MiB (8755 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305637-1534067503/watcher-4305637-1534067503 -o /tmp/evaluation-result-4305637-1534067503/solver-4305637-1534067503 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20638 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305637-1534067503.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=21281, runsolver pid=21278
Current StackSize limit: 8192 KiB
[startup+0.100142 s]*
/proc/loadavg: 2.38 2.15 2.04 3/222 21298
/proc/meminfo: memFree=16922992/32770624 swapFree=67058736/67108860
[pid=21281] ppid=21278 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21281/stat : 21281 (scop.sh) S 21278 21281 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224313474 115843072 348 33554432000 4194304 5098028 140726590885280 140726590882536 139824416359036 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17571840 140726590886977 140726590887175 140726590887175 140726590889933 0
/proc/21281/statm: 28282 348 296 221 0 87 0
[pid=21284] ppid=21281 vsize=15012476 memory=73084 CPUtime=0.11 cores=1,3,5,7
/proc/21284/stat : 21284 (java) S 21281 21281 20606 0 -1 1077944320 6895 0 0 0 9 2 0 0 20 0 15 0 224313474 15372775424 18271 33554432000 4194304 4196468 140730411913280 140730411895824 140145304014583 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
/proc/21284/statm: 3753119 18271 2769 1 0 3715579 0
[pid=21284/tid=21285] ppid=21281 vsize=15012476 memory=-6150928374978363329 CPUtime=0.08 cores=1,3,5,7
/proc/21284/task/21285/stat : 21285 (java) R 21281 21281 20606 0 -1 4202560 4976 0 0 0 7 1 0 0 20 0 15 0 224313475 15372775424 18271 33554432000 4194304 4196468 140730411913280 140145275826568 140145284290290 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21286] ppid=21281 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21286/stat : 21286 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224313476 15372775424 18271 33554432000 4194304 4196468 140730411913280 140145308256912 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21287] ppid=21281 vsize=15012476 memory=140011184277120 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21287/stat : 21287 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224313477 15372775424 18271 33554432000 4194304 4196468 140730411913280 140145122413072 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21288] ppid=21281 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21288/stat : 21288 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224313477 15372775424 18271 33554432000 4194304 4196468 140730411913280 140145121360272 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21289] ppid=21281 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21289/stat : 21289 (java) S 21281 21281 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224313477 15372775424 18271 33554432000 4194304 4196468 140730411913280 140145120307472 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21290] ppid=21281 vsize=15012476 memory=140011184277120 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21290/stat : 21290 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224313478 15372775424 18271 33554432000 4194304 4196468 140730411913280 140144341597040 140145304025730 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21291] ppid=21281 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21291/stat : 21291 (java) S 21281 21281 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224313478 15372775424 18271 33554432000 4194304 4196468 140730411913280 140143843337760 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21292] ppid=21281 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21292/stat : 21292 (java) S 21281 21281 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224313479 15372775424 18337 33554432000 4194304 4196468 140730411913280 140143574902128 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21293] ppid=21281 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21293/stat : 21293 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224313481 15372775424 18337 33554432000 4194304 4196468 140730411913280 140143200393552 140145304033179 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21294] ppid=21281 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21294/stat : 21294 (java) S 21281 21281 20606 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 224313481 15372775424 18337 33554432000 4194304 4196468 140730411913280 140144340543856 140145304025730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21295] ppid=21281 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21295/stat : 21295 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224313481 15372775424 18337 33554432000 4194304 4196468 140730411913280 140144339491056 140145304025730 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21296] ppid=21281 vsize=15012476 memory=140011184277120 CPUtime=0.01 cores=1,3,5,7
/proc/21284/task/21296/stat : 21296 (java) S 21281 21281 20606 0 -1 1077944384 286 0 0 0 1 0 0 0 20 0 15 0 224313481 15372775424 18337 33554432000 4194304 4196468 140730411913280 140144338438256 140145304025730 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21297] ppid=21281 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21297/stat : 21297 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224313481 15372775424 18337 33554432000 4194304 4196468 140730411913280 140142702487776 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21298] ppid=21281 vsize=15012476 memory=140011184277120 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21298/stat : 21298 (java) S 21281 21281 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224313481 15372775424 18337 33554432000 4194304 4196468 140730411913280 140144337386672 140145304025730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74476 KiB
[startup+0.210667 s]*
/proc/loadavg: 2.38 2.15 2.04 3/222 21298
/proc/meminfo: memFree=16909660/32770624 swapFree=67058736/67108860
[pid=21281] ppid=21278 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21281/stat : 21281 (scop.sh) S 21278 21281 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224313474 115843072 348 33554432000 4194304 5098028 140726590885280 140726590882536 139824416359036 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17571840 140726590886977 140726590887175 140726590887175 140726590889933 0
/proc/21281/statm: 28282 348 296 221 0 87 0
[pid=21284] ppid=21281 vsize=15012476 memory=86124 CPUtime=0.26 cores=1,3,5,7
/proc/21284/stat : 21284 (java) S 21281 21281 20606 0 -1 1077944320 10397 0 0 0 23 3 0 0 20 0 15 0 224313474 15372775424 21531 33554432000 4194304 4196468 140730411913280 140730411895824 140145304014583 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
/proc/21284/statm: 3753119 21531 2878 1 0 3715579 0
[pid=21284/tid=21285] ppid=21281 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/21284/task/21285/stat : 21285 (java) R 21281 21281 20606 0 -1 4202560 8296 0 0 0 17 2 0 0 20 0 15 0 224313475 15372775424 21531 33554432000 4194304 4196468 140730411913280 140145275840976 140145304026518 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21286] ppid=21281 vsize=15012476 memory=545 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21286/stat : 21286 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224313476 15372775424 21531 33554432000 4194304 4196468 140730411913280 140145308256912 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21287] ppid=21281 vsize=15012476 memory=140011185440351 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21287/stat : 21287 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224313477 15372775424 21531 33554432000 4194304 4196468 140730411913280 140145122413072 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21288] ppid=21281 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21288/stat : 21288 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224313477 15372775424 21531 33554432000 4194304 4196468 140730411913280 140145121360272 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21289] ppid=21281 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21289/stat : 21289 (java) S 21281 21281 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224313477 15372775424 21531 33554432000 4194304 4196468 140730411913280 140145120307472 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21290] ppid=21281 vsize=15012476 memory=140011184277120 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21290/stat : 21290 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224313478 15372775424 21531 33554432000 4194304 4196468 140730411913280 140144341597040 140145304025730 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21291] ppid=21281 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21291/stat : 21291 (java) S 21281 21281 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224313478 15372775424 21531 33554432000 4194304 4196468 140730411913280 140143843337760 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21292] ppid=21281 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21292/stat : 21292 (java) S 21281 21281 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224313479 15372775424 21531 33554432000 4194304 4196468 140730411913280 140143574902128 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21293] ppid=21281 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21293/stat : 21293 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224313481 15372775424 21531 33554432000 4194304 4196468 140730411913280 140143200393552 140145304033179 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21294] ppid=21281 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21284/task/21294/stat : 21294 (java) R 21281 21281 20606 0 -1 4202560 447 0 0 0 1 0 0 0 20 0 15 0 224313481 15372775424 21531 33554432000 4194304 4196468 140730411913280 140144340535504 140145304035930 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21295] ppid=21281 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21295/stat : 21295 (java) R 21281 21281 20606 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 224313481 15372775424 21531 33554432000 4194304 4196468 140730411913280 140144339491152 140145304024789 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21296] ppid=21281 vsize=15012476 memory=140011184277120 CPUtime=0.03 cores=1,3,5,7
/proc/21284/task/21296/stat : 21296 (java) R 21281 21281 20606 0 -1 4202560 304 0 0 0 3 0 0 0 20 0 15 0 224313481 15372775424 21531 33554432000 4194304 4196468 140730411913280 140144338438256 140145304026518 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21297] ppid=21281 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21297/stat : 21297 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224313481 15372775424 21531 33554432000 4194304 4196468 140730411913280 140142702487776 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21298] ppid=21281 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21298/stat : 21298 (java) S 21281 21281 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224313481 15372775424 21531 33554432000 4194304 4196468 140730411913280 140144337386672 140145304025730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87516 KiB
[startup+0.310696 s]*
/proc/loadavg: 2.38 2.15 2.04 3/222 21298
/proc/meminfo: memFree=16905628/32770624 swapFree=67058736/67108860
[pid=21281] ppid=21278 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21281/stat : 21281 (scop.sh) S 21278 21281 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224313474 115843072 348 33554432000 4194304 5098028 140726590885280 140726590882536 139824416359036 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17571840 140726590886977 140726590887175 140726590887175 140726590889933 0
/proc/21281/statm: 28282 348 296 221 0 87 0
[pid=21284] ppid=21281 vsize=15012476 memory=89912 CPUtime=0.43 cores=1,3,5,7
/proc/21284/stat : 21284 (java) S 21281 21281 20606 0 -1 1077944320 10940 0 0 0 40 3 0 0 20 0 15 0 224313474 15372775424 22478 33554432000 4194304 4196468 140730411913280 140730411895824 140145304014583 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
/proc/21284/statm: 3753119 22478 3015 1 0 3715579 0
[pid=21284/tid=21285] ppid=21281 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/21284/task/21285/stat : 21285 (java) R 21281 21281 20606 0 -1 4202560 8677 0 0 0 27 2 0 0 20 0 15 0 224313475 15372775424 22478 33554432000 4194304 4196468 140730411913280 140145275809584 140145288095070 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21286] ppid=21281 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21286/stat : 21286 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224313476 15372775424 22478 33554432000 4194304 4196468 140730411913280 140145308256912 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21287] ppid=21281 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21287/stat : 21287 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224313477 15372775424 22478 33554432000 4194304 4196468 140730411913280 140145122413072 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21288] ppid=21281 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21288/stat : 21288 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224313477 15372775424 22478 33554432000 4194304 4196468 140730411913280 140145121360272 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21289] ppid=21281 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21289/stat : 21289 (java) S 21281 21281 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224313477 15372775424 22478 33554432000 4194304 4196468 140730411913280 140145120307472 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21290] ppid=21281 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21290/stat : 21290 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224313478 15372775424 22478 33554432000 4194304 4196468 140730411913280 140144341597040 140145304025730 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21291] ppid=21281 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21291/stat : 21291 (java) S 21281 21281 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224313478 15372775424 22478 33554432000 4194304 4196468 140730411913280 140143843337760 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21292] ppid=21281 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21292/stat : 21292 (java) S 21281 21281 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224313479 15372775424 22478 33554432000 4194304 4196468 140730411913280 140143574902128 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21293] ppid=21281 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21293/stat : 21293 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224313481 15372775424 22478 33554432000 4194304 4196468 140730411913280 140143200393552 140145304033179 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21294] ppid=21281 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21284/task/21294/stat : 21294 (java) R 21281 21281 20606 0 -1 1077944384 535 0 0 0 2 0 0 0 20 0 15 0 224313481 15372775424 22478 33554432000 4194304 4196468 140730411913280 140144340543856 140145304025730 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21295] ppid=21281 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21284/task/21295/stat : 21295 (java) R 21281 21281 20606 0 -1 4202560 77 0 0 0 2 0 0 0 20 0 15 0 224313481 15372775424 22478 33554432000 4194304 4196468 140730411913280 140144339491056 140145285192523 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21296] ppid=21281 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21284/task/21296/stat : 21296 (java) R 21281 21281 20606 0 -1 4202560 323 0 0 0 7 0 0 0 20 0 15 0 224313481 15372775424 22478 33554432000 4194304 4196468 140730411913280 140144338438256 140145282975422 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21297] ppid=21281 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21297/stat : 21297 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224313481 15372775424 22478 33554432000 4194304 4196468 140730411913280 140142702487776 140145304024789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21298] ppid=21281 vsize=15012476 memory=3617295605882232881 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21298/stat : 21298 (java) S 21281 21281 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224313481 15372775424 22478 33554432000 4194304 4196468 140730411913280 140144337386672 140145304025730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91304 KiB
[startup+0.701185 s]
/proc/loadavg: 2.38 2.15 2.04 3/222 21298
/proc/meminfo: memFree=16881196/32770624 swapFree=67058736/67108860
[pid=21281] ppid=21278 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21281/stat : 21281 (scop.sh) S 21278 21281 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224313474 115843072 348 33554432000 4194304 5098028 140726590885280 140726590882536 139824416359036 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17571840 140726590886977 140726590887175 140726590887175 140726590889933 0
/proc/21281/statm: 28282 348 296 221 0 87 0
[pid=21284] ppid=21281 vsize=15020872 memory=129620 CPUtime=1.01 cores=1,3,5,7
/proc/21284/stat : 21284 (java) S 21281 21281 20606 0 -1 1077944320 18135 0 0 0 96 5 0 0 20 0 15 0 224313474 15381372928 32405 33554432000 4194304 4196468 140730411913280 140730411895824 140145304014583 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
/proc/21284/statm: 3755218 32405 3151 1 0 3716603 0
[pid=21284/tid=21285] ppid=21281 vsize=15020872 memory=2372 CPUtime=0.66 cores=1,3,5,7
/proc/21284/task/21285/stat : 21285 (java) R 21281 21281 20606 0 -1 4202560 15419 0 0 0 62 4 0 0 20 0 15 0 224313475 15381372928 32405 33554432000 4194304 4196468 140730411913280 140145275844352 140145288095070 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21286] ppid=21281 vsize=15020872 memory=116 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21286/stat : 21286 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224313476 15381372928 32405 33554432000 4194304 4196468 140730411913280 140145308256912 140145304024789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21287] ppid=21281 vsize=15020872 memory=12922 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21287/stat : 21287 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224313477 15381372928 32405 33554432000 4194304 4196468 140730411913280 140145122413072 140145304024789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21288] ppid=21281 vsize=15020872 memory=448505 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21288/stat : 21288 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224313477 15381372928 32405 33554432000 4194304 4196468 140730411913280 140145121360272 140145304024789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21289] ppid=21281 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21289/stat : 21289 (java) S 21281 21281 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224313477 15381372928 32405 33554432000 4194304 4196468 140730411913280 140145120307472 140145304024789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21290] ppid=21281 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21290/stat : 21290 (java) S 21281 21281 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224313478 15381372928 32405 33554432000 4194304 4196468 140730411913280 140144341597040 140145304025730 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21291] ppid=21281 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21291/stat : 21291 (java) S 21281 21281 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224313478 15381372928 32405 33554432000 4194304 4196468 140730411913280 140143843337760 140145304024789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21292] ppid=21281 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21292/stat : 21292 (java) S 21281 21281 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224313479 15381372928 32405 33554432000 4194304 4196468 140730411913280 140143574902128 140145304024789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21293] ppid=21281 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21293/stat : 21293 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224313481 15381372928 32405 33554432000 4194304 4196468 140730411913280 140143200393552 140145304033179 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21294] ppid=21281 vsize=15020872 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/21284/task/21294/stat : 21294 (java) R 21281 21281 20606 0 -1 4202560 602 0 0 0 6 0 0 0 20 0 15 0 224313481 15381372928 32405 33554432000 4194304 4196468 140730411913280 140144340532848 140145289139889 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21295] ppid=21281 vsize=15020872 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21284/task/21295/stat : 21295 (java) R 21281 21281 20606 0 -1 1077944384 321 0 0 0 9 0 0 0 20 0 15 0 224313481 15381372928 32405 33554432000 4194304 4196468 140730411913280 140144339491056 140145304025730 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21296] ppid=21281 vsize=15020872 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/21284/task/21296/stat : 21296 (java) S 21281 21281 20606 0 -1 1077944384 459 0 0 0 16 0 0 0 20 0 15 0 224313481 15381372928 32405 33554432000 4194304 4196468 140730411913280 140144338438256 140145304025730 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21297] ppid=21281 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21297/stat : 21297 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224313481 15381372928 32405 33554432000 4194304 4196468 140730411913280 140142702487776 140145304024789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
[pid=21284/tid=21298] ppid=21281 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21284/task/21298/stat : 21298 (java) S 21281 21281 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224313481 15381372928 32405 33554432000 4194304 4196468 140730411913280 140144337386672 140145304025730 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33222656 140730411918343 140730411918641 140730411918641 140730411921359 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131012 KiB
[startup+1.50144 s]
/proc/loadavg: 2.38 2.15 2.04 3/222 21298
/proc/meminfo: memFree=16852412/32770624 swapFree=67058736/67108860
[pid=21281] ppid=21278 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21281/stat : 21281 (scop.sh) S 21278 21281 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224313474 115843072 348 33554432000 4194304 5098028 140726590885280 140726590882536 139824416359036 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17571840 140726590886977 140726590887175 140726590887175 140726590889933 0
/proc/21281/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=21299/tid=21302] ppid=21281 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21302/stat : 21302 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224314071 8261857280 28613 33554432000 4194304 4196468 140725360813344 140596119538576 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21303] ppid=21281 vsize=8068220 memory=114452 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21303/stat : 21303 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224314072 8261857280 28613 33554432000 4194304 4196468 140725360813344 140596118486032 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21304] ppid=21281 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21304/stat : 21304 (java) S 21281 21281 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224314072 8261857280 28613 33554432000 4194304 4196468 140725360813344 140596117433488 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21305] ppid=21281 vsize=8068220 memory=114452 CPUtime=0.05 cores=1,3,5,7
/proc/21299/task/21305/stat : 21305 (java) S 21281 21281 20606 0 -1 1077944384 8 0 0 0 2 3 0 0 20 0 19 0 224314073 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595627378672 140596315138690 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21306] ppid=21281 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21306/stat : 21306 (java) S 21281 21281 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224314073 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595150447520 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21307] ppid=21281 vsize=8068220 memory=114452 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21307/stat : 21307 (java) S 21281 21281 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224314074 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595016225776 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21308] ppid=21281 vsize=8068220 memory=114452 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21308/stat : 21308 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140594641721552 140596315146139 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21309] ppid=21281 vsize=8068220 memory=123056 CPUtime=0.09 cores=1,3,5,7
/proc/21299/task/21309/stat : 21309 (java) S 21281 21281 20606 0 -1 1077944384 664 0 0 0 9 0 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595626326512 140596315138690 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21310] ppid=21281 vsize=8068220 memory=1468 CPUtime=0.08 cores=1,3,5,7
/proc/21299/task/21310/stat : 21310 (java) S 21281 21281 20606 0 -1 1077944384 295 0 0 0 8 0 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595625273968 140596315138690 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21311] ppid=21281 vsize=8068220 memory=114452 CPUtime=0.2 cores=1,3,5,7
/proc/21299/task/21311/stat : 21311 (java) S 21281 21281 20606 0 -1 1077944384 576 0 0 0 19 1 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595624221424 140596315138690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21312] ppid=21281 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21312/stat : 21312 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140594143816800 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21313] ppid=21281 vsize=8068220 memory=1468 CPUtime=1.37 cores=1,3,5,7
/proc/21299/task/21313/stat : 21313 (java) S 21281 21281 20606 0 -1 1077944384 163 0 0 0 65 72 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595623168304 140596315138690 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21315] ppid=21281 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21315/stat : 21315 (java) S 21281 21281 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224314141 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595621782592 140596315152153 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21317] ppid=21281 vsize=8068220 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21317/stat : 21317 (java) S 21281 21281 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224314142 8261857280 28613 33554432000 4194304 4196468 140725360813344 140593606930064 140596315149469 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21318] ppid=21281 vsize=8068220 memory=59820 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21318/stat : 21318 (java) S 21281 21281 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224314142 8261857280 28613 33554432000 4194304 4196468 140725360813344 140593741152016 140596315149469 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21319] ppid=21281 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21319/stat : 21319 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224314144 8261857280 28613 33554432000 4194304 4196468 140725360813344 140593338506784 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
Current children cumulated CPU time: 2449.05 s
Current children cumulated vsize: 8330656 KiB
Current children cumulated memory: 238976 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/227 21614
/proc/meminfo: memFree=16794164/32770624 swapFree=67058736/67108860
[pid=21281] ppid=21278 vsize=113128 memory=1468 CPUtime=10.79 cores=1,3,5,7
/proc/21281/stat : 21281 (scop.sh) S 21278 21281 20606 0 -1 4202496 590 29948 0 0 0 0 1019 60 20 0 1 0 224313474 115843072 367 33554432000 4194304 5098028 140726590885280 140726590882024 139824416359036 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17571840 140726590886977 140726590887175 140726590887175 140726590889933 0
/proc/21281/statm: 28282 367 311 221 0 87 0
[pid=21299] ppid=21281 vsize=8068220 memory=114452 CPUtime=2.63 cores=1,3,5,7
/proc/21299/stat : 21299 (java) S 21281 21281 20606 0 -1 1077944320 18570 0 0 0 181 82 0 0 20 0 19 0 224314070 8261857280 28613 33554432000 4194304 4196468 140725360813344 140725360795888 140596315127543 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
/proc/21299/statm: 2017055 28613 3155 1 0 1978454 0
[pid=21314] ppid=21299 vsize=150088 memory=119456 CPUtime=2495.69 cores=1,3,5,7
/proc/21314/stat : 21314 (minisat_release) R 21299 21281 20606 0 -1 4202496 805061 0 0 0 249457 112 0 0 20 0 1 0 224314141 153690112 29864 33554432000 4194304 4308513 140735090438928 140735090436376 4275992 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 27299840 140735090443380 140735090443478 140735090443478 140735090446277 0
/proc/21314/statm: 37522 29864 342 28 0 33762 0
[pid=21299/tid=21300] ppid=21281 vsize=8068220 memory=114452 CPUtime=0.73 cores=1,3,5,7
/proc/21299/task/21300/stat : 21300 (java) S 21281 21281 20606 0 -1 1077944384 15436 0 0 0 68 5 0 0 20 0 19 0 224314070 8261857280 28613 33554432000 4194304 4196468 140725360813344 140596286967696 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21301] ppid=21281 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21301/stat : 21301 (java) S 21281 21281 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224314071 8261857280 28613 33554432000 4194304 4196468 140725360813344 140596319370000 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21302] ppid=21281 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21302/stat : 21302 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224314071 8261857280 28613 33554432000 4194304 4196468 140725360813344 140596119538576 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21303] ppid=21281 vsize=8068220 memory=114452 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21303/stat : 21303 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224314072 8261857280 28613 33554432000 4194304 4196468 140725360813344 140596118486032 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21304] ppid=21281 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21304/stat : 21304 (java) S 21281 21281 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224314072 8261857280 28613 33554432000 4194304 4196468 140725360813344 140596117433488 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21305] ppid=21281 vsize=8068220 memory=1468 CPUtime=0.05 cores=1,3,5,7
/proc/21299/task/21305/stat : 21305 (java) S 21281 21281 20606 0 -1 1077944384 8 0 0 0 2 3 0 0 20 0 19 0 224314073 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595627378672 140596315138690 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21306] ppid=21281 vsize=8068220 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21306/stat : 21306 (java) S 21281 21281 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224314073 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595150447520 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21307] ppid=21281 vsize=8068220 memory=126636 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21307/stat : 21307 (java) S 21281 21281 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224314074 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595016225776 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21308] ppid=21281 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21308/stat : 21308 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140594641721552 140596315146139 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21309] ppid=21281 vsize=8068220 memory=114452 CPUtime=0.09 cores=1,3,5,7
/proc/21299/task/21309/stat : 21309 (java) S 21281 21281 20606 0 -1 1077944384 664 0 0 0 9 0 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595626326512 140596315138690 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21310] ppid=21281 vsize=8068220 memory=1024 CPUtime=0.09 cores=1,3,5,7
/proc/21299/task/21310/stat : 21310 (java) S 21281 21281 20606 0 -1 1077944384 295 0 0 0 8 1 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595625273968 140596315138690 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21311] ppid=21281 vsize=8068220 memory=1468 CPUtime=0.2 cores=1,3,5,7
/proc/21299/task/21311/stat : 21311 (java) S 21281 21281 20606 0 -1 1077944384 576 0 0 0 19 1 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595624221424 140596315138690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21312] ppid=21281 vsize=8068220 memory=780 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21312/stat : 21312 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140594143816800 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21313] ppid=21281 vsize=8068220 memory=1948 CPUtime=1.41 cores=1,3,5,7
/proc/21299/task/21313/stat : 21313 (java) S 21281 21281 20606 0 -1 1077944384 169 0 0 0 68 73 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595623168304 140596315138690 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21315] ppid=21281 vsize=8068220 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21315/stat : 21315 (java) S 21281 21281 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224314141 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595621782592 140596315152153 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21317] ppid=21281 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21317/stat : 21317 (java) S 21281 21281 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224314142 8261857280 28613 33554432000 4194304 4196468 140725360813344 140593606930064 140596315149469 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21318] ppid=21281 vsize=8068220 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21318/stat : 21318 (java) S 21281 21281 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224314142 8261857280 28613 33554432000 4194304 4196468 140725360813344 140593741152016 140596315149469 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21319] ppid=21281 vsize=8068220 memory=59820 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21319/stat : 21319 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224314144 8261857280 28613 33554432000 4194304 4196468 140725360813344 140593338506784 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
Current children cumulated CPU time: 2509.11 s
Current children cumulated vsize: 8331436 KiB
Current children cumulated memory: 235376 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.2 s]
/proc/loadavg: 2.13 2.04 2.05 3/227 21712
/proc/meminfo: memFree=16771992/32770624 swapFree=67058736/67108860
[pid=21281] ppid=21278 vsize=113128 memory=1468 CPUtime=10.79 cores=1,3,5,7
/proc/21281/stat : 21281 (scop.sh) S 21278 21281 20606 0 -1 4202496 590 29948 0 0 0 0 1019 60 20 0 1 0 224313474 115843072 367 33554432000 4194304 5098028 140726590885280 140726590882024 139824416359036 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17571840 140726590886977 140726590887175 140726590887175 140726590889933 0
/proc/21281/statm: 28282 367 311 221 0 87 0
[pid=21299] ppid=21281 vsize=8068220 memory=114452 CPUtime=2.63 cores=1,3,5,7
/proc/21299/stat : 21299 (java) S 21281 21281 20606 0 -1 1077944320 18570 0 0 0 181 82 0 0 20 0 19 0 224314070 8261857280 28613 33554432000 4194304 4196468 140725360813344 140725360795888 140596315127543 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
/proc/21299/statm: 2017055 28613 3155 1 0 1978454 0
[pid=21314] ppid=21299 vsize=150088 memory=121504 CPUtime=2506.59 cores=1,3,5,7
/proc/21314/stat : 21314 (minisat_release) R 21299 21281 20606 0 -1 4202496 805076 0 0 0 250547 112 0 0 20 0 1 0 224314141 153690112 30376 33554432000 4194304 4308513 140735090438928 140735090435832 4250379 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 27299840 140735090443380 140735090443478 140735090443478 140735090446277 0
/proc/21314/statm: 37522 30376 342 28 0 33762 0
[pid=21299/tid=21300] ppid=21281 vsize=8068220 memory=114452 CPUtime=0.73 cores=1,3,5,7
/proc/21299/task/21300/stat : 21300 (java) S 21281 21281 20606 0 -1 1077944384 15436 0 0 0 68 5 0 0 20 0 19 0 224314070 8261857280 28613 33554432000 4194304 4196468 140725360813344 140596286967696 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21301] ppid=21281 vsize=8068220 memory=121504 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21301/stat : 21301 (java) S 21281 21281 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224314071 8261857280 28613 33554432000 4194304 4196468 140725360813344 140596319370000 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21302] ppid=21281 vsize=8068220 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21302/stat : 21302 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224314071 8261857280 28613 33554432000 4194304 4196468 140725360813344 140596119538576 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21303] ppid=21281 vsize=8068220 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21303/stat : 21303 (java) S 21281 21281 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224314072 8261857280 28613 33554432000 4194304 4196468 140725360813344 140596118486032 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21304] ppid=21281 vsize=8068220 memory=-7824251494390453353 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21304/stat : 21304 (java) S 21281 21281 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224314072 8261857280 28613 33554432000 4194304 4196468 140725360813344 140596117433488 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21305] ppid=21281 vsize=8068220 memory=-7824251494390781030 CPUtime=0.05 cores=1,3,5,7
/proc/21299/task/21305/stat : 21305 (java) S 21281 21281 20606 0 -1 1077944384 8 0 0 0 2 3 0 0 20 0 19 0 224314073 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595627378672 140596315138690 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21306] ppid=21281 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21306/stat : 21306 (java) S 21281 21281 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224314073 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595150447520 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21307] ppid=21281 vsize=8068220 memory=-7824251494390781030 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21307/stat : 21307 (java) S 21281 21281 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224314074 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595016225776 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21308] ppid=21281 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21308/stat : 21308 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140594641721552 140596315146139 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21309] ppid=21281 vsize=8068220 memory=4096 CPUtime=0.09 cores=1,3,5,7
/proc/21299/task/21309/stat : 21309 (java) S 21281 21281 20606 0 -1 1077944384 664 0 0 0 9 0 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595626326512 140596315138690 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21310] ppid=21281 vsize=8068220 memory=1468 CPUtime=0.09 cores=1,3,5,7
/proc/21299/task/21310/stat : 21310 (java) S 21281 21281 20606 0 -1 1077944384 295 0 0 0 8 1 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595625273968 140596315138690 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21311] ppid=21281 vsize=8068220 memory=121504 CPUtime=0.2 cores=1,3,5,7
/proc/21299/task/21311/stat : 21311 (java) S 21281 21281 20606 0 -1 1077944384 576 0 0 0 19 1 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595624221424 140596315138690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21312] ppid=21281 vsize=8068220 memory=1024 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21312/stat : 21312 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140594143816800 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21313] ppid=21281 vsize=8068220 memory=3172 CPUtime=1.41 cores=1,3,5,7
/proc/21299/task/21313/stat : 21313 (java) S 21281 21281 20606 0 -1 1077944384 169 0 0 0 68 73 0 0 20 0 19 0 224314076 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595623168304 140596315138690 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21315] ppid=21281 vsize=8068220 memory=2076 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21315/stat : 21315 (java) S 21281 21281 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224314141 8261857280 28613 33554432000 4194304 4196468 140725360813344 140595621782592 140596315152153 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21317] ppid=21281 vsize=8068220 memory=9004 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21317/stat : 21317 (java) S 21281 21281 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224314142 8261857280 28613 33554432000 4194304 4196468 140725360813344 140593606930064 140596315149469 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21318] ppid=21281 vsize=8068220 memory=768 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21318/stat : 21318 (java) S 21281 21281 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224314142 8261857280 28613 33554432000 4194304 4196468 140725360813344 140593741152016 140596315149469 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
[pid=21299/tid=21319] ppid=21281 vsize=8068220 memory=736 CPUtime=0 cores=1,3,5,7
/proc/21299/task/21319/stat : 21319 (java) S 21281 21281 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224314144 8261857280 28613 33554432000 4194304 4196468 140725360813344 140593338506784 140596315137749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140725360817333 140725360817457 140725360817457 140725360820175 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 8331436 KiB
Current children cumulated memory: 237424 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.21 s]
# the end of solver process 21281 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.2013 s, system=0.608272 s
[startup+2513.22 s]
# the end of solver process 21299 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.5 s, system=2.5803 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): 2513.22
CPU time (s): 2520.08
CPU user time (s): 2517.5
CPU system time (s): 2.5803
CPU usage (%): 100.273
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 3020560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.5
system time used= 2.5803
maximum resident set size= 3020356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 854757
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59578
involuntary context switches= 679
# summary of solver processes directly reported to runsolver:
# pid: 21281,21299
# total CPU time (s): 2520.08
# total CPU user time (s): 2517.5
# total CPU system time (s): 2.5803
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9112 second user time and 27.589 second system time
The end