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-8411-serial-file.bin HOME/instance-4305684-1534130670.xml
0.54/0.51
0.65/0.52 scop both+minisat_release (2018-07-31)
0.65/0.52 (Encoding Process)
0.65/0.52
0.65/0.54 c BEGIN-Prog: Mon Aug 13 05:24:30 CEST 2018
0.65/0.54 c PID: 8414
0.65/0.54 c IP: 172.20.3.150
0.65/0.54 c HOST: node150.alineos.net
0.65/0.55 c (0,0) Parsing Begin
1.97/1.12 c (0,0) Parsing End
1.97/1.13 c (0,0) CSP: 590 int (0 aux), 0 bool (0 aux), 270 ctr, max domain size 190
1.97/1.13 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.97/1.13 c (0,0) Constraint Name Generate Begin
1.97/1.14 c (0,0) Ctr:HOME/instance-4305684-1534130670.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.97/1.14 c (0,0) Constraint Name Generate End
1.97/1.14 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.97/1.14 c (0,0) CSP to CSPinCNF Begin
8.04/3.39 c (2,2) translated 27 (10%) constraints
9.58/4.62 c (4,4) translated 54 (20%) constraints
10.82/5.84 c (5,5) translated 81 (30%) constraints
12.05/7.04 c (6,6) translated 108 (40%) constraints
13.29/8.26 c (7,7) translated 135 (50%) constraints
15.31/9.62 c (9,8) translated 162 (60%) constraints
16.42/10.72 c (10,10) translated 189 (70%) constraints
20.70/12.21 c (11,11) translated 216 (80%) constraints
21.80/12.70 c (12,11) translated 243 (90%) constraints
22.36/12.98 c (12,12) translated 270 (100%) constraints
24.70/13.95 c (13,13) STATISTICS1:HOME/instance-4305684-1534130670.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,48490,229956,549755813888,190,190,40,549755813888:400;137438953472:400;512:38;190:16110;19:3810;1:1845,190:170820;19:171480;2:346240;1:9500,190:2;20:610;19:190;18:190;17:190;16:190;15:190;14:190;13:190;12:190;11:190;10:190;9:190;8:190;7:190;6:190;5:190;4:64790;3:54930;2:106135;1:639,40:400;38:400;10:38;2:21765;1:639320;0:190,
24.70/13.95 c (13,13) ==========================================
24.70/13.95 c (13,13) Both Encoding selects:
24.70/13.95 c (13,13) Order
24.70/13.95 c (13,13) ==========================================
25.55/14.34 c (13,13) translated 22996 (10%) constraints
27.07/14.92 c (14,13) translated 45992 (20%) constraints
27.37/15.23 c (14,14) translated 68987 (30%) constraints
27.68/15.54 c (15,14) translated 91983 (40%) constraints
27.98/15.86 c (15,14) translated 114978 (50%) constraints
28.29/16.17 c (15,15) translated 137974 (60%) constraints
28.58/16.48 c (15,15) translated 160970 (70%) constraints
28.88/16.79 c (16,15) translated 183965 (80%) constraints
30.33/17.43 c (16,16) translated 206961 (90%) constraints
33.59/19.14 c (18,18) translated 229956 (100%) constraints
33.59/19.14 c (18,18) CSP to CSPinCNF End
33.59/19.17 c (18,18) CSP: 4990 int (4400 aux), 56090 bool (56090 aux), 253765 ctr, max domain size 188
33.59/19.17 c (18,18) Heap : 1890 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
33.59/19.17 c (18,18) CSPinCNF Propagation Begin
40.17/21.68 c (21,20) 6283 values, 24409 unsatisfiable literals, and 17681 valid clauses are removed
40.17/21.68 c (21,20) CSPinCNF Propagation End
40.30/21.70 c (21,20) CSP: 9420 int (8830 aux), 51660 bool (51660 aux), 236084 ctr, max domain size 188
40.30/21.70 c (21,20) Heap : 513 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
40.30/21.70 c (21,20) Simplify CSPinCNF Begin
41.64/22.71 c (22,21) Simplify CSPinCNF End
41.64/22.74 c (22,21) CSP: 9420 int (8830 aux), 93980 bool (93980 aux), 278404 ctr, max domain size 188
41.64/22.74 c (22,21) Heap : 1065 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
41.64/22.74 c (22,21) Calculate Precise Domain Begin
41.83/22.80 c (22,21) 1387 values are removed by re-calculation
41.83/22.80 c (22,21) Calculate Precise Domain End
41.83/22.84 c (22,21) CSP: 9420 int (8830 aux), 93980 bool (93980 aux), 278404 ctr, max domain size 188
41.83/22.84 c (22,21) Heap : 1132 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
41.83/22.84 c (22,21) CSPinCNF to SatSolver Begin
42.65/23.19 c (22,21) 27841 (10 %) CSP clauses are encoded (146200 SAT variables, 75240 SAT clauses)
42.95/23.33 c (22,21) 55681 (20 %) CSP clauses are encoded (146200 SAT variables, 103080 SAT clauses)
43.05/23.46 c (22,22) 83522 (30 %) CSP clauses are encoded (146200 SAT variables, 130921 SAT clauses)
43.24/23.60 c (23,22) 111362 (40 %) CSP clauses are encoded (146200 SAT variables, 158761 SAT clauses)
43.35/23.74 c (23,22) 139202 (50 %) CSP clauses are encoded (146200 SAT variables, 186601 SAT clauses)
43.45/23.87 c (23,22) 167043 (60 %) CSP clauses are encoded (146200 SAT variables, 214442 SAT clauses)
49.86/28.59 c (28,26) 194883 (70 %) CSP clauses are encoded (146200 SAT variables, 2107607 SAT clauses)
58.81/36.44 c (35,33) 222724 (80 %) CSP clauses are encoded (146200 SAT variables, 5297057 SAT clauses)
62.89/39.47 c (38,36) 250564 (90 %) CSP clauses are encoded (146200 SAT variables, 6460482 SAT clauses)
63.70/40.03 c (39,37) 278404 (100 %) CSP clauses are encoded (146200 SAT variables, 6609030 SAT clauses)
63.70/40.03 c (39,37) Launch Command will be: minisat_release
63.70/40.03 c (39,37) CSPinCNF to SatSolver End
63.70/40.03 c (39,37) Heap : 2516 MiB used (max 10826 MiB), NonHeap : 32 MiB used (max 0 MiB)
65.14/40.89 c (40,37) STATISTICS2:HOME/instance-4305684-1534130670.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,103400,278404,512,188,19,10,512:36;188:32220;128:680;64:3400;27:153;21:306;19:2010;18:5247;16:88;14:34;12:54;10:2;9:2340;8:646;4:260;1:2880,188:202660;19:154340;18:25380;9:612;8:50;7:680;6:108;5:10;4:120;3:11520;2:432320;1:6680,19:360;18:360;17:180;16:180;15:180;14:180;13:180;12:180;11:180;10:218;9:180;8:180;7:180;6:180;5:180;4:61380;3:49470;2:156420;1:8036,10:36;8:2400;7:2400;3:3190;2:42330;1:703890,
65.33/40.90 c (40,37) 146200 bool, 6609048 clause
65.33/40.90 c (40,37) Export Begin
65.53/41.03 c (40,38) Export to HOME/scop-8411-serial-file.bin
65.53/41.03 c (40,38) Export End
65.53/41.03 c (40,38) Export File Size: 0.13 MB
65.53/41.03 c (40,38) 0,0,18,21,22,22,39,STOP-AFTER(DIMACS)
65.53/41.03 c END-Prog: Mon Aug 13 05:25:11 CEST 2018
65.53/41.06 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-8411-serial-file.bin
65.63/41.55 c (0,0) Read Serial File Begin
65.63/41.55 c (0,0) HOME/scop-8411-serial-file.bin
65.63/41.77 c (0,0) Read Serial File End
65.63/41.78
65.63/41.78 scop order+minisat_release (2018-07-31)
65.63/41.78 (Solving Process)
65.63/41.78
65.63/41.80 c BEGIN-Prog: Mon Aug 13 05:25:11 CEST 2018
65.63/41.80 c PID: 8430
65.63/41.80 c IP: 172.20.3.150
65.63/41.80 c HOST: node150.alineos.net
65.63/41.81 c (0,0) SatSolver.solve Begin
65.63/41.81 c (0,0) 0 bool, 0 clause
65.63/41.81 c (0,0) minisat_release HOME/instance-4305684-1534130670.xml-scop-8414.cnf
2520.06/2493.50 c (2452,0) receiving signal SIGTERM
2520.06/2493.50 s UNKNOWN
2520.06/2493.51 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.06/2493.51 c (scop.sh) Remove HOME/scop-8411-serial-file.bin.
2520.06/2493.51 c (scop.sh) Killing background jobs.
2520.06/2493.51 c (2452,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 (4268 MiB free)
memory of node 1: 16384 MiB (9977 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305684-1534130670/watcher-4305684-1534130670 -o /tmp/evaluation-result-4305684-1534130670/solver-4305684-1534130670 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534130664-8263 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305684-1534130670.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8411, runsolver pid=8408
Current StackSize limit: 8192 KiB
[startup+0.100519 s]*
/proc/loadavg: 0.97 0.94 1.23 3/220 8428
/proc/meminfo: memFree=14484620/32770624 swapFree=67108792/67108860
[pid=8411] ppid=8408 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/8411/stat : 8411 (scop.sh) S 8408 8411 8231 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230630234 115843072 348 33554432000 4194304 5098028 140734423375088 140734423372344 140466414498428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15163392 140734423376961 140734423377159 140734423377159 140734423379917 0
/proc/8411/statm: 28282 348 296 221 0 87 0
[pid=8414] ppid=8411 vsize=15012476 memory=72172 CPUtime=0.11 cores=1,3,5,7
/proc/8414/stat : 8414 (java) S 8411 8411 8231 0 -1 1077944320 6140 0 0 0 9 2 0 0 20 0 15 0 230630234 15372775424 18043 33554432000 4194304 4196468 140728774164528 140728774147072 140471444938487 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
/proc/8414/statm: 3753119 18043 2771 1 0 3715579 0
[pid=8414/tid=8415] ppid=8411 vsize=15012476 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/8414/task/8415/stat : 8415 (java) R 8411 8411 8231 0 -1 4202560 4432 0 0 0 7 2 0 0 20 0 15 0 230630234 15372775424 18241 33554432000 4194304 4196468 140728774164528 140471416764816 140471425214194 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8416] ppid=8411 vsize=15012476 memory=3472468274163221712 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8416/stat : 8416 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630236 15372775424 18241 33554432000 4194304 4196468 140728774164528 140471449180560 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8417] ppid=8411 vsize=15012476 memory=140145268070016 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8417/stat : 8417 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630236 15372775424 18241 33554432000 4194304 4196468 140728774164528 140471269476624 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8418] ppid=8411 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8418/stat : 8418 (java) S 8411 8411 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230630236 15372775424 18241 33554432000 4194304 4196468 140728774164528 140470904126096 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8419] ppid=8411 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8419/stat : 8419 (java) S 8411 8411 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230630236 15372775424 18241 33554432000 4194304 4196468 140728774164528 140470903073296 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8420] ppid=8411 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8420/stat : 8420 (java) S 8411 8411 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230630237 15372775424 18241 33554432000 4194304 4196468 140728774164528 140470784551536 140471444949634 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8421] ppid=8411 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8421/stat : 8421 (java) S 8411 8411 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230630238 15372775424 18241 33554432000 4194304 4196468 140728774164528 140470025970976 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8422] ppid=8411 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8422/stat : 8422 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630238 15372775424 18307 33554432000 4194304 4196468 140728774164528 140469791090288 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8423] ppid=8411 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8423/stat : 8423 (java) S 8411 8411 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230630240 15372775424 18307 33554432000 4194304 4196468 140728774164528 140469416581712 140471444957083 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8424] ppid=8411 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8424/stat : 8424 (java) S 8411 8411 8231 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 230630240 15372775424 18307 33554432000 4194304 4196468 140728774164528 140470783498352 140471444949634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8425] ppid=8411 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8425/stat : 8425 (java) S 8411 8411 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230630240 15372775424 18307 33554432000 4194304 4196468 140728774164528 140470782445552 140471444949634 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8426] ppid=8411 vsize=15012476 memory=140145268070016 CPUtime=0.01 cores=1,3,5,7
/proc/8414/task/8426/stat : 8426 (java) S 8411 8411 8231 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 15 0 230630240 15372775424 18307 33554432000 4194304 4196468 140728774164528 140470781393264 140471444949634 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8427] ppid=8411 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8427/stat : 8427 (java) S 8411 8411 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230630241 15372775424 18307 33554432000 4194304 4196468 140728774164528 140468918675936 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8428] ppid=8411 vsize=15012476 memory=140145268070016 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8428/stat : 8428 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630241 15372775424 18307 33554432000 4194304 4196468 140728774164528 140470780341168 140471444949634 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73564 KiB
[startup+0.210583 s]*
/proc/loadavg: 0.97 0.94 1.23 3/220 8428
/proc/meminfo: memFree=14427428/32770624 swapFree=67108792/67108860
[pid=8411] ppid=8408 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/8411/stat : 8411 (scop.sh) S 8408 8411 8231 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230630234 115843072 348 33554432000 4194304 5098028 140734423375088 140734423372344 140466414498428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15163392 140734423376961 140734423377159 140734423377159 140734423379917 0
/proc/8411/statm: 28282 348 296 221 0 87 0
[pid=8414] ppid=8411 vsize=15012476 memory=85512 CPUtime=0.25 cores=1,3,5,7
/proc/8414/stat : 8414 (java) S 8411 8411 8231 0 -1 1077944320 9787 0 0 0 22 3 0 0 20 0 15 0 230630234 15372775424 21378 33554432000 4194304 4196468 140728774164528 140728774147072 140471444938487 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
/proc/8414/statm: 3753119 21378 2874 1 0 3715579 0
[pid=8414/tid=8415] ppid=8411 vsize=15012476 memory=4716008030661157272 CPUtime=0.19 cores=1,3,5,7
/proc/8414/task/8415/stat : 8415 (java) R 8411 8411 8231 0 -1 4202560 7678 0 0 0 17 2 0 0 20 0 15 0 230630234 15372775424 21378 33554432000 4194304 4196468 140728774164528 140471416764880 140470946653376 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8416] ppid=8411 vsize=15012476 memory=3472468274163221712 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8416/stat : 8416 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630236 15372775424 21378 33554432000 4194304 4196468 140728774164528 140471449180560 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8417] ppid=8411 vsize=15012476 memory=140145268070016 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8417/stat : 8417 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630236 15372775424 21378 33554432000 4194304 4196468 140728774164528 140471269476624 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8418] ppid=8411 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8418/stat : 8418 (java) S 8411 8411 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230630236 15372775424 21378 33554432000 4194304 4196468 140728774164528 140470904126096 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8419] ppid=8411 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8419/stat : 8419 (java) S 8411 8411 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230630236 15372775424 21378 33554432000 4194304 4196468 140728774164528 140470903073296 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8420] ppid=8411 vsize=15012476 memory=140145268070016 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8420/stat : 8420 (java) S 8411 8411 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230630237 15372775424 21378 33554432000 4194304 4196468 140728774164528 140470784551536 140471444949634 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8421] ppid=8411 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8421/stat : 8421 (java) S 8411 8411 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230630238 15372775424 21378 33554432000 4194304 4196468 140728774164528 140470025970976 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8422] ppid=8411 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8422/stat : 8422 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630238 15372775424 21378 33554432000 4194304 4196468 140728774164528 140469791090288 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8423] ppid=8411 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8423/stat : 8423 (java) S 8411 8411 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230630240 15372775424 21378 33554432000 4194304 4196468 140728774164528 140469416581712 140471444957083 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8424] ppid=8411 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8424/stat : 8424 (java) R 8411 8411 8231 0 -1 4202560 429 0 0 0 0 0 0 0 20 0 15 0 230630240 15372775424 21378 33554432000 4194304 4196468 140728774164528 140470783498352 140471444950422 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8425] ppid=8411 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8425/stat : 8425 (java) S 8411 8411 8231 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 230630240 15372775424 21378 33554432000 4194304 4196468 140728774164528 140470782445552 140471444949634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8426] ppid=8411 vsize=15012476 memory=140145268070016 CPUtime=0.03 cores=1,3,5,7
/proc/8414/task/8426/stat : 8426 (java) R 8411 8411 8231 0 -1 4202560 305 0 0 0 3 0 0 0 20 0 15 0 230630240 15372775424 21378 33554432000 4194304 4196468 140728774164528 140470781393264 140471444959834 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8427] ppid=8411 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8427/stat : 8427 (java) S 8411 8411 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230630241 15372775424 21378 33554432000 4194304 4196468 140728774164528 140468918675936 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8428] ppid=8411 vsize=15012476 memory=140145268070016 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8428/stat : 8428 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630241 15372775424 21378 33554432000 4194304 4196468 140728774164528 140470780341168 140471444949634 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86904 KiB
[startup+0.310662 s]*
/proc/loadavg: 0.97 0.94 1.23 3/220 8428
/proc/meminfo: memFree=14382560/32770624 swapFree=67108792/67108860
[pid=8411] ppid=8408 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/8411/stat : 8411 (scop.sh) S 8408 8411 8231 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230630234 115843072 348 33554432000 4194304 5098028 140734423375088 140734423372344 140466414498428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15163392 140734423376961 140734423377159 140734423377159 140734423379917 0
/proc/8411/statm: 28282 348 296 221 0 87 0
[pid=8414] ppid=8411 vsize=15012476 memory=89728 CPUtime=0.42 cores=1,3,5,7
/proc/8414/stat : 8414 (java) S 8411 8411 8231 0 -1 1077944320 10389 0 0 0 39 3 0 0 20 0 15 0 230630234 15372775424 22432 33554432000 4194304 4196468 140728774164528 140728774147072 140471444938487 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
/proc/8414/statm: 3753119 22432 2971 1 0 3715579 0
[pid=8414/tid=8415] ppid=8411 vsize=15012476 memory=-8976644418600983157 CPUtime=0.3 cores=1,3,5,7
/proc/8414/task/8415/stat : 8415 (java) R 8411 8411 8231 0 -1 4202560 8120 0 0 0 27 3 0 0 20 0 15 0 230630234 15372775424 22432 33554432000 4194304 4196468 140728774164528 140471416767728 140471428982117 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8416] ppid=8411 vsize=15012476 memory=3472468274163221712 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8416/stat : 8416 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630236 15372775424 22432 33554432000 4194304 4196468 140728774164528 140471449180560 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8417] ppid=8411 vsize=15012476 memory=140145268070016 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8417/stat : 8417 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630236 15372775424 22432 33554432000 4194304 4196468 140728774164528 140471269476624 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8418] ppid=8411 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8418/stat : 8418 (java) S 8411 8411 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230630236 15372775424 22432 33554432000 4194304 4196468 140728774164528 140470904126096 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8419] ppid=8411 vsize=15012476 memory=140145118554143 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8419/stat : 8419 (java) S 8411 8411 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230630236 15372775424 22432 33554432000 4194304 4196468 140728774164528 140470903073296 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8420] ppid=8411 vsize=15012476 memory=280290237087520 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8420/stat : 8420 (java) S 8411 8411 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230630237 15372775424 22432 33554432000 4194304 4196468 140728774164528 140470784551536 140471444949634 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8421] ppid=8411 vsize=15012476 memory=140145118531087 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8421/stat : 8421 (java) S 8411 8411 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230630238 15372775424 22432 33554432000 4194304 4196468 140728774164528 140470025970976 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8422] ppid=8411 vsize=15012476 memory=280290386610272 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8422/stat : 8422 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630238 15372775424 22432 33554432000 4194304 4196468 140728774164528 140469791090288 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8423] ppid=8411 vsize=15012476 memory=140145118535695 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8423/stat : 8423 (java) S 8411 8411 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230630240 15372775424 22432 33554432000 4194304 4196468 140728774164528 140469416581712 140471444957083 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8424] ppid=8411 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8414/task/8424/stat : 8424 (java) R 8411 8411 8231 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 15 0 230630240 15372775424 22432 33554432000 4194304 4196468 140728774164528 140470783498352 140471444949634 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8425] ppid=8411 vsize=15012476 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8414/task/8425/stat : 8425 (java) R 8411 8411 8231 0 -1 4202560 153 0 0 0 2 0 0 0 20 0 15 0 230630240 15372775424 22432 33554432000 4194304 4196468 140728774164528 140470782445552 140471428470025 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8426] ppid=8411 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8426/stat : 8426 (java) R 8411 8411 8231 0 -1 4202560 347 0 0 0 7 0 0 0 20 0 15 0 230630240 15372775424 22432 33554432000 4194304 4196468 140728774164528 140470781393264 140471429018974 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8427] ppid=8411 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8427/stat : 8427 (java) S 8411 8411 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230630241 15372775424 22432 33554432000 4194304 4196468 140728774164528 140468918675936 140471444948693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8428] ppid=8411 vsize=15012476 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8428/stat : 8428 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630241 15372775424 22432 33554432000 4194304 4196468 140728774164528 140470780341168 140471444949634 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91120 KiB
[startup+0.703167 s]
/proc/loadavg: 0.97 0.94 1.23 3/220 8428
/proc/meminfo: memFree=14273844/32770624 swapFree=67108792/67108860
[pid=8411] ppid=8408 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/8411/stat : 8411 (scop.sh) S 8408 8411 8231 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230630234 115843072 348 33554432000 4194304 5098028 140734423375088 140734423372344 140466414498428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15163392 140734423376961 140734423377159 140734423377159 140734423379917 0
/proc/8411/statm: 28282 348 296 221 0 87 0
[pid=8414] ppid=8411 vsize=15020872 memory=129820 CPUtime=1 cores=1,3,5,7
/proc/8414/stat : 8414 (java) S 8411 8411 8231 0 -1 1077944320 17590 0 0 0 95 5 0 0 20 0 15 0 230630234 15381372928 32455 33554432000 4194304 4196468 140728774164528 140728774147072 140471444938487 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
/proc/8414/statm: 3755218 32455 3145 1 0 3716603 0
[pid=8414/tid=8415] ppid=8411 vsize=15020872 memory=7372786582024121444 CPUtime=0.67 cores=1,3,5,7
/proc/8414/task/8415/stat : 8415 (java) R 8411 8411 8231 0 -1 4202560 14858 0 0 0 63 4 0 0 20 0 15 0 230630234 15381372928 32455 33554432000 4194304 4196468 140728774164528 140471416759888 140470946549836 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8416] ppid=8411 vsize=15020872 memory=7007712420471858773 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8416/stat : 8416 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630236 15381372928 32455 33554432000 4194304 4196468 140728774164528 140471449180560 140471444948693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8417] ppid=8411 vsize=15020872 memory=5859271421084325224 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8417/stat : 8417 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630236 15381372928 32455 33554432000 4194304 4196468 140728774164528 140471269476624 140471444948693 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8418] ppid=8411 vsize=15020872 memory=-6168368575958768251 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8418/stat : 8418 (java) S 8411 8411 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230630236 15381372928 32455 33554432000 4194304 4196468 140728774164528 140470904126096 140471444948693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8419] ppid=8411 vsize=15020872 memory=8326441112149131689 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8419/stat : 8419 (java) S 8411 8411 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230630236 15381372928 32455 33554432000 4194304 4196468 140728774164528 140470903073296 140471444948693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8420] ppid=8411 vsize=15020872 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8420/stat : 8420 (java) S 8411 8411 8231 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230630237 15381372928 32455 33554432000 4194304 4196468 140728774164528 140470784551536 140471444949634 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8421] ppid=8411 vsize=15020872 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8421/stat : 8421 (java) S 8411 8411 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230630238 15381372928 32455 33554432000 4194304 4196468 140728774164528 140470025970976 140471444948693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8422] ppid=8411 vsize=15020872 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8422/stat : 8422 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630238 15381372928 32455 33554432000 4194304 4196468 140728774164528 140469791090288 140471444948693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8423] ppid=8411 vsize=15020872 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8423/stat : 8423 (java) S 8411 8411 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230630240 15381372928 32455 33554432000 4194304 4196468 140728774164528 140469416581712 140471444957083 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8424] ppid=8411 vsize=15020872 memory=62692 CPUtime=0.08 cores=1,3,5,7
/proc/8414/task/8424/stat : 8424 (java) R 8411 8411 8231 0 -1 4202560 706 0 0 0 8 0 0 0 20 0 15 0 230630240 15381372928 32455 33554432000 4194304 4196468 140728774164528 140470783488880 140471426460636 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8425] ppid=8411 vsize=15020872 memory=1220 CPUtime=0.07 cores=1,3,5,7
/proc/8414/task/8425/stat : 8425 (java) R 8411 8411 8231 0 -1 4202560 213 0 0 0 7 0 0 0 20 0 15 0 230630240 15381372928 32455 33554432000 4194304 4196468 140728774164528 140470782435664 140471424191122 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8426] ppid=8411 vsize=15020872 memory=2380 CPUtime=0.16 cores=1,3,5,7
/proc/8414/task/8426/stat : 8426 (java) R 8411 8411 8231 0 -1 4202560 479 0 0 0 16 0 0 0 20 0 15 0 230630240 15381372928 32455 33554432000 4194304 4196468 140728774164528 140470781393264 140471444959834 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8427] ppid=8411 vsize=15020872 memory=7163890427858739792 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8427/stat : 8427 (java) S 8411 8411 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230630241 15381372928 32455 33554432000 4194304 4196468 140728774164528 140468918675936 140471444948693 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
[pid=8414/tid=8428] ppid=8411 vsize=15020872 memory=7595156207412209490 CPUtime=0 cores=1,3,5,7
/proc/8414/task/8428/stat : 8428 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230630241 15381372928 32455 33554432000 4194304 4196468 140728774164528 140470780341168 140471444949634 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32882688 140728774173704 140728774174001 140728774174001 140728774176719 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131212 KiB
[startup+1.50084 s]
/proc/loadavg: 0.97 0.94 1.23 4/220 8428
/proc/meminfo: memFree=14037096/32770624 swapFree=67108792/67108860
[pid=8411] ppid=8408 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/8411/stat : 8411 (scop.sh) S 8408 8411 8231 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230630234 115843072 348 33554432000 4194304 5098028 140734423375088 140734423372344 140466414498428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15163392 140734423376961 140734423377159 140734423377159 140734423379917 0
/proc/8411/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=8430/tid=8433] ppid=8411 vsize=8068220 memory=116764 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8433/stat : 8433 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230634342 8261857280 29191 33554432000 4194304 4196468 140731302512624 139744144525584 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8434] ppid=8411 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8434/stat : 8434 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230634342 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743810189968 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8435] ppid=8411 vsize=8068220 memory=116764 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8435/stat : 8435 (java) S 8411 8411 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230634342 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743809137168 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8436] ppid=8411 vsize=8068220 memory=1468 CPUtime=0.06 cores=1,3,5,7
/proc/8430/task/8436/stat : 8436 (java) S 8411 8411 8231 0 -1 1077944384 5 0 0 0 2 4 0 0 20 0 19 0 230634344 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743705381488 139744326138498 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8437] ppid=8411 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8437/stat : 8437 (java) S 8411 8411 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230634344 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743203419424 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8438] ppid=8411 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8438/stat : 8438 (java) S 8411 8411 8231 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230634344 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743069197936 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8439] ppid=8411 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8439/stat : 8439 (java) S 8411 8411 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139742694693456 139744326145947 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8440] ppid=8411 vsize=8068220 memory=611116 CPUtime=0.12 cores=1,3,5,7
/proc/8430/task/8440/stat : 8440 (java) S 8411 8411 8231 0 -1 1077944384 767 0 0 0 12 0 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743704328304 139744326138498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8441] ppid=8411 vsize=8068220 memory=1468 CPUtime=0.16 cores=1,3,5,7
/proc/8430/task/8441/stat : 8441 (java) S 8411 8411 8231 0 -1 1077944384 611 0 0 0 15 1 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743703275504 139744326138498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8442] ppid=8411 vsize=8068220 memory=62752 CPUtime=0.23 cores=1,3,5,7
/proc/8430/task/8442/stat : 8442 (java) S 8411 8411 8231 0 -1 1077944384 600 0 0 0 23 0 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743702223216 139744326138498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8443] ppid=8411 vsize=8068220 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8443/stat : 8443 (java) S 8411 8411 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139742196787680 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8444] ppid=8411 vsize=8068220 memory=-5059952977386882957 CPUtime=1.44 cores=1,3,5,7
/proc/8430/task/8444/stat : 8444 (java) S 8411 8411 8231 0 -1 1077944384 161 0 0 0 68 76 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743701171120 139744326138498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8446] ppid=8411 vsize=8068220 memory=116764 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8446/stat : 8446 (java) S 8411 8411 8231 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230634417 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743693362624 139744326151961 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8448] ppid=8411 vsize=8068220 memory=116764 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8448/stat : 8448 (java) S 8411 8411 8231 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230634417 8261857280 29191 33554432000 4194304 4196468 140731302512624 139741659902000 139744326149277 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8449] ppid=8411 vsize=8068220 memory=611116 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8449/stat : 8449 (java) S 8411 8411 8231 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230634417 8261857280 29191 33554432000 4194304 4196468 140731302512624 139741794123184 139744326149277 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8450] ppid=8411 vsize=8068220 memory=116764 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8450/stat : 8450 (java) S 8411 8411 8231 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230634419 8261857280 29191 33554432000 4194304 4196468 140731302512624 139741391477664 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
Current children cumulated CPU time: 2468.83 s
Current children cumulated vsize: 8870432 KiB
Current children cumulated memory: 729348 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2493.5 s]
/proc/loadavg: 2.25 2.07 1.98 3/227 8671
/proc/meminfo: memFree=14898064/32770624 swapFree=67108792/67108860
[pid=8411] ppid=8408 vsize=113128 memory=1468 CPUtime=65.63 cores=1,3,5,7
/proc/8411/stat : 8411 (scop.sh) S 8408 8411 8231 0 -1 4202496 590 67570 0 0 0 0 6355 208 20 0 1 0 230630234 115843072 367 33554432000 4194304 5098028 140734423375088 140734423371832 140466414498428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15163392 140734423376961 140734423377159 140734423377159 140734423379917 0
/proc/8411/statm: 28282 367 311 221 0 87 0
[pid=8430] ppid=8411 vsize=8068220 memory=116764 CPUtime=2.86 cores=1,3,5,7
/proc/8430/stat : 8430 (java) S 8411 8411 8231 0 -1 1077944320 18621 0 0 0 201 85 0 0 20 0 19 0 230634341 8261857280 29191 33554432000 4194304 4196468 140731302512624 140731302495168 139744326127351 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
/proc/8430/statm: 2017055 29191 3154 1 0 1978454 0
[pid=8445] ppid=8430 vsize=689084 memory=617264 CPUtime=2451.57 cores=1,3,5,7
/proc/8445/stat : 8445 (minisat_release) R 8430 8411 8231 0 -1 4202496 4249523 0 0 0 244849 308 0 0 20 0 1 0 230634417 705622016 154316 33554432000 4194304 4308513 140727547416208 140727547413656 4276008 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 11309056 140727547417717 140727547417814 140727547417814 140727547420613 0
/proc/8445/statm: 172271 154316 342 28 0 168511 0
[pid=8430/tid=8431] ppid=8411 vsize=8068220 memory=116764 CPUtime=0.78 cores=1,3,5,7
/proc/8430/task/8431/stat : 8431 (java) S 8411 8411 8231 0 -1 1077944384 15049 0 0 0 72 6 0 0 20 0 19 0 230634341 8261857280 29191 33554432000 4194304 4196468 140731302512624 139744297967504 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8432] ppid=8411 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8432/stat : 8432 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230634342 8261857280 29191 33554432000 4194304 4196468 140731302512624 139744330369424 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8433] ppid=8411 vsize=8068220 memory=615212 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8433/stat : 8433 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230634342 8261857280 29191 33554432000 4194304 4196468 140731302512624 139744144525584 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8434] ppid=8411 vsize=8068220 memory=116764 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8434/stat : 8434 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230634342 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743810189968 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8435] ppid=8411 vsize=8068220 memory=116764 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8435/stat : 8435 (java) S 8411 8411 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230634342 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743809137168 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8436] ppid=8411 vsize=8068220 memory=1468 CPUtime=0.06 cores=1,3,5,7
/proc/8430/task/8436/stat : 8436 (java) S 8411 8411 8231 0 -1 1077944384 5 0 0 0 2 4 0 0 20 0 19 0 230634344 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743705381488 139744326138498 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8437] ppid=8411 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8437/stat : 8437 (java) S 8411 8411 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230634344 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743203419424 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8438] ppid=8411 vsize=8068220 memory=116764 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8438/stat : 8438 (java) S 8411 8411 8231 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230634344 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743069197936 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8439] ppid=8411 vsize=8068220 memory=615212 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8439/stat : 8439 (java) S 8411 8411 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139742694693456 139744326145947 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8440] ppid=8411 vsize=8068220 memory=1468 CPUtime=0.12 cores=1,3,5,7
/proc/8430/task/8440/stat : 8440 (java) S 8411 8411 8231 0 -1 1077944384 767 0 0 0 12 0 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743704328304 139744326138498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8441] ppid=8411 vsize=8068220 memory=116764 CPUtime=0.16 cores=1,3,5,7
/proc/8430/task/8441/stat : 8441 (java) S 8411 8411 8231 0 -1 1077944384 611 0 0 0 15 1 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743703275504 139744326138498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8442] ppid=8411 vsize=8068220 memory=1468 CPUtime=0.23 cores=1,3,5,7
/proc/8430/task/8442/stat : 8442 (java) S 8411 8411 8231 0 -1 1077944384 600 0 0 0 23 0 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743702223216 139744326138498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8443] ppid=8411 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8443/stat : 8443 (java) S 8411 8411 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139742196787680 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8444] ppid=8411 vsize=8068220 memory=1468 CPUtime=1.46 cores=1,3,5,7
/proc/8430/task/8444/stat : 8444 (java) S 8411 8411 8231 0 -1 1077944384 165 0 0 0 69 77 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743701171120 139744326138498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8446] ppid=8411 vsize=8068220 memory=116764 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8446/stat : 8446 (java) S 8411 8411 8231 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230634417 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743693362624 139744326151961 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8448] ppid=8411 vsize=8068220 memory=4744 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8448/stat : 8448 (java) S 8411 8411 8231 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230634417 8261857280 29191 33554432000 4194304 4196468 140731302512624 139741659902000 139744326149277 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8449] ppid=8411 vsize=8068220 memory=3888 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8449/stat : 8449 (java) S 8411 8411 8231 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230634417 8261857280 29191 33554432000 4194304 4196468 140731302512624 139741794123184 139744326149277 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8450] ppid=8411 vsize=8068220 memory=8564 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8450/stat : 8450 (java) S 8411 8411 8231 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230634419 8261857280 29191 33554432000 4194304 4196468 140731302512624 139741391477664 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 8870432 KiB
Current children cumulated memory: 735496 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2493.51 s]
# the end of solver process 8411 was just reported to runsolver
# cumulated CPU time of all completed processes: user=63.5547 s, system=2.08619 s
[startup+2493.57 s]
# the end of solver process 8430 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.07 s, system=6.0949 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+2493.5 s]
/proc/loadavg: 2.25 2.07 1.98 3/227 8671
/proc/meminfo: memFree=14898064/32770624 swapFree=67108792/67108860
[pid=8411] ppid=8408 vsize=113128 memory=1468 CPUtime=65.63 cores=1,3,5,7
/proc/8411/stat : 8411 (scop.sh) S 8408 8411 8231 0 -1 4202496 590 67570 0 0 0 0 6355 208 20 0 1 0 230630234 115843072 367 33554432000 4194304 5098028 140734423375088 140734423371832 140466414498428 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15163392 140734423376961 140734423377159 140734423377159 140734423379917 0
/proc/8411/statm: 28282 367 311 221 0 87 0
[pid=8430] ppid=8411 vsize=8068220 memory=116764 CPUtime=2.86 cores=1,3,5,7
/proc/8430/stat : 8430 (java) S 8411 8411 8231 0 -1 1077944320 18621 0 0 0 201 85 0 0 20 0 19 0 230634341 8261857280 29191 33554432000 4194304 4196468 140731302512624 140731302495168 139744326127351 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
/proc/8430/statm: 2017055 29191 3154 1 0 1978454 0
[pid=8445] ppid=8430 vsize=689084 memory=617264 CPUtime=2451.57 cores=1,3,5,7
/proc/8445/stat : 8445 (minisat_release) R 8430 8411 8231 0 -1 4202496 4249523 0 0 0 244849 308 0 0 20 0 1 0 230634417 705622016 154316 33554432000 4194304 4308513 140727547416208 140727547413656 4276008 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 11309056 140727547417717 140727547417814 140727547417814 140727547420613 0
/proc/8445/statm: 172271 154316 342 28 0 168511 0
[pid=8430/tid=8431] ppid=8411 vsize=8068220 memory=116764 CPUtime=0.78 cores=1,3,5,7
/proc/8430/task/8431/stat : 8431 (java) S 8411 8411 8231 0 -1 1077944384 15049 0 0 0 72 6 0 0 20 0 19 0 230634341 8261857280 29191 33554432000 4194304 4196468 140731302512624 139744297967504 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8432] ppid=8411 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8432/stat : 8432 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230634342 8261857280 29191 33554432000 4194304 4196468 140731302512624 139744330369424 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8433] ppid=8411 vsize=8068220 memory=615212 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8433/stat : 8433 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230634342 8261857280 29191 33554432000 4194304 4196468 140731302512624 139744144525584 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8434] ppid=8411 vsize=8068220 memory=116764 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8434/stat : 8434 (java) S 8411 8411 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230634342 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743810189968 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8435] ppid=8411 vsize=8068220 memory=116764 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8435/stat : 8435 (java) S 8411 8411 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230634342 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743809137168 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8436] ppid=8411 vsize=8068220 memory=1468 CPUtime=0.06 cores=1,3,5,7
/proc/8430/task/8436/stat : 8436 (java) S 8411 8411 8231 0 -1 1077944384 5 0 0 0 2 4 0 0 20 0 19 0 230634344 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743705381488 139744326138498 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8437] ppid=8411 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8437/stat : 8437 (java) S 8411 8411 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230634344 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743203419424 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8438] ppid=8411 vsize=8068220 memory=116764 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8438/stat : 8438 (java) S 8411 8411 8231 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230634344 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743069197936 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8439] ppid=8411 vsize=8068220 memory=615212 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8439/stat : 8439 (java) S 8411 8411 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139742694693456 139744326145947 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8440] ppid=8411 vsize=8068220 memory=1468 CPUtime=0.12 cores=1,3,5,7
/proc/8430/task/8440/stat : 8440 (java) S 8411 8411 8231 0 -1 1077944384 767 0 0 0 12 0 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743704328304 139744326138498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8441] ppid=8411 vsize=8068220 memory=116764 CPUtime=0.16 cores=1,3,5,7
/proc/8430/task/8441/stat : 8441 (java) S 8411 8411 8231 0 -1 1077944384 611 0 0 0 15 1 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743703275504 139744326138498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8442] ppid=8411 vsize=8068220 memory=1468 CPUtime=0.23 cores=1,3,5,7
/proc/8430/task/8442/stat : 8442 (java) S 8411 8411 8231 0 -1 1077944384 600 0 0 0 23 0 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743702223216 139744326138498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8443] ppid=8411 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8443/stat : 8443 (java) S 8411 8411 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139742196787680 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8444] ppid=8411 vsize=8068220 memory=1468 CPUtime=1.46 cores=1,3,5,7
/proc/8430/task/8444/stat : 8444 (java) S 8411 8411 8231 0 -1 1077944384 165 0 0 0 69 77 0 0 20 0 19 0 230634347 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743701171120 139744326138498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8446] ppid=8411 vsize=8068220 memory=116764 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8446/stat : 8446 (java) S 8411 8411 8231 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230634417 8261857280 29191 33554432000 4194304 4196468 140731302512624 139743693362624 139744326151961 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8448] ppid=8411 vsize=8068220 memory=4744 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8448/stat : 8448 (java) S 8411 8411 8231 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230634417 8261857280 29191 33554432000 4194304 4196468 140731302512624 139741659902000 139744326149277 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8449] ppid=8411 vsize=8068220 memory=3888 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8449/stat : 8449 (java) S 8411 8411 8231 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230634417 8261857280 29191 33554432000 4194304 4196468 140731302512624 139741794123184 139744326149277 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
[pid=8430/tid=8450] ppid=8411 vsize=8068220 memory=8564 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8450/stat : 8450 (java) S 8411 8411 8231 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230634419 8261857280 29191 33554432000 4194304 4196468 140731302512624 139741391477664 139744326137557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18763776 140731302519990 140731302520113 140731302520113 140731302522831 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 8870432 KiB
Current children cumulated memory: 735496 KiB
Child status: 1
Real time (s): 2493.57
CPU time (s): 2520.16
CPU user time (s): 2514.07
CPU system time (s): 6.0949
CPU usage (%): 101.066
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4120148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.07
system time used= 6.0949
maximum resident set size= 4119076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4336850
page faults= 0
swaps= 0
block input operations= 0
block output operations= 292696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62794
involuntary context switches= 1074
# summary of solver processes directly reported to runsolver:
# pid: 8411,8430
# total CPU time (s): 2520.16
# total CPU user time (s): 2514.07
# total CPU system time (s): 6.0949
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0726 second user time and 31.0153 second system time
The end