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-10788-serial-file.bin HOME/instance-4305455-1534078080.xml
0.65/0.52
0.65/0.53 scop order+minisat_release (2018-07-31)
0.78/0.67 (Encoding Process)
0.78/0.67
0.78/0.67 c BEGIN-Prog: Sun Aug 12 14:48:01 CEST 2018
0.78/0.67 c PID: 10791
0.78/0.67 c IP: 172.20.3.151
0.78/0.67 c HOST: node151.alineos.net
0.78/0.67 c (0,0) Parsing Begin
1.48/0.93 c (0,0) Parsing End
1.48/0.93 c (0,0) CSP: 42 int (0 aux), 0 bool (0 aux), 115 ctr, max domain size 100
1.48/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.48/0.93 c (0,0) Constraint Name Generate Begin
1.48/0.94 c (0,0) Ctr:HOME/instance-4305455-1534078080.xml,AllDifferent:ExtensionSupport:IntVar
1.48/0.94 c (0,0) Constraint Name Generate End
1.48/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.48/0.94 c (0,0) CSP to CSPinCNF Begin
8.33/3.28 c (2,2) translated 12 (10%) constraints
10.38/4.59 c (4,4) translated 23 (20%) constraints
11.81/6.00 c (5,5) translated 35 (30%) constraints
13.20/7.28 c (6,6) translated 46 (40%) constraints
15.29/8.77 c (8,8) translated 58 (50%) constraints
16.65/9.95 c (9,9) translated 69 (60%) constraints
17.98/11.22 c (10,10) translated 81 (70%) constraints
19.08/12.39 c (11,11) translated 92 (80%) constraints
21.49/13.92 c (13,12) translated 104 (90%) constraints
22.60/15.10 c (14,14) translated 115 (100%) constraints
24.02/15.99 c (15,15) STATISTICS1:HOME/instance-4305455-1534078080.xml,AllDifferent:ExtensionSupport:IntVar,11442,353465,100,100,101,2,100:861,100:683754;2:363888,101:114;42:2;3:329460;2:23889,2:861;1:1045920;0:114,
24.02/15.99 c (15,15) ==========================================
24.02/15.99 c (15,15) Order
24.02/15.99 c (15,15) ==========================================
26.03/16.66 c (16,15) translated 35347 (10%) constraints
26.90/17.07 c (16,16) translated 70693 (20%) constraints
27.58/17.47 c (16,16) translated 106040 (30%) constraints
29.15/18.15 c (17,16) translated 141386 (40%) constraints
29.56/18.54 c (18,17) translated 176733 (50%) constraints
29.96/18.93 c (18,17) translated 212079 (60%) constraints
30.37/19.32 c (18,18) translated 247426 (70%) constraints
30.77/19.70 c (19,18) translated 282772 (80%) constraints
31.07/20.09 c (19,18) translated 318119 (90%) constraints
31.47/20.48 c (19,19) translated 353465 (100%) constraints
31.47/20.48 c (19,19) CSP to CSPinCNF End
31.47/20.49 c (19,19) CSP: 42 int (0 aux), 11400 bool (11400 aux), 353465 ctr, max domain size 100
31.47/20.49 c (19,19) Heap : 1386 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
31.47/20.49 c (19,19) CSPinCNF Propagation Begin
33.18/21.73 c (21,20) 0 values, 114 unsatisfiable literals, and 0 valid clauses are removed
33.18/21.73 c (21,20) CSPinCNF Propagation End
33.18/21.73 c (21,20) CSP: 42 int (0 aux), 11400 bool (11400 aux), 353465 ctr, max domain size 100
33.18/21.73 c (21,20) Heap : 2822 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
33.18/21.73 c (21,20) Simplify CSPinCNF Begin
33.98/22.23 c (21,20) Simplify CSPinCNF End
33.98/22.23 c (21,20) CSP: 42 int (0 aux), 13122 bool (13122 aux), 355187 ctr, max domain size 100
33.98/22.23 c (21,20) Heap : 3099 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
33.98/22.23 c (21,20) Calculate Precise Domain Begin
33.98/22.23 c (21,20) 0 values are removed by re-calculation
33.98/22.23 c (21,20) Calculate Precise Domain End
33.98/22.23 c (21,20) CSP: 42 int (0 aux), 13122 bool (13122 aux), 355187 ctr, max domain size 100
33.98/22.23 c (21,20) Heap : 3099 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
33.98/22.23 c (21,20) CSPinCNF to SatSolver Begin
36.60/23.24 c (22,21) 35519 (10 %) CSP clauses are encoded (17280 SAT variables, 210112 SAT clauses)
36.72/23.39 c (22,21) 71038 (20 %) CSP clauses are encoded (17280 SAT variables, 245631 SAT clauses)
36.92/23.54 c (23,21) 106557 (30 %) CSP clauses are encoded (17280 SAT variables, 281150 SAT clauses)
37.03/23.69 c (23,22) 142075 (40 %) CSP clauses are encoded (17280 SAT variables, 316668 SAT clauses)
37.23/23.84 c (23,22) 177594 (50 %) CSP clauses are encoded (17280 SAT variables, 352187 SAT clauses)
37.34/23.99 c (23,22) 213113 (60 %) CSP clauses are encoded (17280 SAT variables, 387706 SAT clauses)
37.56/24.14 c (23,22) 248631 (70 %) CSP clauses are encoded (17280 SAT variables, 423224 SAT clauses)
37.66/24.29 c (23,22) 284150 (80 %) CSP clauses are encoded (17280 SAT variables, 458743 SAT clauses)
37.86/24.44 c (23,22) 319669 (90 %) CSP clauses are encoded (17280 SAT variables, 494262 SAT clauses)
37.95/24.59 c (24,23) 355187 (100 %) CSP clauses are encoded (17280 SAT variables, 529780 SAT clauses)
37.95/24.59 c (24,23) Launch Command will be: minisat_release
37.95/24.59 c (24,23) CSPinCNF to SatSolver End
37.95/24.59 c (24,23) Heap : 2284 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
39.67/25.47 c (24,23) STATISTICS2:HOME/instance-4305455-1534078080.xml,AllDifferent:ExtensionSupport:IntVar,13164,355187,100,100,100,2,100:1722,100:685476;2:367332,100:114;42:2;3:329460;2:25611,2:1722;1:1049364,
39.67/25.47 c (24,23) 17280 bool, 529781 clause
39.67/25.47 c (24,23) Export Begin
39.79/25.56 c (25,23) Export to HOME/scop-10788-serial-file.bin
39.79/25.56 c (25,23) Export End
39.79/25.56 c (25,23) Export File Size: 0.01 MB
39.79/25.56 c (25,23) 0,0,19,21,21,21,24,STOP-AFTER(DIMACS)
39.79/25.56 c END-Prog: Sun Aug 12 14:48:26 CEST 2018
39.79/25.58 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-10788-serial-file.bin
40.48/26.07 c (0,0) Read Serial File Begin
40.48/26.07 c (0,0) HOME/scop-10788-serial-file.bin
40.77/26.24 c (0,0) Read Serial File End
40.77/26.25
40.77/26.25 scop order+minisat_release (2018-07-31)
40.77/26.25 (Solving Process)
40.77/26.25
40.77/26.27 c BEGIN-Prog: Sun Aug 12 14:48:27 CEST 2018
40.77/26.27 c PID: 10806
40.77/26.27 c IP: 172.20.3.151
40.77/26.27 c HOST: node151.alineos.net
40.77/26.28 c (0,0) SatSolver.solve Begin
40.77/26.28 c (0,0) 0 bool, 0 clause
40.77/26.28 c (0,0) minisat_release HOME/instance-4305455-1534078080.xml-scop-10791.cnf
2520.02/2503.50 c (2477,0) receiving signal SIGTERM
2520.02/2503.50 c (2477,0) SatSolver is killed by some reasons.
2520.02/2503.50 s UNKNOWN
2520.02/2503.51 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.02/2503.51 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 (6874 MiB free)
memory of node 1: 16384 MiB (8219 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305455-1534078080/watcher-4305455-1534078080 -o /tmp/evaluation-result-4305455-1534078080/solver-4305455-1534078080 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3793 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305455-1534078080.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10788, runsolver pid=10785
[startup+0.100861 s]*
/proc/loadavg: 3.36 3.81 3.59 3/222 10805
/proc/meminfo: memFree=15396380/32770624 swapFree=67108860/67108860
[pid=10788] ppid=10785 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10788/stat : 10788 (scop.sh) S 10785 10788 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225371236 115843072 349 33554432000 4194304 5098028 140729051664304 140729051661560 140519959065212 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10424320 140729051669568 140729051669767 140729051669767 140729051672525 0
/proc/10788/statm: 28282 349 296 221 0 87 0
[pid=10791] ppid=10788 vsize=15012476 memory=71696 CPUtime=0.11 cores=0,2,4,6
/proc/10791/stat : 10791 (java) S 10788 10788 3762 0 -1 1077944320 6560 0 0 0 9 2 0 0 20 0 15 0 225371236 15372775424 17924 33554432000 4194304 4196468 140734773251712 140734773234256 140530785201911 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
/proc/10791/statm: 3753119 17924 2742 1 0 3715579 0
[pid=10791/tid=10792] ppid=10788 vsize=15012476 memory=7533807676074704953 CPUtime=0.08 cores=0,2,4,6
/proc/10791/task/10792/stat : 10792 (java) R 10788 10788 3762 0 -1 4202560 4711 0 0 0 7 1 0 0 20 0 15 0 225371236 15372775424 17924 33554432000 4194304 4196468 140734773251712 140530756997072 140530766595645 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10793] ppid=10788 vsize=15012476 memory=3472468384257230512 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10793/stat : 10793 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371238 15372775424 17924 33554432000 4194304 4196468 140734773251712 140530789443856 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10794] ppid=10788 vsize=15012476 memory=140088029550208 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10794/stat : 10794 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371238 15372775424 17924 33554432000 4194304 4196468 140734773251712 140530603600272 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10795] ppid=10788 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10795/stat : 10795 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371238 15372775424 17924 33554432000 4194304 4196468 140734773251712 140530602547728 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10796] ppid=10788 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10796/stat : 10796 (java) S 10788 10788 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225371238 15372775424 17924 33554432000 4194304 4196468 140734773251712 140530601495184 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10797] ppid=10788 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10797/stat : 10797 (java) S 10788 10788 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225371239 15372775424 17924 33554432000 4194304 4196468 140734773251712 140530191976944 140530785213058 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10798] ppid=10788 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10798/stat : 10798 (java) S 10788 10788 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225371240 15372775424 17924 33554432000 4194304 4196468 140734773251712 140529350206880 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10799] ppid=10788 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10799/stat : 10799 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371240 15372775424 17924 33554432000 4194304 4196468 140734773251712 140529115325936 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10800] ppid=10788 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10800/stat : 10800 (java) S 10788 10788 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225371242 15372775424 17924 33554432000 4194304 4196468 140734773251712 140528740817616 140530785220507 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10801] ppid=10788 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10801/stat : 10801 (java) R 10788 10788 3762 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 225371242 15372775424 17924 33554432000 4194304 4196468 140734773251712 140530190923760 140530785213058 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10802] ppid=10788 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10802/stat : 10802 (java) S 10788 10788 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225371242 15372775424 17924 33554432000 4194304 4196468 140734773251712 140530121959536 140530785213058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10803] ppid=10788 vsize=15012476 memory=140088029550208 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10803/stat : 10803 (java) R 10788 10788 3762 0 -1 4202560 236 0 0 0 0 0 0 0 20 0 15 0 225371242 15372775424 17924 33554432000 4194304 4196468 140734773251712 140530120906992 140530785223258 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10804] ppid=10788 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10804/stat : 10804 (java) S 10788 10788 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225371243 15372775424 17924 33554432000 4194304 4196468 140734773251712 140528242911840 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10805] ppid=10788 vsize=15012476 memory=140088029550208 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10805/stat : 10805 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371243 15372775424 17924 33554432000 4194304 4196468 140734773251712 140530119854896 140530785213058 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73092 KiB
[startup+0.210427 s]*
/proc/loadavg: 3.36 3.81 3.59 3/222 10805
/proc/meminfo: memFree=15382800/32770624 swapFree=67108860/67108860
[pid=10788] ppid=10785 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10788/stat : 10788 (scop.sh) S 10785 10788 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225371236 115843072 349 33554432000 4194304 5098028 140729051664304 140729051661560 140519959065212 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10424320 140729051669568 140729051669767 140729051669767 140729051672525 0
/proc/10788/statm: 28282 349 296 221 0 87 0
[pid=10791] ppid=10788 vsize=15012476 memory=85800 CPUtime=0.24 cores=0,2,4,6
/proc/10791/stat : 10791 (java) S 10788 10788 3762 0 -1 1077944320 10238 0 0 0 22 2 0 0 20 0 15 0 225371236 15372775424 21450 33554432000 4194304 4196468 140734773251712 140734773234256 140530785201911 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
/proc/10791/statm: 3753119 21450 2931 1 0 3715579 0
[pid=10791/tid=10792] ppid=10788 vsize=15012476 memory=8514701219881124769 CPUtime=0.19 cores=0,2,4,6
/proc/10791/task/10792/stat : 10792 (java) R 10788 10788 3762 0 -1 4202560 8158 0 0 0 17 2 0 0 20 0 15 0 225371236 15372775424 21450 33554432000 4194304 4196468 140734773251712 140530757014784 140530769245541 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10793] ppid=10788 vsize=15012476 memory=3472468384257230512 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10793/stat : 10793 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371238 15372775424 21450 33554432000 4194304 4196468 140734773251712 140530789443856 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10794] ppid=10788 vsize=15012476 memory=140088029550208 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10794/stat : 10794 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371238 15372775424 21450 33554432000 4194304 4196468 140734773251712 140530603600272 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10795] ppid=10788 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10795/stat : 10795 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371238 15372775424 21450 33554432000 4194304 4196468 140734773251712 140530602547728 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10796] ppid=10788 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10796/stat : 10796 (java) S 10788 10788 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225371238 15372775424 21450 33554432000 4194304 4196468 140734773251712 140530601495184 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10797] ppid=10788 vsize=15012476 memory=140088029550208 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10797/stat : 10797 (java) S 10788 10788 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225371239 15372775424 21450 33554432000 4194304 4196468 140734773251712 140530191976944 140530785213058 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10798] ppid=10788 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10798/stat : 10798 (java) S 10788 10788 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225371240 15372775424 21450 33554432000 4194304 4196468 140734773251712 140529350206880 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10799] ppid=10788 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10799/stat : 10799 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371240 15372775424 21450 33554432000 4194304 4196468 140734773251712 140529115325936 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10800] ppid=10788 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10800/stat : 10800 (java) S 10788 10788 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225371242 15372775424 21450 33554432000 4194304 4196468 140734773251712 140528740817616 140530785220507 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10801] ppid=10788 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10801/stat : 10801 (java) S 10788 10788 3762 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 225371242 15372775424 21450 33554432000 4194304 4196468 140734773251712 140530190923760 140530785213058 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10802] ppid=10788 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10802/stat : 10802 (java) S 10788 10788 3762 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 225371242 15372775424 21450 33554432000 4194304 4196468 140734773251712 140530121959536 140530785213058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10803] ppid=10788 vsize=15012476 memory=140088029550208 CPUtime=0.02 cores=0,2,4,6
/proc/10791/task/10803/stat : 10803 (java) S 10788 10788 3762 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 15 0 225371242 15372775424 21450 33554432000 4194304 4196468 140734773251712 140530120906992 140530785213058 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10804] ppid=10788 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10804/stat : 10804 (java) S 10788 10788 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225371243 15372775424 21450 33554432000 4194304 4196468 140734773251712 140528242911840 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10805] ppid=10788 vsize=15012476 memory=140088029550208 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10805/stat : 10805 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371243 15372775424 21450 33554432000 4194304 4196468 140734773251712 140530119854896 140530785213058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87196 KiB
[startup+0.310443 s]*
/proc/loadavg: 3.36 3.81 3.59 3/222 10805
/proc/meminfo: memFree=15378752/32770624 swapFree=67108860/67108860
[pid=10788] ppid=10785 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10788/stat : 10788 (scop.sh) S 10785 10788 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225371236 115843072 349 33554432000 4194304 5098028 140729051664304 140729051661560 140519959065212 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10424320 140729051669568 140729051669767 140729051669767 140729051672525 0
/proc/10788/statm: 28282 349 296 221 0 87 0
[pid=10791] ppid=10788 vsize=15012476 memory=89672 CPUtime=0.42 cores=0,2,4,6
/proc/10791/stat : 10791 (java) S 10788 10788 3762 0 -1 1077944320 10872 0 0 0 39 3 0 0 20 0 15 0 225371236 15372775424 22418 33554432000 4194304 4196468 140734773251712 140734773234256 140530785201911 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
/proc/10791/statm: 3753119 22418 2976 1 0 3715579 0
[pid=10791/tid=10792] ppid=10788 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=0,2,4,6
/proc/10791/task/10792/stat : 10792 (java) R 10788 10788 3762 0 -1 4202560 8599 0 0 0 27 2 0 0 20 0 15 0 225371236 15372775424 22418 33554432000 4194304 4196468 140734773251712 140530756996912 140530768388800 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10793] ppid=10788 vsize=15012476 memory=3472468384257230512 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10793/stat : 10793 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371238 15372775424 22418 33554432000 4194304 4196468 140734773251712 140530789443856 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10794] ppid=10788 vsize=15012476 memory=280175904217984 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10794/stat : 10794 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371238 15372775424 22418 33554432000 4194304 4196468 140734773251712 140530603600272 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10795] ppid=10788 vsize=15012476 memory=280175749367840 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10795/stat : 10795 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371238 15372775424 22418 33554432000 4194304 4196468 140734773251712 140530602547728 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10796] ppid=10788 vsize=15012476 memory=140087874667791 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10796/stat : 10796 (java) S 10788 10788 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225371238 15372775424 22418 33554432000 4194304 4196468 140734773251712 140530601495184 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10797] ppid=10788 vsize=15012476 memory=280175904224896 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10797/stat : 10797 (java) S 10788 10788 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225371239 15372775424 22418 33554432000 4194304 4196468 140734773251712 140530191976944 140530785213058 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10798] ppid=10788 vsize=15012476 memory=140087874672399 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10798/stat : 10798 (java) S 10788 10788 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225371240 15372775424 22418 33554432000 4194304 4196468 140734773251712 140529350206880 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10799] ppid=10788 vsize=15012476 memory=140087874685285 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10799/stat : 10799 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371240 15372775424 22418 33554432000 4194304 4196468 140734773251712 140529115325936 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10800] ppid=10788 vsize=15012476 memory=280175749377056 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10800/stat : 10800 (java) S 10788 10788 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225371242 15372775424 22418 33554432000 4194304 4196468 140734773251712 140528740817616 140530785220507 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10801] ppid=10788 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10791/task/10801/stat : 10801 (java) S 10788 10788 3762 0 -1 1077944384 427 0 0 0 2 0 0 0 20 0 15 0 225371242 15372775424 22418 33554432000 4194304 4196468 140734773251712 140530190923760 140530785213058 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10802] ppid=10788 vsize=15012476 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/10791/task/10802/stat : 10802 (java) S 10788 10788 3762 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 15 0 225371242 15372775424 22418 33554432000 4194304 4196468 140734773251712 140530121959536 140530785213058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10803] ppid=10788 vsize=15012476 memory=140088029550208 CPUtime=0.07 cores=0,2,4,6
/proc/10791/task/10803/stat : 10803 (java) S 10788 10788 3762 0 -1 1077944384 331 0 0 0 7 0 0 0 20 0 15 0 225371242 15372775424 22418 33554432000 4194304 4196468 140734773251712 140530120906992 140530785213058 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10804] ppid=10788 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10804/stat : 10804 (java) S 10788 10788 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225371243 15372775424 22418 33554432000 4194304 4196468 140734773251712 140528242911840 140530785212117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10805] ppid=10788 vsize=15012476 memory=140088029551604 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10805/stat : 10805 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371243 15372775424 22418 33554432000 4194304 4196468 140734773251712 140530119854896 140530785213058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91068 KiB
[startup+0.700756 s]
/proc/loadavg: 3.36 3.81 3.59 3/222 10805
/proc/meminfo: memFree=15354460/32770624 swapFree=67108860/67108860
[pid=10788] ppid=10785 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10788/stat : 10788 (scop.sh) S 10785 10788 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225371236 115843072 349 33554432000 4194304 5098028 140729051664304 140729051661560 140519959065212 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10424320 140729051669568 140729051669767 140729051669767 140729051672525 0
/proc/10788/statm: 28282 349 296 221 0 87 0
[pid=10791] ppid=10788 vsize=15020872 memory=127248 CPUtime=0.97 cores=0,2,4,6
/proc/10791/stat : 10791 (java) S 10788 10788 3762 0 -1 1077944320 17979 0 0 0 91 6 0 0 20 0 15 0 225371236 15381372928 31812 33554432000 4194304 4196468 140734773251712 140734773234256 140530785201911 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
/proc/10791/statm: 3755218 31812 3148 1 0 3716603 0
[pid=10791/tid=10792] ppid=10788 vsize=15020872 memory=54 CPUtime=0.67 cores=0,2,4,6
/proc/10791/task/10792/stat : 10792 (java) R 10788 10788 3762 0 -1 4202560 15265 0 0 0 62 5 0 0 20 0 15 0 225371236 15381372928 31812 33554432000 4194304 4196468 140734773251712 140530757039856 140530785213846 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10793] ppid=10788 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10793/stat : 10793 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371238 15381372928 31812 33554432000 4194304 4196468 140734773251712 140530789443856 140530785212117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10794] ppid=10788 vsize=15020872 memory=8751464017575360309 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10794/stat : 10794 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371238 15381372928 31812 33554432000 4194304 4196468 140734773251712 140530603600272 140530785212117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10795] ppid=10788 vsize=15020872 memory=5788902676991533888 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10795/stat : 10795 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371238 15381372928 31812 33554432000 4194304 4196468 140734773251712 140530602547728 140530785212117 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10796] ppid=10788 vsize=15020872 memory=6440526044186890340 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10796/stat : 10796 (java) S 10788 10788 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225371238 15381372928 31812 33554432000 4194304 4196468 140734773251712 140530601495184 140530785212117 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10797] ppid=10788 vsize=15020872 memory=170926128 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10797/stat : 10797 (java) S 10788 10788 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225371239 15381372928 31812 33554432000 4194304 4196468 140734773251712 140530191976944 140530785213058 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10798] ppid=10788 vsize=15020872 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10798/stat : 10798 (java) S 10788 10788 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225371240 15381372928 31812 33554432000 4194304 4196468 140734773251712 140529350206880 140530785212117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10799] ppid=10788 vsize=15020872 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10799/stat : 10799 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371240 15381372928 31812 33554432000 4194304 4196468 140734773251712 140529115325936 140530785212117 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10800] ppid=10788 vsize=15020872 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10800/stat : 10800 (java) S 10788 10788 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225371242 15381372928 31812 33554432000 4194304 4196468 140734773251712 140528740817616 140530785220507 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10801] ppid=10788 vsize=15020872 memory=4536 CPUtime=0.06 cores=0,2,4,6
/proc/10791/task/10801/stat : 10801 (java) S 10788 10788 3762 0 -1 1077944384 485 0 0 0 6 0 0 0 20 0 15 0 225371242 15381372928 31812 33554432000 4194304 4196468 140734773251712 140530190923760 140530785213058 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10802] ppid=10788 vsize=15020872 memory=8448 CPUtime=0.08 cores=0,2,4,6
/proc/10791/task/10802/stat : 10802 (java) S 10788 10788 3762 0 -1 1077944384 438 0 0 0 8 0 0 0 20 0 15 0 225371242 15381372928 31812 33554432000 4194304 4196468 140734773251712 140530121959536 140530785213058 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10803] ppid=10788 vsize=15020872 memory=1628 CPUtime=0.14 cores=0,2,4,6
/proc/10791/task/10803/stat : 10803 (java) S 10788 10788 3762 0 -1 1077944384 457 0 0 0 14 0 0 0 20 0 15 0 225371242 15381372928 31812 33554432000 4194304 4196468 140734773251712 140530120906992 140530785213058 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10804] ppid=10788 vsize=15020872 memory=1144 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10804/stat : 10804 (java) S 10788 10788 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225371243 15381372928 31812 33554432000 4194304 4196468 140734773251712 140528242911840 140530785212117 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
[pid=10791/tid=10805] ppid=10788 vsize=15020872 memory=15244 CPUtime=0 cores=0,2,4,6
/proc/10791/task/10805/stat : 10805 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225371243 15381372928 31812 33554432000 4194304 4196468 140734773251712 140530119854896 140530785213058 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140734773257222 140734773257521 140734773257521 140734773260239 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128644 KiB
[startup+1.50085 s]
/proc/loadavg: 3.36 3.81 3.59 4/222 10805
/proc/meminfo: memFree=15324772/32770624 swapFree=67108860/67108860
[pid=10788] ppid=10785 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10788/stat : 10788 (scop.sh) S 10785 10788 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225371236 115843072 349 33554432000 4194304 5098028 140729051664304 140729051661560 140519959065212 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10424320 140729051669568 140729051669767 140729051669767 140729051672525 0
/proc/10788/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=10806/tid=10809] ppid=10788 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10809/stat : 10809 (java) S 10788 10788 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225373796 8261857280 29707 33554432000 4194304 4196468 140734313232736 139842402724112 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10810] ppid=10788 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10810/stat : 10810 (java) S 10788 10788 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225373796 8261857280 29707 33554432000 4194304 4196468 140734313232736 139842401671824 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10811] ppid=10788 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10811/stat : 10811 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225373796 8261857280 29707 33554432000 4194304 4196468 140734313232736 139842400619024 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10812] ppid=10788 vsize=8068220 memory=118828 CPUtime=0.05 cores=0,2,4,6
/proc/10806/task/10812/stat : 10812 (java) S 10788 10788 3762 0 -1 1077944384 7 0 0 0 3 2 0 0 20 0 19 0 225373797 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841843436144 139842598324866 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10813] ppid=10788 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10813/stat : 10813 (java) S 10788 10788 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225373798 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841450796320 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10814] ppid=10788 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10814/stat : 10814 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225373798 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841182361200 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10815] ppid=10788 vsize=8068220 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10815/stat : 10815 (java) S 10788 10788 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225373800 8261857280 29707 33554432000 4194304 4196468 140734313232736 139840807852624 139842598332315 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10816] ppid=10788 vsize=8068220 memory=1944 CPUtime=0.09 cores=0,2,4,6
/proc/10806/task/10816/stat : 10816 (java) S 10788 10788 3762 0 -1 1077944384 656 0 0 0 8 1 0 0 20 0 19 0 225373800 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841842382960 139842598324866 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10817] ppid=10788 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/10806/task/10817/stat : 10817 (java) S 10788 10788 3762 0 -1 1077944384 297 0 0 0 8 1 0 0 20 0 19 0 225373800 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841841330160 139842598324866 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10818] ppid=10788 vsize=8068220 memory=118828 CPUtime=0.19 cores=0,2,4,6
/proc/10806/task/10818/stat : 10818 (java) S 10788 10788 3762 0 -1 1077944384 542 0 0 0 19 0 0 0 20 0 19 0 225373800 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841840277872 139842598324866 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10819] ppid=10788 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10819/stat : 10819 (java) S 10788 10788 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225373801 8261857280 29707 33554432000 4194304 4196468 140734313232736 139840309946848 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10820] ppid=10788 vsize=8068220 memory=4028 CPUtime=1.74 cores=0,2,4,6
/proc/10806/task/10820/stat : 10820 (java) S 10788 10788 3762 0 -1 1077944384 165 0 0 0 93 81 0 0 20 0 19 0 225373801 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841839225776 139842598324866 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10822] ppid=10788 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10822/stat : 10822 (java) S 10788 10788 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225373866 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841831417280 139842598338329 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10824] ppid=10788 vsize=8068220 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10824/stat : 10824 (java) S 10788 10788 3762 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225373866 8261857280 29707 33554432000 4194304 4196468 140734313232736 139839773061136 139842598335645 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10825] ppid=10788 vsize=8068220 memory=61272 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10825/stat : 10825 (java) S 10788 10788 3762 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225373866 8261857280 29707 33554432000 4194304 4196468 140734313232736 139839504629136 139842598335645 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10826] ppid=10788 vsize=8068220 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10826/stat : 10826 (java) S 10788 10788 3762 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 225373868 8261857280 29707 33554432000 4194304 4196468 140734313232736 139839907290016 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
Current children cumulated CPU time: 2518.81 s
Current children cumulated vsize: 8328452 KiB
Current children cumulated memory: 250328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2503.5 s]
/proc/loadavg: 2.00 2.01 2.13 3/227 11022
/proc/meminfo: memFree=15276216/32770624 swapFree=67108860/67108860
[pid=10788] ppid=10785 vsize=113128 memory=1472 CPUtime=39.93 cores=0,2,4,6
/proc/10788/stat : 10788 (scop.sh) S 10785 10788 3762 0 -1 4202496 589 54160 0 0 0 0 3853 140 20 0 1 0 225371236 115843072 368 33554432000 4194304 5098028 140729051664304 140729051661048 140519959065212 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10424320 140729051669568 140729051669767 140729051669767 140729051672525 0
/proc/10788/statm: 28282 368 311 221 0 87 0
[pid=10806] ppid=10788 vsize=8068220 memory=118828 CPUtime=2.97 cores=0,2,4,6
/proc/10806/stat : 10806 (java) S 10788 10788 3762 0 -1 1077944320 17599 0 0 0 214 83 0 0 20 0 19 0 225373794 8261857280 29707 33554432000 4194304 4196468 140734313232736 140734313215280 139842598313719 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
/proc/10806/statm: 2017055 29707 3152 1 0 1978454 0
[pid=10821] ppid=10806 vsize=147104 memory=130276 CPUtime=2477.12 cores=0,2,4,6
/proc/10821/stat : 10821 (minisat_release) R 10806 10788 3762 0 -1 4202496 520170 0 0 0 247602 110 0 0 20 0 1 0 225373866 150634496 32569 33554432000 4194304 4308513 140731496990816 140731496988264 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 12562432 140731496998004 140731496998102 140731496998102 140731497000901 0
/proc/10821/statm: 36776 32569 339 28 0 33016 0
[pid=10806/tid=10807] ppid=10788 vsize=8068220 memory=118828 CPUtime=0.74 cores=0,2,4,6
/proc/10806/task/10807/stat : 10807 (java) S 10788 10788 3762 0 -1 1077944384 14541 0 0 0 70 4 0 0 20 0 19 0 225373795 8261857280 29707 33554432000 4194304 4196468 140734313232736 139842570153872 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10808] ppid=10788 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10808/stat : 10808 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225373796 8261857280 29707 33554432000 4194304 4196468 140734313232736 139842602555792 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10809] ppid=10788 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10809/stat : 10809 (java) S 10788 10788 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225373796 8261857280 29707 33554432000 4194304 4196468 140734313232736 139842402724112 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10810] ppid=10788 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10810/stat : 10810 (java) S 10788 10788 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225373796 8261857280 29707 33554432000 4194304 4196468 140734313232736 139842401671824 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10811] ppid=10788 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10811/stat : 10811 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225373796 8261857280 29707 33554432000 4194304 4196468 140734313232736 139842400619024 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10812] ppid=10788 vsize=8068220 memory=1472 CPUtime=0.05 cores=0,2,4,6
/proc/10806/task/10812/stat : 10812 (java) S 10788 10788 3762 0 -1 1077944384 7 0 0 0 3 2 0 0 20 0 19 0 225373797 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841843436144 139842598324866 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10813] ppid=10788 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10813/stat : 10813 (java) S 10788 10788 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225373798 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841450796320 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10814] ppid=10788 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10814/stat : 10814 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225373798 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841182361200 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10815] ppid=10788 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10815/stat : 10815 (java) S 10788 10788 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225373800 8261857280 29707 33554432000 4194304 4196468 140734313232736 139840807852624 139842598332315 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10816] ppid=10788 vsize=8068220 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10806/task/10816/stat : 10816 (java) S 10788 10788 3762 0 -1 1077944384 656 0 0 0 8 1 0 0 20 0 19 0 225373800 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841842382960 139842598324866 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10817] ppid=10788 vsize=8068220 memory=118828 CPUtime=0.09 cores=0,2,4,6
/proc/10806/task/10817/stat : 10817 (java) S 10788 10788 3762 0 -1 1077944384 297 0 0 0 8 1 0 0 20 0 19 0 225373800 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841841330160 139842598324866 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10818] ppid=10788 vsize=8068220 memory=4028 CPUtime=0.19 cores=0,2,4,6
/proc/10806/task/10818/stat : 10818 (java) S 10788 10788 3762 0 -1 1077944384 542 0 0 0 19 0 0 0 20 0 19 0 225373800 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841840277872 139842598324866 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10819] ppid=10788 vsize=8068220 memory=61272 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10819/stat : 10819 (java) S 10788 10788 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225373801 8261857280 29707 33554432000 4194304 4196468 140734313232736 139840309946848 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10820] ppid=10788 vsize=8068220 memory=1240 CPUtime=1.74 cores=0,2,4,6
/proc/10806/task/10820/stat : 10820 (java) S 10788 10788 3762 0 -1 1077944384 165 0 0 0 93 81 0 0 20 0 19 0 225373801 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841839225776 139842598324866 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10822] ppid=10788 vsize=8068220 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10822/stat : 10822 (java) S 10788 10788 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225373866 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841831417280 139842598338329 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10824] ppid=10788 vsize=8068220 memory=61272 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10824/stat : 10824 (java) S 10788 10788 3762 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225373866 8261857280 29707 33554432000 4194304 4196468 140734313232736 139839773061136 139842598335645 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10825] ppid=10788 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10825/stat : 10825 (java) S 10788 10788 3762 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225373866 8261857280 29707 33554432000 4194304 4196468 140734313232736 139839504629136 139842598335645 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10826] ppid=10788 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10826/stat : 10826 (java) S 10788 10788 3762 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 225373868 8261857280 29707 33554432000 4194304 4196468 140734313232736 139839907290016 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 8328452 KiB
Current children cumulated memory: 250576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2503.51 s]
# the end of solver process 10788 was just reported to runsolver
# cumulated CPU time of all completed processes: user=38.5413 s, system=1.40645 s
[startup+2503.52 s]
# the end of solver process 10806 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.72 s, system=3.35274 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+2503.5 s]
/proc/loadavg: 2.00 2.01 2.13 3/227 11022
/proc/meminfo: memFree=15276216/32770624 swapFree=67108860/67108860
[pid=10788] ppid=10785 vsize=113128 memory=1472 CPUtime=39.93 cores=0,2,4,6
/proc/10788/stat : 10788 (scop.sh) S 10785 10788 3762 0 -1 4202496 589 54160 0 0 0 0 3853 140 20 0 1 0 225371236 115843072 368 33554432000 4194304 5098028 140729051664304 140729051661048 140519959065212 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 10424320 140729051669568 140729051669767 140729051669767 140729051672525 0
/proc/10788/statm: 28282 368 311 221 0 87 0
[pid=10806] ppid=10788 vsize=8068220 memory=118828 CPUtime=2.97 cores=0,2,4,6
/proc/10806/stat : 10806 (java) S 10788 10788 3762 0 -1 1077944320 17599 0 0 0 214 83 0 0 20 0 19 0 225373794 8261857280 29707 33554432000 4194304 4196468 140734313232736 140734313215280 139842598313719 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
/proc/10806/statm: 2017055 29707 3152 1 0 1978454 0
[pid=10821] ppid=10806 vsize=147104 memory=130276 CPUtime=2477.12 cores=0,2,4,6
/proc/10821/stat : 10821 (minisat_release) R 10806 10788 3762 0 -1 4202496 520170 0 0 0 247602 110 0 0 20 0 1 0 225373866 150634496 32569 33554432000 4194304 4308513 140731496990816 140731496988264 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 12562432 140731496998004 140731496998102 140731496998102 140731497000901 0
/proc/10821/statm: 36776 32569 339 28 0 33016 0
[pid=10806/tid=10807] ppid=10788 vsize=8068220 memory=118828 CPUtime=0.74 cores=0,2,4,6
/proc/10806/task/10807/stat : 10807 (java) S 10788 10788 3762 0 -1 1077944384 14541 0 0 0 70 4 0 0 20 0 19 0 225373795 8261857280 29707 33554432000 4194304 4196468 140734313232736 139842570153872 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10808] ppid=10788 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10808/stat : 10808 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225373796 8261857280 29707 33554432000 4194304 4196468 140734313232736 139842602555792 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10809] ppid=10788 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10809/stat : 10809 (java) S 10788 10788 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225373796 8261857280 29707 33554432000 4194304 4196468 140734313232736 139842402724112 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10810] ppid=10788 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10810/stat : 10810 (java) S 10788 10788 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225373796 8261857280 29707 33554432000 4194304 4196468 140734313232736 139842401671824 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10811] ppid=10788 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10811/stat : 10811 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225373796 8261857280 29707 33554432000 4194304 4196468 140734313232736 139842400619024 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10812] ppid=10788 vsize=8068220 memory=1472 CPUtime=0.05 cores=0,2,4,6
/proc/10806/task/10812/stat : 10812 (java) S 10788 10788 3762 0 -1 1077944384 7 0 0 0 3 2 0 0 20 0 19 0 225373797 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841843436144 139842598324866 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10813] ppid=10788 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10813/stat : 10813 (java) S 10788 10788 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225373798 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841450796320 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10814] ppid=10788 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10814/stat : 10814 (java) S 10788 10788 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225373798 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841182361200 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10815] ppid=10788 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10815/stat : 10815 (java) S 10788 10788 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225373800 8261857280 29707 33554432000 4194304 4196468 140734313232736 139840807852624 139842598332315 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10816] ppid=10788 vsize=8068220 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10806/task/10816/stat : 10816 (java) S 10788 10788 3762 0 -1 1077944384 656 0 0 0 8 1 0 0 20 0 19 0 225373800 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841842382960 139842598324866 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10817] ppid=10788 vsize=8068220 memory=118828 CPUtime=0.09 cores=0,2,4,6
/proc/10806/task/10817/stat : 10817 (java) S 10788 10788 3762 0 -1 1077944384 297 0 0 0 8 1 0 0 20 0 19 0 225373800 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841841330160 139842598324866 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10818] ppid=10788 vsize=8068220 memory=4028 CPUtime=0.19 cores=0,2,4,6
/proc/10806/task/10818/stat : 10818 (java) S 10788 10788 3762 0 -1 1077944384 542 0 0 0 19 0 0 0 20 0 19 0 225373800 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841840277872 139842598324866 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10819] ppid=10788 vsize=8068220 memory=61272 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10819/stat : 10819 (java) S 10788 10788 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225373801 8261857280 29707 33554432000 4194304 4196468 140734313232736 139840309946848 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10820] ppid=10788 vsize=8068220 memory=1240 CPUtime=1.74 cores=0,2,4,6
/proc/10806/task/10820/stat : 10820 (java) S 10788 10788 3762 0 -1 1077944384 165 0 0 0 93 81 0 0 20 0 19 0 225373801 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841839225776 139842598324866 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10822] ppid=10788 vsize=8068220 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10822/stat : 10822 (java) S 10788 10788 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225373866 8261857280 29707 33554432000 4194304 4196468 140734313232736 139841831417280 139842598338329 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10824] ppid=10788 vsize=8068220 memory=61272 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10824/stat : 10824 (java) S 10788 10788 3762 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225373866 8261857280 29707 33554432000 4194304 4196468 140734313232736 139839773061136 139842598335645 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10825] ppid=10788 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10825/stat : 10825 (java) S 10788 10788 3762 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225373866 8261857280 29707 33554432000 4194304 4196468 140734313232736 139839504629136 139842598335645 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
[pid=10806/tid=10826] ppid=10788 vsize=8068220 memory=118828 CPUtime=0 cores=0,2,4,6
/proc/10806/task/10826/stat : 10826 (java) S 10788 10788 3762 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 225373868 8261857280 29707 33554432000 4194304 4196468 140734313232736 139839907290016 139842598323925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37896192 140734313239733 140734313239857 140734313239857 140734313242575 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 8328452 KiB
Current children cumulated memory: 250576 KiB
Child status: 1
Real time (s): 2503.52
CPU time (s): 2520.07
CPU user time (s): 2516.72
CPU system time (s): 3.35274
CPU usage (%): 100.661
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3638120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.72
system time used= 3.35274
maximum resident set size= 3637412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 592807
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60597
involuntary context switches= 770
# summary of solver processes directly reported to runsolver:
# pid: 10788,10806
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.72
# total CPU system time (s): 3.35274
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6172 second user time and 26.6749 second system time
The end