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-1394-serial-file.bin HOME/instance-4305711-1534128649.xml
0.54/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Mon Aug 13 04:50:50 CEST 2018
0.66/0.55 c PID: 1401
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.56/1.28 c (0,0) Parsing End
2.56/1.28 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 511 ctr, max domain size 25
2.56/1.28 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.56/1.28 c (0,0) Constraint Name Generate Begin
2.56/1.29 c (0,0) Ctr:HOME/instance-4305711-1534128649.xml,ExtensionConflict:ExtensionSupport:IntVar
2.56/1.29 c (0,0) Constraint Name Generate End
2.56/1.29 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.56/1.29 c (0,0) CSP to CSPinCNF Begin
5.93/2.37 c (1,1) translated 52 (10%) constraints
7.78/2.90 c (2,2) translated 103 (20%) constraints
9.18/3.51 c (2,2) translated 154 (30%) constraints
10.39/3.92 c (3,3) translated 205 (40%) constraints
11.30/4.26 c (3,3) translated 256 (50%) constraints
12.21/4.57 c (4,3) translated 307 (60%) constraints
13.13/4.86 c (4,4) translated 358 (70%) constraints
13.88/5.11 c (4,4) translated 409 (80%) constraints
14.27/5.35 c (4,4) translated 460 (90%) constraints
14.70/5.58 c (5,4) translated 511 (100%) constraints
15.69/5.95 c (5,5) STATISTICS1:HOME/instance-4305711-1534128649.xml,ExtensionConflict:ExtensionSupport:IntVar,406,67227,-1,25,26,1,,25:252529;2:5132,26:14;4:56537;3:9811;2:865,1:257661;0:14,
15.69/5.95 c (5,5) ==========================================
15.69/5.95 c (5,5) Both Encoding selects:
15.69/5.95 c (5,5) Order
15.69/5.95 c (5,5) ==========================================
16.25/6.15 c (5,5) translated 6723 (10%) constraints
16.50/6.28 c (5,5) translated 13446 (20%) constraints
16.73/6.39 c (5,5) translated 20169 (30%) constraints
16.94/6.50 c (5,5) translated 26891 (40%) constraints
17.04/6.61 c (6,5) translated 33614 (50%) constraints
17.14/6.73 c (6,5) translated 40337 (60%) constraints
17.24/6.84 c (6,6) translated 47059 (70%) constraints
17.35/6.96 c (6,6) translated 53782 (80%) constraints
17.45/7.08 c (6,6) translated 60505 (90%) constraints
17.55/7.19 c (6,6) translated 67227 (100%) constraints
17.55/7.19 c (6,6) CSP to CSPinCNF End
17.55/7.20 c (6,6) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
17.55/7.20 c (6,6) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.55/7.20 c (6,6) CSPinCNF Propagation Begin
18.99/7.73 c (7,6) 0 values, 5957 unsatisfiable literals, and 0 valid clauses are removed
18.99/7.73 c (7,6) CSPinCNF Propagation End
18.99/7.73 c (7,6) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
18.99/7.73 c (7,6) Heap : 281 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
18.99/7.73 c (7,6) Simplify CSPinCNF Begin
19.22/7.86 c (7,6) Simplify CSPinCNF End
19.22/7.86 c (7,6) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
19.22/7.86 c (7,6) Heap : 336 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.22/7.86 c (7,6) Calculate Precise Domain Begin
19.22/7.86 c (7,6) 0 values are removed by re-calculation
19.22/7.86 c (7,6) Calculate Precise Domain End
19.22/7.86 c (7,6) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
19.22/7.86 c (7,6) Heap : 336 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.22/7.87 c (7,6) CSPinCNF to SatSolver Begin
19.70/8.02 c (7,7) 6723 (10 %) CSP clauses are encoded (1694 SAT variables, 8010 SAT clauses)
19.70/8.07 c (7,7) 13446 (20 %) CSP clauses are encoded (1694 SAT variables, 14733 SAT clauses)
19.99/8.11 c (7,7) 20169 (30 %) CSP clauses are encoded (1694 SAT variables, 21456 SAT clauses)
19.99/8.14 c (7,7) 26891 (40 %) CSP clauses are encoded (1694 SAT variables, 28178 SAT clauses)
19.99/8.18 c (7,7) 33614 (50 %) CSP clauses are encoded (1694 SAT variables, 34901 SAT clauses)
20.11/8.21 c (7,7) 40337 (60 %) CSP clauses are encoded (1694 SAT variables, 41624 SAT clauses)
20.11/8.24 c (7,7) 47059 (70 %) CSP clauses are encoded (1694 SAT variables, 48346 SAT clauses)
20.11/8.28 c (7,7) 53782 (80 %) CSP clauses are encoded (1694 SAT variables, 55069 SAT clauses)
20.21/8.31 c (7,7) 60505 (90 %) CSP clauses are encoded (1694 SAT variables, 61792 SAT clauses)
20.21/8.34 c (7,7) 67227 (100 %) CSP clauses are encoded (1694 SAT variables, 68514 SAT clauses)
20.21/8.34 c (7,7) Launch Command will be: minisat_release
20.21/8.34 c (7,7) CSPinCNF to SatSolver End
20.21/8.34 c (7,7) Heap : 778 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.67/8.57 c (8,7) STATISTICS2:HOME/instance-4305711-1534128649.xml,ExtensionConflict:ExtensionSupport:IntVar,406,67227,-1,25,25,1,,25:246586;2:5132,25:14;4:51003;3:14936;2:1274,1:251718,
20.67/8.57 c (8,7) 1694 bool, 68515 clause
20.67/8.57 c (8,7) Export Begin
20.79/8.66 c (8,7) Export to HOME/scop-1394-serial-file.bin
20.79/8.66 c (8,7) Export End
20.79/8.66 c (8,7) Export File Size: 0.01 MB
20.79/8.66 c (8,7) 0,0,6,7,7,7,7,STOP-AFTER(DIMACS)
20.79/8.66 c END-Prog: Mon Aug 13 04:50:58 CEST 2018
20.79/8.68 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-1394-serial-file.bin
21.49/9.17 c (0,0) Read Serial File Begin
21.49/9.17 c (0,0) HOME/scop-1394-serial-file.bin
21.76/9.34 c (0,0) Read Serial File End
21.76/9.35
21.76/9.35 scop order+minisat_release (2018-07-31)
21.76/9.35 (Solving Process)
21.76/9.35
21.76/9.37 c BEGIN-Prog: Mon Aug 13 04:50:58 CEST 2018
21.76/9.37 c PID: 1453
21.76/9.37 c IP: 172.20.3.102
21.76/9.38 c HOST: node102.alineos.net
21.76/9.38 c (0,0) SatSolver.solve Begin
21.76/9.38 c (0,0) 0 bool, 0 clause
21.76/9.38 c (0,0) minisat_release HOME/instance-4305711-1534128649.xml-scop-1401.cnf
2520.01/2506.01 c (2496,0) SatSolver is killed by some reasons.
2520.01/2506.01 c (2496,0) receiving signal SIGTERM
2520.01/2506.01 s UNKNOWN
2520.01/2506.02 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.01/2506.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 (14496 MiB free)
memory of node 1: 16384 MiB (13739 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305711-1534128649/watcher-4305711-1534128649 -o /tmp/evaluation-result-4305711-1534128649/solver-4305711-1534128649 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534128649-1367 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305711-1534128649.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=1394, runsolver pid=1390
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 0.75 1.22 1.35 3/219 1431
/proc/meminfo: memFree=28794364/32770624 swapFree=67030660/67108860
[pid=1394] ppid=1390 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/1394/stat : 1394 (scop.sh) S 1390 1394 25256 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230428077 115843072 348 33554432000 4194304 5098028 140734901042352 140734901039608 139676248306300 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26374144 140734901044289 140734901044487 140734901044487 140734901047245 0
/proc/1394/statm: 28282 348 296 221 0 87 0
[pid=1401] ppid=1394 vsize=15012476 memory=71696 CPUtime=0.11 cores=1,3,5,7
/proc/1401/stat : 1401 (java) S 1394 1394 25256 0 -1 1077944320 6099 0 0 0 9 2 0 0 20 0 15 0 230428077 15372775424 17924 33554432000 4194304 4196468 140729814622592 140729814605136 140481816583927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
/proc/1401/statm: 3753119 17924 2744 1 0 3715579 0
[pid=1401/tid=1404] ppid=1394 vsize=15012476 memory=576460756329985062 CPUtime=0.08 cores=1,3,5,7
/proc/1401/task/1404/stat : 1404 (java) R 1394 1394 25256 0 -1 4202560 4242 0 0 0 7 1 0 0 20 0 15 0 230428078 15372775424 18055 33554432000 4194304 4196468 140729814622592 140481788395912 140481799770757 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1406] ppid=1394 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1406/stat : 1406 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 18055 33554432000 4194304 4196468 140729814622592 140481820826640 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1407] ppid=1394 vsize=15012476 memory=1209356 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1407/stat : 1407 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 18055 33554432000 4194304 4196468 140729814622592 140481611910288 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1408] ppid=1394 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1408/stat : 1408 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 18055 33554432000 4194304 4196468 140729814622592 140481610857232 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1409] ppid=1394 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1409/stat : 1409 (java) S 1394 1394 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 18055 33554432000 4194304 4196468 140729814622592 140481609804688 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1414] ppid=1394 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1414/stat : 1414 (java) S 1394 1394 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 18055 33554432000 4194304 4196468 140729814622592 140480585738480 140481816595074 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1416] ppid=1394 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1416/stat : 1416 (java) S 1394 1394 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 18055 33554432000 4194304 4196468 140729814622592 140480461399200 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1418] ppid=1394 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1418/stat : 1418 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 18055 33554432000 4194304 4196468 140729814622592 140480192963312 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1420] ppid=1394 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1420/stat : 1420 (java) S 1394 1394 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 18055 33554432000 4194304 4196468 140729814622592 140479818454992 140481816602523 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1421] ppid=1394 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1421/stat : 1421 (java) S 1394 1394 25256 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 18055 33554432000 4194304 4196468 140729814622592 140480584686320 140481816595074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1423] ppid=1394 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1423/stat : 1423 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 18055 33554432000 4194304 4196468 140729814622592 140480583633776 140481816595074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1425] ppid=1394 vsize=15012476 memory=140244955268736 CPUtime=0.01 cores=1,3,5,7
/proc/1401/task/1425/stat : 1425 (java) S 1394 1394 25256 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 230428084 15372775424 18055 33554432000 4194304 4196468 140729814622592 140480582580720 140481816595074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1428] ppid=1394 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1428/stat : 1428 (java) S 1394 1394 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 18055 33554432000 4194304 4196468 140729814622592 140479320550240 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1430] ppid=1394 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1430/stat : 1430 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 18055 33554432000 4194304 4196468 140729814622592 140480581528112 140481816595074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73088 KiB
[startup+0.210779 s]*
/proc/loadavg: 0.75 1.22 1.35 4/219 1431
/proc/meminfo: memFree=28766072/32770624 swapFree=67030660/67108860
[pid=1394] ppid=1390 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/1394/stat : 1394 (scop.sh) S 1390 1394 25256 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230428077 115843072 348 33554432000 4194304 5098028 140734901042352 140734901039608 139676248306300 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26374144 140734901044289 140734901044487 140734901044487 140734901047245 0
/proc/1394/statm: 28282 348 296 221 0 87 0
[pid=1401] ppid=1394 vsize=15012476 memory=85560 CPUtime=0.25 cores=1,3,5,7
/proc/1401/stat : 1401 (java) S 1394 1394 25256 0 -1 1077944320 9749 0 0 0 22 3 0 0 20 0 15 0 230428077 15372775424 21390 33554432000 4194304 4196468 140729814622592 140729814605136 140481816583927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
/proc/1401/statm: 3753119 21390 2875 1 0 3715579 0
[pid=1401/tid=1404] ppid=1394 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/1401/task/1404/stat : 1404 (java) R 1394 1394 25256 0 -1 4202560 7674 0 0 0 17 2 0 0 20 0 15 0 230428078 15372775424 21390 33554432000 4194304 4196468 140729814622592 140481788410320 140481816595862 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1406] ppid=1394 vsize=15012476 memory=4294976244 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1406/stat : 1406 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 21390 33554432000 4194304 4196468 140729814622592 140481820826640 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1407] ppid=1394 vsize=15012476 memory=3474724777711732384 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1407/stat : 1407 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 21390 33554432000 4194304 4196468 140729814622592 140481611910288 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1408] ppid=1394 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1408/stat : 1408 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 21390 33554432000 4194304 4196468 140729814622592 140481610857232 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1409] ppid=1394 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1409/stat : 1409 (java) S 1394 1394 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 21390 33554432000 4194304 4196468 140729814622592 140481609804688 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1414] ppid=1394 vsize=15012476 memory=140244955268736 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1414/stat : 1414 (java) S 1394 1394 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 21390 33554432000 4194304 4196468 140729814622592 140480585738480 140481816595074 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1416] ppid=1394 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1416/stat : 1416 (java) S 1394 1394 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 21390 33554432000 4194304 4196468 140729814622592 140480461399200 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1418] ppid=1394 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1418/stat : 1418 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 21390 33554432000 4194304 4196468 140729814622592 140480192963312 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1420] ppid=1394 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1420/stat : 1420 (java) S 1394 1394 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 21390 33554432000 4194304 4196468 140729814622592 140479818454992 140481816602523 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1421] ppid=1394 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1421/stat : 1421 (java) S 1394 1394 25256 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 21390 33554432000 4194304 4196468 140729814622592 140480584686320 140481816595074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1423] ppid=1394 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1423/stat : 1423 (java) R 1394 1394 25256 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 21390 33554432000 4194304 4196468 140729814622592 140480583633776 140481816595074 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1425] ppid=1394 vsize=15012476 memory=140244955268736 CPUtime=0.03 cores=1,3,5,7
/proc/1401/task/1425/stat : 1425 (java) R 1394 1394 25256 0 -1 4202560 291 0 0 0 3 0 0 0 20 0 15 0 230428084 15372775424 21390 33554432000 4194304 4196468 140729814622592 140480582580720 140481800664414 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1428] ppid=1394 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1428/stat : 1428 (java) S 1394 1394 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 21390 33554432000 4194304 4196468 140729814622592 140479320550240 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1430] ppid=1394 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1430/stat : 1430 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 21390 33554432000 4194304 4196468 140729814622592 140480581528112 140481816595074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86952 KiB
[startup+0.310726 s]*
/proc/loadavg: 0.75 1.22 1.35 3/219 1431
/proc/meminfo: memFree=28758164/32770624 swapFree=67030660/67108860
[pid=1394] ppid=1390 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/1394/stat : 1394 (scop.sh) S 1390 1394 25256 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230428077 115843072 348 33554432000 4194304 5098028 140734901042352 140734901039608 139676248306300 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26374144 140734901044289 140734901044487 140734901044487 140734901047245 0
/proc/1394/statm: 28282 348 296 221 0 87 0
[pid=1401] ppid=1394 vsize=15012476 memory=89692 CPUtime=0.42 cores=1,3,5,7
/proc/1401/stat : 1401 (java) S 1394 1394 25256 0 -1 1077944320 10374 0 0 0 39 3 0 0 20 0 15 0 230428077 15372775424 22423 33554432000 4194304 4196468 140729814622592 140729814605136 140481816583927 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
/proc/1401/statm: 3753119 22423 2980 1 0 3715579 0
[pid=1401/tid=1404] ppid=1394 vsize=15012476 memory=1398720917958146503 CPUtime=0.29 cores=1,3,5,7
/proc/1401/task/1404/stat : 1404 (java) R 1394 1394 25256 0 -1 4202560 8106 0 0 0 27 2 0 0 20 0 15 0 230428078 15372775424 22423 33554432000 4194304 4196468 140729814622592 140481788378928 140481283566728 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1406] ppid=1394 vsize=15012476 memory=31024 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1406/stat : 1406 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 22423 33554432000 4194304 4196468 140729814622592 140481820826640 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1407] ppid=1394 vsize=15012476 memory=11904 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1407/stat : 1407 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 22423 33554432000 4194304 4196468 140729814622592 140481611910288 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1408] ppid=1394 vsize=15012476 memory=492 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1408/stat : 1408 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 22423 33554432000 4194304 4196468 140729814622592 140481610857232 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1409] ppid=1394 vsize=15012476 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1409/stat : 1409 (java) S 1394 1394 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 22423 33554432000 4194304 4196468 140729814622592 140481609804688 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1414] ppid=1394 vsize=15012476 memory=932 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1414/stat : 1414 (java) S 1394 1394 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 22423 33554432000 4194304 4196468 140729814622592 140480585738480 140481816595074 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1416] ppid=1394 vsize=15012476 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1416/stat : 1416 (java) S 1394 1394 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 22423 33554432000 4194304 4196468 140729814622592 140480461399200 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1418] ppid=1394 vsize=15012476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1418/stat : 1418 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 22423 33554432000 4194304 4196468 140729814622592 140480192963312 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1420] ppid=1394 vsize=15012476 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1420/stat : 1420 (java) S 1394 1394 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 22423 33554432000 4194304 4196468 140729814622592 140479818454992 140481816602523 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1421] ppid=1394 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1401/task/1421/stat : 1421 (java) R 1394 1394 25256 0 -1 1077944384 516 0 0 0 2 0 0 0 20 0 15 0 230428084 15372775424 22423 33554432000 4194304 4196468 140729814622592 140480584686320 140481816595074 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1423] ppid=1394 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1401/task/1423/stat : 1423 (java) R 1394 1394 25256 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 15 0 230428084 15372775424 22423 33554432000 4194304 4196468 140729814622592 140480583633776 140481809568969 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1425] ppid=1394 vsize=15012476 memory=35809 CPUtime=0.07 cores=1,3,5,7
/proc/1401/task/1425/stat : 1425 (java) R 1394 1394 25256 0 -1 4202560 334 0 0 0 7 0 0 0 20 0 15 0 230428084 15372775424 22423 33554432000 4194304 4196468 140729814622592 140480582580720 140481816595862 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1428] ppid=1394 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1428/stat : 1428 (java) S 1394 1394 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 22423 33554432000 4194304 4196468 140729814622592 140479320550240 140481816594133 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1430] ppid=1394 vsize=15012476 memory=-1598831813028945288 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1430/stat : 1430 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 22423 33554432000 4194304 4196468 140729814622592 140480581528112 140481816595074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91084 KiB
[startup+0.706273 s]
/proc/loadavg: 0.75 1.22 1.35 5/219 1431
/proc/meminfo: memFree=28708920/32770624 swapFree=67030660/67108860
[pid=1394] ppid=1390 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/1394/stat : 1394 (scop.sh) S 1390 1394 25256 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230428077 115843072 348 33554432000 4194304 5098028 140734901042352 140734901039608 139676248306300 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26374144 140734901044289 140734901044487 140734901044487 140734901047245 0
/proc/1394/statm: 28282 348 296 221 0 87 0
[pid=1401] ppid=1394 vsize=15018748 memory=128676 CPUtime=1.04 cores=1,3,5,7
/proc/1401/stat : 1401 (java) S 1394 1394 25256 0 -1 1077944320 17335 0 0 0 98 6 0 0 20 0 15 0 230428077 15379197952 32169 33554432000 4194304 4196468 140729814622592 140729814605136 140481816583927 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
/proc/1401/statm: 3754687 32169 3142 1 0 3716091 0
[pid=1401/tid=1404] ppid=1394 vsize=15018748 memory=4571055222326267254 CPUtime=0.67 cores=1,3,5,7
/proc/1401/task/1404/stat : 1404 (java) R 1394 1394 25256 0 -1 4202560 14565 0 0 0 62 5 0 0 20 0 15 0 230428078 15379197952 32169 33554432000 4194304 4196468 140729814622592 140481788421056 140481816605853 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1406] ppid=1394 vsize=15018748 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1406/stat : 1406 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428079 15379197952 32169 33554432000 4194304 4196468 140729814622592 140481820826640 140481816594133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1407] ppid=1394 vsize=15018748 memory=7302420023548596560 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1407/stat : 1407 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428079 15379197952 32169 33554432000 4194304 4196468 140729814622592 140481611910288 140481816594133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1408] ppid=1394 vsize=15018748 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1408/stat : 1408 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428079 15379197952 32169 33554432000 4194304 4196468 140729814622592 140481610857232 140481816594133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1409] ppid=1394 vsize=15018748 memory=1684 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1409/stat : 1409 (java) S 1394 1394 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428079 15379197952 32169 33554432000 4194304 4196468 140729814622592 140481609804688 140481816594133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1414] ppid=1394 vsize=15018748 memory=768 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1414/stat : 1414 (java) S 1394 1394 25256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230428081 15379197952 32169 33554432000 4194304 4196468 140729814622592 140480585738480 140481816595074 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1416] ppid=1394 vsize=15018748 memory=5268 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1416/stat : 1416 (java) S 1394 1394 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230428081 15379197952 32169 33554432000 4194304 4196468 140729814622592 140480461399200 140481816594133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1418] ppid=1394 vsize=15018748 memory=11068 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1418/stat : 1418 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428081 15379197952 32169 33554432000 4194304 4196468 140729814622592 140480192963312 140481816594133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1420] ppid=1394 vsize=15018748 memory=1192 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1420/stat : 1420 (java) S 1394 1394 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230428084 15379197952 32169 33554432000 4194304 4196468 140729814622592 140479818454992 140481816602523 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1421] ppid=1394 vsize=15018748 memory=1520 CPUtime=0.1 cores=1,3,5,7
/proc/1401/task/1421/stat : 1421 (java) R 1394 1394 25256 0 -1 4202560 734 0 0 0 10 0 0 0 20 0 15 0 230428084 15379197952 32169 33554432000 4194304 4196468 140729814622592 140480584686320 140481816597836 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1423] ppid=1394 vsize=15018748 memory=2680 CPUtime=0.08 cores=1,3,5,7
/proc/1401/task/1423/stat : 1423 (java) R 1394 1394 25256 0 -1 4202560 196 0 0 0 8 0 0 0 20 0 15 0 230428084 15379197952 32169 33554432000 4194304 4196468 140729814622592 140480583633872 140481816605274 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1425] ppid=1394 vsize=15018748 memory=3160 CPUtime=0.17 cores=1,3,5,7
/proc/1401/task/1425/stat : 1425 (java) R 1394 1394 25256 0 -1 4202560 506 0 0 0 17 0 0 0 20 0 15 0 230428084 15379197952 32169 33554432000 4194304 4196468 140729814622592 140480582579136 140481795288694 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1428] ppid=1394 vsize=15018748 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1428/stat : 1428 (java) S 1394 1394 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230428084 15379197952 32169 33554432000 4194304 4196468 140729814622592 140479320550240 140481816594133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
[pid=1401/tid=1430] ppid=1394 vsize=15018748 memory=752 CPUtime=0 cores=1,3,5,7
/proc/1401/task/1430/stat : 1430 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428084 15379197952 32169 33554432000 4194304 4196468 140729814622592 140480581528112 140481816595074 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38608896 140729814631432 140729814631729 140729814631729 140729814634447 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 130068 KiB
[startup+1.50116 s]
/proc/loadavg: 0.75 1.22 1.35 7/219 1431
/proc/meminfo: memFree=28555580/32770624 swapFree=67030660/67108860
[pid=1394] ppid=1390 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/1394/stat : 1394 (scop.sh) S 1390 1394 25256 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230428077 115843072 348 33554432000 4194304 5098028 140734901042352 140734901039608 139676248306300 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26374144 140734901044289 140734901044487 140734901044487 140734901047245 0
/proc/1394/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=1453/tid=1456] ppid=1394 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1456/stat : 1456 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230428947 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089688291984 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1457] ppid=1394 vsize=8068220 memory=140244843452209 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1457/stat : 1457 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230428947 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089345390864 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1458] ppid=1394 vsize=8068220 memory=7810763844726514514 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1458/stat : 1458 (java) S 1394 1394 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230428947 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089344338320 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1459] ppid=1394 vsize=8068220 memory=1468 CPUtime=0.04 cores=1,3,5,7
/proc/1453/task/1459/stat : 1459 (java) S 1394 1394 25256 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 230428948 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089308052208 140089861565058 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1460] ppid=1394 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1460/stat : 1460 (java) S 1394 1394 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230428949 8261857280 29725 33554432000 4194304 4196468 140736496612192 140088679851680 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1461] ppid=1394 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1461/stat : 1461 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230428949 8261857280 29725 33554432000 4194304 4196468 140736496612192 140088411415792 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1462] ppid=1394 vsize=8068220 memory=118900 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1462/stat : 1462 (java) S 1394 1394 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230428951 8261857280 29725 33554432000 4194304 4196468 140736496612192 140088036907472 140089861572507 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1463] ppid=1394 vsize=8068220 memory=118900 CPUtime=0.08 cores=1,3,5,7
/proc/1453/task/1463/stat : 1463 (java) S 1394 1394 25256 0 -1 1077944384 494 0 0 0 8 0 0 0 20 0 19 0 230428951 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089306999024 140089861565058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1464] ppid=1394 vsize=8068220 memory=1468 CPUtime=0.09 cores=1,3,5,7
/proc/1453/task/1464/stat : 1464 (java) S 1394 1394 25256 0 -1 1077944384 460 0 0 0 9 0 0 0 20 0 19 0 230428951 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089305946480 140089861565058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1465] ppid=1394 vsize=8068220 memory=118900 CPUtime=0.21 cores=1,3,5,7
/proc/1453/task/1465/stat : 1465 (java) S 1394 1394 25256 0 -1 1077944384 530 0 0 0 21 0 0 0 20 0 19 0 230428951 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089304893424 140089861565058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1466] ppid=1394 vsize=8068220 memory=93760 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1466/stat : 1466 (java) S 1394 1394 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230428952 8261857280 29725 33554432000 4194304 4196468 140736496612192 140087539001696 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1467] ppid=1394 vsize=8068220 memory=-5059952977386882957 CPUtime=1.15 cores=1,3,5,7
/proc/1453/task/1467/stat : 1467 (java) S 1394 1394 25256 0 -1 1077944384 163 0 0 0 55 60 0 0 20 0 19 0 230428952 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089303841840 140089861565058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1469] ppid=1394 vsize=8068220 memory=1684 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1469/stat : 1469 (java) S 1394 1394 25256 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230429018 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089296033600 140089861578521 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1471] ppid=1394 vsize=8068220 memory=768 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1471/stat : 1471 (java) S 1394 1394 25256 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230429018 8261857280 29725 33554432000 4194304 4196468 140736496612192 140087002115984 140089861575837 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1472] ppid=1394 vsize=8068220 memory=118900 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1472/stat : 1472 (java) S 1394 1394 25256 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230429018 8261857280 29725 33554432000 4194304 4196468 140736496612192 140087136337424 140089861575837 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1473] ppid=1394 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1473/stat : 1473 (java) S 1394 1394 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230429020 8261857280 29725 33554432000 4194304 4196468 140736496612192 140086733692192 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
Current children cumulated CPU time: 2456.27 s
Current children cumulated vsize: 8293712 KiB
Current children cumulated memory: 214128 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/227 1672
/proc/meminfo: memFree=27228044/32770624 swapFree=67030660/67108860
[pid=1394] ppid=1390 vsize=113128 memory=1468 CPUtime=20.92 cores=1,3,5,7
/proc/1394/stat : 1394 (scop.sh) S 1390 1394 25256 0 -1 4202496 590 34949 0 0 0 0 2023 69 20 0 1 0 230428077 115843072 367 33554432000 4194304 5098028 140734901042352 140734901039096 139676248306300 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26374144 140734901044289 140734901044487 140734901044487 140734901047245 0
/proc/1394/statm: 28282 367 311 221 0 87 0
[pid=1453] ppid=1394 vsize=8068220 memory=118900 CPUtime=2.4 cores=1,3,5,7
/proc/1453/stat : 1453 (java) S 1394 1394 25256 0 -1 1077944320 18111 0 0 0 173 67 0 0 20 0 19 0 230428945 8261857280 29725 33554432000 4194304 4196468 140736496612192 140736496594736 140089861553911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
/proc/1453/statm: 2017055 29725 3150 1 0 1978454 0
[pid=1468] ppid=1453 vsize=112364 memory=93760 CPUtime=2492.98 cores=1,3,5,7
/proc/1468/stat : 1468 (minisat_release) R 1453 1394 25256 0 -1 4202496 135425 0 0 0 249281 17 0 0 20 0 1 0 230429017 115060736 23440 33554432000 4194304 4308513 140722872393104 140722872390104 4276036 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 17752064 140722872394869 140722872394966 140722872394966 140722872397765 0
/proc/1468/statm: 28091 23440 341 28 0 24331 0
[pid=1453/tid=1454] ppid=1394 vsize=8068220 memory=118900 CPUtime=0.74 cores=1,3,5,7
/proc/1453/task/1454/stat : 1454 (java) S 1394 1394 25256 0 -1 1077944384 15051 0 0 0 69 5 0 0 20 0 19 0 230428946 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089833394064 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1455] ppid=1394 vsize=8068220 memory=118900 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1455/stat : 1455 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230428947 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089865796112 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1456] ppid=1394 vsize=8068220 memory=118900 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1456/stat : 1456 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230428947 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089688291984 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1457] ppid=1394 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1457/stat : 1457 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230428947 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089345390864 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1458] ppid=1394 vsize=8068220 memory=118900 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1458/stat : 1458 (java) S 1394 1394 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230428947 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089344338320 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1459] ppid=1394 vsize=8068220 memory=1468 CPUtime=0.04 cores=1,3,5,7
/proc/1453/task/1459/stat : 1459 (java) S 1394 1394 25256 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 230428948 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089308052208 140089861565058 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1460] ppid=1394 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1460/stat : 1460 (java) S 1394 1394 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230428949 8261857280 29725 33554432000 4194304 4196468 140736496612192 140088679851680 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1461] ppid=1394 vsize=8068220 memory=118900 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1461/stat : 1461 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230428949 8261857280 29725 33554432000 4194304 4196468 140736496612192 140088411415792 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1462] ppid=1394 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1462/stat : 1462 (java) S 1394 1394 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230428951 8261857280 29725 33554432000 4194304 4196468 140736496612192 140088036907472 140089861572507 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1463] ppid=1394 vsize=8068220 memory=1468 CPUtime=0.08 cores=1,3,5,7
/proc/1453/task/1463/stat : 1463 (java) S 1394 1394 25256 0 -1 1077944384 494 0 0 0 8 0 0 0 20 0 19 0 230428951 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089306999024 140089861565058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1464] ppid=1394 vsize=8068220 memory=1468 CPUtime=0.09 cores=1,3,5,7
/proc/1453/task/1464/stat : 1464 (java) S 1394 1394 25256 0 -1 1077944384 460 0 0 0 9 0 0 0 20 0 19 0 230428951 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089305946480 140089861565058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1465] ppid=1394 vsize=8068220 memory=1468 CPUtime=0.21 cores=1,3,5,7
/proc/1453/task/1465/stat : 1465 (java) S 1394 1394 25256 0 -1 1077944384 530 0 0 0 21 0 0 0 20 0 19 0 230428951 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089304893424 140089861565058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1466] ppid=1394 vsize=8068220 memory=118900 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1466/stat : 1466 (java) S 1394 1394 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230428952 8261857280 29725 33554432000 4194304 4196468 140736496612192 140087539001696 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1467] ppid=1394 vsize=8068220 memory=93760 CPUtime=1.19 cores=1,3,5,7
/proc/1453/task/1467/stat : 1467 (java) S 1394 1394 25256 0 -1 1077944384 167 0 0 0 57 62 0 0 20 0 19 0 230428952 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089303841840 140089861565058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1469] ppid=1394 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1469/stat : 1469 (java) S 1394 1394 25256 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230429018 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089296033600 140089861578521 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1471] ppid=1394 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1471/stat : 1471 (java) S 1394 1394 25256 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230429018 8261857280 29725 33554432000 4194304 4196468 140736496612192 140087002115984 140089861575837 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1472] ppid=1394 vsize=8068220 memory=118900 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1472/stat : 1472 (java) S 1394 1394 25256 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230429018 8261857280 29725 33554432000 4194304 4196468 140736496612192 140087136337424 140089861575837 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1473] ppid=1394 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1473/stat : 1473 (java) S 1394 1394 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230429020 8261857280 29725 33554432000 4194304 4196468 140736496612192 140086733692192 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
Current children cumulated CPU time: 2516.3 s
Current children cumulated vsize: 8293712 KiB
Current children cumulated memory: 214128 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506 s]*
/proc/loadavg: 2.00 2.01 1.97 3/227 1672
/proc/meminfo: memFree=27228044/32770624 swapFree=67030660/67108860
[pid=1394] ppid=1390 vsize=113128 memory=1468 CPUtime=20.92 cores=1,3,5,7
/proc/1394/stat : 1394 (scop.sh) S 1390 1394 25256 0 -1 4202496 590 34949 0 0 0 0 2023 69 20 0 1 0 230428077 115843072 367 33554432000 4194304 5098028 140734901042352 140734901039096 139676248306300 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26374144 140734901044289 140734901044487 140734901044487 140734901047245 0
/proc/1394/statm: 28282 367 311 221 0 87 0
[pid=1453] ppid=1394 vsize=8068220 memory=118900 CPUtime=2.4 cores=1,3,5,7
/proc/1453/stat : 1453 (java) S 1394 1394 25256 0 -1 1077944320 18113 0 0 0 173 67 0 0 20 0 19 0 230428945 8261857280 29725 33554432000 4194304 4196468 140736496612192 140736496594736 140089861553911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
/proc/1453/statm: 2017055 29725 3150 1 0 1978454 0
[pid=1468] ppid=1453 vsize=112364 memory=93760 CPUtime=2496.69 cores=1,3,5,7
/proc/1468/stat : 1468 (minisat_release) R 1453 1394 25256 0 -1 4202496 135429 0 0 0 249652 17 0 0 20 0 1 0 230429017 115060736 23440 33554432000 4194304 4308513 140722872393104 140722872390104 4275992 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 17752064 140722872394869 140722872394966 140722872394966 140722872397765 0
/proc/1468/statm: 28091 23440 341 28 0 24331 0
[pid=1453/tid=1454] ppid=1394 vsize=8068220 memory=6935054825532540783 CPUtime=0.74 cores=1,3,5,7
/proc/1453/task/1454/stat : 1454 (java) S 1394 1394 25256 0 -1 1077944384 15051 0 0 0 69 5 0 0 20 0 19 0 230428946 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089833394064 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1455] ppid=1394 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1455/stat : 1455 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230428947 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089865796112 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1456] ppid=1394 vsize=8068220 memory=-7522837583061805196 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1456/stat : 1456 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230428947 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089688291984 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1457] ppid=1394 vsize=8068220 memory=-7533511066042274652 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1457/stat : 1457 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230428947 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089345390864 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1458] ppid=1394 vsize=8068220 memory=-7533511066073276320 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1458/stat : 1458 (java) S 1394 1394 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230428947 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089344338320 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1459] ppid=1394 vsize=8068220 memory=6933690356461705113 CPUtime=0.04 cores=1,3,5,7
/proc/1453/task/1459/stat : 1459 (java) S 1394 1394 25256 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 230428948 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089308052208 140089861565058 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1460] ppid=1394 vsize=8068220 memory=-7385037615208631145 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1460/stat : 1460 (java) S 1394 1394 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230428949 8261857280 29725 33554432000 4194304 4196468 140736496612192 140088679851680 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1461] ppid=1394 vsize=8068220 memory=-7522837583061805196 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1461/stat : 1461 (java) S 1394 1394 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230428949 8261857280 29725 33554432000 4194304 4196468 140736496612192 140088411415792 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1462] ppid=1394 vsize=8068220 memory=-7533511066042274652 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1462/stat : 1462 (java) S 1394 1394 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230428951 8261857280 29725 33554432000 4194304 4196468 140736496612192 140088036907472 140089861572507 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1463] ppid=1394 vsize=8068220 memory=-7533511066073276320 CPUtime=0.08 cores=1,3,5,7
/proc/1453/task/1463/stat : 1463 (java) S 1394 1394 25256 0 -1 1077944384 494 0 0 0 8 0 0 0 20 0 19 0 230428951 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089306999024 140089861565058 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1464] ppid=1394 vsize=8068220 memory=4137287014106042739 CPUtime=0.09 cores=1,3,5,7
/proc/1453/task/1464/stat : 1464 (java) S 1394 1394 25256 0 -1 1077944384 460 0 0 0 9 0 0 0 20 0 19 0 230428951 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089305946480 140089861565058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1465] ppid=1394 vsize=8068220 memory=6944658791478618170 CPUtime=0.21 cores=1,3,5,7
/proc/1453/task/1465/stat : 1465 (java) S 1394 1394 25256 0 -1 1077944384 530 0 0 0 21 0 0 0 20 0 19 0 230428951 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089304893424 140089861565058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1466] ppid=1394 vsize=8068220 memory=-7027409196973580132 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1466/stat : 1466 (java) S 1394 1394 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230428952 8261857280 29725 33554432000 4194304 4196468 140736496612192 140087539001696 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1467] ppid=1394 vsize=8068220 memory=4783210246327787616 CPUtime=1.19 cores=1,3,5,7
/proc/1453/task/1467/stat : 1467 (java) S 1394 1394 25256 0 -1 1077944384 169 0 0 0 57 62 0 0 20 0 19 0 230428952 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089303841840 140089861565058 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1469] ppid=1394 vsize=8068220 memory=6944656425123094137 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1469/stat : 1469 (java) S 1394 1394 25256 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230429018 8261857280 29725 33554432000 4194304 4196468 140736496612192 140089296033600 140089861578521 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1471] ppid=1394 vsize=8068220 memory=6933690305039933585 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1471/stat : 1471 (java) S 1394 1394 25256 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230429018 8261857280 29725 33554432000 4194304 4196468 140736496612192 140087002115984 140089861575837 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1472] ppid=1394 vsize=8068220 memory=8186646361124467522 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1472/stat : 1472 (java) S 1394 1394 25256 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230429018 8261857280 29725 33554432000 4194304 4196468 140736496612192 140087136337424 140089861575837 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
[pid=1453/tid=1473] ppid=1394 vsize=8068220 memory=1399943076149041524 CPUtime=0 cores=1,3,5,7
/proc/1453/task/1473/stat : 1473 (java) S 1394 1394 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230429020 8261857280 29725 33554432000 4194304 4196468 140736496612192 140086733692192 140089861564117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32493568 140736496616630 140736496616753 140736496616753 140736496619471 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 8293712 KiB
Current children cumulated memory: 214128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.02 s]
# the end of solver process 1394 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20.2381 s, system=0.700189 s
[startup+2506.02 s]
# the end of solver process 1453 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.51 s, system=1.56406 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): 2506.02
CPU time (s): 2520.07
CPU user time (s): 2518.51
CPU system time (s): 1.56406
CPU usage (%): 100.561
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 3106156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.51
system time used= 1.56406
maximum resident set size= 3106340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189365
page faults= 0
swaps= 0
block input operations= 528
block output operations= 4192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60007
involuntary context switches= 706
# summary of solver processes directly reported to runsolver:
# pid: 1394,1453
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.51
# total CPU system time (s): 1.56406
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0749 second user time and 28.7777 second system time
The end