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-30574-serial-file.bin HOME/instance-4305710-1534089643.xml
0.55/0.51
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 18:00:44 CEST 2018
0.67/0.54 c PID: 30577
0.67/0.54 c IP: 172.20.3.106
0.67/0.54 c HOST: node106.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.68/1.26 c (0,0) Parsing End
2.68/1.27 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 511 ctr, max domain size 25
2.68/1.27 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.68/1.27 c (0,0) Constraint Name Generate Begin
2.68/1.28 c (0,0) Ctr:HOME/instance-4305710-1534089643.xml,ExtensionConflict:ExtensionSupport:IntVar
2.68/1.28 c (0,0) Constraint Name Generate End
2.68/1.28 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.68/1.28 c (0,0) CSP to CSPinCNF Begin
5.58/2.25 c (1,1) translated 52 (10%) constraints
7.51/2.84 c (2,2) translated 103 (20%) constraints
9.03/3.33 c (2,2) translated 154 (30%) constraints
10.24/3.77 c (3,3) translated 205 (40%) constraints
11.48/4.17 c (3,3) translated 256 (50%) constraints
12.66/4.55 c (4,4) translated 307 (60%) constraints
13.48/4.83 c (4,4) translated 358 (70%) constraints
13.75/5.07 c (4,4) translated 409 (80%) constraints
14.10/5.30 c (4,4) translated 460 (90%) constraints
14.30/5.52 c (5,4) translated 511 (100%) constraints
15.50/5.99 c (5,5) STATISTICS1:HOME/instance-4305710-1534089643.xml,ExtensionConflict:ExtensionSupport:IntVar,331,66841,-1,25,26,1,,25:253197;2:3998,26:11;4:57149;3:8962;2:719,1:257195;0:11,
15.50/5.99 c (5,5) ==========================================
15.50/5.99 c (5,5) Both Encoding selects:
15.50/5.99 c (5,5) Order
15.50/5.99 c (5,5) ==========================================
16.02/6.17 c (5,5) translated 6685 (10%) constraints
16.54/6.32 c (5,5) translated 13369 (20%) constraints
16.80/6.44 c (5,5) translated 20053 (30%) constraints
16.90/6.55 c (6,6) translated 26737 (40%) constraints
17.00/6.67 c (6,6) translated 33421 (50%) constraints
17.11/6.79 c (6,6) translated 40105 (60%) constraints
17.34/6.90 c (6,6) translated 46789 (70%) constraints
17.46/7.02 c (6,6) translated 53473 (80%) constraints
17.56/7.14 c (6,6) translated 60157 (90%) constraints
17.64/7.26 c (6,6) translated 66841 (100%) constraints
17.64/7.26 c (6,6) CSP to CSPinCNF End
17.64/7.26 c (6,6) CSP: 56 int (0 aux), 275 bool (275 aux), 66841 ctr, max domain size 25
17.64/7.26 c (6,6) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.64/7.26 c (6,6) CSPinCNF Propagation Begin
19.15/7.81 c (7,7) 0 values, 6081 unsatisfiable literals, and 0 valid clauses are removed
19.15/7.81 c (7,7) CSPinCNF Propagation End
19.15/7.81 c (7,7) CSP: 56 int (0 aux), 275 bool (275 aux), 66841 ctr, max domain size 25
19.15/7.81 c (7,7) Heap : 330 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.15/7.81 c (7,7) Simplify CSPinCNF Begin
19.39/7.93 c (7,7) Simplify CSPinCNF End
19.39/7.93 c (7,7) CSP: 56 int (0 aux), 275 bool (275 aux), 66841 ctr, max domain size 25
19.39/7.93 c (7,7) Heap : 385 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.39/7.93 c (7,7) Calculate Precise Domain Begin
19.39/7.94 c (7,7) 0 values are removed by re-calculation
19.39/7.94 c (7,7) Calculate Precise Domain End
19.39/7.94 c (7,7) CSP: 56 int (0 aux), 275 bool (275 aux), 66841 ctr, max domain size 25
19.39/7.94 c (7,7) Heap : 385 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.39/7.94 c (7,7) CSPinCNF to SatSolver Begin
19.64/8.09 c (7,7) 6685 (10 %) CSP clauses are encoded (1619 SAT variables, 7972 SAT clauses)
19.92/8.20 c (7,7) 13369 (20 %) CSP clauses are encoded (1619 SAT variables, 14656 SAT clauses)
20.19/8.24 c (7,7) 20053 (30 %) CSP clauses are encoded (1619 SAT variables, 21340 SAT clauses)
20.19/8.28 c (7,7) 26737 (40 %) CSP clauses are encoded (1619 SAT variables, 28024 SAT clauses)
20.38/8.31 c (7,7) 33421 (50 %) CSP clauses are encoded (1619 SAT variables, 34708 SAT clauses)
20.38/8.34 c (7,7) 40105 (60 %) CSP clauses are encoded (1619 SAT variables, 41392 SAT clauses)
20.38/8.37 c (7,7) 46789 (70 %) CSP clauses are encoded (1619 SAT variables, 48076 SAT clauses)
20.50/8.41 c (7,7) 53473 (80 %) CSP clauses are encoded (1619 SAT variables, 54760 SAT clauses)
20.50/8.44 c (7,7) 60157 (90 %) CSP clauses are encoded (1619 SAT variables, 61444 SAT clauses)
20.50/8.47 c (7,7) 66841 (100 %) CSP clauses are encoded (1619 SAT variables, 68128 SAT clauses)
20.50/8.47 c (7,7) Launch Command will be: minisat_release
20.50/8.47 c (7,7) CSPinCNF to SatSolver End
20.50/8.47 c (7,7) Heap : 768 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
21.06/8.70 c (8,8) STATISTICS2:HOME/instance-4305710-1534089643.xml,ExtensionConflict:ExtensionSupport:IntVar,331,66841,-1,25,25,1,,25:247127;2:3998,25:11;4:51527;3:14136;2:1167,1:251125,
21.06/8.70 c (8,8) 1619 bool, 68129 clause
21.06/8.70 c (8,8) Export Begin
21.06/8.78 c (8,8) Export to HOME/scop-30574-serial-file.bin
21.06/8.78 c (8,8) Export End
21.06/8.79 c (8,8) Export File Size: 0.01 MB
21.06/8.79 c (8,8) 0,0,6,7,7,7,7,STOP-AFTER(DIMACS)
21.06/8.79 c END-Prog: Sun Aug 12 18:00:52 CEST 2018
0.00/8.81 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-30574-serial-file.bin
21.74/9.30 c (0,0) Read Serial File Begin
21.74/9.30 c (0,0) HOME/scop-30574-serial-file.bin
22.01/9.47 c (0,0) Read Serial File End
22.01/9.49
22.01/9.49 scop order+minisat_release (2018-07-31)
22.01/9.49 (Solving Process)
22.01/9.49
22.16/9.51 c BEGIN-Prog: Sun Aug 12 18:00:53 CEST 2018
22.16/9.51 c PID: 30592
22.16/9.51 c IP: 172.20.3.106
22.16/9.51 c HOST: node106.alineos.net
22.16/9.51 c (0,0) SatSolver.solve Begin
22.16/9.51 c (0,0) 0 bool, 0 clause
22.16/9.51 c (0,0) minisat_release HOME/instance-4305710-1534089643.xml-scop-30577.cnf
2520.00/2506.11 c (2496,0) SatSolver is killed by some reasons.
2520.00/2506.11 c (2496,0) receiving signal SIGTERM
2520.00/2506.11 s UNKNOWN
2520.00/2506.12 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.00/2506.12 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 (9654 MiB free)
memory of node 1: 16384 MiB (13442 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305710-1534089643/watcher-4305710-1534089643 -o /tmp/evaluation-result-4305710-1534089643/solver-4305710-1534089643 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23199 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305710-1534089643.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30574, runsolver pid=30571
[startup+0.100063 s]*
/proc/loadavg: 2.01 2.08 2.08 3/222 30591
/proc/meminfo: memFree=23589972/32770624 swapFree=67108688/67108860
[pid=30574] ppid=30571 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/30574/stat : 30574 (scop.sh) S 30571 30574 23167 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 226527204 115843072 348 33554432000 4194304 5098028 140723568811024 140723568808280 139802858488444 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29933568 140723568817217 140723568817415 140723568817415 140723568820173 0
/proc/30574/statm: 28282 348 296 221 0 87 0
[pid=30577] ppid=30574 vsize=15012476 memory=73388 CPUtime=0.11 cores=1,3,5,7
/proc/30577/stat : 30577 (java) S 30574 30574 23167 0 -1 1077944320 6952 0 0 0 10 1 0 0 20 0 15 0 226527204 15372775424 18347 33554432000 4194304 4196468 140727466273504 140727466256048 140226827824887 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
/proc/30577/statm: 3753119 18347 2770 1 0 3715579 0
[pid=30577/tid=30578] ppid=30574 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=1,3,5,7
/proc/30577/task/30578/stat : 30578 (java) R 30574 30574 23167 0 -1 4202560 5051 0 0 0 8 1 0 0 20 0 15 0 226527205 15372775424 18347 33554432000 4194304 4196468 140727466273504 140226799636872 140226812990469 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30579] ppid=30574 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30579/stat : 30579 (java) S 30574 30574 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226527206 15372775424 18347 33554432000 4194304 4196468 140727466273504 140226832067600 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30580] ppid=30574 vsize=15012476 memory=139792088884864 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30580/stat : 30580 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527206 15372775424 18347 33554432000 4194304 4196468 140727466273504 140226287971472 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30581] ppid=30574 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30581/stat : 30581 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527206 15372775424 18347 33554432000 4194304 4196468 140727466273504 140226286918416 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30582] ppid=30574 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30582/stat : 30582 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527206 15372775424 18347 33554432000 4194304 4196468 140727466273504 140226285865872 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30583] ppid=30574 vsize=15012476 memory=139792088884864 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30583/stat : 30583 (java) S 30574 30574 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226527208 15372775424 18347 33554432000 4194304 4196468 140727466273504 140225865369840 140226827836034 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30584] ppid=30574 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30584/stat : 30584 (java) S 30574 30574 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226527208 15372775424 18347 33554432000 4194304 4196468 140727466273504 140225380607136 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30585] ppid=30574 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30585/stat : 30585 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527208 15372775424 18347 33554432000 4194304 4196468 140727466273504 140225112171248 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30586] ppid=30574 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30586/stat : 30586 (java) S 30574 30574 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226527211 15372775424 18347 33554432000 4194304 4196468 140727466273504 140224737662928 140226827843483 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30587] ppid=30574 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30587/stat : 30587 (java) S 30574 30574 23167 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 226527211 15372775424 18347 33554432000 4194304 4196468 140727466273504 140225864317680 140226827836034 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30588] ppid=30574 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30588/stat : 30588 (java) S 30574 30574 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226527211 15372775424 18347 33554432000 4194304 4196468 140727466273504 140225863265136 140226827836034 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30589] ppid=30574 vsize=15012476 memory=139792088884864 CPUtime=0.01 cores=1,3,5,7
/proc/30577/task/30589/stat : 30589 (java) S 30574 30574 23167 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 226527211 15372775424 18347 33554432000 4194304 4196468 140727466273504 140225862212080 140226827836034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30590] ppid=30574 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30590/stat : 30590 (java) S 30574 30574 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226527211 15372775424 18347 33554432000 4194304 4196468 140727466273504 140224239758176 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30591] ppid=30574 vsize=15012476 memory=139792088884864 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30591/stat : 30591 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527211 15372775424 18347 33554432000 4194304 4196468 140727466273504 140225861159472 140226827836034 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74780 KiB
[startup+0.210562 s]*
/proc/loadavg: 2.01 2.08 2.08 4/222 30591
/proc/meminfo: memFree=23576392/32770624 swapFree=67108688/67108860
[pid=30574] ppid=30571 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/30574/stat : 30574 (scop.sh) S 30571 30574 23167 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 226527204 115843072 348 33554432000 4194304 5098028 140723568811024 140723568808280 139802858488444 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29933568 140723568817217 140723568817415 140723568817415 140723568820173 0
/proc/30574/statm: 28282 348 296 221 0 87 0
[pid=30577] ppid=30574 vsize=15012476 memory=86472 CPUtime=0.25 cores=1,3,5,7
/proc/30577/stat : 30577 (java) S 30574 30574 23167 0 -1 1077944320 10465 0 0 0 23 2 0 0 20 0 15 0 226527204 15372775424 21618 33554432000 4194304 4196468 140727466273504 140727466256048 140226827824887 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
/proc/30577/statm: 3753119 21618 2880 1 0 3715579 0
[pid=30577/tid=30578] ppid=30574 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/30577/task/30578/stat : 30578 (java) R 30574 30574 23167 0 -1 4202560 8383 0 0 0 18 2 0 0 20 0 15 0 226527205 15372775424 21618 33554432000 4194304 4196468 140727466273504 140226799651280 140226827836822 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30579] ppid=30574 vsize=15012476 memory=553 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30579/stat : 30579 (java) S 30574 30574 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226527206 15372775424 21618 33554432000 4194304 4196468 140727466273504 140226832067600 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30580] ppid=30574 vsize=15012476 memory=3905385432980973216 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30580/stat : 30580 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527206 15372775424 21618 33554432000 4194304 4196468 140727466273504 140226287971472 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30581] ppid=30574 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30581/stat : 30581 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527206 15372775424 21618 33554432000 4194304 4196468 140727466273504 140226286918416 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30582] ppid=30574 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30582/stat : 30582 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527206 15372775424 21618 33554432000 4194304 4196468 140727466273504 140226285865872 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30583] ppid=30574 vsize=15012476 memory=139792088884864 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30583/stat : 30583 (java) S 30574 30574 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226527208 15372775424 21618 33554432000 4194304 4196468 140727466273504 140225865369840 140226827836034 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30584] ppid=30574 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30584/stat : 30584 (java) S 30574 30574 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226527208 15372775424 21618 33554432000 4194304 4196468 140727466273504 140225380607136 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30585] ppid=30574 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30585/stat : 30585 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527208 15372775424 21618 33554432000 4194304 4196468 140727466273504 140225112171248 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30586] ppid=30574 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30586/stat : 30586 (java) S 30574 30574 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226527211 15372775424 21618 33554432000 4194304 4196468 140727466273504 140224737662928 140226827843483 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30587] ppid=30574 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30587/stat : 30587 (java) S 30574 30574 23167 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 15 0 226527211 15372775424 21618 33554432000 4194304 4196468 140727466273504 140225864317680 140226827836034 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30588] ppid=30574 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30588/stat : 30588 (java) S 30574 30574 23167 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 226527211 15372775424 21618 33554432000 4194304 4196468 140727466273504 140225863265136 140226827836034 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30589] ppid=30574 vsize=15012476 memory=139792088884864 CPUtime=0.03 cores=1,3,5,7
/proc/30577/task/30589/stat : 30589 (java) R 30574 30574 23167 0 -1 4202560 285 0 0 0 3 0 0 0 20 0 15 0 226527211 15372775424 21618 33554432000 4194304 4196468 140727466273504 140225862212080 140226814149152 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30590] ppid=30574 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30590/stat : 30590 (java) S 30574 30574 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226527211 15372775424 21618 33554432000 4194304 4196468 140727466273504 140224239758176 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30591] ppid=30574 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30591/stat : 30591 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527211 15372775424 21618 33554432000 4194304 4196468 140727466273504 140225861159472 140226827836034 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87864 KiB
[startup+0.310613 s]*
/proc/loadavg: 2.01 2.08 2.08 3/222 30591
/proc/meminfo: memFree=23572576/32770624 swapFree=67108688/67108860
[pid=30574] ppid=30571 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/30574/stat : 30574 (scop.sh) S 30571 30574 23167 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 226527204 115843072 348 33554432000 4194304 5098028 140723568811024 140723568808280 139802858488444 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29933568 140723568817217 140723568817415 140723568817415 140723568820173 0
/proc/30574/statm: 28282 348 296 221 0 87 0
[pid=30577] ppid=30574 vsize=15012476 memory=89992 CPUtime=0.43 cores=1,3,5,7
/proc/30577/stat : 30577 (java) S 30574 30574 23167 0 -1 1077944320 10992 0 0 0 40 3 0 0 20 0 15 0 226527204 15372775424 22498 33554432000 4194304 4196468 140727466273504 140727466256048 140226827824887 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
/proc/30577/statm: 3753119 22498 2984 1 0 3715579 0
[pid=30577/tid=30578] ppid=30574 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/30577/task/30578/stat : 30578 (java) R 30574 30574 23167 0 -1 4202560 8753 0 0 0 28 2 0 0 20 0 15 0 226527205 15372775424 22498 33554432000 4194304 4196468 140727466273504 140226799620336 140226827846813 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30579] ppid=30574 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30579/stat : 30579 (java) S 30574 30574 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226527206 15372775424 22498 33554432000 4194304 4196468 140727466273504 140226832067600 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30580] ppid=30574 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30580/stat : 30580 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527206 15372775424 22498 33554432000 4194304 4196468 140727466273504 140226287971472 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30581] ppid=30574 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30581/stat : 30581 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527206 15372775424 22498 33554432000 4194304 4196468 140727466273504 140226286918416 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30582] ppid=30574 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30582/stat : 30582 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527206 15372775424 22498 33554432000 4194304 4196468 140727466273504 140226285865872 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30583] ppid=30574 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30583/stat : 30583 (java) S 30574 30574 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226527208 15372775424 22498 33554432000 4194304 4196468 140727466273504 140225865369840 140226827836034 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30584] ppid=30574 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30584/stat : 30584 (java) S 30574 30574 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226527208 15372775424 22498 33554432000 4194304 4196468 140727466273504 140225380607136 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30585] ppid=30574 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30585/stat : 30585 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527208 15372775424 22498 33554432000 4194304 4196468 140727466273504 140225112171248 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30586] ppid=30574 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30586/stat : 30586 (java) S 30574 30574 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226527211 15372775424 22498 33554432000 4194304 4196468 140727466273504 140224737662928 140226827843483 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30587] ppid=30574 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30577/task/30587/stat : 30587 (java) R 30574 30574 23167 0 -1 1077944384 560 0 0 0 2 0 0 0 20 0 15 0 226527211 15372775424 22498 33554432000 4194304 4196468 140727466273504 140225864317680 140226827836034 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30588] ppid=30574 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30577/task/30588/stat : 30588 (java) R 30574 30574 23167 0 -1 4202560 44 0 0 0 1 0 0 0 20 0 15 0 226527211 15372775424 22498 33554432000 4194304 4196468 140727466273504 140225863265136 140226812572953 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30589] ppid=30574 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30577/task/30589/stat : 30589 (java) R 30574 30574 23167 0 -1 4202560 304 0 0 0 7 0 0 0 20 0 15 0 226527211 15372775424 22498 33554432000 4194304 4196468 140727466273504 140225862212080 140226807286443 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30590] ppid=30574 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30590/stat : 30590 (java) S 30574 30574 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226527211 15372775424 22498 33554432000 4194304 4196468 140727466273504 140224239758176 140226827835093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30591] ppid=30574 vsize=15012476 memory=3689353199920160817 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30591/stat : 30591 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527211 15372775424 22498 33554432000 4194304 4196468 140727466273504 140225861159472 140226827836034 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91384 KiB
[startup+0.705774 s]
/proc/loadavg: 2.01 2.08 2.08 3/222 30591
/proc/meminfo: memFree=23548392/32770624 swapFree=67108688/67108860
[pid=30574] ppid=30571 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/30574/stat : 30574 (scop.sh) S 30571 30574 23167 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 226527204 115843072 348 33554432000 4194304 5098028 140723568811024 140723568808280 139802858488444 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29933568 140723568817217 140723568817415 140723568817415 140723568820173 0
/proc/30574/statm: 28282 348 296 221 0 87 0
[pid=30577] ppid=30574 vsize=15018748 memory=131944 CPUtime=1.05 cores=1,3,5,7
/proc/30577/stat : 30577 (java) S 30574 30574 23167 0 -1 1077944320 18033 0 0 0 100 5 0 0 20 0 15 0 226527204 15379197952 32986 33554432000 4194304 4196468 140727466273504 140727466256048 140226827824887 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
/proc/30577/statm: 3754687 32986 3134 1 0 3716091 0
[pid=30577/tid=30578] ppid=30574 vsize=15018748 memory=2372 CPUtime=0.68 cores=1,3,5,7
/proc/30577/task/30578/stat : 30578 (java) R 30574 30574 23167 0 -1 4202560 15242 0 0 0 64 4 0 0 20 0 15 0 226527205 15379197952 32986 33554432000 4194304 4196468 140727466273504 140226799654928 140226811905374 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30579] ppid=30574 vsize=15018748 memory=116 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30579/stat : 30579 (java) S 30574 30574 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226527206 15379197952 32986 33554432000 4194304 4196468 140727466273504 140226832067600 140226827835093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30580] ppid=30574 vsize=15018748 memory=12868 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30580/stat : 30580 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527206 15379197952 32986 33554432000 4194304 4196468 140727466273504 140226287971472 140226827835093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30581] ppid=30574 vsize=15018748 memory=25008 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30581/stat : 30581 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527206 15379197952 32986 33554432000 4194304 4196468 140727466273504 140226286918416 140226827835093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30582] ppid=30574 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30582/stat : 30582 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527206 15379197952 32986 33554432000 4194304 4196468 140727466273504 140226285865872 140226827835093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30583] ppid=30574 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30583/stat : 30583 (java) S 30574 30574 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226527208 15379197952 32986 33554432000 4194304 4196468 140727466273504 140225865369840 140226827836034 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30584] ppid=30574 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30584/stat : 30584 (java) S 30574 30574 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226527208 15379197952 32986 33554432000 4194304 4196468 140727466273504 140225380607136 140226827835093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30585] ppid=30574 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30585/stat : 30585 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527208 15379197952 32986 33554432000 4194304 4196468 140727466273504 140225112171248 140226827835093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30586] ppid=30574 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30586/stat : 30586 (java) S 30574 30574 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226527211 15379197952 32986 33554432000 4194304 4196468 140727466273504 140224737662928 140226827843483 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30587] ppid=30574 vsize=15018748 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30577/task/30587/stat : 30587 (java) R 30574 30574 23167 0 -1 4202560 749 0 0 0 8 0 0 0 20 0 15 0 226527211 15379197952 32986 33554432000 4194304 4196468 140727466273504 140225864317680 140226809368610 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30588] ppid=30574 vsize=15018748 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/30577/task/30588/stat : 30588 (java) S 30574 30574 23167 0 -1 1077944384 295 0 0 0 10 0 0 0 20 0 15 0 226527211 15379197952 32986 33554432000 4194304 4196468 140727466273504 140225863265136 140226827836034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30589] ppid=30574 vsize=15018748 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/30577/task/30589/stat : 30589 (java) S 30574 30574 23167 0 -1 1077944384 427 0 0 0 17 0 0 0 20 0 15 0 226527211 15379197952 32986 33554432000 4194304 4196468 140727466273504 140225862212080 140226827836034 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30590] ppid=30574 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30590/stat : 30590 (java) S 30574 30574 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226527211 15379197952 32986 33554432000 4194304 4196468 140727466273504 140224239758176 140226827835093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
[pid=30577/tid=30591] ppid=30574 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30577/task/30591/stat : 30591 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226527211 15379197952 32986 33554432000 4194304 4196468 140727466273504 140225861159472 140226827836034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27942912 140727466275847 140727466276145 140727466276145 140727466278863 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 133336 KiB
[startup+1.50083 s]
/proc/loadavg: 2.09 2.10 2.09 5/222 30591
/proc/meminfo: memFree=23433816/32770624 swapFree=67108688/67108860
[pid=30574] ppid=30571 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/30574/stat : 30574 (scop.sh) S 30571 30574 23167 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 226527204 115843072 348 33554432000 4194304 5098028 140723568811024 140723568808280 139802858488444 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29933568 140723568817217 140723568817415 140723568817415 140723568820173 0
/proc/30574/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=30592/tid=30595] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30595/stat : 30595 (java) S 30574 30574 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226528087 8261857280 29194 33554432000 4194304 4196468 140734962136752 140158138989584 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30596] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30596/stat : 30596 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226528087 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157794286480 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30597] ppid=30574 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30597/stat : 30597 (java) S 30574 30574 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226528087 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157793233680 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30598] ppid=30574 vsize=8068220 memory=1468 CPUtime=0.04 cores=1,3,5,7
/proc/30592/task/30598/stat : 30598 (java) S 30574 30574 23167 0 -1 1077944384 5 0 0 0 1 3 0 0 20 0 19 0 226528088 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157756516720 140158310115970 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30599] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30599/stat : 30599 (java) S 30574 30574 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226528089 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157130892320 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30600] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30600/stat : 30600 (java) S 30574 30574 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226528089 8261857280 29194 33554432000 4194304 4196468 140734962136752 140156996670320 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30601] ppid=30574 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30601/stat : 30601 (java) S 30574 30574 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226528091 8261857280 29194 33554432000 4194304 4196468 140734962136752 140156622165840 140158310123419 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30602] ppid=30574 vsize=8068220 memory=1468 CPUtime=0.09 cores=1,3,5,7
/proc/30592/task/30602/stat : 30602 (java) S 30574 30574 23167 0 -1 1077944384 757 0 0 0 9 0 0 0 20 0 19 0 226528091 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157755464560 140158310115970 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30603] ppid=30574 vsize=8068220 memory=116776 CPUtime=0.09 cores=1,3,5,7
/proc/30592/task/30603/stat : 30603 (java) S 30574 30574 23167 0 -1 1077944384 188 0 0 0 8 1 0 0 20 0 19 0 226528091 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157754411760 140158310115970 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30604] ppid=30574 vsize=8068220 memory=868 CPUtime=0.2 cores=1,3,5,7
/proc/30592/task/30604/stat : 30604 (java) S 30574 30574 23167 0 -1 1077944384 518 0 0 0 20 0 0 0 20 0 19 0 226528091 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157753358960 140158310115970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30605] ppid=30574 vsize=8068220 memory=61684 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30605/stat : 30605 (java) S 30574 30574 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226528091 8261857280 29194 33554432000 4194304 4196468 140734962136752 140156124261088 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30606] ppid=30574 vsize=8068220 memory=1224 CPUtime=1.19 cores=1,3,5,7
/proc/30592/task/30606/stat : 30606 (java) S 30574 30574 23167 0 -1 1077944384 165 0 0 0 57 62 0 0 20 0 19 0 226528092 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157752306352 140158310115970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30608] ppid=30574 vsize=8068220 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30608/stat : 30608 (java) S 30574 30574 23167 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 226528158 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157744497856 140158310129433 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30610] ppid=30574 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30610/stat : 30610 (java) S 30574 30574 23167 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 226528158 8261857280 29194 33554432000 4194304 4196468 140734962136752 140155587374352 140158310126749 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30611] ppid=30574 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30611/stat : 30611 (java) S 30574 30574 23167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 226528158 8261857280 29194 33554432000 4194304 4196468 140734962136752 140155453153424 140158310126749 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30612] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30612/stat : 30612 (java) S 30574 30574 23167 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 226528160 8261857280 29194 33554432000 4194304 4196468 140734962136752 140155721604768 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
Current children cumulated CPU time: 2516.18 s
Current children cumulated vsize: 8288592 KiB
Current children cumulated memory: 208136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.11 s]
/proc/loadavg: 1.02 1.27 1.68 2/200 30755
/proc/meminfo: memFree=23613132/32770624 swapFree=67108688/67108860
[pid=30574] ppid=30571 vsize=113128 memory=1468 CPUtime=21.23 cores=1,3,5,7
/proc/30574/stat : 30574 (scop.sh) S 30571 30574 23167 0 -1 4202496 589 37335 0 0 0 0 2052 71 20 0 1 0 226527204 115843072 367 33554432000 4194304 5098028 140723568811024 140723568807768 139802858488444 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29933568 140723568817217 140723568817415 140723568817415 140723568820173 0
/proc/30574/statm: 28282 367 311 221 0 87 0
[pid=30592] ppid=30574 vsize=8068220 memory=116776 CPUtime=2.42 cores=1,3,5,7
/proc/30592/stat : 30592 (java) S 30574 30574 23167 0 -1 1077944320 18627 0 0 0 172 70 0 0 20 0 19 0 226528085 8261857280 29194 33554432000 4194304 4196468 140734962136752 140734962119296 140158310104823 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
/proc/30592/statm: 2017055 29194 3147 1 0 1978454 0
[pid=30607] ppid=30592 vsize=107244 memory=89892 CPUtime=2496.35 cores=1,3,5,7
/proc/30607/stat : 30607 (minisat_release) R 30592 30574 23167 0 -1 4202496 177419 0 0 0 249616 19 0 0 20 0 1 0 226528158 109817856 22473 33554432000 4194304 4308513 140728578907152 140728578904152 4276400 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 18132992 140728578909300 140728578909398 140728578909398 140728578912197 0
/proc/30607/statm: 26811 22473 342 28 0 23051 0
[pid=30592/tid=30593] ppid=30574 vsize=8068220 memory=116776 CPUtime=0.73 cores=1,3,5,7
/proc/30592/task/30593/stat : 30593 (java) S 30574 30574 23167 0 -1 1077944384 15577 0 0 0 69 4 0 0 20 0 19 0 226528086 8261857280 29194 33554432000 4194304 4196468 140734962136752 140158281944976 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30594] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30594/stat : 30594 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226528087 8261857280 29194 33554432000 4194304 4196468 140734962136752 140158314347664 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30595] ppid=30574 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30595/stat : 30595 (java) S 30574 30574 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226528087 8261857280 29194 33554432000 4194304 4196468 140734962136752 140158138989584 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30596] ppid=30574 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30596/stat : 30596 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226528087 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157794286480 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30597] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30597/stat : 30597 (java) S 30574 30574 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226528087 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157793233680 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30598] ppid=30574 vsize=8068220 memory=116776 CPUtime=0.04 cores=1,3,5,7
/proc/30592/task/30598/stat : 30598 (java) S 30574 30574 23167 0 -1 1077944384 5 0 0 0 1 3 0 0 20 0 19 0 226528088 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157756516720 140158310115970 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30599] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30599/stat : 30599 (java) S 30574 30574 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226528089 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157130892320 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30600] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30600/stat : 30600 (java) S 30574 30574 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226528089 8261857280 29194 33554432000 4194304 4196468 140734962136752 140156996670320 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30601] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30601/stat : 30601 (java) S 30574 30574 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226528091 8261857280 29194 33554432000 4194304 4196468 140734962136752 140156622165840 140158310123419 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30602] ppid=30574 vsize=8068220 memory=116776 CPUtime=0.09 cores=1,3,5,7
/proc/30592/task/30602/stat : 30602 (java) S 30574 30574 23167 0 -1 1077944384 757 0 0 0 9 0 0 0 20 0 19 0 226528091 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157755464560 140158310115970 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30603] ppid=30574 vsize=8068220 memory=1468 CPUtime=0.09 cores=1,3,5,7
/proc/30592/task/30603/stat : 30603 (java) S 30574 30574 23167 0 -1 1077944384 188 0 0 0 8 1 0 0 20 0 19 0 226528091 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157754411760 140158310115970 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30604] ppid=30574 vsize=8068220 memory=868 CPUtime=0.2 cores=1,3,5,7
/proc/30592/task/30604/stat : 30604 (java) S 30574 30574 23167 0 -1 1077944384 518 0 0 0 20 0 0 0 20 0 19 0 226528091 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157753358960 140158310115970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30605] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30605/stat : 30605 (java) S 30574 30574 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226528091 8261857280 29194 33554432000 4194304 4196468 140734962136752 140156124261088 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30606] ppid=30574 vsize=8068220 memory=1468 CPUtime=1.2 cores=1,3,5,7
/proc/30592/task/30606/stat : 30606 (java) S 30574 30574 23167 0 -1 1077944384 167 0 0 0 57 63 0 0 20 0 19 0 226528092 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157752306352 140158310115970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30608] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30608/stat : 30608 (java) S 30574 30574 23167 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 226528158 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157744497856 140158310129433 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30610] ppid=30574 vsize=8068220 memory=89892 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30610/stat : 30610 (java) S 30574 30574 23167 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 226528158 8261857280 29194 33554432000 4194304 4196468 140734962136752 140155587374352 140158310126749 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30611] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30611/stat : 30611 (java) S 30574 30574 23167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 226528158 8261857280 29194 33554432000 4194304 4196468 140734962136752 140155453153424 140158310126749 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30612] ppid=30574 vsize=8068220 memory=89892 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30612/stat : 30612 (java) S 30574 30574 23167 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 226528160 8261857280 29194 33554432000 4194304 4196468 140734962136752 140155721604768 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 8288592 KiB
Current children cumulated memory: 208136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.12 s]
# the end of solver process 30574 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20.5297 s, system=0.719158 s
[startup+2506.12 s]
# the end of solver process 30592 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.42 s, system=1.61998 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
[startup+2506.11 s]
/proc/loadavg: 1.02 1.27 1.68 2/200 30755
/proc/meminfo: memFree=23613132/32770624 swapFree=67108688/67108860
[pid=30574] ppid=30571 vsize=113128 memory=1468 CPUtime=21.23 cores=1,3,5,7
/proc/30574/stat : 30574 (scop.sh) S 30571 30574 23167 0 -1 4202496 589 37335 0 0 0 0 2052 71 20 0 1 0 226527204 115843072 367 33554432000 4194304 5098028 140723568811024 140723568807768 139802858488444 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29933568 140723568817217 140723568817415 140723568817415 140723568820173 0
/proc/30574/statm: 28282 367 311 221 0 87 0
[pid=30592] ppid=30574 vsize=8068220 memory=116776 CPUtime=2.42 cores=1,3,5,7
/proc/30592/stat : 30592 (java) S 30574 30574 23167 0 -1 1077944320 18627 0 0 0 172 70 0 0 20 0 19 0 226528085 8261857280 29194 33554432000 4194304 4196468 140734962136752 140734962119296 140158310104823 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
/proc/30592/statm: 2017055 29194 3147 1 0 1978454 0
[pid=30607] ppid=30592 vsize=107244 memory=89892 CPUtime=2496.35 cores=1,3,5,7
/proc/30607/stat : 30607 (minisat_release) R 30592 30574 23167 0 -1 4202496 177419 0 0 0 249616 19 0 0 20 0 1 0 226528158 109817856 22473 33554432000 4194304 4308513 140728578907152 140728578904152 4276400 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 18132992 140728578909300 140728578909398 140728578909398 140728578912197 0
/proc/30607/statm: 26811 22473 342 28 0 23051 0
[pid=30592/tid=30593] ppid=30574 vsize=8068220 memory=116776 CPUtime=0.73 cores=1,3,5,7
/proc/30592/task/30593/stat : 30593 (java) S 30574 30574 23167 0 -1 1077944384 15577 0 0 0 69 4 0 0 20 0 19 0 226528086 8261857280 29194 33554432000 4194304 4196468 140734962136752 140158281944976 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30594] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30594/stat : 30594 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226528087 8261857280 29194 33554432000 4194304 4196468 140734962136752 140158314347664 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30595] ppid=30574 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30595/stat : 30595 (java) S 30574 30574 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226528087 8261857280 29194 33554432000 4194304 4196468 140734962136752 140158138989584 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30596] ppid=30574 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30596/stat : 30596 (java) S 30574 30574 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226528087 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157794286480 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30597] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30597/stat : 30597 (java) S 30574 30574 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226528087 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157793233680 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30598] ppid=30574 vsize=8068220 memory=116776 CPUtime=0.04 cores=1,3,5,7
/proc/30592/task/30598/stat : 30598 (java) S 30574 30574 23167 0 -1 1077944384 5 0 0 0 1 3 0 0 20 0 19 0 226528088 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157756516720 140158310115970 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30599] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30599/stat : 30599 (java) S 30574 30574 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226528089 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157130892320 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30600] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30600/stat : 30600 (java) S 30574 30574 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226528089 8261857280 29194 33554432000 4194304 4196468 140734962136752 140156996670320 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30601] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30601/stat : 30601 (java) S 30574 30574 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226528091 8261857280 29194 33554432000 4194304 4196468 140734962136752 140156622165840 140158310123419 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30602] ppid=30574 vsize=8068220 memory=116776 CPUtime=0.09 cores=1,3,5,7
/proc/30592/task/30602/stat : 30602 (java) S 30574 30574 23167 0 -1 1077944384 757 0 0 0 9 0 0 0 20 0 19 0 226528091 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157755464560 140158310115970 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30603] ppid=30574 vsize=8068220 memory=1468 CPUtime=0.09 cores=1,3,5,7
/proc/30592/task/30603/stat : 30603 (java) S 30574 30574 23167 0 -1 1077944384 188 0 0 0 8 1 0 0 20 0 19 0 226528091 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157754411760 140158310115970 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30604] ppid=30574 vsize=8068220 memory=868 CPUtime=0.2 cores=1,3,5,7
/proc/30592/task/30604/stat : 30604 (java) S 30574 30574 23167 0 -1 1077944384 518 0 0 0 20 0 0 0 20 0 19 0 226528091 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157753358960 140158310115970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30605] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30605/stat : 30605 (java) S 30574 30574 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226528091 8261857280 29194 33554432000 4194304 4196468 140734962136752 140156124261088 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30606] ppid=30574 vsize=8068220 memory=1468 CPUtime=1.2 cores=1,3,5,7
/proc/30592/task/30606/stat : 30606 (java) S 30574 30574 23167 0 -1 1077944384 167 0 0 0 57 63 0 0 20 0 19 0 226528092 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157752306352 140158310115970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30608] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30608/stat : 30608 (java) S 30574 30574 23167 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 226528158 8261857280 29194 33554432000 4194304 4196468 140734962136752 140157744497856 140158310129433 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30610] ppid=30574 vsize=8068220 memory=89892 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30610/stat : 30610 (java) S 30574 30574 23167 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 226528158 8261857280 29194 33554432000 4194304 4196468 140734962136752 140155587374352 140158310126749 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30611] ppid=30574 vsize=8068220 memory=116776 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30611/stat : 30611 (java) S 30574 30574 23167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 226528158 8261857280 29194 33554432000 4194304 4196468 140734962136752 140155453153424 140158310126749 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
[pid=30592/tid=30612] ppid=30574 vsize=8068220 memory=89892 CPUtime=0 cores=1,3,5,7
/proc/30592/task/30612/stat : 30612 (java) S 30574 30574 23167 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 226528160 8261857280 29194 33554432000 4194304 4196468 140734962136752 140155721604768 140158310115029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17780736 140734962140341 140734962140465 140734962140465 140734962143183 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 8288592 KiB
Current children cumulated memory: 208136 KiB
Child status: 1
Real time (s): 2506.12
CPU time (s): 2520.04
CPU user time (s): 2518.42
CPU system time (s): 1.61998
CPU usage (%): 100.555
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 3110552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.42
system time used= 1.61998
maximum resident set size= 3111344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234263
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60196
involuntary context switches= 912
# summary of solver processes directly reported to runsolver:
# pid: 30574,30592
# total CPU time (s): 2520.04
# total CPU user time (s): 2518.42
# total CPU system time (s): 1.61998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6566 second user time and 25.8 second system time
The end