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-12065-serial-file.bin HOME/instance-4305467-1534087941.xml
0.66/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 17:32:22 CEST 2018
0.66/0.55 c PID: 12068
0.66/0.55 c IP: 172.20.3.151
0.66/0.55 c HOST: node151.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.34/1.19 c (0,0) Parsing End
2.66/1.20 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 430 ctr, max domain size 23
2.66/1.20 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.66/1.20 c (0,0) Constraint Name Generate Begin
2.66/1.21 c (0,0) Ctr:HOME/instance-4305467-1534087941.xml,ExtensionConflict:ExtensionSupport:IntVar
2.66/1.21 c (0,0) Constraint Name Generate End
2.66/1.21 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.66/1.21 c (0,0) CSP to CSPinCNF Begin
5.30/2.16 c (1,1) translated 43 (10%) constraints
6.19/2.48 c (1,1) translated 86 (20%) constraints
7.11/2.79 c (2,2) translated 129 (30%) constraints
8.04/3.08 c (2,2) translated 172 (40%) constraints
8.93/3.34 c (2,2) translated 215 (50%) constraints
9.84/3.62 c (3,3) translated 258 (60%) constraints
10.75/3.91 c (3,3) translated 301 (70%) constraints
11.39/4.14 c (3,3) translated 344 (80%) constraints
11.96/4.35 c (3,3) translated 387 (90%) constraints
12.57/4.55 c (4,4) translated 430 (100%) constraints
13.80/4.92 c (4,4) STATISTICS1:HOME/instance-4305467-1534087941.xml,ExtensionConflict:ExtensionSupport:IntVar,303,48307,-1,23,24,1,,23:181737;2:3361,24:11;4:40613;3:7027;2:656,1:185098;0:11,
13.80/4.92 c (4,4) ==========================================
13.80/4.92 c (4,4) Order
13.80/4.92 c (4,4) ==========================================
14.19/5.08 c (4,4) translated 4831 (10%) constraints
14.50/5.19 c (4,4) translated 9662 (20%) constraints
15.12/5.31 c (4,4) translated 14493 (30%) constraints
15.42/5.41 c (4,4) translated 19323 (40%) constraints
15.72/5.50 c (4,4) translated 24154 (50%) constraints
15.72/5.59 c (5,5) translated 28985 (60%) constraints
15.97/5.68 c (5,5) translated 33815 (70%) constraints
16.07/5.76 c (5,5) translated 38646 (80%) constraints
16.18/5.85 c (5,5) translated 43477 (90%) constraints
16.27/5.94 c (5,5) translated 48307 (100%) constraints
16.27/5.94 c (5,5) CSP to CSPinCNF End
16.27/5.94 c (5,5) CSP: 50 int (0 aux), 253 bool (253 aux), 48307 ctr, max domain size 23
16.27/5.94 c (5,5) Heap : 1971 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.27/5.94 c (5,5) CSPinCNF Propagation Begin
17.02/6.29 c (5,5) 0 values, 4701 unsatisfiable literals, and 0 valid clauses are removed
17.02/6.29 c (5,5) CSPinCNF Propagation End
17.02/6.29 c (5,5) CSP: 50 int (0 aux), 253 bool (253 aux), 48307 ctr, max domain size 23
17.02/6.29 c (5,5) Heap : 2196 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.02/6.29 c (5,5) Simplify CSPinCNF Begin
17.42/6.41 c (5,5) Simplify CSPinCNF End
17.42/6.41 c (5,5) CSP: 50 int (0 aux), 253 bool (253 aux), 48307 ctr, max domain size 23
17.42/6.41 c (5,5) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.42/6.41 c (5,5) Calculate Precise Domain Begin
17.42/6.42 c (5,5) 0 values are removed by re-calculation
17.42/6.42 c (5,5) Calculate Precise Domain End
17.42/6.42 c (5,5) CSP: 50 int (0 aux), 253 bool (253 aux), 48307 ctr, max domain size 23
17.42/6.42 c (5,5) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
17.42/6.42 c (5,5) CSPinCNF to SatSolver Begin
17.68/6.56 c (6,6) 4831 (10 %) CSP clauses are encoded (1353 SAT variables, 5880 SAT clauses)
17.98/6.62 c (6,6) 9662 (20 %) CSP clauses are encoded (1353 SAT variables, 10711 SAT clauses)
17.98/6.67 c (6,6) 14493 (30 %) CSP clauses are encoded (1353 SAT variables, 15542 SAT clauses)
18.25/6.71 c (6,6) 19323 (40 %) CSP clauses are encoded (1353 SAT variables, 20372 SAT clauses)
18.25/6.74 c (6,6) 24154 (50 %) CSP clauses are encoded (1353 SAT variables, 25203 SAT clauses)
18.25/6.77 c (6,6) 28985 (60 %) CSP clauses are encoded (1353 SAT variables, 30034 SAT clauses)
18.36/6.81 c (6,6) 33815 (70 %) CSP clauses are encoded (1353 SAT variables, 34864 SAT clauses)
18.36/6.84 c (6,6) 38646 (80 %) CSP clauses are encoded (1353 SAT variables, 39695 SAT clauses)
18.36/6.87 c (6,6) 43477 (90 %) CSP clauses are encoded (1353 SAT variables, 44526 SAT clauses)
18.45/6.91 c (6,6) 48307 (100 %) CSP clauses are encoded (1353 SAT variables, 49356 SAT clauses)
18.45/6.91 c (6,6) Launch Command will be: minisat_release
18.45/6.91 c (6,6) CSPinCNF to SatSolver End
18.45/6.91 c (6,6) Heap : 2534 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.05/7.20 c (6,6) STATISTICS2:HOME/instance-4305467-1534087941.xml,ExtensionConflict:ExtensionSupport:IntVar,303,48307,-1,23,23,1,,23:177047;2:3361,23:11;4:36284;3:10995;2:1017,1:180408,
19.05/7.20 c (6,6) 1353 bool, 49357 clause
19.05/7.20 c (6,6) Export Begin
19.34/7.29 c (6,6) Export to HOME/scop-12065-serial-file.bin
19.34/7.29 c (6,6) Export End
19.34/7.29 c (6,6) Export File Size: 0.01 MB
19.34/7.29 c (6,6) 0,0,5,5,5,5,6,STOP-AFTER(DIMACS)
19.34/7.29 c END-Prog: Sun Aug 12 17:32:29 CEST 2018
19.63/7.32 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-12065-serial-file.bin
19.65/7.81 c (0,0) Read Serial File Begin
19.65/7.81 c (0,0) HOME/scop-12065-serial-file.bin
19.65/7.98 c (0,0) Read Serial File End
19.65/7.99
19.65/7.99 scop order+minisat_release (2018-07-31)
19.65/7.99 (Solving Process)
19.65/7.99
20.57/8.01 c BEGIN-Prog: Sun Aug 12 17:32:29 CEST 2018
20.57/8.01 c PID: 12083
20.57/8.01 c IP: 172.20.3.151
20.57/8.01 c HOST: node151.alineos.net
20.57/8.02 c (0,0) SatSolver.solve Begin
20.57/8.02 c (0,0) 0 bool, 0 clause
20.57/8.02 c (0,0) minisat_release HOME/instance-4305467-1534087941.xml-scop-12068.cnf
2520.04/2506.30 c (2498,0) SatSolver is killed by some reasons.
2520.04/2506.30 c (2498,0) receiving signal SIGTERM
2520.04/2506.30 s UNKNOWN
2520.04/2506.31 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.04/2506.31 c (scop.sh) Killing background jobs.
2520.04/2506.31 HOME/scop.sh: line 50: kill: (12083) - No such process
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 (8718 MiB free)
memory of node 1: 16384 MiB (9421 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305467-1534087941/watcher-4305467-1534087941 -o /tmp/evaluation-result-4305467-1534087941/solver-4305467-1534087941 -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-4305467-1534087941.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
solver pid=12065, runsolver pid=12062
Current StackSize limit: 8192 KiB
[startup+0.100348 s]*
/proc/loadavg: 2.05 2.03 2.05 4/223 12082
/proc/meminfo: memFree=18516104/32770624 swapFree=67108196/67108860
[pid=12065] ppid=12062 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/12065/stat : 12065 (scop.sh) S 12062 12065 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226357315 115843072 348 33554432000 4194304 5098028 140721037549104 140721037546360 140719037092476 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28160000 140721037550656 140721037550855 140721037550855 140721037553613 0
/proc/12065/statm: 28282 348 296 221 0 87 0
[pid=12068] ppid=12065 vsize=15012476 memory=72060 CPUtime=0.11 cores=0,2,4,6
/proc/12068/stat : 12068 (java) S 12065 12065 3762 0 -1 1077944320 6640 0 0 0 9 2 0 0 20 0 15 0 226357315 15372775424 18015 33554432000 4194304 4196468 140737328076224 140737328058768 139790584602359 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
/proc/12068/statm: 3753119 18015 2766 1 0 3715579 0
[pid=12068/tid=12069] ppid=12065 vsize=15012476 memory=7533807676074704953 CPUtime=0.09 cores=0,2,4,6
/proc/12068/task/12069/stat : 12069 (java) R 12065 12065 3762 0 -1 4202560 4718 0 0 0 7 2 0 0 20 0 15 0 226357316 15372775424 18015 33554432000 4194304 4196468 140737328076224 139790556391472 139790567789197 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12070] ppid=12065 vsize=15012476 memory=3472468618565576368 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12070/stat : 12070 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357317 15372775424 18015 33554432000 4194304 4196468 140737328076224 139790588844688 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12071] ppid=12065 vsize=15012476 memory=140322337896064 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12071/stat : 12071 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357317 15372775424 18015 33554432000 4194304 4196468 140737328076224 139790387620368 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12072] ppid=12065 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12072/stat : 12072 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357317 15372775424 18015 33554432000 4194304 4196468 140737328076224 139790386567568 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12073] ppid=12065 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12073/stat : 12073 (java) S 12065 12065 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226357317 15372775424 18015 33554432000 4194304 4196468 140737328076224 139790385514768 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12074] ppid=12065 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12074/stat : 12074 (java) S 12065 12065 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226357319 15372775424 18015 33554432000 4194304 4196468 140737328076224 139789991324528 139790584613506 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12075] ppid=12065 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12075/stat : 12075 (java) S 12065 12065 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226357319 15372775424 18015 33554432000 4194304 4196468 140737328076224 139789139437088 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12076] ppid=12065 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12076/stat : 12076 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357319 15372775424 18015 33554432000 4194304 4196468 140737328076224 139788904555888 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12077] ppid=12065 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12077/stat : 12077 (java) S 12065 12065 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226357322 15372775424 18015 33554432000 4194304 4196468 140737328076224 139788530047312 139790584620955 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12078] ppid=12065 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12078/stat : 12078 (java) S 12065 12065 3762 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 226357322 15372775424 18015 33554432000 4194304 4196468 140737328076224 139789990271344 139790584613506 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12079] ppid=12065 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12079/stat : 12079 (java) S 12065 12065 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226357322 15372775424 18015 33554432000 4194304 4196468 140737328076224 139789989218544 139790584613506 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12080] ppid=12065 vsize=15012476 memory=140322337896064 CPUtime=0.01 cores=0,2,4,6
/proc/12068/task/12080/stat : 12080 (java) S 12065 12065 3762 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 15 0 226357322 15372775424 18015 33554432000 4194304 4196468 140737328076224 139789988165744 139790584613506 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12081] ppid=12065 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12081/stat : 12081 (java) S 12065 12065 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226357322 15372775424 18015 33554432000 4194304 4196468 140737328076224 139788032141536 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12082] ppid=12065 vsize=15012476 memory=140322337896064 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12082/stat : 12082 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357322 15372775424 18015 33554432000 4194304 4196468 140737328076224 139789987114160 139790584613506 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73452 KiB
[startup+0.210623 s]*
/proc/loadavg: 2.05 2.03 2.05 5/223 12082
/proc/meminfo: memFree=18502400/32770624 swapFree=67108196/67108860
[pid=12065] ppid=12062 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/12065/stat : 12065 (scop.sh) S 12062 12065 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226357315 115843072 348 33554432000 4194304 5098028 140721037549104 140721037546360 140719037092476 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28160000 140721037550656 140721037550855 140721037550855 140721037553613 0
/proc/12065/statm: 28282 348 296 221 0 87 0
[pid=12068] ppid=12065 vsize=15012476 memory=85628 CPUtime=0.25 cores=0,2,4,6
/proc/12068/stat : 12068 (java) S 12065 12065 3762 0 -1 1077944320 10259 0 0 0 22 3 0 0 20 0 15 0 226357315 15372775424 21407 33554432000 4194304 4196468 140737328076224 140737328058768 139790584602359 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
/proc/12068/statm: 3753119 21407 2927 1 0 3715579 0
[pid=12068/tid=12069] ppid=12065 vsize=15012476 memory=8514701219881124769 CPUtime=0.19 cores=0,2,4,6
/proc/12068/task/12069/stat : 12069 (java) R 12065 12065 3762 0 -1 4202560 8150 0 0 0 17 2 0 0 20 0 15 0 226357316 15372775424 21407 33554432000 4194304 4196468 140737328076224 139790556428752 139790568682846 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12070] ppid=12065 vsize=15012476 memory=3472468618565576368 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12070/stat : 12070 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357317 15372775424 21407 33554432000 4194304 4196468 140737328076224 139790588844688 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12071] ppid=12065 vsize=15012476 memory=140322337896064 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12071/stat : 12071 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357317 15372775424 21407 33554432000 4194304 4196468 140737328076224 139790387620368 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12072] ppid=12065 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12072/stat : 12072 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357317 15372775424 21407 33554432000 4194304 4196468 140737328076224 139790386567568 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12073] ppid=12065 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12073/stat : 12073 (java) S 12065 12065 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226357317 15372775424 21407 33554432000 4194304 4196468 140737328076224 139790385514768 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12074] ppid=12065 vsize=15012476 memory=140322337896064 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12074/stat : 12074 (java) S 12065 12065 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226357319 15372775424 21407 33554432000 4194304 4196468 140737328076224 139789991324528 139790584613506 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12075] ppid=12065 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12075/stat : 12075 (java) S 12065 12065 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226357319 15372775424 21407 33554432000 4194304 4196468 140737328076224 139789139437088 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12076] ppid=12065 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12076/stat : 12076 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357319 15372775424 21407 33554432000 4194304 4196468 140737328076224 139788904555888 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12077] ppid=12065 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12077/stat : 12077 (java) S 12065 12065 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226357322 15372775424 21407 33554432000 4194304 4196468 140737328076224 139788530047312 139790584620955 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12078] ppid=12065 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12078/stat : 12078 (java) S 12065 12065 3762 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 15 0 226357322 15372775424 21407 33554432000 4194304 4196468 140737328076224 139789990271344 139790584613506 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12079] ppid=12065 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12079/stat : 12079 (java) S 12065 12065 3762 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 226357322 15372775424 21407 33554432000 4194304 4196468 140737328076224 139789989218544 139790584613506 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12080] ppid=12065 vsize=15012476 memory=140322337896064 CPUtime=0.03 cores=0,2,4,6
/proc/12068/task/12080/stat : 12080 (java) S 12065 12065 3762 0 -1 1077944384 314 0 0 0 3 0 0 0 20 0 15 0 226357322 15372775424 21407 33554432000 4194304 4196468 140737328076224 139789988165744 139790584613506 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12081] ppid=12065 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12081/stat : 12081 (java) S 12065 12065 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226357322 15372775424 21407 33554432000 4194304 4196468 140737328076224 139788032141536 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12082] ppid=12065 vsize=15012476 memory=140322337896064 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12082/stat : 12082 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357322 15372775424 21407 33554432000 4194304 4196468 140737328076224 139789987114160 139790584613506 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87020 KiB
[startup+0.310674 s]*
/proc/loadavg: 2.05 2.03 2.05 3/223 12082
/proc/meminfo: memFree=18497980/32770624 swapFree=67108196/67108860
[pid=12065] ppid=12062 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/12065/stat : 12065 (scop.sh) S 12062 12065 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226357315 115843072 348 33554432000 4194304 5098028 140721037549104 140721037546360 140719037092476 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28160000 140721037550656 140721037550855 140721037550855 140721037553613 0
/proc/12065/statm: 28282 348 296 221 0 87 0
[pid=12068] ppid=12065 vsize=15012476 memory=89564 CPUtime=0.42 cores=0,2,4,6
/proc/12068/stat : 12068 (java) S 12065 12065 3762 0 -1 1077944320 10866 0 0 0 38 4 0 0 20 0 15 0 226357315 15372775424 22391 33554432000 4194304 4196468 140737328076224 140737328058768 139790584602359 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
/proc/12068/statm: 3753119 22391 2978 1 0 3715579 0
[pid=12068/tid=12069] ppid=12065 vsize=15012476 memory=8514701219881124769 CPUtime=0.3 cores=0,2,4,6
/proc/12068/task/12069/stat : 12069 (java) R 12065 12065 3762 0 -1 4202560 8582 0 0 0 27 3 0 0 20 0 15 0 226357316 15372775424 22391 33554432000 4194304 4196468 140737328076224 139790556397360 139790568682846 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12070] ppid=12065 vsize=15012476 memory=3472468618565576368 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12070/stat : 12070 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357317 15372775424 22391 33554432000 4194304 4196468 140737328076224 139790588844688 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12071] ppid=12065 vsize=15012476 memory=280644556716928 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12071/stat : 12071 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357317 15372775424 22391 33554432000 4194304 4196468 140737328076224 139790387620368 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12072] ppid=12065 vsize=15012476 memory=280644437674016 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12072/stat : 12072 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357317 15372775424 22391 33554432000 4194304 4196468 140737328076224 139790386567568 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12073] ppid=12065 vsize=15012476 memory=140322218820879 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12073/stat : 12073 (java) S 12065 12065 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226357317 15372775424 22391 33554432000 4194304 4196468 140737328076224 139790385514768 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12074] ppid=12065 vsize=15012476 memory=280644556723840 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12074/stat : 12074 (java) S 12065 12065 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226357319 15372775424 22391 33554432000 4194304 4196468 140737328076224 139789991324528 139790584613506 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12075] ppid=12065 vsize=15012476 memory=140322218825487 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12075/stat : 12075 (java) S 12065 12065 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226357319 15372775424 22391 33554432000 4194304 4196468 140737328076224 139789139437088 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12076] ppid=12065 vsize=15012476 memory=140322218839704 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12076/stat : 12076 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357319 15372775424 22391 33554432000 4194304 4196468 140737328076224 139788904555888 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12077] ppid=12065 vsize=15012476 memory=280644437683232 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12077/stat : 12077 (java) S 12065 12065 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226357322 15372775424 22391 33554432000 4194304 4196468 140737328076224 139788530047312 139790584620955 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12078] ppid=12065 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12068/task/12078/stat : 12078 (java) S 12065 12065 3762 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 15 0 226357322 15372775424 22391 33554432000 4194304 4196468 140737328076224 139789990271344 139790584613506 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12079] ppid=12065 vsize=15012476 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/12068/task/12079/stat : 12079 (java) S 12065 12065 3762 0 -1 1077944384 156 0 0 0 1 0 0 0 20 0 15 0 226357322 15372775424 22391 33554432000 4194304 4196468 140737328076224 139789989218544 139790584613506 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12080] ppid=12065 vsize=15012476 memory=140322337896064 CPUtime=0.07 cores=0,2,4,6
/proc/12068/task/12080/stat : 12080 (java) S 12065 12065 3762 0 -1 1077944384 355 0 0 0 7 0 0 0 20 0 15 0 226357322 15372775424 22391 33554432000 4194304 4196468 140737328076224 139789988165744 139790584613506 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12081] ppid=12065 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12081/stat : 12081 (java) S 12065 12065 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226357322 15372775424 22391 33554432000 4194304 4196468 140737328076224 139788032141536 139790584612565 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12082] ppid=12065 vsize=15012476 memory=140322337897456 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12082/stat : 12082 (java) S 12065 12065 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226357322 15372775424 22391 33554432000 4194304 4196468 140737328076224 139789987114160 139790584613506 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90956 KiB
[startup+0.700807 s]
/proc/loadavg: 2.05 2.03 2.05 3/223 12082
/proc/meminfo: memFree=18474204/32770624 swapFree=67108196/67108860
[pid=12065] ppid=12062 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/12065/stat : 12065 (scop.sh) S 12062 12065 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226357315 115843072 348 33554432000 4194304 5098028 140721037549104 140721037546360 140719037092476 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28160000 140721037550656 140721037550855 140721037550855 140721037553613 0
/proc/12065/statm: 28282 348 296 221 0 87 0
[pid=12068] ppid=12065 vsize=15018748 memory=129100 CPUtime=1.04 cores=0,2,4,6
/proc/12068/stat : 12068 (java) S 12065 12065 3762 0 -1 1077944320 17914 0 0 0 99 5 0 0 20 0 15 0 226357315 15379197952 32275 33554432000 4194304 4196468 140737328076224 140737328058768 139790584602359 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
/proc/12068/statm: 3754687 32275 3134 1 0 3716091 0
[pid=12068/tid=12069] ppid=12065 vsize=15018748 memory=54 CPUtime=0.67 cores=0,2,4,6
/proc/12068/task/12069/stat : 12069 (java) R 12065 12065 3762 0 -1 4202560 15103 0 0 0 63 4 0 0 20 0 15 0 226357316 15379197952 32275 33554432000 4194304 4196468 140737328076224 139790556424560 139790568682846 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12070] ppid=12065 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12070/stat : 12070 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357317 15379197952 32275 33554432000 4194304 4196468 140737328076224 139790588844688 139790584612565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12071] ppid=12065 vsize=15018748 memory=8751464017575360309 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12071/stat : 12071 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357317 15379197952 32275 33554432000 4194304 4196468 140737328076224 139790387620368 139790584612565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12072] ppid=12065 vsize=15018748 memory=5788902677008311104 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12072/stat : 12072 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357317 15379197952 32275 33554432000 4194304 4196468 140737328076224 139790386567568 139790584612565 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12073] ppid=12065 vsize=15018748 memory=6440526044186890340 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12073/stat : 12073 (java) S 12065 12065 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226357317 15379197952 32275 33554432000 4194304 4196468 140737328076224 139790385514768 139790584612565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12074] ppid=12065 vsize=15018748 memory=170926128 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12074/stat : 12074 (java) S 12065 12065 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226357319 15379197952 32275 33554432000 4194304 4196468 140737328076224 139789991324528 139790584613506 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12075] ppid=12065 vsize=15018748 memory=1128 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12075/stat : 12075 (java) S 12065 12065 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226357319 15379197952 32275 33554432000 4194304 4196468 140737328076224 139789139437088 139790584612565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12076] ppid=12065 vsize=15018748 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12076/stat : 12076 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226357319 15379197952 32275 33554432000 4194304 4196468 140737328076224 139788904555888 139790584612565 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12077] ppid=12065 vsize=15018748 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12077/stat : 12077 (java) S 12065 12065 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226357322 15379197952 32275 33554432000 4194304 4196468 140737328076224 139788530047312 139790584620955 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12078] ppid=12065 vsize=15018748 memory=4168 CPUtime=0.08 cores=0,2,4,6
/proc/12068/task/12078/stat : 12078 (java) S 12065 12065 3762 0 -1 1077944384 518 0 0 0 8 0 0 0 20 0 15 0 226357322 15379197952 32275 33554432000 4194304 4196468 140737328076224 139789990271344 139790584613506 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12079] ppid=12065 vsize=15018748 memory=7852 CPUtime=0.09 cores=0,2,4,6
/proc/12068/task/12079/stat : 12079 (java) S 12065 12065 3762 0 -1 1077944384 418 0 0 0 9 0 0 0 20 0 15 0 226357322 15379197952 32275 33554432000 4194304 4196468 140737328076224 139789989218544 139790584613506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12080] ppid=12065 vsize=15018748 memory=1628 CPUtime=0.17 cores=0,2,4,6
/proc/12068/task/12080/stat : 12080 (java) R 12065 12065 3762 0 -1 4202560 540 0 0 0 17 0 0 0 20 0 15 0 226357322 15379197952 32275 33554432000 4194304 4196468 140737328076224 139789988161472 139790563531703 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12081] ppid=12065 vsize=15018748 memory=1140 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12081/stat : 12081 (java) S 12065 12065 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226357322 15379197952 32275 33554432000 4194304 4196468 140737328076224 139788032141536 139790584612565 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
[pid=12068/tid=12082] ppid=12065 vsize=15018748 memory=15244 CPUtime=0 cores=0,2,4,6
/proc/12068/task/12082/stat : 12082 (java) S 12065 12065 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226357322 15379197952 32275 33554432000 4194304 4196468 140737328076224 139789987114160 139790584613506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28717056 140737328079878 140737328080177 140737328080177 140737328082895 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 130492 KiB
[startup+1.50134 s]
/proc/loadavg: 2.05 2.03 2.05 5/223 12082
/proc/meminfo: memFree=18382020/32770624 swapFree=67108196/67108860
[pid=12065] ppid=12062 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/12065/stat : 12065 (scop.sh) S 12062 12065 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226357315 115843072 348 33554432000 4194304 5098028 140721037549104 140721037546360 140719037092476 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28160000 140721037550656 140721037550855 140721037550855 140721037553613 0
/proc/12065/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/12098/statm: 31856 27848 341 28 0 28096 0
[pid=12083/tid=12084] ppid=12065 vsize=8068220 memory=1468 CPUtime=0.74 cores=0,2,4,6
/proc/12083/task/12084/stat : 12084 (java) S 12065 12065 3762 0 -1 1077944384 14531 0 0 0 70 4 0 0 20 0 19 0 226358048 8261857280 29230 33554432000 4194304 4196468 140726437021152 140389632552848 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12085] ppid=12065 vsize=8068220 memory=116920 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12085/stat : 12085 (java) S 12065 12065 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226358049 8261857280 29230 33554432000 4194304 4196468 140726437021152 140389664955152 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12086] ppid=12065 vsize=8068220 memory=116920 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12086/stat : 12086 (java) S 12065 12065 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226358049 8261857280 29230 33554432000 4194304 4196468 140726437021152 140389465123728 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12087] ppid=12065 vsize=8068220 memory=116920 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12087/stat : 12087 (java) S 12065 12065 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226358049 8261857280 29230 33554432000 4194304 4196468 140726437021152 140389464071184 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12088] ppid=12065 vsize=8068220 memory=116920 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12088/stat : 12088 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226358049 8261857280 29230 33554432000 4194304 4196468 140726437021152 140389463018640 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12089] ppid=12065 vsize=8068220 memory=116920 CPUtime=0.04 cores=0,2,4,6
/proc/12083/task/12089/stat : 12089 (java) S 12065 12065 3762 0 -1 1077944384 8 0 0 0 1 3 0 0 20 0 19 0 226358050 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388914112496 140389660723842 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12090] ppid=12065 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12090/stat : 12090 (java) S 12065 12065 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226358051 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388522255264 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12091] ppid=12065 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12091/stat : 12091 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226358051 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388253819888 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12092] ppid=12065 vsize=8068220 memory=116920 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12092/stat : 12092 (java) S 12065 12065 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226358053 8261857280 29230 33554432000 4194304 4196468 140726437021152 140387879311568 140389660731291 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12093] ppid=12065 vsize=8068220 memory=116920 CPUtime=0.07 cores=0,2,4,6
/proc/12083/task/12093/stat : 12093 (java) S 12065 12065 3762 0 -1 1077944384 612 0 0 0 7 0 0 0 20 0 19 0 226358053 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388913060336 140389660723842 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12094] ppid=12065 vsize=8068220 memory=1468 CPUtime=0.09 cores=0,2,4,6
/proc/12083/task/12094/stat : 12094 (java) S 12065 12065 3762 0 -1 1077944384 346 0 0 0 9 0 0 0 20 0 19 0 226358053 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388912007792 140389660723842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12095] ppid=12065 vsize=8068220 memory=1468 CPUtime=0.2 cores=0,2,4,6
/proc/12083/task/12095/stat : 12095 (java) S 12065 12065 3762 0 -1 1077944384 540 0 0 0 20 0 0 0 20 0 19 0 226358053 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388910955248 140389660723842 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12096] ppid=12065 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12096/stat : 12096 (java) S 12065 12065 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226358054 8261857280 29230 33554432000 4194304 4196468 140726437021152 140387381406816 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12097] ppid=12065 vsize=8068220 memory=116920 CPUtime=1.12 cores=0,2,4,6
/proc/12083/task/12097/stat : 12097 (java) S 12065 12065 3762 0 -1 1077944384 167 0 0 0 58 54 0 0 20 0 19 0 226358054 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388909902128 140389660723842 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12099] ppid=12065 vsize=8068220 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12099/stat : 12099 (java) S 12065 12065 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226358119 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388902093888 140389660737305 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12101] ppid=12065 vsize=8068220 memory=61536 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12101/stat : 12101 (java) S 12065 12065 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226358119 8261857280 29230 33554432000 4194304 4196468 140726437021152 140386844520080 140389660734621 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12102] ppid=12065 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12102/stat : 12102 (java) S 12065 12065 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226358120 8261857280 29230 33554432000 4194304 4196468 140726437021152 140386978742032 140389660734621 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12103] ppid=12065 vsize=8068220 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12103/stat : 12103 (java) S 12065 12065 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226358122 8261857280 29230 33554432000 4194304 4196468 140726437021152 140386576096800 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
Current children cumulated CPU time: 2516.04 s
Current children cumulated vsize: 8308772 KiB
Current children cumulated memory: 229780 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/228 12299
/proc/meminfo: memFree=18260604/32770624 swapFree=67108196/67108860
[pid=12065] ppid=12062 vsize=113128 memory=1468 CPUtime=19.65 cores=0,2,4,6
/proc/12065/stat : 12065 (scop.sh) S 12062 12065 3762 0 -1 4202496 590 38346 0 0 0 0 1909 56 20 0 1 0 226357315 115843072 367 33554432000 4194304 5098028 140721037549104 140721037545848 140719037092476 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28160000 140721037550656 140721037550855 140721037550855 140721037553613 0
/proc/12065/statm: 28282 367 311 221 0 87 0
[pid=12083] ppid=12065 vsize=8068220 memory=116920 CPUtime=2.33 cores=0,2,4,6
/proc/12083/stat : 12083 (java) S 12065 12065 3762 0 -1 1077944320 17609 0 0 0 172 61 0 0 20 0 19 0 226358047 8261857280 29230 33554432000 4194304 4196468 140726437021152 140726437003696 140389660712695 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
/proc/12083/statm: 2017055 29230 3151 1 0 1978454 0
[pid=12098] ppid=12083 vsize=127424 memory=111392 CPUtime=2498.06 cores=0,2,4,6
/proc/12098/stat : 12098 (minisat_release) R 12083 12065 3762 0 -1 4202496 182608 0 0 0 249787 19 0 0 20 0 1 0 226358119 130482176 27848 33554432000 4194304 4308513 140735706374208 140735706371208 4275920 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 18497536 140735706375284 140735706375382 140735706375382 140735706378181 0
/proc/12098/statm: 31856 27848 341 28 0 28096 0
[pid=12083/tid=12084] ppid=12065 vsize=8068220 memory=116920 CPUtime=0.74 cores=0,2,4,6
/proc/12083/task/12084/stat : 12084 (java) S 12065 12065 3762 0 -1 1077944384 14531 0 0 0 70 4 0 0 20 0 19 0 226358048 8261857280 29230 33554432000 4194304 4196468 140726437021152 140389632552848 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12085] ppid=12065 vsize=8068220 memory=116920 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12085/stat : 12085 (java) S 12065 12065 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226358049 8261857280 29230 33554432000 4194304 4196468 140726437021152 140389664955152 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12086] ppid=12065 vsize=8068220 memory=116920 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12086/stat : 12086 (java) S 12065 12065 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226358049 8261857280 29230 33554432000 4194304 4196468 140726437021152 140389465123728 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12087] ppid=12065 vsize=8068220 memory=116920 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12087/stat : 12087 (java) S 12065 12065 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226358049 8261857280 29230 33554432000 4194304 4196468 140726437021152 140389464071184 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12088] ppid=12065 vsize=8068220 memory=116920 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12088/stat : 12088 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226358049 8261857280 29230 33554432000 4194304 4196468 140726437021152 140389463018640 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12089] ppid=12065 vsize=8068220 memory=116920 CPUtime=0.04 cores=0,2,4,6
/proc/12083/task/12089/stat : 12089 (java) S 12065 12065 3762 0 -1 1077944384 8 0 0 0 1 3 0 0 20 0 19 0 226358050 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388914112496 140389660723842 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12090] ppid=12065 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12090/stat : 12090 (java) S 12065 12065 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226358051 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388522255264 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12091] ppid=12065 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12091/stat : 12091 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226358051 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388253819888 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12092] ppid=12065 vsize=8068220 memory=116920 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12092/stat : 12092 (java) S 12065 12065 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226358053 8261857280 29230 33554432000 4194304 4196468 140726437021152 140387879311568 140389660731291 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12093] ppid=12065 vsize=8068220 memory=1468 CPUtime=0.07 cores=0,2,4,6
/proc/12083/task/12093/stat : 12093 (java) S 12065 12065 3762 0 -1 1077944384 612 0 0 0 7 0 0 0 20 0 19 0 226358053 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388913060336 140389660723842 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12094] ppid=12065 vsize=8068220 memory=116920 CPUtime=0.09 cores=0,2,4,6
/proc/12083/task/12094/stat : 12094 (java) S 12065 12065 3762 0 -1 1077944384 346 0 0 0 9 0 0 0 20 0 19 0 226358053 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388912007792 140389660723842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12095] ppid=12065 vsize=8068220 memory=116920 CPUtime=0.2 cores=0,2,4,6
/proc/12083/task/12095/stat : 12095 (java) S 12065 12065 3762 0 -1 1077944384 540 0 0 0 20 0 0 0 20 0 19 0 226358053 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388910955248 140389660723842 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12096] ppid=12065 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12096/stat : 12096 (java) S 12065 12065 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226358054 8261857280 29230 33554432000 4194304 4196468 140726437021152 140387381406816 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12097] ppid=12065 vsize=8068220 memory=116920 CPUtime=1.12 cores=0,2,4,6
/proc/12083/task/12097/stat : 12097 (java) S 12065 12065 3762 0 -1 1077944384 167 0 0 0 58 54 0 0 20 0 19 0 226358054 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388909902128 140389660723842 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12099] ppid=12065 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12099/stat : 12099 (java) S 12065 12065 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226358119 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388902093888 140389660737305 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12101] ppid=12065 vsize=8068220 memory=116920 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12101/stat : 12101 (java) S 12065 12065 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226358119 8261857280 29230 33554432000 4194304 4196468 140726437021152 140386844520080 140389660734621 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12102] ppid=12065 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12102/stat : 12102 (java) S 12065 12065 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226358120 8261857280 29230 33554432000 4194304 4196468 140726437021152 140386978742032 140389660734621 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12103] ppid=12065 vsize=8068220 memory=-7824251494390846827 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12103/stat : 12103 (java) S 12065 12065 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226358122 8261857280 29230 33554432000 4194304 4196468 140726437021152 140386576096800 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 8308772 KiB
Current children cumulated memory: 229780 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.31 s]
# the end of solver process 12065 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.7 s, system=1.37299 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2506.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/228 12299
/proc/meminfo: memFree=18260604/32770624 swapFree=67108196/67108860
[pid=12065] ppid=12062 vsize=113128 memory=1468 CPUtime=19.65 cores=0,2,4,6
/proc/12065/stat : 12065 (scop.sh) S 12062 12065 3762 0 -1 4202496 590 38346 0 0 0 0 1909 56 20 0 1 0 226357315 115843072 367 33554432000 4194304 5098028 140721037549104 140721037545848 140719037092476 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28160000 140721037550656 140721037550855 140721037550855 140721037553613 0
/proc/12065/statm: 28282 367 311 221 0 87 0
[pid=12083] ppid=12065 vsize=8068220 memory=116920 CPUtime=2.33 cores=0,2,4,6
/proc/12083/stat : 12083 (java) S 12065 12065 3762 0 -1 1077944320 17609 0 0 0 172 61 0 0 20 0 19 0 226358047 8261857280 29230 33554432000 4194304 4196468 140726437021152 140726437003696 140389660712695 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
/proc/12083/statm: 2017055 29230 3151 1 0 1978454 0
[pid=12098] ppid=12083 vsize=127424 memory=111392 CPUtime=2498.06 cores=0,2,4,6
/proc/12098/stat : 12098 (minisat_release) R 12083 12065 3762 0 -1 4202496 182608 0 0 0 249787 19 0 0 20 0 1 0 226358119 130482176 27848 33554432000 4194304 4308513 140735706374208 140735706371208 4275920 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 18497536 140735706375284 140735706375382 140735706375382 140735706378181 0
/proc/12098/statm: 31856 27848 341 28 0 28096 0
[pid=12083/tid=12084] ppid=12065 vsize=8068220 memory=116920 CPUtime=0.74 cores=0,2,4,6
/proc/12083/task/12084/stat : 12084 (java) S 12065 12065 3762 0 -1 1077944384 14531 0 0 0 70 4 0 0 20 0 19 0 226358048 8261857280 29230 33554432000 4194304 4196468 140726437021152 140389632552848 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12085] ppid=12065 vsize=8068220 memory=116920 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12085/stat : 12085 (java) S 12065 12065 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226358049 8261857280 29230 33554432000 4194304 4196468 140726437021152 140389664955152 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12086] ppid=12065 vsize=8068220 memory=116920 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12086/stat : 12086 (java) S 12065 12065 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226358049 8261857280 29230 33554432000 4194304 4196468 140726437021152 140389465123728 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12087] ppid=12065 vsize=8068220 memory=116920 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12087/stat : 12087 (java) S 12065 12065 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226358049 8261857280 29230 33554432000 4194304 4196468 140726437021152 140389464071184 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12088] ppid=12065 vsize=8068220 memory=116920 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12088/stat : 12088 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226358049 8261857280 29230 33554432000 4194304 4196468 140726437021152 140389463018640 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12089] ppid=12065 vsize=8068220 memory=116920 CPUtime=0.04 cores=0,2,4,6
/proc/12083/task/12089/stat : 12089 (java) S 12065 12065 3762 0 -1 1077944384 8 0 0 0 1 3 0 0 20 0 19 0 226358050 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388914112496 140389660723842 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12090] ppid=12065 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12090/stat : 12090 (java) S 12065 12065 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226358051 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388522255264 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12091] ppid=12065 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12091/stat : 12091 (java) S 12065 12065 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226358051 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388253819888 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12092] ppid=12065 vsize=8068220 memory=116920 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12092/stat : 12092 (java) S 12065 12065 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226358053 8261857280 29230 33554432000 4194304 4196468 140726437021152 140387879311568 140389660731291 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12093] ppid=12065 vsize=8068220 memory=1468 CPUtime=0.07 cores=0,2,4,6
/proc/12083/task/12093/stat : 12093 (java) S 12065 12065 3762 0 -1 1077944384 612 0 0 0 7 0 0 0 20 0 19 0 226358053 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388913060336 140389660723842 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12094] ppid=12065 vsize=8068220 memory=116920 CPUtime=0.09 cores=0,2,4,6
/proc/12083/task/12094/stat : 12094 (java) S 12065 12065 3762 0 -1 1077944384 346 0 0 0 9 0 0 0 20 0 19 0 226358053 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388912007792 140389660723842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12095] ppid=12065 vsize=8068220 memory=116920 CPUtime=0.2 cores=0,2,4,6
/proc/12083/task/12095/stat : 12095 (java) S 12065 12065 3762 0 -1 1077944384 540 0 0 0 20 0 0 0 20 0 19 0 226358053 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388910955248 140389660723842 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12096] ppid=12065 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12096/stat : 12096 (java) S 12065 12065 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226358054 8261857280 29230 33554432000 4194304 4196468 140726437021152 140387381406816 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12097] ppid=12065 vsize=8068220 memory=116920 CPUtime=1.12 cores=0,2,4,6
/proc/12083/task/12097/stat : 12097 (java) S 12065 12065 3762 0 -1 1077944384 167 0 0 0 58 54 0 0 20 0 19 0 226358054 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388909902128 140389660723842 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12099] ppid=12065 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12099/stat : 12099 (java) S 12065 12065 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226358119 8261857280 29230 33554432000 4194304 4196468 140726437021152 140388902093888 140389660737305 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12101] ppid=12065 vsize=8068220 memory=116920 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12101/stat : 12101 (java) S 12065 12065 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226358119 8261857280 29230 33554432000 4194304 4196468 140726437021152 140386844520080 140389660734621 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12102] ppid=12065 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12102/stat : 12102 (java) S 12065 12065 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226358120 8261857280 29230 33554432000 4194304 4196468 140726437021152 140386978742032 140389660734621 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
[pid=12083/tid=12103] ppid=12065 vsize=8068220 memory=-7824251494390846827 CPUtime=0 cores=0,2,4,6
/proc/12083/task/12103/stat : 12103 (java) S 12065 12065 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226358122 8261857280 29230 33554432000 4194304 4196468 140726437021152 140386576096800 140389660722901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36028416 140726437029045 140726437029169 140726437029169 140726437031887 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 8308772 KiB
Current children cumulated memory: 229780 KiB
Child status: 0
Real time (s): 2506.31
CPU time (s): 2520.07
CPU user time (s): 2518.7
CPU system time (s): 1.37299
CPU usage (%): 100.549
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2861036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.7
system time used= 1.37298
maximum resident set size= 2859904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239448
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59502
involuntary context switches= 3185
# summary of solver processes directly reported to runsolver:
# pid: 12065
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.7
# total CPU system time (s): 1.37299
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2028 second user time and 27.3975 second system time
The end