0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-6106-serial-file.bin HOME/instance-4305305-1534072283.xml
0.54/0.51
0.54/0.52 scop order+minisat_release (2018-07-31)
0.54/0.52 (Encoding Process)
0.54/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 13:11:24 CEST 2018
0.66/0.54 c PID: 6109
0.66/0.54 c IP: 172.20.3.151
0.66/0.54 c HOST: node151.alineos.net
0.66/0.55 c (0,0) Parsing Begin
6.88/2.62 c (2,2) Parsing End
6.88/2.64 c (2,2) CSP: 0 int (0 aux), 8349 bool (0 aux), 7910 ctr, max domain size 2
6.88/2.64 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
6.88/2.64 c (2,2) Constraint Name Generate Begin
7.21/2.70 c (2,2) Ctr:HOME/instance-4305305-1534072283.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum
7.21/2.70 c (2,2) Constraint Name Generate End
7.21/2.70 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
7.21/2.70 c (2,2) CSP to CSPinCNF Begin
9.91/3.52 c (3,2) translated 791 (10%) constraints
10.82/3.82 c (3,3) translated 1582 (20%) constraints
11.46/4.09 c (3,3) translated 2373 (30%) constraints
12.39/4.34 c (3,3) translated 3164 (40%) constraints
13.05/4.59 c (4,4) translated 3955 (50%) constraints
13.96/4.81 c (4,4) translated 4746 (60%) constraints
14.26/5.01 c (4,4) translated 5537 (70%) constraints
14.85/5.19 c (4,4) translated 6328 (80%) constraints
15.23/5.34 c (4,4) translated 7119 (90%) constraints
16.19/5.72 c (5,5) translated 7910 (100%) constraints
20.27/7.63 c (7,7) STATISTICS1:HOME/instance-4305305-1534072283.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,24886,41089,4294967296,2,4,33,4294967296:506;2097152:66;2:17987,2:102283,4:1291;3:15299;2:16537;1:7962,33:506;22:66;2:17987;1:80103,
20.27/7.63 c (7,7) ==========================================
20.27/7.63 c (7,7) Order
20.27/7.63 c (7,7) ==========================================
21.70/8.01 c (7,7) translated 4109 (10%) constraints
22.00/8.19 c (7,7) translated 8218 (20%) constraints
22.57/8.36 c (7,7) translated 12327 (30%) constraints
23.18/8.51 c (7,7) translated 16436 (40%) constraints
23.77/8.75 c (8,8) translated 20545 (50%) constraints
23.91/8.86 c (8,8) translated 24654 (60%) constraints
24.01/8.97 c (8,8) translated 28763 (70%) constraints
24.12/9.09 c (8,8) translated 32872 (80%) constraints
24.31/9.20 c (8,8) translated 36981 (90%) constraints
25.87/9.93 c (9,9) translated 41089 (100%) constraints
25.87/9.94 c (9,9) CSP to CSPinCNF End
25.87/9.96 c (9,9) CSP: 3135 int (3135 aux), 32509 bool (24160 aux), 70514 ctr, max domain size 12
25.87/9.96 c (9,9) Heap : 610 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
25.87/9.96 c (9,9) CSPinCNF Propagation Begin
27.01/10.35 c (9,9) 0 values, 7623 unsatisfiable literals, and 7623 valid clauses are removed
27.01/10.35 c (9,9) CSPinCNF Propagation End
27.01/10.36 c (9,9) CSP: 3135 int (3135 aux), 32509 bool (24160 aux), 62891 ctr, max domain size 12
27.01/10.36 c (9,9) Heap : 828 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
27.01/10.36 c (9,9) Simplify CSPinCNF Begin
27.37/10.55 c (10,9) Simplify CSPinCNF End
27.37/10.56 c (10,9) CSP: 3135 int (3135 aux), 35250 bool (26901 aux), 65632 ctr, max domain size 12
27.37/10.56 c (10,9) Heap : 883 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
27.37/10.56 c (10,9) Calculate Precise Domain Begin
27.60/10.65 c (10,9) 0 values are removed by re-calculation
27.60/10.65 c (10,9) Calculate Precise Domain End
27.60/10.66 c (10,9) CSP: 3135 int (3135 aux), 35250 bool (26901 aux), 65632 ctr, max domain size 12
27.60/10.66 c (10,9) Heap : 938 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
27.60/10.66 c (10,9) CSPinCNF to SatSolver Begin
29.15/11.19 c (10,10) 6564 (10 %) CSP clauses are encoded (48846 SAT variables, 72882 SAT clauses)
29.42/11.28 c (10,10) 13127 (20 %) CSP clauses are encoded (48846 SAT variables, 79445 SAT clauses)
29.73/11.35 c (10,10) 19690 (30 %) CSP clauses are encoded (48846 SAT variables, 86008 SAT clauses)
29.73/11.39 c (10,10) 26253 (40 %) CSP clauses are encoded (48846 SAT variables, 92571 SAT clauses)
29.93/11.43 c (10,10) 32816 (50 %) CSP clauses are encoded (48846 SAT variables, 99134 SAT clauses)
29.93/11.46 c (10,10) 39380 (60 %) CSP clauses are encoded (48846 SAT variables, 105698 SAT clauses)
30.03/11.50 c (10,10) 45943 (70 %) CSP clauses are encoded (48846 SAT variables, 112261 SAT clauses)
30.03/11.54 c (11,10) 52506 (80 %) CSP clauses are encoded (48846 SAT variables, 118824 SAT clauses)
30.35/11.81 c (11,11) 59069 (90 %) CSP clauses are encoded (48846 SAT variables, 205541 SAT clauses)
30.48/11.98 c (11,11) 65632 (100 %) CSP clauses are encoded (48846 SAT variables, 233506 SAT clauses)
30.48/11.98 c (11,11) Launch Command will be: minisat_release
30.48/11.98 c (11,11) CSPinCNF to SatSolver End
30.48/11.98 c (11,11) Heap : 1648 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
31.62/12.34 c (11,11) STATISTICS2:HOME/instance-4305305-1534072283.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,38385,65632,256,12,4,9,256:66;144:44;128:132;72:132;64:66;40:1386;25:1980;16:3036;2:19331,12:264;9:396;8:264;5:11616;2:150020,4:1291;3:7676;2:34524;1:22141,9:66;8:132;5:4554;3:2090;2:19331;1:93208,
31.62/12.34 c (11,11) 48846 bool, 233507 clause
31.62/12.34 c (11,11) Export Begin
33.15/12.81 c (12,12) Export to HOME/scop-6106-serial-file.bin
33.15/12.81 c (12,12) Export End
33.15/12.81 c (12,12) Export File Size: 1.38 MB
33.15/12.81 c (12,12) 2,2,9,9,10,10,11,STOP-AFTER(DIMACS)
33.15/12.81 c END-Prog: Sun Aug 12 13:11:36 CEST 2018
33.15/12.84 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-6106-serial-file.bin
33.82/13.33 c (0,0) Read Serial File Begin
33.82/13.33 c (0,0) HOME/scop-6106-serial-file.bin
34.77/13.80 c (0,0) Read Serial File End
34.77/13.82
34.77/13.82 scop order+minisat_release (2018-07-31)
34.77/13.82 (Solving Process)
34.77/13.82
34.77/13.84 c BEGIN-Prog: Sun Aug 12 13:11:37 CEST 2018
34.77/13.84 c PID: 6124
34.77/13.84 c IP: 172.20.3.151
34.77/13.84 c HOST: node151.alineos.net
34.77/13.84 c (0,0) SatSolver.solve Begin
34.77/13.84 c (0,0) 0 bool, 0 clause
34.77/13.84 c (0,0) minisat_release HOME/instance-4305305-1534072283.xml-scop-6109.cnf
2520.02/2498.11 c (2484,0) receiving signal SIGTERM
2520.02/2498.11 s UNKNOWN
2520.02/2498.11 c (2484,0) SatSolver is killed by some reasons.
2520.02/2498.12 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.02/2498.12 c (scop.sh) Killing background jobs.
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (2602 MiB free)
memory of node 1: 16384 MiB (5522 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305305-1534072283/watcher-4305305-1534072283 -o /tmp/evaluation-result-4305305-1534072283/solver-4305305-1534072283 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305305-1534072283.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=6106, runsolver pid=6103
Current StackSize limit: 8192 KiB
[startup+0.100281 s]*
/proc/loadavg: 2.01 2.03 2.05 3/223 6123
/proc/meminfo: memFree=8258264/32770624 swapFree=67108860/67108860
[pid=6106] ppid=6103 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6106/stat : 6106 (scop.sh) S 6103 6106 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224791533 115843072 349 33554432000 4194304 5098028 140720425182208 140720425179464 140613772112508 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13901824 140720425190464 140720425190663 140720425190663 140720425193421 0
/proc/6106/statm: 28282 349 296 221 0 87 0
[pid=6109] ppid=6106 vsize=15012476 memory=73564 CPUtime=0.11 cores=1,3,5,7
/proc/6109/stat : 6109 (java) S 6106 6106 3762 0 -1 1077944320 6495 0 0 0 9 2 0 0 20 0 15 0 224791534 15372775424 18391 33554432000 4194304 4196468 140728641879776 140728641862320 140535691972343 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
/proc/6109/statm: 3753119 18391 2769 1 0 3715579 0
[pid=6109/tid=6110] ppid=6106 vsize=15012476 memory=-2843871798703735966 CPUtime=0.09 cores=1,3,5,7
/proc/6109/task/6110/stat : 6110 (java) R 6106 6106 3762 0 -1 4202560 4606 0 0 0 8 1 0 0 20 0 15 0 224791534 15372775424 18391 33554432000 4194304 4196468 140728641879776 140535663761456 140535672248092 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6111] ppid=6106 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6111/stat : 6111 (java) S 6106 6106 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224791536 15372775424 18391 33554432000 4194304 4196468 140728641879776 140535696214544 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6112] ppid=6106 vsize=15012476 memory=140441628227200 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6112/stat : 6112 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224791536 15372775424 18391 33554432000 4194304 4196468 140728641879776 140535494990480 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6113] ppid=6106 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6113/stat : 6113 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224791536 15372775424 18391 33554432000 4194304 4196468 140728641879776 140535493937424 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6114] ppid=6106 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6114/stat : 6114 (java) S 6106 6106 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224791536 15372775424 18457 33554432000 4194304 4196468 140728641879776 140535492884880 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6115] ppid=6106 vsize=15012476 memory=140441628227200 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6115/stat : 6115 (java) S 6106 6106 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224791537 15372775424 18457 33554432000 4194304 4196468 140728641879776 140534662236912 140535691983490 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6116] ppid=6106 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6116/stat : 6116 (java) S 6106 6106 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224791538 15372775424 18457 33554432000 4194304 4196468 140728641879776 140534282708640 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6117] ppid=6106 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6117/stat : 6117 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224791538 15372775424 18457 33554432000 4194304 4196468 140728641879776 140534014272752 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6118] ppid=6106 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6118/stat : 6118 (java) S 6106 6106 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224791540 15372775424 18457 33554432000 4194304 4196468 140728641879776 140533639764432 140535691990939 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6119] ppid=6106 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6119/stat : 6119 (java) S 6106 6106 3762 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 224791540 15372775424 18457 33554432000 4194304 4196468 140728641879776 140534661183728 140535691983490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6120] ppid=6106 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6120/stat : 6120 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224791540 15372775424 18457 33554432000 4194304 4196468 140728641879776 140534660131184 140535691983490 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6121] ppid=6106 vsize=15012476 memory=140441628227200 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6121/stat : 6121 (java) S 6106 6106 3762 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 15 0 224791540 15372775424 18457 33554432000 4194304 4196468 140728641879776 140534659078128 140535691983490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6122] ppid=6106 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6122/stat : 6122 (java) S 6106 6106 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224791540 15372775424 18457 33554432000 4194304 4196468 140728641879776 140533141858656 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6123] ppid=6106 vsize=15012476 memory=140441628227200 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6123/stat : 6123 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224791540 15372775424 18457 33554432000 4194304 4196468 140728641879776 140534658026544 140535691983490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74960 KiB
[startup+0.210784 s]*
/proc/loadavg: 2.01 2.03 2.05 3/223 6123
/proc/meminfo: memFree=8244560/32770624 swapFree=67108860/67108860
[pid=6106] ppid=6103 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6106/stat : 6106 (scop.sh) S 6103 6106 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224791533 115843072 349 33554432000 4194304 5098028 140720425182208 140720425179464 140613772112508 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13901824 140720425190464 140720425190663 140720425190663 140720425193421 0
/proc/6106/statm: 28282 349 296 221 0 87 0
[pid=6109] ppid=6106 vsize=15012476 memory=86608 CPUtime=0.25 cores=1,3,5,7
/proc/6109/stat : 6109 (java) S 6106 6106 3762 0 -1 1077944320 10006 0 0 0 23 2 0 0 20 0 15 0 224791534 15372775424 21652 33554432000 4194304 4196468 140728641879776 140728641862320 140535691972343 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
/proc/6109/statm: 3753119 21652 2869 1 0 3715579 0
[pid=6109/tid=6110] ppid=6106 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/6109/task/6110/stat : 6110 (java) R 6106 6106 3762 0 -1 4202560 7909 0 0 0 18 2 0 0 20 0 15 0 224791534 15372775424 21652 33554432000 4194304 4196468 140728641879776 140535663798000 140535691984278 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6111] ppid=6106 vsize=15012476 memory=540 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6111/stat : 6111 (java) S 6106 6106 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224791536 15372775424 21652 33554432000 4194304 4196468 140728641879776 140535696214544 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6112] ppid=6106 vsize=15012476 memory=140441628252662 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6112/stat : 6112 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224791536 15372775424 21652 33554432000 4194304 4196468 140728641879776 140535494990480 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6113] ppid=6106 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6113/stat : 6113 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224791536 15372775424 21652 33554432000 4194304 4196468 140728641879776 140535493937424 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6114] ppid=6106 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6114/stat : 6114 (java) S 6106 6106 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224791536 15372775424 21652 33554432000 4194304 4196468 140728641879776 140535492884880 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6115] ppid=6106 vsize=15012476 memory=140441628227200 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6115/stat : 6115 (java) S 6106 6106 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224791537 15372775424 21652 33554432000 4194304 4196468 140728641879776 140534662236912 140535691983490 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6116] ppid=6106 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6116/stat : 6116 (java) S 6106 6106 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224791538 15372775424 21652 33554432000 4194304 4196468 140728641879776 140534282708640 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6117] ppid=6106 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6117/stat : 6117 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224791538 15372775424 21652 33554432000 4194304 4196468 140728641879776 140534014272752 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6118] ppid=6106 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6118/stat : 6118 (java) S 6106 6106 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224791540 15372775424 21652 33554432000 4194304 4196468 140728641879776 140533639764432 140535691990939 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6119] ppid=6106 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6119/stat : 6119 (java) R 6106 6106 3762 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 224791540 15372775424 21652 33554432000 4194304 4196468 140728641879776 140534661183728 140535691983490 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6120] ppid=6106 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6120/stat : 6120 (java) R 6106 6106 3762 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 15 0 224791540 15372775424 21652 33554432000 4194304 4196468 140728641879776 140534660131184 140535684957385 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6121] ppid=6106 vsize=15012476 memory=140441628227200 CPUtime=0.03 cores=1,3,5,7
/proc/6109/task/6121/stat : 6121 (java) R 6106 6106 3762 0 -1 4202560 297 0 0 0 3 0 0 0 20 0 15 0 224791540 15372775424 21652 33554432000 4194304 4196468 140728641879776 140534659078128 140535691984278 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6122] ppid=6106 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6122/stat : 6122 (java) S 6106 6106 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224791540 15372775424 21652 33554432000 4194304 4196468 140728641879776 140533141858656 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6123] ppid=6106 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6123/stat : 6123 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224791540 15372775424 21652 33554432000 4194304 4196468 140728641879776 140534658026544 140535691983490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88004 KiB
[startup+0.31087 s]*
/proc/loadavg: 2.01 2.03 2.05 3/223 6123
/proc/meminfo: memFree=8241396/32770624 swapFree=67108860/67108860
[pid=6106] ppid=6103 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6106/stat : 6106 (scop.sh) S 6103 6106 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224791533 115843072 349 33554432000 4194304 5098028 140720425182208 140720425179464 140613772112508 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13901824 140720425190464 140720425190663 140720425190663 140720425193421 0
/proc/6106/statm: 28282 349 296 221 0 87 0
[pid=6109] ppid=6106 vsize=15012476 memory=90132 CPUtime=0.43 cores=1,3,5,7
/proc/6109/stat : 6109 (java) S 6106 6106 3762 0 -1 1077944320 10530 0 0 0 40 3 0 0 20 0 15 0 224791534 15372775424 22533 33554432000 4194304 4196468 140728641879776 140728641862320 140535691972343 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
/proc/6109/statm: 3753119 22533 2972 1 0 3715579 0
[pid=6109/tid=6110] ppid=6106 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/6109/task/6110/stat : 6110 (java) R 6106 6106 3762 0 -1 4202560 8290 0 0 0 27 2 0 0 20 0 15 0 224791534 15372775424 22533 33554432000 4194304 4196468 140728641879776 140535663767344 140535677137911 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6111] ppid=6106 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6111/stat : 6111 (java) S 6106 6106 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224791536 15372775424 22533 33554432000 4194304 4196468 140728641879776 140535696214544 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6112] ppid=6106 vsize=15012476 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6112/stat : 6112 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224791536 15372775424 22533 33554432000 4194304 4196468 140728641879776 140535494990480 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6113] ppid=6106 vsize=15012476 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6113/stat : 6113 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224791536 15372775424 22533 33554432000 4194304 4196468 140728641879776 140535493937424 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6114] ppid=6106 vsize=15012476 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6114/stat : 6114 (java) S 6106 6106 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224791536 15372775424 22533 33554432000 4194304 4196468 140728641879776 140535492884880 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6115] ppid=6106 vsize=15012476 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6115/stat : 6115 (java) S 6106 6106 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224791537 15372775424 22533 33554432000 4194304 4196468 140728641879776 140534662236912 140535691983490 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6116] ppid=6106 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6116/stat : 6116 (java) S 6106 6106 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224791538 15372775424 22533 33554432000 4194304 4196468 140728641879776 140534282708640 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6117] ppid=6106 vsize=15012476 memory=-8412660965215072671 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6117/stat : 6117 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224791538 15372775424 22533 33554432000 4194304 4196468 140728641879776 140534014272752 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6118] ppid=6106 vsize=15012476 memory=-7384621950708166502 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6118/stat : 6118 (java) S 6106 6106 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224791540 15372775424 22533 33554432000 4194304 4196468 140728641879776 140533639764432 140535691990939 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6119] ppid=6106 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6109/task/6119/stat : 6119 (java) S 6106 6106 3762 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 15 0 224791540 15372775424 22533 33554432000 4194304 4196468 140728641879776 140534661183728 140535691983490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6120] ppid=6106 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6109/task/6120/stat : 6120 (java) R 6106 6106 3762 0 -1 4202560 240 0 0 0 3 0 0 0 20 0 15 0 224791540 15372775424 22533 33554432000 4194304 4196468 140728641879776 140534660131184 140535675359213 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6121] ppid=6106 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6109/task/6121/stat : 6121 (java) S 6106 6106 3762 0 -1 1077944384 317 0 0 0 7 0 0 0 20 0 15 0 224791540 15372775424 22533 33554432000 4194304 4196468 140728641879776 140534659078128 140535691983490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6122] ppid=6106 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6122/stat : 6122 (java) S 6106 6106 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224791540 15372775424 22533 33554432000 4194304 4196468 140728641879776 140533141858656 140535691982549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6123] ppid=6106 vsize=15012476 memory=3761126050511402799 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6123/stat : 6123 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224791540 15372775424 22533 33554432000 4194304 4196468 140728641879776 140534658026544 140535691983490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91528 KiB
[startup+0.702243 s]
/proc/loadavg: 2.01 2.03 2.05 3/223 6123
/proc/meminfo: memFree=8216944/32770624 swapFree=67108860/67108860
[pid=6106] ppid=6103 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6106/stat : 6106 (scop.sh) S 6103 6106 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224791533 115843072 349 33554432000 4194304 5098028 140720425182208 140720425179464 140613772112508 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13901824 140720425190464 140720425190663 140720425190663 140720425193421 0
/proc/6106/statm: 28282 349 296 221 0 87 0
[pid=6109] ppid=6106 vsize=15018748 memory=130936 CPUtime=1.05 cores=1,3,5,7
/proc/6109/stat : 6109 (java) S 6106 6106 3762 0 -1 1077944320 17325 0 0 0 101 4 0 0 20 0 15 0 224791534 15379197952 32734 33554432000 4194304 4196468 140728641879776 140728641862320 140535691972343 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
/proc/6109/statm: 3754687 32734 3140 1 0 3716091 0
[pid=6109/tid=6110] ppid=6106 vsize=15018748 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/6109/task/6110/stat : 6110 (java) R 6106 6106 3762 0 -1 4202560 14601 0 0 0 64 3 0 0 20 0 15 0 224791534 15379197952 32734 33554432000 4194304 4196468 140728641879776 140535663808096 140535174282791 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6111] ppid=6106 vsize=15018748 memory=6425271076031 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6111/stat : 6111 (java) S 6106 6106 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224791536 15379197952 32734 33554432000 4194304 4196468 140728641879776 140535696214544 140535691982549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6112] ppid=6106 vsize=15018748 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6112/stat : 6112 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224791536 15379197952 32734 33554432000 4194304 4196468 140728641879776 140535494990480 140535691982549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6113] ppid=6106 vsize=15018748 memory=15541829625973996 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6113/stat : 6113 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224791536 15379197952 32734 33554432000 4194304 4196468 140728641879776 140535493937424 140535691982549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6114] ppid=6106 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6114/stat : 6114 (java) S 6106 6106 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224791536 15379197952 32734 33554432000 4194304 4196468 140728641879776 140535492884880 140535691982549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6115] ppid=6106 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6115/stat : 6115 (java) S 6106 6106 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224791537 15379197952 32734 33554432000 4194304 4196468 140728641879776 140534662236912 140535691983490 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6116] ppid=6106 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6116/stat : 6116 (java) S 6106 6106 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224791538 15379197952 32734 33554432000 4194304 4196468 140728641879776 140534282708640 140535691982549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6117] ppid=6106 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6117/stat : 6117 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224791538 15379197952 32734 33554432000 4194304 4196468 140728641879776 140534014272752 140535691982549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6118] ppid=6106 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6118/stat : 6118 (java) S 6106 6106 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224791540 15379197952 32734 33554432000 4194304 4196468 140728641879776 140533639764432 140535691990939 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6119] ppid=6106 vsize=15018748 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/6109/task/6119/stat : 6119 (java) R 6106 6106 3762 0 -1 4202560 433 0 0 0 6 0 0 0 20 0 15 0 224791540 15379197952 32734 33554432000 4194304 4196468 140728641879776 140534661183728 140535676228018 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6120] ppid=6106 vsize=15018748 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/6109/task/6120/stat : 6120 (java) R 6106 6106 3762 0 -1 4202560 472 0 0 0 11 0 0 0 20 0 15 0 224791540 15379197952 32734 33554432000 4194304 4196468 140728641879776 140534660122320 140535677989808 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6121] ppid=6106 vsize=15018748 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/6109/task/6121/stat : 6121 (java) R 6106 6106 3762 0 -1 4202560 485 0 0 0 18 0 0 0 20 0 15 0 224791540 15379197952 32734 33554432000 4194304 4196468 140728641879776 140534659074496 140535684209470 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6122] ppid=6106 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6122/stat : 6122 (java) S 6106 6106 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224791540 15379197952 32734 33554432000 4194304 4196468 140728641879776 140533141858656 140535691982549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
[pid=6109/tid=6123] ppid=6106 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6109/task/6123/stat : 6123 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224791540 15379197952 32734 33554432000 4194304 4196468 140728641879776 140534658026544 140535691983490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34443264 140728641881095 140728641881393 140728641881393 140728641884111 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 132332 KiB
[startup+1.50324 s]
/proc/loadavg: 2.01 2.03 2.05 5/223 6123
/proc/meminfo: memFree=8143724/32770624 swapFree=67108860/67108860
[pid=6106] ppid=6103 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6106/stat : 6106 (scop.sh) S 6103 6106 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224791533 115843072 349 33554432000 4194304 5098028 140720425182208 140720425179464 140613772112508 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13901824 140720425190464 140720425190663 140720425190663 140720425193421 0
/proc/6106/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=6124/tid=6127] ppid=6106 vsize=8068220 memory=141924 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6127/stat : 6127 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224792820 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823258745360 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6128] ppid=6106 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6128/stat : 6128 (java) S 6106 6106 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224792820 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823257692560 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6129] ppid=6106 vsize=8068220 memory=141924 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6129/stat : 6129 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224792820 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823256639760 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6130] ppid=6106 vsize=8068220 memory=141924 CPUtime=0.03 cores=1,3,5,7
/proc/6124/task/6130/stat : 6130 (java) S 6106 6106 3762 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 224792821 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823086001008 139823773846146 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6131] ppid=6106 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6131/stat : 6131 (java) S 6106 6106 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224792822 8261857280 35481 33554432000 4194304 4196468 140735792109600 139822660314656 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6132] ppid=6106 vsize=8068220 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6132/stat : 6132 (java) S 6106 6106 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224792822 8261857280 35481 33554432000 4194304 4196468 140735792109600 139822526092656 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6133] ppid=6106 vsize=8068220 memory=141924 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6133/stat : 6133 (java) S 6106 6106 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224792824 8261857280 35481 33554432000 4194304 4196468 140735792109600 139822151588176 139823773853595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6134] ppid=6106 vsize=8068220 memory=1472 CPUtime=0.23 cores=1,3,5,7
/proc/6124/task/6134/stat : 6134 (java) S 6106 6106 3762 0 -1 1077944384 804 0 0 0 23 0 0 0 20 0 19 0 224792824 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823084947824 139823773846146 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6135] ppid=6106 vsize=8068220 memory=141924 CPUtime=0.27 cores=1,3,5,7
/proc/6124/task/6135/stat : 6135 (java) S 6106 6106 3762 0 -1 1077944384 760 0 0 0 27 0 0 0 20 0 19 0 224792824 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823083895024 139823773846146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6136] ppid=6106 vsize=8068220 memory=138604 CPUtime=0.22 cores=1,3,5,7
/proc/6124/task/6136/stat : 6136 (java) S 6106 6106 3762 0 -1 1077944384 597 0 0 0 22 0 0 0 20 0 19 0 224792824 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823082842224 139823773846146 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6137] ppid=6106 vsize=8068220 memory=141924 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6137/stat : 6137 (java) S 6106 6106 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224792824 8261857280 35481 33554432000 4194304 4196468 140735792109600 139821653682400 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6138] ppid=6106 vsize=8068220 memory=1472 CPUtime=0.79 cores=1,3,5,7
/proc/6124/task/6138/stat : 6138 (java) S 6106 6106 3762 0 -1 1077944384 163 0 0 0 34 45 0 0 20 0 19 0 224792825 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823081790640 139823773846146 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6140] ppid=6106 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6140/stat : 6140 (java) S 6106 6106 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224792920 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823073982144 139823773859609 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6142] ppid=6106 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6142/stat : 6142 (java) S 6106 6106 3762 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 224792921 8261857280 35481 33554432000 4194304 4196468 140735792109600 139821116800816 139823773856925 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6143] ppid=6106 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6143/stat : 6143 (java) S 6106 6106 3762 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224792921 8261857280 35481 33554432000 4194304 4196468 140735792109600 139820714147504 139823773856925 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6144] ppid=6106 vsize=8068220 memory=141924 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6144/stat : 6144 (java) S 6106 6106 3762 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 224792923 8261857280 35481 33554432000 4194304 4196468 140735792109600 139821385243808 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
Current children cumulated CPU time: 2464.19 s
Current children cumulated vsize: 8337912 KiB
Current children cumulated memory: 282000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2498.11 s]
/proc/loadavg: 2.02 2.04 2.05 3/228 6908
/proc/meminfo: memFree=8473612/32770624 swapFree=67108860/67108860
[pid=6106] ppid=6103 vsize=113128 memory=1472 CPUtime=33.22 cores=1,3,5,7
/proc/6106/stat : 6106 (scop.sh) S 6103 6106 3762 0 -1 4202496 592 48166 0 0 0 0 3233 89 20 0 1 0 224791533 115843072 368 33554432000 4194304 5098028 140720425182208 140720425178952 140613772112508 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13901824 140720425190464 140720425190663 140720425190663 140720425193421 0
/proc/6106/statm: 28282 368 311 221 0 87 0
[pid=6124] ppid=6106 vsize=8068220 memory=141924 CPUtime=2.66 cores=1,3,5,7
/proc/6124/stat : 6124 (java) S 6106 6106 3762 0 -1 1077944320 18711 0 0 0 201 65 0 0 20 0 19 0 224792818 8261857280 35481 33554432000 4194304 4196468 140735792109600 140735792092144 139823773834999 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
/proc/6124/statm: 2017055 35481 3168 1 0 1978454 0
[pid=6139] ppid=6124 vsize=163652 memory=143196 CPUtime=2484.14 cores=1,3,5,7
/proc/6139/stat : 6139 (minisat_release) R 6124 6106 3762 0 -1 4202496 369639 0 0 0 248391 23 0 0 20 0 1 0 224792920 167579648 35799 33554432000 4194304 4308513 140735101450000 140735101447000 4276036 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 34549760 140735101453429 140735101453526 140735101453526 140735101456325 0
/proc/6139/statm: 40913 35799 340 28 0 37153 0
[pid=6124/tid=6125] ppid=6106 vsize=8068220 memory=141924 CPUtime=1.04 cores=1,3,5,7
/proc/6124/task/6125/stat : 6125 (java) S 6106 6106 3762 0 -1 1077944384 14967 0 0 0 85 19 0 0 20 0 19 0 224792819 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823745675152 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6126] ppid=6106 vsize=8068220 memory=141924 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6126/stat : 6126 (java) S 6106 6106 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224792820 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823778077328 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6127] ppid=6106 vsize=8068220 memory=141924 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6127/stat : 6127 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224792820 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823258745360 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6128] ppid=6106 vsize=8068220 memory=141924 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6128/stat : 6128 (java) S 6106 6106 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224792820 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823257692560 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6129] ppid=6106 vsize=8068220 memory=141924 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6129/stat : 6129 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224792820 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823256639760 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6130] ppid=6106 vsize=8068220 memory=141924 CPUtime=0.03 cores=1,3,5,7
/proc/6124/task/6130/stat : 6130 (java) S 6106 6106 3762 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 224792821 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823086001008 139823773846146 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6131] ppid=6106 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6131/stat : 6131 (java) S 6106 6106 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224792822 8261857280 35481 33554432000 4194304 4196468 140735792109600 139822660314656 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6132] ppid=6106 vsize=8068220 memory=141924 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6132/stat : 6132 (java) S 6106 6106 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224792822 8261857280 35481 33554432000 4194304 4196468 140735792109600 139822526092656 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6133] ppid=6106 vsize=8068220 memory=141924 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6133/stat : 6133 (java) S 6106 6106 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224792824 8261857280 35481 33554432000 4194304 4196468 140735792109600 139822151588176 139823773853595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6134] ppid=6106 vsize=8068220 memory=1472 CPUtime=0.23 cores=1,3,5,7
/proc/6124/task/6134/stat : 6134 (java) S 6106 6106 3762 0 -1 1077944384 804 0 0 0 23 0 0 0 20 0 19 0 224792824 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823084947824 139823773846146 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6135] ppid=6106 vsize=8068220 memory=2244 CPUtime=0.27 cores=1,3,5,7
/proc/6124/task/6135/stat : 6135 (java) S 6106 6106 3762 0 -1 1077944384 760 0 0 0 27 0 0 0 20 0 19 0 224792824 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823083895024 139823773846146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6136] ppid=6106 vsize=8068220 memory=4124 CPUtime=0.22 cores=1,3,5,7
/proc/6124/task/6136/stat : 6136 (java) S 6106 6106 3762 0 -1 1077944384 597 0 0 0 22 0 0 0 20 0 19 0 224792824 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823082842224 139823773846146 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6137] ppid=6106 vsize=8068220 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6137/stat : 6137 (java) S 6106 6106 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224792824 8261857280 35481 33554432000 4194304 4196468 140735792109600 139821653682400 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6138] ppid=6106 vsize=8068220 memory=4536 CPUtime=0.81 cores=1,3,5,7
/proc/6124/task/6138/stat : 6138 (java) S 6106 6106 3762 0 -1 1077944384 167 0 0 0 35 46 0 0 20 0 19 0 224792825 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823081790640 139823773846146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6140] ppid=6106 vsize=8068220 memory=11764 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6140/stat : 6140 (java) S 6106 6106 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224792920 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823073982144 139823773859609 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6142] ppid=6106 vsize=8068220 memory=5712 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6142/stat : 6142 (java) S 6106 6106 3762 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 224792921 8261857280 35481 33554432000 4194304 4196468 140735792109600 139821116800816 139823773856925 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6143] ppid=6106 vsize=8068220 memory=143196 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6143/stat : 6143 (java) S 6106 6106 3762 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224792921 8261857280 35481 33554432000 4194304 4196468 140735792109600 139820714147504 139823773856925 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6144] ppid=6106 vsize=8068220 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6144/stat : 6144 (java) S 6106 6106 3762 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 224792923 8261857280 35481 33554432000 4194304 4196468 140735792109600 139821385243808 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 8345000 KiB
Current children cumulated memory: 286592 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2498.12 s]
# the end of solver process 6106 was just reported to runsolver
# cumulated CPU time of all completed processes: user=32.3359 s, system=0.897924 s
[startup+2498.13 s]
# the end of solver process 6124 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.27 s, system=1.79952 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+2498.11 s]
/proc/loadavg: 2.02 2.04 2.05 3/228 6908
/proc/meminfo: memFree=8473612/32770624 swapFree=67108860/67108860
[pid=6106] ppid=6103 vsize=113128 memory=1472 CPUtime=33.22 cores=1,3,5,7
/proc/6106/stat : 6106 (scop.sh) S 6103 6106 3762 0 -1 4202496 592 48166 0 0 0 0 3233 89 20 0 1 0 224791533 115843072 368 33554432000 4194304 5098028 140720425182208 140720425178952 140613772112508 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13901824 140720425190464 140720425190663 140720425190663 140720425193421 0
/proc/6106/statm: 28282 368 311 221 0 87 0
[pid=6124] ppid=6106 vsize=8068220 memory=141924 CPUtime=2.66 cores=1,3,5,7
/proc/6124/stat : 6124 (java) S 6106 6106 3762 0 -1 1077944320 18711 0 0 0 201 65 0 0 20 0 19 0 224792818 8261857280 35481 33554432000 4194304 4196468 140735792109600 140735792092144 139823773834999 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
/proc/6124/statm: 2017055 35481 3168 1 0 1978454 0
[pid=6139] ppid=6124 vsize=163652 memory=143196 CPUtime=2484.14 cores=1,3,5,7
/proc/6139/stat : 6139 (minisat_release) R 6124 6106 3762 0 -1 4202496 369639 0 0 0 248391 23 0 0 20 0 1 0 224792920 167579648 35799 33554432000 4194304 4308513 140735101450000 140735101447000 4276036 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 34549760 140735101453429 140735101453526 140735101453526 140735101456325 0
/proc/6139/statm: 40913 35799 340 28 0 37153 0
[pid=6124/tid=6125] ppid=6106 vsize=8068220 memory=141924 CPUtime=1.04 cores=1,3,5,7
/proc/6124/task/6125/stat : 6125 (java) S 6106 6106 3762 0 -1 1077944384 14967 0 0 0 85 19 0 0 20 0 19 0 224792819 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823745675152 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6126] ppid=6106 vsize=8068220 memory=141924 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6126/stat : 6126 (java) S 6106 6106 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224792820 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823778077328 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6127] ppid=6106 vsize=8068220 memory=141924 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6127/stat : 6127 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224792820 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823258745360 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6128] ppid=6106 vsize=8068220 memory=141924 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6128/stat : 6128 (java) S 6106 6106 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224792820 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823257692560 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6129] ppid=6106 vsize=8068220 memory=141924 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6129/stat : 6129 (java) S 6106 6106 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224792820 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823256639760 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6130] ppid=6106 vsize=8068220 memory=141924 CPUtime=0.03 cores=1,3,5,7
/proc/6124/task/6130/stat : 6130 (java) S 6106 6106 3762 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 224792821 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823086001008 139823773846146 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6131] ppid=6106 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6131/stat : 6131 (java) S 6106 6106 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224792822 8261857280 35481 33554432000 4194304 4196468 140735792109600 139822660314656 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6132] ppid=6106 vsize=8068220 memory=141924 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6132/stat : 6132 (java) S 6106 6106 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224792822 8261857280 35481 33554432000 4194304 4196468 140735792109600 139822526092656 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6133] ppid=6106 vsize=8068220 memory=141924 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6133/stat : 6133 (java) S 6106 6106 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224792824 8261857280 35481 33554432000 4194304 4196468 140735792109600 139822151588176 139823773853595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6134] ppid=6106 vsize=8068220 memory=1472 CPUtime=0.23 cores=1,3,5,7
/proc/6124/task/6134/stat : 6134 (java) S 6106 6106 3762 0 -1 1077944384 804 0 0 0 23 0 0 0 20 0 19 0 224792824 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823084947824 139823773846146 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6135] ppid=6106 vsize=8068220 memory=2244 CPUtime=0.27 cores=1,3,5,7
/proc/6124/task/6135/stat : 6135 (java) S 6106 6106 3762 0 -1 1077944384 760 0 0 0 27 0 0 0 20 0 19 0 224792824 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823083895024 139823773846146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6136] ppid=6106 vsize=8068220 memory=4124 CPUtime=0.22 cores=1,3,5,7
/proc/6124/task/6136/stat : 6136 (java) S 6106 6106 3762 0 -1 1077944384 597 0 0 0 22 0 0 0 20 0 19 0 224792824 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823082842224 139823773846146 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6137] ppid=6106 vsize=8068220 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6137/stat : 6137 (java) S 6106 6106 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224792824 8261857280 35481 33554432000 4194304 4196468 140735792109600 139821653682400 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6138] ppid=6106 vsize=8068220 memory=4536 CPUtime=0.81 cores=1,3,5,7
/proc/6124/task/6138/stat : 6138 (java) S 6106 6106 3762 0 -1 1077944384 167 0 0 0 35 46 0 0 20 0 19 0 224792825 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823081790640 139823773846146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6140] ppid=6106 vsize=8068220 memory=11764 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6140/stat : 6140 (java) S 6106 6106 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224792920 8261857280 35481 33554432000 4194304 4196468 140735792109600 139823073982144 139823773859609 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6142] ppid=6106 vsize=8068220 memory=5712 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6142/stat : 6142 (java) S 6106 6106 3762 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 224792921 8261857280 35481 33554432000 4194304 4196468 140735792109600 139821116800816 139823773856925 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6143] ppid=6106 vsize=8068220 memory=143196 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6143/stat : 6143 (java) S 6106 6106 3762 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224792921 8261857280 35481 33554432000 4194304 4196468 140735792109600 139820714147504 139823773856925 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
[pid=6124/tid=6144] ppid=6106 vsize=8068220 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/6124/task/6144/stat : 6144 (java) S 6106 6106 3762 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 224792923 8261857280 35481 33554432000 4194304 4196468 140735792109600 139821385243808 139823773845205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140735792112822 140735792112945 140735792112945 140735792115663 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 8345000 KiB
Current children cumulated memory: 286592 KiB
Child status: 1
Real time (s): 2498.13
CPU time (s): 2520.07
CPU user time (s): 2518.27
CPU system time (s): 1.79952
CPU usage (%): 100.879
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3139680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.27
system time used= 1.79952
maximum resident set size= 3138768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 437388
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61189
involuntary context switches= 817
# summary of solver processes directly reported to runsolver:
# pid: 6106,6124
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.27
# total CPU system time (s): 1.79952
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4237 second user time and 26.9635 second system time
The end