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-29846-serial-file.bin HOME/instance-4305683-1534129696.xml
0.55/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.54 c BEGIN-Prog: Mon Aug 13 05:08:17 CEST 2018
0.66/0.54 c PID: 29853
0.66/0.54 c IP: 172.20.3.139
0.66/0.54 c HOST: node139.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.73/1.08 c (0,0) Parsing End
1.73/1.09 c (0,0) CSP: 477 int (0 aux), 0 bool (0 aux), 225 ctr, max domain size 153
1.73/1.09 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.73/1.09 c (0,0) Constraint Name Generate Begin
1.73/1.10 c (0,0) Ctr:HOME/instance-4305683-1534129696.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.73/1.10 c (0,0) Constraint Name Generate End
1.73/1.10 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.73/1.10 c (0,0) CSP to CSPinCNF Begin
6.73/2.81 c (2,2) translated 23 (10%) constraints
7.85/3.59 c (3,3) translated 45 (20%) constraints
8.67/4.37 c (3,3) translated 68 (30%) constraints
9.52/5.12 c (4,4) translated 90 (40%) constraints
10.21/5.90 c (5,5) translated 113 (50%) constraints
11.05/6.63 c (6,6) translated 135 (60%) constraints
12.87/7.72 c (7,7) translated 158 (70%) constraints
15.76/8.66 c (8,8) translated 180 (80%) constraints
16.68/8.94 c (8,8) translated 203 (90%) constraints
17.33/9.17 c (8,8) translated 225 (100%) constraints
19.85/10.01 c (9,9) STATISTICS1:HOME/instance-4305683-1534129696.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,32472,151606,34359738368,153,153,36,34359738368:324;8589934592:324;256:34;153:10296;17:2763;1:1332,153:110016;17:113310;2:228942;1:6885,153:2;18:495;17:153;16:153;15:153;14:153;13:153;12:153;11:153;10:153;9:153;8:153;7:153;6:153;5:153;4:41463;3:37044;2:70092;1:521,36:324;34:324;9:34;2:14391;1:419364;0:153,
19.85/10.01 c (9,9) ==========================================
19.85/10.01 c (9,9) Both Encoding selects:
19.85/10.01 c (9,9) Order
19.85/10.01 c (9,9) ==========================================
20.74/10.30 c (9,9) translated 15161 (10%) constraints
21.35/10.55 c (10,9) translated 30322 (20%) constraints
21.74/10.75 c (10,10) translated 45482 (30%) constraints
22.00/10.95 c (10,10) translated 60643 (40%) constraints
22.21/11.14 c (10,10) translated 75803 (50%) constraints
22.40/11.33 c (10,10) translated 90964 (60%) constraints
22.60/11.52 c (10,10) translated 106125 (70%) constraints
22.81/11.71 c (11,10) translated 121285 (80%) constraints
23.77/12.14 c (11,11) translated 136446 (90%) constraints
27.67/13.55 c (13,12) translated 151606 (100%) constraints
27.67/13.55 c (13,12) CSP to CSPinCNF End
27.67/13.57 c (13,12) CSP: 5013 int (4536 aux), 37980 bool (37980 aux), 170244 ctr, max domain size 151
27.67/13.57 c (13,12) Heap : 2144 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
27.67/13.57 c (13,12) CSPinCNF Propagation Begin
32.26/15.32 c (14,14) 5418 values, 18426 unsatisfiable literals, and 13470 valid clauses are removed
32.26/15.32 c (14,14) CSPinCNF Propagation End
32.26/15.33 c (14,14) CSP: 8379 int (7902 aux), 34614 bool (34614 aux), 156774 ctr, max domain size 151
32.26/15.33 c (14,14) Heap : 366 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
32.26/15.34 c (14,14) Simplify CSPinCNF Begin
33.41/16.04 c (15,15) Simplify CSPinCNF End
33.41/16.06 c (15,15) CSP: 8379 int (7902 aux), 62424 bool (62424 aux), 184584 ctr, max domain size 151
33.41/16.06 c (15,15) Heap : 772 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
33.41/16.06 c (15,15) Calculate Precise Domain Begin
33.58/16.13 c (15,15) 9 values are removed by re-calculation
33.58/16.13 c (15,15) Calculate Precise Domain End
33.58/16.15 c (15,15) CSP: 8379 int (7902 aux), 62424 bool (62424 aux), 184584 ctr, max domain size 151
33.58/16.15 c (15,15) Heap : 772 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
33.58/16.15 c (15,15) CSPinCNF to SatSolver Begin
34.42/16.44 c (15,15) 18459 (10 %) CSP clauses are encoded (103347 SAT variables, 54557 SAT clauses)
34.59/16.53 c (16,15) 36917 (20 %) CSP clauses are encoded (103347 SAT variables, 73015 SAT clauses)
34.69/16.61 c (16,15) 55376 (30 %) CSP clauses are encoded (103347 SAT variables, 91474 SAT clauses)
34.79/16.70 c (16,15) 73834 (40 %) CSP clauses are encoded (103347 SAT variables, 109932 SAT clauses)
34.79/16.79 c (16,15) 92292 (50 %) CSP clauses are encoded (103347 SAT variables, 128390 SAT clauses)
34.89/16.88 c (16,15) 110751 (60 %) CSP clauses are encoded (103347 SAT variables, 146849 SAT clauses)
38.78/20.10 c (19,18) 129209 (70 %) CSP clauses are encoded (103347 SAT variables, 1402207 SAT clauses)
43.06/23.98 c (23,22) 147668 (80 %) CSP clauses are encoded (103347 SAT variables, 3109066 SAT clauses)
44.83/24.94 c (24,23) 166126 (90 %) CSP clauses are encoded (103347 SAT variables, 3388329 SAT clauses)
45.29/25.26 c (24,23) 184584 (100 %) CSP clauses are encoded (103347 SAT variables, 3480612 SAT clauses)
45.29/25.26 c (24,23) Launch Command will be: minisat_release
45.29/25.26 c (24,23) CSPinCNF to SatSolver End
45.29/25.26 c (24,23) Heap : 696 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
46.37/25.86 c (25,24) STATISTICS2:HOME/instance-4305683-1534129696.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,70803,184584,256,151,17,9,256:32;151:20592;96:135;64:1350;44:135;33:120;32:810;28:9;25:270;24:120;22:8;18:24;17:1467;16:4857;12:174;9:1926;8:358;6:40;4:527;1:2016,151:130158;17:100728;16:18000;12:549;11:517;7:37;6:175;5:1080;3:9432;2:284940;1:5076,17:288;16:288;15:144;14:144;13:144;12:144;11:144;10:144;9:178;8:144;7:144;6:144;5:144;4:39024;3:32805;2:103401;1:7160,9:32;7:2592;5:1944;3:2583;2:27819;1:459153,
46.37/25.86 c (25,24) 103347 bool, 3480628 clause
46.37/25.86 c (25,24) Export Begin
46.56/25.98 c (25,24) Export to HOME/scop-29846-serial-file.bin
46.56/25.98 c (25,24) Export End
46.56/25.98 c (25,24) Export File Size: 0.10 MB
46.56/25.98 c (25,24) 0,0,13,14,15,15,24,STOP-AFTER(DIMACS)
46.56/25.98 c END-Prog: Mon Aug 13 05:08:42 CEST 2018
0.00/26.01 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-29846-serial-file.bin
46.77/26.50 c (0,0) Read Serial File Begin
46.77/26.50 c (0,0) HOME/scop-29846-serial-file.bin
46.77/26.71 c (0,0) Read Serial File End
46.77/26.72
46.77/26.72 scop order+minisat_release (2018-07-31)
46.77/26.72 (Solving Process)
46.77/26.72
46.77/26.74 c BEGIN-Prog: Mon Aug 13 05:08:43 CEST 2018
46.77/26.74 c PID: 30006
46.77/26.74 c IP: 172.20.3.139
46.77/26.74 c HOST: node139.alineos.net
46.77/26.75 c (0,0) SatSolver.solve Begin
46.77/26.75 c (0,0) 0 bool, 0 clause
46.77/26.75 c (0,0) minisat_release HOME/instance-4305683-1534129696.xml-scop-29853.cnf
2520.06/2497.40 c (2471,0) receiving signal SIGTERM
2520.06/2497.40 s UNKNOWN
2520.06/2497.41 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.06/2497.41 c (scop.sh) Remove HOME/scop-29846-serial-file.bin.
2520.06/2497.41 c (scop.sh) Killing background jobs.
2520.06/2497.41 c (2471,0) receiving signal SIGTERM
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 (5938 MiB free)
memory of node 1: 16384 MiB (7008 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305683-1534129696/watcher-4305683-1534129696 -o /tmp/evaluation-result-4305683-1534129696/solver-4305683-1534129696 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534129696-29821 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305683-1534129696.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=29846, runsolver pid=29841
[startup+0.100154 s]*
/proc/loadavg: 0.90 1.03 1.29 4/217 29883
/proc/meminfo: memFree=13135708/32770624 swapFree=67108860/67108860
[pid=29846] ppid=29841 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/29846/stat : 29846 (scop.sh) S 29841 29846 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230532774 115843072 348 33554432000 4194304 5098028 140727684353744 140727684351000 140382276702844 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23625728 140727684355137 140727684355335 140727684355335 140727684358093 0
/proc/29846/statm: 28282 348 296 221 0 87 0
[pid=29853] ppid=29846 vsize=15012476 memory=73120 CPUtime=0.11 cores=1,3,5,7
/proc/29853/stat : 29853 (java) S 29846 29846 29789 0 -1 1077944320 6900 0 0 0 9 2 0 0 20 0 15 0 230532775 15372775424 18280 33554432000 4194304 4196468 140727871939568 140727871922112 140147515703031 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
/proc/29853/statm: 3753119 18280 2770 1 0 3715579 0
[pid=29853/tid=29856] ppid=29846 vsize=15012476 memory=4711481268241139080 CPUtime=0.08 cores=1,3,5,7
/proc/29853/task/29856/stat : 29856 (java) R 29846 29846 29789 0 -1 4202560 4991 0 0 0 7 1 0 0 20 0 15 0 230532775 15372775424 18280 33554432000 4194304 4196468 140727871939568 140147487515016 140147499783518 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29858] ppid=29846 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29858/stat : 29858 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 18280 33554432000 4194304 4196468 140727871939568 140147519945232 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29859] ppid=29846 vsize=15012476 memory=140591323838080 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29859/stat : 29859 (java) S 29846 29846 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 18280 33554432000 4194304 4196468 140727871939568 140147334101648 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29860] ppid=29846 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29860/stat : 29860 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 18280 33554432000 4194304 4196468 140727871939568 140146975779088 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29861] ppid=29846 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29861/stat : 29861 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 18280 33554432000 4194304 4196468 140727871939568 140146974726544 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29866] ppid=29846 vsize=15012476 memory=140591323838080 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29866/stat : 29866 (java) S 29846 29846 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230532778 15372775424 18280 33554432000 4194304 4196468 140727871939568 140146553330416 140147515714178 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29868] ppid=29846 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29868/stat : 29868 (java) S 29846 29846 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230532779 15372775424 18280 33554432000 4194304 4196468 140727871939568 140146057930400 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29870] ppid=29846 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29870/stat : 29870 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532779 15372775424 18280 33554432000 4194304 4196468 140727871939568 140145789494512 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29872] ppid=29846 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29872/stat : 29872 (java) S 29846 29846 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532781 15372775424 18280 33554432000 4194304 4196468 140727871939568 140145414986192 140147515721627 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29873] ppid=29846 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29873/stat : 29873 (java) S 29846 29846 29789 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 230532781 15372775424 18280 33554432000 4194304 4196468 140727871939568 140146552277232 140147515714178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29874] ppid=29846 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29874/stat : 29874 (java) S 29846 29846 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532781 15372775424 18280 33554432000 4194304 4196468 140727871939568 140146551224688 140147515714178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29875] ppid=29846 vsize=15012476 memory=140591323838080 CPUtime=0.01 cores=1,3,5,7
/proc/29853/task/29875/stat : 29875 (java) R 29846 29846 29789 0 -1 4202560 286 0 0 0 1 0 0 0 20 0 15 0 230532781 15372775424 18280 33554432000 4194304 4196468 140727871939568 140146550167544 140147494546017 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29880] ppid=29846 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29880/stat : 29880 (java) S 29846 29846 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 18280 33554432000 4194304 4196468 140727871939568 140144917080416 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29882] ppid=29846 vsize=15012476 memory=140591323838080 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29882/stat : 29882 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 18280 33554432000 4194304 4196468 140727871939568 140146549120048 140147515714178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74512 KiB
[startup+0.210566 s]*
/proc/loadavg: 0.90 1.03 1.29 4/217 29883
/proc/meminfo: memFree=13107632/32770624 swapFree=67108860/67108860
[pid=29846] ppid=29841 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/29846/stat : 29846 (scop.sh) S 29841 29846 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230532774 115843072 348 33554432000 4194304 5098028 140727684353744 140727684351000 140382276702844 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23625728 140727684355137 140727684355335 140727684355335 140727684358093 0
/proc/29846/statm: 28282 348 296 221 0 87 0
[pid=29853] ppid=29846 vsize=15012476 memory=86160 CPUtime=0.25 cores=1,3,5,7
/proc/29853/stat : 29853 (java) S 29846 29846 29789 0 -1 1077944320 10395 0 0 0 23 2 0 0 20 0 15 0 230532775 15372775424 21540 33554432000 4194304 4196468 140727871939568 140727871922112 140147515703031 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
/proc/29853/statm: 3753119 21540 2885 1 0 3715579 0
[pid=29853/tid=29856] ppid=29846 vsize=15012476 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/29853/task/29856/stat : 29856 (java) R 29846 29846 29789 0 -1 4202560 8304 0 0 0 18 2 0 0 20 0 15 0 230532775 15372775424 21540 33554432000 4194304 4196468 140727871939568 140147487520624 140147014238304 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29858] ppid=29846 vsize=15012476 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29858/stat : 29858 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 21540 33554432000 4194304 4196468 140727871939568 140147519945232 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29859] ppid=29846 vsize=15012476 memory=3832763489201321632 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29859/stat : 29859 (java) S 29846 29846 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 21540 33554432000 4194304 4196468 140727871939568 140147334101648 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29860] ppid=29846 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29860/stat : 29860 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 21540 33554432000 4194304 4196468 140727871939568 140146975779088 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29861] ppid=29846 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29861/stat : 29861 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 21540 33554432000 4194304 4196468 140727871939568 140146974726544 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29866] ppid=29846 vsize=15012476 memory=140591323838080 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29866/stat : 29866 (java) S 29846 29846 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230532778 15372775424 21540 33554432000 4194304 4196468 140727871939568 140146553330416 140147515714178 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29868] ppid=29846 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29868/stat : 29868 (java) S 29846 29846 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230532779 15372775424 21540 33554432000 4194304 4196468 140727871939568 140146057930400 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29870] ppid=29846 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29870/stat : 29870 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532779 15372775424 21540 33554432000 4194304 4196468 140727871939568 140145789494512 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29872] ppid=29846 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29872/stat : 29872 (java) S 29846 29846 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532781 15372775424 21540 33554432000 4194304 4196468 140727871939568 140145414986192 140147515721627 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29873] ppid=29846 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29853/task/29873/stat : 29873 (java) S 29846 29846 29789 0 -1 1077944384 417 0 0 0 1 0 0 0 20 0 15 0 230532781 15372775424 21540 33554432000 4194304 4196468 140727871939568 140146552277232 140147515714178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29874] ppid=29846 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29874/stat : 29874 (java) S 29846 29846 29789 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 230532781 15372775424 21540 33554432000 4194304 4196468 140727871939568 140146551224688 140147515714178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29875] ppid=29846 vsize=15012476 memory=140591323838080 CPUtime=0.03 cores=1,3,5,7
/proc/29853/task/29875/stat : 29875 (java) S 29846 29846 29789 0 -1 1077944384 303 0 0 0 3 0 0 0 20 0 15 0 230532781 15372775424 21540 33554432000 4194304 4196468 140727871939568 140146550171632 140147515714178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29880] ppid=29846 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29880/stat : 29880 (java) S 29846 29846 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 21540 33554432000 4194304 4196468 140727871939568 140144917080416 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29882] ppid=29846 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29882/stat : 29882 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 21540 33554432000 4194304 4196468 140727871939568 140146549120048 140147515714178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87552 KiB
[startup+0.310497 s]*
/proc/loadavg: 0.90 1.03 1.29 3/217 29883
/proc/meminfo: memFree=13100188/32770624 swapFree=67108860/67108860
[pid=29846] ppid=29841 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/29846/stat : 29846 (scop.sh) S 29841 29846 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230532774 115843072 348 33554432000 4194304 5098028 140727684353744 140727684351000 140382276702844 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23625728 140727684355137 140727684355335 140727684355335 140727684358093 0
/proc/29846/statm: 28282 348 296 221 0 87 0
[pid=29853] ppid=29846 vsize=15012476 memory=89676 CPUtime=0.43 cores=1,3,5,7
/proc/29853/stat : 29853 (java) S 29846 29846 29789 0 -1 1077944320 10927 0 0 0 40 3 0 0 20 0 15 0 230532775 15372775424 22419 33554432000 4194304 4196468 140727871939568 140727871922112 140147515703031 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
/proc/29853/statm: 3753119 22419 2976 1 0 3715579 0
[pid=29853/tid=29856] ppid=29846 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/29853/task/29856/stat : 29856 (java) R 29846 29846 29789 0 -1 4202560 8673 0 0 0 27 2 0 0 20 0 15 0 230532775 15372775424 22419 33554432000 4194304 4196468 140727871939568 140147487498480 140147499783518 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29858] ppid=29846 vsize=15012476 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29858/stat : 29858 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 22419 33554432000 4194304 4196468 140727871939568 140147519945232 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29859] ppid=29846 vsize=15012476 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29859/stat : 29859 (java) S 29846 29846 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 22419 33554432000 4194304 4196468 140727871939568 140147334101648 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29860] ppid=29846 vsize=15012476 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29860/stat : 29860 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 22419 33554432000 4194304 4196468 140727871939568 140146975779088 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29861] ppid=29846 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29861/stat : 29861 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15372775424 22419 33554432000 4194304 4196468 140727871939568 140146974726544 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29866] ppid=29846 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29866/stat : 29866 (java) S 29846 29846 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230532778 15372775424 22419 33554432000 4194304 4196468 140727871939568 140146553330416 140147515714178 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29868] ppid=29846 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29868/stat : 29868 (java) S 29846 29846 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230532779 15372775424 22419 33554432000 4194304 4196468 140727871939568 140146057930400 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29870] ppid=29846 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29870/stat : 29870 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532779 15372775424 22419 33554432000 4194304 4196468 140727871939568 140145789494512 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29872] ppid=29846 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29872/stat : 29872 (java) S 29846 29846 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532781 15372775424 22419 33554432000 4194304 4196468 140727871939568 140145414986192 140147515721627 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29873] ppid=29846 vsize=15012476 memory=-8813974798734826869 CPUtime=0.02 cores=1,3,5,7
/proc/29853/task/29873/stat : 29873 (java) S 29846 29846 29789 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 15 0 230532781 15372775424 22419 33554432000 4194304 4196468 140727871939568 140146552277232 140147515714178 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29874] ppid=29846 vsize=15012476 memory=7031125463459224206 CPUtime=0.02 cores=1,3,5,7
/proc/29853/task/29874/stat : 29874 (java) S 29846 29846 29789 0 -1 1077944384 130 0 0 0 2 0 0 0 20 0 15 0 230532781 15372775424 22419 33554432000 4194304 4196468 140727871939568 140146551224688 140147515714178 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29875] ppid=29846 vsize=15012476 memory=4426078206164241782 CPUtime=0.07 cores=1,3,5,7
/proc/29853/task/29875/stat : 29875 (java) S 29846 29846 29789 0 -1 1077944384 322 0 0 0 7 0 0 0 20 0 15 0 230532781 15372775424 22419 33554432000 4194304 4196468 140727871939568 140146550171632 140147515714178 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29880] ppid=29846 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29880/stat : 29880 (java) S 29846 29846 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 22419 33554432000 4194304 4196468 140727871939568 140144917080416 140147515713237 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29882] ppid=29846 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29882/stat : 29882 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532782 15372775424 22419 33554432000 4194304 4196468 140727871939568 140146549120048 140147515714178 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91068 KiB
[startup+0.700748 s]
/proc/loadavg: 0.90 1.03 1.29 3/217 29883
/proc/meminfo: memFree=13051324/32770624 swapFree=67108860/67108860
[pid=29846] ppid=29841 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/29846/stat : 29846 (scop.sh) S 29841 29846 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230532774 115843072 348 33554432000 4194304 5098028 140727684353744 140727684351000 140382276702844 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23625728 140727684355137 140727684355335 140727684355335 140727684358093 0
/proc/29846/statm: 28282 348 296 221 0 87 0
[pid=29853] ppid=29846 vsize=15020872 memory=129652 CPUtime=1.01 cores=1,3,5,7
/proc/29853/stat : 29853 (java) S 29846 29846 29789 0 -1 1077944320 18097 0 0 0 96 5 0 0 20 0 15 0 230532775 15381372928 32413 33554432000 4194304 4196468 140727871939568 140727871922112 140147515703031 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
/proc/29853/statm: 3755218 32413 3166 1 0 3716603 0
[pid=29853/tid=29856] ppid=29846 vsize=15020872 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/29853/task/29856/stat : 29856 (java) R 29846 29846 29789 0 -1 4202560 15388 0 0 0 63 3 0 0 20 0 15 0 230532775 15381372928 32413 33554432000 4194304 4196468 140727871939568 140147487528448 140147515724957 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29858] ppid=29846 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29858/stat : 29858 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15381372928 32413 33554432000 4194304 4196468 140727871939568 140147519945232 140147515713237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29859] ppid=29846 vsize=15020872 memory=62524 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29859/stat : 29859 (java) S 29846 29846 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230532777 15381372928 32413 33554432000 4194304 4196468 140727871939568 140147334101648 140147515713237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29860] ppid=29846 vsize=15020872 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29860/stat : 29860 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15381372928 32413 33554432000 4194304 4196468 140727871939568 140146975779088 140147515713237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29861] ppid=29846 vsize=15020872 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29861/stat : 29861 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532777 15381372928 32413 33554432000 4194304 4196468 140727871939568 140146974726544 140147515713237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29866] ppid=29846 vsize=15020872 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29866/stat : 29866 (java) S 29846 29846 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230532778 15381372928 32413 33554432000 4194304 4196468 140727871939568 140146553330416 140147515714178 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29868] ppid=29846 vsize=15020872 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29868/stat : 29868 (java) S 29846 29846 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230532779 15381372928 32413 33554432000 4194304 4196468 140727871939568 140146057930400 140147515713237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29870] ppid=29846 vsize=15020872 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29870/stat : 29870 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532779 15381372928 32413 33554432000 4194304 4196468 140727871939568 140145789494512 140147515713237 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29872] ppid=29846 vsize=15020872 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29872/stat : 29872 (java) S 29846 29846 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532781 15381372928 32413 33554432000 4194304 4196468 140727871939568 140145414986192 140147515721627 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29873] ppid=29846 vsize=15020872 memory=876 CPUtime=0.09 cores=1,3,5,7
/proc/29853/task/29873/stat : 29873 (java) R 29846 29846 29789 0 -1 1077944384 728 0 0 0 9 0 0 0 20 0 15 0 230532781 15381372928 32413 33554432000 4194304 4196468 140727871939568 140146552277232 140147515714178 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29874] ppid=29846 vsize=15020872 memory=10096 CPUtime=0.06 cores=1,3,5,7
/proc/29853/task/29874/stat : 29874 (java) R 29846 29846 29789 0 -1 4202560 194 0 0 0 6 0 0 0 20 0 15 0 230532781 15381372928 32413 33554432000 4194304 4196468 140727871939568 140146551212240 140147496883158 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29875] ppid=29846 vsize=15020872 memory=1228 CPUtime=0.16 cores=1,3,5,7
/proc/29853/task/29875/stat : 29875 (java) R 29846 29846 29789 0 -1 4202560 453 0 0 0 16 0 0 0 20 0 15 0 230532781 15381372928 32413 33554432000 4194304 4196468 140727871939568 140146550168568 140147494626009 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29880] ppid=29846 vsize=15020872 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29880/stat : 29880 (java) S 29846 29846 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230532782 15381372928 32413 33554432000 4194304 4196468 140727871939568 140144917080416 140147515713237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
[pid=29853/tid=29882] ppid=29846 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/29853/task/29882/stat : 29882 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230532782 15381372928 32413 33554432000 4194304 4196468 140727871939568 140146549120048 140147515714178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140727871947783 140727871948081 140727871948081 140727871950799 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131044 KiB
[startup+1.50134 s]
/proc/loadavg: 0.90 1.03 1.29 5/217 29883
/proc/meminfo: memFree=12992716/32770624 swapFree=67108860/67108860
[pid=29846] ppid=29841 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/29846/stat : 29846 (scop.sh) S 29841 29846 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230532774 115843072 348 33554432000 4194304 5098028 140727684353744 140727684351000 140382276702844 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23625728 140727684355137 140727684355335 140727684355335 140727684358093 0
/proc/29846/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=30006/tid=30009] ppid=29846 vsize=8068220 memory=115624 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30009/stat : 30009 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230535378 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518647728400 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30010] ppid=29846 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30010/stat : 30010 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230535378 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518296496784 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30011] ppid=29846 vsize=8068220 memory=115624 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30011/stat : 30011 (java) S 29846 29846 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230535378 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518295443984 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30012] ppid=29846 vsize=8068220 memory=7595698360913258068 CPUtime=0.06 cores=1,3,5,7
/proc/30006/task/30012/stat : 30012 (java) S 29846 29846 29789 0 -1 1077944384 7 0 0 0 2 4 0 0 20 0 19 0 230535379 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518258727536 140518812248706 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30013] ppid=29846 vsize=8068220 memory=115624 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30013/stat : 30013 (java) S 29846 29846 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230535379 8261857280 28906 33554432000 4194304 4196468 140736981323760 140517706818848 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30014] ppid=29846 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30014/stat : 30014 (java) S 29846 29846 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230535380 8261857280 28906 33554432000 4194304 4196468 140736981323760 140517572597360 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30015] ppid=29846 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30015/stat : 30015 (java) S 29846 29846 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140517198092880 140518812256155 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30016] ppid=29846 vsize=8068220 memory=1468 CPUtime=0.12 cores=1,3,5,7
/proc/30006/task/30016/stat : 30016 (java) S 29846 29846 29789 0 -1 1077944384 683 0 0 0 11 1 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518257674352 140518812248706 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30017] ppid=29846 vsize=8068220 memory=1468 CPUtime=0.15 cores=1,3,5,7
/proc/30006/task/30017/stat : 30017 (java) S 29846 29846 29789 0 -1 1077944384 638 0 0 0 15 0 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518256621552 140518812248706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30018] ppid=29846 vsize=8068220 memory=1468 CPUtime=0.23 cores=1,3,5,7
/proc/30006/task/30018/stat : 30018 (java) S 29846 29846 29789 0 -1 1077944384 806 0 0 0 23 0 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518255569264 140518812248706 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30019] ppid=29846 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30019/stat : 30019 (java) S 29846 29846 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140516700187104 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30020] ppid=29846 vsize=8068220 memory=4128 CPUtime=1.31 cores=1,3,5,7
/proc/30006/task/30020/stat : 30020 (java) S 29846 29846 29789 0 -1 1077944384 159 0 0 0 61 70 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518254517168 140518812248706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30022] ppid=29846 vsize=8068220 memory=62576 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30022/stat : 30022 (java) S 29846 29846 29789 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230535452 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518246708672 140518812262169 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30024] ppid=29846 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30024/stat : 30024 (java) S 29846 29846 29789 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230535452 8261857280 28906 33554432000 4194304 4196468 140736981323760 140516163301424 140518812259485 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30025] ppid=29846 vsize=8068220 memory=115624 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30025/stat : 30025 (java) S 29846 29846 29789 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230535452 8261857280 28906 33554432000 4194304 4196468 140736981323760 140516297522608 140518812259485 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30026] ppid=29846 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30026/stat : 30026 (java) S 29846 29846 29789 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230535455 8261857280 28906 33554432000 4194304 4196468 140736981323760 140515894877088 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
Current children cumulated CPU time: 2404.9 s
Current children cumulated vsize: 8596672 KiB
Current children cumulated memory: 472268 KiB
[startup+2442.3 s]
/proc/loadavg: 2.04 2.09 2.02 3/227 30123
/proc/meminfo: memFree=12355548/32770624 swapFree=67108860/67108860
[pid=29846] ppid=29841 vsize=113128 memory=1468 CPUtime=46.77 cores=1,3,5,7
/proc/29846/stat : 29846 (scop.sh) S 29841 29846 29789 0 -1 4202496 590 65167 0 0 0 0 4563 114 20 0 1 0 230532774 115843072 367 33554432000 4194304 5098028 140727684353744 140727684350488 140382276702844 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23625728 140727684355137 140727684355335 140727684355335 140727684358093 0
/proc/29846/statm: 28282 367 311 221 0 87 0
[pid=30006] ppid=29846 vsize=8068220 memory=115624 CPUtime=2.74 cores=1,3,5,7
/proc/30006/stat : 30006 (java) S 29846 29846 29789 0 -1 1077944320 19358 0 0 0 194 80 0 0 20 0 19 0 230535376 8261857280 28906 33554432000 4194304 4196468 140736981323760 140736981306304 140518812237559 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
/proc/30006/statm: 2017055 28906 3160 1 0 1978454 0
[pid=30021] ppid=30006 vsize=415324 memory=371560 CPUtime=2415.42 cores=1,3,5,7
/proc/30021/stat : 30021 (minisat_release) R 30006 29846 29789 0 -1 4202496 2712691 0 0 0 241346 196 0 0 20 0 1 0 230535452 425291776 92890 33554432000 4194304 4308513 140731937106608 140731937104056 4275601 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 17039360 140731937113204 140731937113302 140731937113302 140731937116101 0
/proc/30021/statm: 103831 92890 341 28 0 100071 0
[pid=30006/tid=30007] ppid=29846 vsize=8068220 memory=1468 CPUtime=0.79 cores=1,3,5,7
/proc/30006/task/30007/stat : 30007 (java) S 29846 29846 29789 0 -1 1077944384 15638 0 0 0 74 5 0 0 20 0 19 0 230535376 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518784077712 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30008] ppid=29846 vsize=8068220 memory=115624 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30008/stat : 30008 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230535378 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518816479632 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30009] ppid=29846 vsize=8068220 memory=115624 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30009/stat : 30009 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230535378 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518647728400 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30010] ppid=29846 vsize=8068220 memory=115624 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30010/stat : 30010 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230535378 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518296496784 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30011] ppid=29846 vsize=8068220 memory=115624 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30011/stat : 30011 (java) S 29846 29846 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230535378 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518295443984 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30012] ppid=29846 vsize=8068220 memory=115624 CPUtime=0.06 cores=1,3,5,7
/proc/30006/task/30012/stat : 30012 (java) S 29846 29846 29789 0 -1 1077944384 7 0 0 0 2 4 0 0 20 0 19 0 230535379 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518258727536 140518812248706 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30013] ppid=29846 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30013/stat : 30013 (java) S 29846 29846 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230535379 8261857280 28906 33554432000 4194304 4196468 140736981323760 140517706818848 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30014] ppid=29846 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30014/stat : 30014 (java) S 29846 29846 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230535380 8261857280 28906 33554432000 4194304 4196468 140736981323760 140517572597360 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30015] ppid=29846 vsize=8068220 memory=115624 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30015/stat : 30015 (java) S 29846 29846 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140517198092880 140518812256155 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30016] ppid=29846 vsize=8068220 memory=1468 CPUtime=0.12 cores=1,3,5,7
/proc/30006/task/30016/stat : 30016 (java) S 29846 29846 29789 0 -1 1077944384 683 0 0 0 11 1 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518257674352 140518812248706 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30017] ppid=29846 vsize=8068220 memory=1468 CPUtime=0.15 cores=1,3,5,7
/proc/30006/task/30017/stat : 30017 (java) S 29846 29846 29789 0 -1 1077944384 638 0 0 0 15 0 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518256621552 140518812248706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30018] ppid=29846 vsize=8068220 memory=1468 CPUtime=0.23 cores=1,3,5,7
/proc/30006/task/30018/stat : 30018 (java) S 29846 29846 29789 0 -1 1077944384 806 0 0 0 23 0 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518255569264 140518812248706 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30019] ppid=29846 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30019/stat : 30019 (java) S 29846 29846 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140516700187104 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30020] ppid=29846 vsize=8068220 memory=115624 CPUtime=1.34 cores=1,3,5,7
/proc/30006/task/30020/stat : 30020 (java) S 29846 29846 29789 0 -1 1077944384 163 0 0 0 62 72 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518254517168 140518812248706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30022] ppid=29846 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30022/stat : 30022 (java) S 29846 29846 29789 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230535452 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518246708672 140518812262169 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30024] ppid=29846 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30024/stat : 30024 (java) S 29846 29846 29789 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230535452 8261857280 28906 33554432000 4194304 4196468 140736981323760 140516163301424 140518812259485 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30025] ppid=29846 vsize=8068220 memory=115624 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30025/stat : 30025 (java) S 29846 29846 29789 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230535452 8261857280 28906 33554432000 4194304 4196468 140736981323760 140516297522608 140518812259485 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30026] ppid=29846 vsize=8068220 memory=115624 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30026/stat : 30026 (java) S 29846 29846 29789 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230535455 8261857280 28906 33554432000 4194304 4196468 140736981323760 140515894877088 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
Current children cumulated CPU time: 2464.93 s
Current children cumulated vsize: 8596672 KiB
Current children cumulated memory: 488652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2497.4 s]
/proc/loadavg: 2.02 2.07 2.02 3/227 30124
/proc/meminfo: memFree=12382656/32770624 swapFree=67108860/67108860
[pid=29846] ppid=29841 vsize=113128 memory=1468 CPUtime=46.77 cores=1,3,5,7
/proc/29846/stat : 29846 (scop.sh) S 29841 29846 29789 0 -1 4202496 590 65167 0 0 0 0 4563 114 20 0 1 0 230532774 115843072 367 33554432000 4194304 5098028 140727684353744 140727684350488 140382276702844 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23625728 140727684355137 140727684355335 140727684355335 140727684358093 0
/proc/29846/statm: 28282 367 311 221 0 87 0
[pid=30006] ppid=29846 vsize=8068220 memory=115624 CPUtime=2.77 cores=1,3,5,7
/proc/30006/stat : 30006 (java) S 29846 29846 29789 0 -1 1077944320 19362 0 0 0 195 82 0 0 20 0 19 0 230535376 8261857280 28906 33554432000 4194304 4196468 140736981323760 140736981306304 140518812237559 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
/proc/30006/statm: 2017055 28906 3160 1 0 1978454 0
[pid=30021] ppid=30006 vsize=415324 memory=360548 CPUtime=2470.52 cores=1,3,5,7
/proc/30021/stat : 30021 (minisat_release) R 30006 29846 29789 0 -1 4202496 2759419 0 0 0 246850 202 0 0 20 0 1 0 230535452 425291776 90137 33554432000 4194304 4308513 140731937106608 140731937104056 4276008 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 17039360 140731937113204 140731937113302 140731937113302 140731937116101 0
/proc/30021/statm: 103831 90137 341 28 0 100071 0
[pid=30006/tid=30007] ppid=29846 vsize=8068220 memory=115624 CPUtime=0.79 cores=1,3,5,7
/proc/30006/task/30007/stat : 30007 (java) S 29846 29846 29789 0 -1 1077944384 15638 0 0 0 74 5 0 0 20 0 19 0 230535376 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518784077712 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30008] ppid=29846 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30008/stat : 30008 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230535378 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518816479632 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30009] ppid=29846 vsize=8068220 memory=115624 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30009/stat : 30009 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230535378 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518647728400 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30010] ppid=29846 vsize=8068220 memory=360548 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30010/stat : 30010 (java) S 29846 29846 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230535378 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518296496784 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30011] ppid=29846 vsize=8068220 memory=840 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30011/stat : 30011 (java) S 29846 29846 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230535378 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518295443984 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30012] ppid=29846 vsize=8068220 memory=1796 CPUtime=0.06 cores=1,3,5,7
/proc/30006/task/30012/stat : 30012 (java) S 29846 29846 29789 0 -1 1077944384 7 0 0 0 2 4 0 0 20 0 19 0 230535379 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518258727536 140518812248706 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30013] ppid=29846 vsize=8068220 memory=916 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30013/stat : 30013 (java) S 29846 29846 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230535379 8261857280 28906 33554432000 4194304 4196468 140736981323760 140517706818848 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30014] ppid=29846 vsize=8068220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30014/stat : 30014 (java) S 29846 29846 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230535380 8261857280 28906 33554432000 4194304 4196468 140736981323760 140517572597360 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30015] ppid=29846 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30015/stat : 30015 (java) S 29846 29846 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140517198092880 140518812256155 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30016] ppid=29846 vsize=8068220 memory=4420 CPUtime=0.12 cores=1,3,5,7
/proc/30006/task/30016/stat : 30016 (java) S 29846 29846 29789 0 -1 1077944384 683 0 0 0 11 1 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518257674352 140518812248706 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30017] ppid=29846 vsize=8068220 memory=6628 CPUtime=0.15 cores=1,3,5,7
/proc/30006/task/30017/stat : 30017 (java) S 29846 29846 29789 0 -1 1077944384 638 0 0 0 15 0 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518256621552 140518812248706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30018] ppid=29846 vsize=8068220 memory=636 CPUtime=0.23 cores=1,3,5,7
/proc/30006/task/30018/stat : 30018 (java) S 29846 29846 29789 0 -1 1077944384 806 0 0 0 23 0 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518255569264 140518812248706 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30019] ppid=29846 vsize=8068220 memory=8328453600958622283 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30019/stat : 30019 (java) S 29846 29846 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140516700187104 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30020] ppid=29846 vsize=8068220 memory=-8412652160765825907 CPUtime=1.38 cores=1,3,5,7
/proc/30006/task/30020/stat : 30020 (java) S 29846 29846 29789 0 -1 1077944384 167 0 0 0 64 74 0 0 20 0 19 0 230535382 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518254517168 140518812248706 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30022] ppid=29846 vsize=8068220 memory=-8634980985311628903 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30022/stat : 30022 (java) S 29846 29846 29789 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230535452 8261857280 28906 33554432000 4194304 4196468 140736981323760 140518246708672 140518812262169 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30024] ppid=29846 vsize=8068220 memory=7100839878645619564 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30024/stat : 30024 (java) S 29846 29846 29789 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230535452 8261857280 28906 33554432000 4194304 4196468 140736981323760 140516163301424 140518812259485 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30025] ppid=29846 vsize=8068220 memory=7897517683652307531 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30025/stat : 30025 (java) S 29846 29846 29789 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230535452 8261857280 28906 33554432000 4194304 4196468 140736981323760 140516297522608 140518812259485 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
[pid=30006/tid=30026] ppid=29846 vsize=8068220 memory=8514726395715349656 CPUtime=0 cores=1,3,5,7
/proc/30006/task/30026/stat : 30026 (java) S 29846 29846 29789 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230535455 8261857280 28906 33554432000 4194304 4196468 140736981323760 140515894877088 140518812247765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140736981324981 140736981325105 140736981325105 140736981327823 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 8596672 KiB
Current children cumulated memory: 477640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2497.41 s]
# the end of solver process 29846 was just reported to runsolver
# cumulated CPU time of all completed processes: user=45.642 s, system=1.14669 s
[startup+2497.44 s]
# the end of solver process 30006 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.1 s, system=4.03315 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): 2497.44
CPU time (s): 2520.14
CPU user time (s): 2516.1
CPU system time (s): 4.03315
CPU usage (%): 100.909
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3471228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.1
system time used= 4.03315
maximum resident set size= 3471068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2845089
page faults= 0
swaps= 0
block input operations= 0
block output operations= 146096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62075
involuntary context switches= 1638
# summary of solver processes directly reported to runsolver:
# pid: 29846,30006
# total CPU time (s): 2520.14
# total CPU user time (s): 2516.1
# total CPU system time (s): 4.03315
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6744 second user time and 28.4832 second system time
The end