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-17596-serial-file.bin HOME/instance-4305514-1534069790.xml
0.55/0.51
0.67/0.52 scop order+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 12:29:51 CEST 2018
0.67/0.54 c PID: 17599
0.67/0.54 c IP: 172.20.3.107
0.67/0.54 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
7.30/2.87 c (2,2) Parsing End
7.45/2.91 c (2,2) CSP: 0 int (0 aux), 23409 bool (0 aux), 1386 ctr, max domain size 2
7.45/2.91 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
7.45/2.91 c (2,2) Constraint Name Generate Begin
7.45/3.00 c (2,2) Ctr:HOME/instance-4305514-1534069790.xml,IntVar:Num:WeightedSum
7.45/3.00 c (2,2) Constraint Name Generate End
7.45/3.00 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
7.45/3.00 c (2,2) CSP to CSPinCNF Begin
10.85/5.21 c (4,4) translated 139 (10%) constraints
13.01/7.06 c (6,6) translated 278 (20%) constraints
14.71/8.68 c (8,8) translated 416 (30%) constraints
16.86/10.41 c (9,9) translated 555 (40%) constraints
19.16/12.15 c (11,11) translated 693 (50%) constraints
20.79/13.74 c (13,12) translated 832 (60%) constraints
22.87/15.45 c (14,14) translated 971 (70%) constraints
24.52/17.02 c (16,16) translated 1109 (80%) constraints
27.42/19.44 c (18,18) translated 1248 (90%) constraints
34.53/25.46 c (24,23) translated 1386 (100%) constraints
37.27/27.07 c (26,25) STATISTICS1:HOME/instance-4305514-1534069790.xml,IntVar:Num:WeightedSum,23409,1386,9223372036854775807,2,1,289,9223372036854775807:1386,2:234090,1:1386,289:162;153:1224,36864:162;10404:1224
37.27/27.07 c (26,25) ==========================================
37.27/27.07 c (26,25) Order
37.27/27.07 c (26,25) ==========================================
40.86/28.74 c (28,27) translated 139 (10%) constraints
42.63/30.07 c (29,28) translated 278 (20%) constraints
44.50/31.45 c (30,29) translated 416 (30%) constraints
45.87/32.75 c (32,31) translated 555 (40%) constraints
47.23/34.02 c (33,32) translated 693 (50%) constraints
48.59/35.30 c (34,33) translated 832 (60%) constraints
49.79/36.58 c (36,34) translated 971 (70%) constraints
51.78/38.03 c (37,36) translated 1109 (80%) constraints
53.37/39.65 c (39,37) translated 1248 (90%) constraints
57.37/43.15 c (42,41) translated 1386 (100%) constraints
57.37/43.18 c (42,41) CSP to CSPinCNF End
57.47/43.23 c (42,41) CSP: 70146 int (70146 aux), 23409 bool (0 aux), 71532 ctr, max domain size 52
57.47/43.23 c (42,41) Heap : 839 MiB used (max 11068 MiB), NonHeap : 28 MiB used (max 0 MiB)
57.47/43.23 c (42,41) CSPinCNF Propagation Begin
58.21/43.73 c (43,41) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
58.21/43.73 c (43,41) CSPinCNF Propagation End
58.21/43.77 c (43,41) CSP: 70146 int (70146 aux), 23409 bool (0 aux), 71532 ctr, max domain size 52
58.21/43.77 c (43,41) Heap : 1251 MiB used (max 11068 MiB), NonHeap : 28 MiB used (max 0 MiB)
58.21/43.77 c (43,41) Simplify CSPinCNF Begin
58.48/43.99 c (43,42) Simplify CSPinCNF End
58.59/44.03 c (43,42) CSP: 70146 int (70146 aux), 23409 bool (0 aux), 71532 ctr, max domain size 52
58.59/44.03 c (43,42) Heap : 1318 MiB used (max 11068 MiB), NonHeap : 28 MiB used (max 0 MiB)
58.59/44.03 c (43,42) Calculate Precise Domain Begin
59.16/44.34 c (43,42) 0 values are removed by re-calculation
59.16/44.34 c (43,42) Calculate Precise Domain End
59.16/44.38 c (43,42) CSP: 70146 int (70146 aux), 23409 bool (0 aux), 71532 ctr, max domain size 52
59.16/44.38 c (43,42) Heap : 1586 MiB used (max 11068 MiB), NonHeap : 29 MiB used (max 0 MiB)
59.16/44.38 c (43,42) CSPinCNF to SatSolver Begin
62.20/46.49 c (45,44) 7154 (10 %) CSP clauses are encoded (734103 SAT variables, 1071163 SAT clauses)
64.47/48.00 c (47,45) 14307 (20 %) CSP clauses are encoded (734103 SAT variables, 1501707 SAT clauses)
65.83/49.57 c (49,47) 21460 (30 %) CSP clauses are encoded (734103 SAT variables, 1932322 SAT clauses)
67.56/51.01 c (50,48) 28613 (40 %) CSP clauses are encoded (734103 SAT variables, 2394766 SAT clauses)
69.37/52.88 c (52,50) 35766 (50 %) CSP clauses are encoded (734103 SAT variables, 3321083 SAT clauses)
71.23/55.30 c (54,52) 42920 (60 %) CSP clauses are encoded (734103 SAT variables, 4248016 SAT clauses)
73.14/57.16 c (56,54) 50073 (70 %) CSP clauses are encoded (734103 SAT variables, 5174459 SAT clauses)
74.94/58.95 c (58,55) 57226 (80 %) CSP clauses are encoded (734103 SAT variables, 6044391 SAT clauses)
76.15/60.13 c (59,57) 64379 (90 %) CSP clauses are encoded (734103 SAT variables, 6528172 SAT clauses)
77.34/61.31 c (60,58) 71532 (100 %) CSP clauses are encoded (734103 SAT variables, 7012073 SAT clauses)
77.34/61.31 c (60,58) Launch Command will be: minisat_release
77.34/61.31 c (60,58) CSPinCNF to SatSolver End
77.34/61.31 c (60,58) Heap : 453 MiB used (max 10817 MiB), NonHeap : 31 MiB used (max 0 MiB)
78.52/61.89 c (61,58) STATISTICS2:HOME/instance-4305514-1534069790.xml,IntVar:Num:WeightedSum,93555,71532,2704,52,1,8,2704:612;702:1836;196:1836;182:1998;169:1782;128:11178;75:972;64:25974;56:11178;49:7398;28:1836;26:1836;9:648;4:2448,52:3672;27:3672;26:3996;25:3564;14:22356;13:14796;8:22356;7:51948;3:2916;2:245106,1:71532,8:11178;7:25974;3:34380,
78.52/61.89 c (61,58) 734103 bool, 7012080 clause
78.52/61.89 c (61,58) Export Begin
79.80/62.82 c (62,59) Export to HOME/scop-17596-serial-file.bin
79.80/62.82 c (62,59) Export End
79.80/62.82 c (62,59) Export File Size: 3.64 MB
79.80/62.82 c (62,59) 2,2,42,43,43,43,60,STOP-AFTER(DIMACS)
79.80/62.82 c END-Prog: Sun Aug 12 12:30:53 CEST 2018
79.80/62.86 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-17596-serial-file.bin
80.47/63.35 c (0,0) Read Serial File Begin
80.47/63.35 c (0,0) HOME/scop-17596-serial-file.bin
81.82/64.22 c (0,0) Read Serial File End
81.82/64.23
81.82/64.23 scop order+minisat_release (2018-07-31)
81.82/64.23 (Solving Process)
81.82/64.23
81.82/64.26 c BEGIN-Prog: Sun Aug 12 12:30:55 CEST 2018
81.82/64.26 c PID: 17623
81.82/64.26 c IP: 172.20.3.107
81.82/64.26 c HOST: node107.alineos.net
81.82/64.26 c (1,1) SatSolver.solve Begin
81.82/64.26 c (1,1) 0 bool, 0 clause
81.82/64.26 c (1,1) minisat_release HOME/instance-4305514-1534069790.xml-scop-17599.cnf
2520.10/2500.70 c (2437,0) receiving signal SIGTERM
2520.10/2500.70 s UNKNOWN
2520.10/2500.71 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.10/2500.71 c (scop.sh) Remove HOME/scop-17596-serial-file.bin.
2520.10/2500.71 c (scop.sh) Killing background jobs.
2520.10/2500.71 c (2437,0) receiving signal SIGTERM
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12736 MiB free)
memory of node 1: 16384 MiB (11317 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305514-1534069790/watcher-4305514-1534069790 -o /tmp/evaluation-result-4305514-1534069790/solver-4305514-1534069790 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305514-1534069790.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17596, runsolver pid=17593
Current StackSize limit: 8192 KiB
[startup+0.100375 s]*
/proc/loadavg: 2.00 2.04 2.06 3/222 17613
/proc/meminfo: memFree=24569852/32770624 swapFree=67108860/67108860
[pid=17596] ppid=17593 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17596/stat : 17596 (scop.sh) S 17593 17596 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224542212 115843072 349 33554432000 4194304 5098028 140727865424224 140727865421480 140390702346876 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23957504 140727865427008 140727865427207 140727865427207 140727865429965 0
/proc/17596/statm: 28282 349 296 221 0 87 0
[pid=17599] ppid=17596 vsize=15012476 memory=74100 CPUtime=0.11 cores=1,3,5,7
/proc/17599/stat : 17599 (java) S 17596 17596 16605 0 -1 1077944320 6111 0 0 0 9 2 0 0 20 0 15 0 224542212 15372775424 18525 33554432000 4194304 4196468 140734359904128 140734359886672 140632325824247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
/proc/17599/statm: 3753119 18525 2771 1 0 3715579 0
[pid=17599/tid=17600] ppid=17596 vsize=15012476 memory=-6078870780940435395 CPUtime=0.08 cores=1,3,5,7
/proc/17599/task/17600/stat : 17600 (java) R 17596 17596 16605 0 -1 4202560 4242 0 0 0 7 1 0 0 20 0 15 0 224542213 15372775424 18525 33554432000 4194304 4196468 140734359904128 140632297619408 140632306102817 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17601] ppid=17596 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17601/stat : 17601 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224542214 15372775424 18591 33554432000 4194304 4196468 140734359904128 140632330066192 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17602] ppid=17596 vsize=15012476 memory=139737515796096 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17602/stat : 17602 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224542214 15372775424 18591 33554432000 4194304 4196468 140734359904128 140632128842128 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17603] ppid=17596 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17603/stat : 17603 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224542214 15372775424 18591 33554432000 4194304 4196468 140734359904128 140631785593360 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17604] ppid=17596 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17604/stat : 17604 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224542214 15372775424 18591 33554432000 4194304 4196468 140734359904128 140631784540816 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17605] ppid=17596 vsize=15012476 memory=139737515796096 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17605/stat : 17605 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224542216 15372775424 18591 33554432000 4194304 4196468 140734359904128 140631296010736 140632325835394 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17606] ppid=17596 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17606/stat : 17606 (java) S 17596 17596 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224542216 15372775424 18591 33554432000 4194304 4196468 140734359904128 140630919472544 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17607] ppid=17596 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17607/stat : 17607 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224542216 15372775424 18591 33554432000 4194304 4196468 140734359904128 140630651037168 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17608] ppid=17596 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17608/stat : 17608 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224542219 15372775424 18591 33554432000 4194304 4196468 140734359904128 140630276528848 140632325842843 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17609] ppid=17596 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17609/stat : 17609 (java) S 17596 17596 16605 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 224542219 15372775424 18591 33554432000 4194304 4196468 140734359904128 140631294957552 140632325835394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17610] ppid=17596 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17610/stat : 17610 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224542219 15372775424 18591 33554432000 4194304 4196468 140734359904128 140631293905008 140632325835394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17611] ppid=17596 vsize=15012476 memory=139737515796096 CPUtime=0.01 cores=1,3,5,7
/proc/17599/task/17611/stat : 17611 (java) S 17596 17596 16605 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 224542219 15372775424 18591 33554432000 4194304 4196468 140734359904128 140631292852464 140632325835394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17612] ppid=17596 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17612/stat : 17612 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224542219 15372775424 18657 33554432000 4194304 4196468 140734359904128 140629778623072 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17613] ppid=17596 vsize=15012476 memory=139737515796096 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17613/stat : 17613 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224542219 15372775424 18657 33554432000 4194304 4196468 140734359904128 140631291800368 140632325835394 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75496 KiB
[startup+0.210528 s]*
/proc/loadavg: 2.00 2.04 2.06 3/222 17613
/proc/meminfo: memFree=24556520/32770624 swapFree=67108860/67108860
[pid=17596] ppid=17593 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17596/stat : 17596 (scop.sh) S 17593 17596 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224542212 115843072 349 33554432000 4194304 5098028 140727865424224 140727865421480 140390702346876 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23957504 140727865427008 140727865427207 140727865427207 140727865429965 0
/proc/17596/statm: 28282 349 296 221 0 87 0
[pid=17599] ppid=17596 vsize=15012476 memory=86652 CPUtime=0.26 cores=1,3,5,7
/proc/17599/stat : 17599 (java) S 17596 17596 16605 0 -1 1077944320 9498 0 0 0 23 3 0 0 20 0 15 0 224542212 15372775424 21663 33554432000 4194304 4196468 140734359904128 140734359886672 140632325824247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
/proc/17599/statm: 3753119 21663 2873 1 0 3715579 0
[pid=17599/tid=17600] ppid=17596 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/17599/task/17600/stat : 17600 (java) R 17596 17596 16605 0 -1 4202560 7407 0 0 0 18 2 0 0 20 0 15 0 224542213 15372775424 21663 33554432000 4194304 4196468 140734359904128 140632297650640 140632325836182 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17601] ppid=17596 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17601/stat : 17601 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224542214 15372775424 21663 33554432000 4194304 4196468 140734359904128 140632330066192 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17602] ppid=17596 vsize=15012476 memory=4050061308807194272 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17602/stat : 17602 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224542214 15372775424 21663 33554432000 4194304 4196468 140734359904128 140632128842128 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17603] ppid=17596 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17603/stat : 17603 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224542214 15372775424 21663 33554432000 4194304 4196468 140734359904128 140631785593360 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17604] ppid=17596 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17604/stat : 17604 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224542214 15372775424 21663 33554432000 4194304 4196468 140734359904128 140631784540816 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17605] ppid=17596 vsize=15012476 memory=139737515796096 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17605/stat : 17605 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224542216 15372775424 21663 33554432000 4194304 4196468 140734359904128 140631296010736 140632325835394 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17606] ppid=17596 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17606/stat : 17606 (java) S 17596 17596 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224542216 15372775424 21663 33554432000 4194304 4196468 140734359904128 140630919472544 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17607] ppid=17596 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17607/stat : 17607 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224542216 15372775424 21663 33554432000 4194304 4196468 140734359904128 140630651037168 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17608] ppid=17596 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17608/stat : 17608 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224542219 15372775424 21663 33554432000 4194304 4196468 140734359904128 140630276528848 140632325842843 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17609] ppid=17596 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17609/stat : 17609 (java) R 17596 17596 16605 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 224542219 15372775424 21663 33554432000 4194304 4196468 140734359904128 140631294957552 140632325835394 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17610] ppid=17596 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17610/stat : 17610 (java) S 17596 17596 16605 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 224542219 15372775424 21663 33554432000 4194304 4196468 140734359904128 140631293905008 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17611] ppid=17596 vsize=15012476 memory=139737515796096 CPUtime=0.03 cores=1,3,5,7
/proc/17599/task/17611/stat : 17611 (java) R 17596 17596 16605 0 -1 4202560 287 0 0 0 3 0 0 0 20 0 15 0 224542219 15372775424 21663 33554432000 4194304 4196468 140734359904128 140631292852464 140632304504160 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17612] ppid=17596 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17612/stat : 17612 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224542219 15372775424 21663 33554432000 4194304 4196468 140734359904128 140629778623072 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17613] ppid=17596 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17613/stat : 17613 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224542219 15372775424 21663 33554432000 4194304 4196468 140734359904128 140631291800368 140632325835394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88048 KiB
[startup+0.310598 s]*
/proc/loadavg: 2.00 2.04 2.06 3/222 17613
/proc/meminfo: memFree=24552984/32770624 swapFree=67108860/67108860
[pid=17596] ppid=17593 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17596/stat : 17596 (scop.sh) S 17593 17596 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224542212 115843072 349 33554432000 4194304 5098028 140727865424224 140727865421480 140390702346876 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23957504 140727865427008 140727865427207 140727865427207 140727865429965 0
/proc/17596/statm: 28282 349 296 221 0 87 0
[pid=17599] ppid=17596 vsize=15012476 memory=90444 CPUtime=0.42 cores=1,3,5,7
/proc/17599/stat : 17599 (java) S 17596 17596 16605 0 -1 1077944320 10041 0 0 0 39 3 0 0 20 0 15 0 224542212 15372775424 22611 33554432000 4194304 4196468 140734359904128 140734359886672 140632325824247 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
/proc/17599/statm: 3753119 22611 3014 1 0 3715579 0
[pid=17599/tid=17600] ppid=17596 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/17599/task/17600/stat : 17600 (java) R 17596 17596 16605 0 -1 4202560 7788 0 0 0 27 2 0 0 20 0 15 0 224542213 15372775424 22611 33554432000 4194304 4196468 140734359904128 140632297654576 140632309904734 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17601] ppid=17596 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17601/stat : 17601 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224542214 15372775424 22611 33554432000 4194304 4196468 140734359904128 140632330066192 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17602] ppid=17596 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17602/stat : 17602 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224542214 15372775424 22611 33554432000 4194304 4196468 140734359904128 140632128842128 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17603] ppid=17596 vsize=15012476 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17603/stat : 17603 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224542214 15372775424 22611 33554432000 4194304 4196468 140734359904128 140631785593360 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17604] ppid=17596 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17604/stat : 17604 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224542214 15372775424 22611 33554432000 4194304 4196468 140734359904128 140631784540816 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17605] ppid=17596 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17605/stat : 17605 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224542216 15372775424 22611 33554432000 4194304 4196468 140734359904128 140631296010736 140632325835394 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17606] ppid=17596 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17606/stat : 17606 (java) S 17596 17596 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224542216 15372775424 22611 33554432000 4194304 4196468 140734359904128 140630919472544 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17607] ppid=17596 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17607/stat : 17607 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224542216 15372775424 22611 33554432000 4194304 4196468 140734359904128 140630651037168 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17608] ppid=17596 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17608/stat : 17608 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224542219 15372775424 22611 33554432000 4194304 4196468 140734359904128 140630276528848 140632325842843 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17609] ppid=17596 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17599/task/17609/stat : 17609 (java) R 17596 17596 16605 0 -1 4202560 481 0 0 0 2 0 0 0 20 0 15 0 224542219 15372775424 22611 33554432000 4194304 4196468 140734359904128 140631294957552 140632307000035 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17610] ppid=17596 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17599/task/17610/stat : 17610 (java) R 17596 17596 16605 0 -1 1077944384 137 0 0 0 2 0 0 0 20 0 15 0 224542219 15372775424 22611 33554432000 4194304 4196468 140734359904128 140631293905008 140632325835394 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17611] ppid=17596 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17599/task/17611/stat : 17611 (java) R 17596 17596 16605 0 -1 4202560 306 0 0 0 7 0 0 0 20 0 15 0 224542219 15372775424 22611 33554432000 4194304 4196468 140734359904128 140631292852464 140632304531332 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17612] ppid=17596 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17612/stat : 17612 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224542219 15372775424 22611 33554432000 4194304 4196468 140734359904128 140629778623072 140632325834453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17613] ppid=17596 vsize=15012476 memory=4049359695133089841 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17613/stat : 17613 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224542219 15372775424 22611 33554432000 4194304 4196468 140734359904128 140631291800368 140632325835394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91840 KiB
[startup+0.701601 s]
/proc/loadavg: 2.00 2.04 2.06 3/222 17613
/proc/meminfo: memFree=24528800/32770624 swapFree=67108860/67108860
[pid=17596] ppid=17593 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17596/stat : 17596 (scop.sh) S 17593 17596 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224542212 115843072 349 33554432000 4194304 5098028 140727865424224 140727865421480 140390702346876 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23957504 140727865427008 140727865427207 140727865427207 140727865429965 0
/proc/17596/statm: 28282 349 296 221 0 87 0
[pid=17599] ppid=17596 vsize=15018748 memory=131668 CPUtime=1.08 cores=1,3,5,7
/proc/17599/stat : 17599 (java) S 17596 17596 16605 0 -1 1077944320 17019 0 0 0 102 6 0 0 20 0 15 0 224542212 15379197952 32917 33554432000 4194304 4196468 140734359904128 140734359886672 140632325824247 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
/proc/17599/statm: 3754687 32917 3147 1 0 3716091 0
[pid=17599/tid=17600] ppid=17596 vsize=15018748 memory=-7082918048272507482 CPUtime=0.67 cores=1,3,5,7
/proc/17599/task/17600/stat : 17600 (java) R 17596 17596 16605 0 -1 4202560 14093 0 0 0 63 4 0 0 20 0 15 0 224542213 15379197952 32917 33554432000 4194304 4196468 140734359904128 140632297661856 140632325846173 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17601] ppid=17596 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17601/stat : 17601 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224542214 15379197952 32917 33554432000 4194304 4196468 140734359904128 140632330066192 140632325834453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17602] ppid=17596 vsize=15018748 memory=61080 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17602/stat : 17602 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224542214 15379197952 32917 33554432000 4194304 4196468 140734359904128 140632128842128 140632325834453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17603] ppid=17596 vsize=15018748 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17603/stat : 17603 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224542214 15379197952 32917 33554432000 4194304 4196468 140734359904128 140631785593360 140632325834453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17604] ppid=17596 vsize=15018748 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17604/stat : 17604 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224542214 15379197952 32917 33554432000 4194304 4196468 140734359904128 140631784540816 140632325834453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17605] ppid=17596 vsize=15018748 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17605/stat : 17605 (java) S 17596 17596 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224542216 15379197952 32917 33554432000 4194304 4196468 140734359904128 140631296010736 140632325835394 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17606] ppid=17596 vsize=15018748 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17606/stat : 17606 (java) S 17596 17596 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224542216 15379197952 32917 33554432000 4194304 4196468 140734359904128 140630919472544 140632325834453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17607] ppid=17596 vsize=15018748 memory=752 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17607/stat : 17607 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224542216 15379197952 32917 33554432000 4194304 4196468 140734359904128 140630651037168 140632325834453 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17608] ppid=17596 vsize=15018748 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17608/stat : 17608 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224542219 15379197952 32917 33554432000 4194304 4196468 140734359904128 140630276528848 140632325842843 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17609] ppid=17596 vsize=15018748 memory=1120 CPUtime=0.12 cores=1,3,5,7
/proc/17599/task/17609/stat : 17609 (java) R 17596 17596 16605 0 -1 4202560 832 0 0 0 12 0 0 0 20 0 15 0 224542219 15379197952 32917 33554432000 4194304 4196468 140734359904128 140631294947344 140632309310160 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17610] ppid=17596 vsize=15018748 memory=6120 CPUtime=0.08 cores=1,3,5,7
/proc/17599/task/17610/stat : 17610 (java) R 17596 17596 16605 0 -1 4202560 290 0 0 0 8 0 0 0 20 0 15 0 224542219 15379197952 32917 33554432000 4194304 4196468 140734359904128 140631293891824 140632307368848 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17611] ppid=17596 vsize=15018748 memory=1724 CPUtime=0.17 cores=1,3,5,7
/proc/17599/task/17611/stat : 17611 (java) R 17596 17596 16605 0 -1 4202560 467 0 0 0 17 0 0 0 20 0 15 0 224542219 15379197952 32917 33554432000 4194304 4196468 140734359904128 140631292850424 140632304458195 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17612] ppid=17596 vsize=15018748 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17612/stat : 17612 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224542219 15379197952 32917 33554432000 4194304 4196468 140734359904128 140629778623072 140632325834453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
[pid=17599/tid=17613] ppid=17596 vsize=15018748 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/17599/task/17613/stat : 17613 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224542219 15379197952 32917 33554432000 4194304 4196468 140734359904128 140631291800368 140632325835394 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29933568 140734359909382 140734359909681 140734359909681 140734359912399 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 133064 KiB
[startup+1.50077 s]
/proc/loadavg: 2.00 2.04 2.06 5/222 17613
/proc/meminfo: memFree=24427840/32770624 swapFree=67108860/67108860
[pid=17596] ppid=17593 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/17596/stat : 17596 (scop.sh) S 17593 17596 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224542212 115843072 349 33554432000 4194304 5098028 140727865424224 140727865421480 140390702346876 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23957504 140727865427008 140727865427207 140727865427207 140727865429965 0
/proc/17596/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=17623/tid=17626] ppid=17596 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17626/stat : 17626 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224548500 8261857280 44148 33554432000 4194304 4196468 140725481217840 140184117041552 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17627] ppid=17596 vsize=8068220 memory=2322565693090970721 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17627/stat : 17627 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224548500 8261857280 44148 33554432000 4194304 4196468 140725481217840 140184115989008 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17628] ppid=17596 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17628/stat : 17628 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224548500 8261857280 44148 33554432000 4194304 4196468 140725481217840 140184114936464 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17629] ppid=17596 vsize=8068220 memory=1472 CPUtime=0.06 cores=1,3,5,7
/proc/17623/task/17629/stat : 17629 (java) S 17596 17596 16605 0 -1 1077944384 6 0 0 0 3 3 0 0 20 0 19 0 224548502 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183675918832 140184632265346 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17630] ppid=17596 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17630/stat : 17630 (java) S 17596 17596 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224548502 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183571785120 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17631] ppid=17596 vsize=8068220 memory=176592 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17631/stat : 17631 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224548502 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183303349744 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17632] ppid=17596 vsize=8068220 memory=176592 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17632/stat : 17632 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140182928841424 140184632272795 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17633] ppid=17596 vsize=8068220 memory=1472 CPUtime=0.28 cores=1,3,5,7
/proc/17623/task/17633/stat : 17633 (java) S 17596 17596 16605 0 -1 1077944384 782 0 0 0 28 0 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183674865648 140184632265346 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17634] ppid=17596 vsize=8068220 memory=3852 CPUtime=0.27 cores=1,3,5,7
/proc/17623/task/17634/stat : 17634 (java) S 17596 17596 16605 0 -1 1077944384 744 0 0 0 27 0 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183673813104 140184632265346 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17635] ppid=17596 vsize=8068220 memory=2880 CPUtime=0.23 cores=1,3,5,7
/proc/17623/task/17635/stat : 17635 (java) S 17596 17596 16605 0 -1 1077944384 577 0 0 0 23 0 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183672760560 140184632265346 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17636] ppid=17596 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17636/stat : 17636 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140182430935648 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17637] ppid=17596 vsize=8068220 memory=1472 CPUtime=1.35 cores=1,3,5,7
/proc/17623/task/17637/stat : 17637 (java) S 17596 17596 16605 0 -1 1077944384 157 0 0 0 62 73 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183671708464 140184632265346 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17639] ppid=17596 vsize=8068220 memory=176592 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17639/stat : 17639 (java) S 17596 17596 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224548641 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183663900224 140184632278809 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17641] ppid=17596 vsize=8068220 memory=176592 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17641/stat : 17641 (java) S 17596 17596 16605 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 224548641 8261857280 44148 33554432000 4194304 4196468 140725481217840 140182028271792 140184632276125 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17642] ppid=17596 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17642/stat : 17642 (java) S 17596 17596 16605 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 224548641 8261857280 44148 33554432000 4194304 4196468 140725481217840 140181894049072 140184632276125 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17643] ppid=17596 vsize=8068220 memory=176592 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17643/stat : 17643 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224548643 8261857280 44148 33554432000 4194304 4196468 140725481217840 140181625625632 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
Current children cumulated CPU time: 2461.66 s
Current children cumulated vsize: 8918656 KiB
Current children cumulated memory: 828880 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2500.7 s]
/proc/loadavg: 2.00 2.02 2.05 3/228 18132
/proc/meminfo: memFree=23006104/32770624 swapFree=67108860/67108860
[pid=17596] ppid=17593 vsize=113128 memory=1472 CPUtime=79.9 cores=1,3,5,7
/proc/17596/stat : 17596 (scop.sh) S 17593 17596 16605 0 -1 4202496 591 66961 0 0 0 0 7740 250 20 0 1 0 224542212 115843072 368 33554432000 4194304 5098028 140727865424224 140727865420968 140390702346876 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23957504 140727865427008 140727865427207 140727865427207 140727865429965 0
/proc/17596/statm: 28282 368 311 221 0 87 0
[pid=17623] ppid=17596 vsize=8068220 memory=176592 CPUtime=3.72 cores=1,3,5,7
/proc/17623/stat : 17623 (java) S 17596 17596 16605 0 -1 1077944320 18187 0 0 0 254 118 0 0 20 0 19 0 224548499 8261857280 44148 33554432000 4194304 4196468 140725481217840 140725481200384 140184632254199 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
/proc/17623/statm: 2017055 44148 3160 1 0 1978454 0
[pid=17638] ppid=17623 vsize=818696 memory=721120 CPUtime=2436.48 cores=1,3,5,7
/proc/17638/stat : 17638 (minisat_release) R 17623 17596 16605 0 -1 4202496 4036335 0 0 0 242923 725 0 0 20 0 1 0 224548640 838344704 180280 33554432000 4194304 4308513 140721728914592 140721728912008 4262800 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 9089024 140721728922740 140721728922838 140721728922838 140721728925637 0
/proc/17638/statm: 204674 180280 340 28 0 200914 0
[pid=17623/tid=17624] ppid=17596 vsize=8068220 memory=176592 CPUtime=1.43 cores=1,3,5,7
/proc/17623/task/17624/stat : 17624 (java) S 17596 17596 16605 0 -1 1077944384 14513 0 0 0 101 42 0 0 20 0 19 0 224548499 8261857280 44148 33554432000 4194304 4196468 140725481217840 140184604094352 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17625] ppid=17596 vsize=8068220 memory=176592 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17625/stat : 17625 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224548500 8261857280 44148 33554432000 4194304 4196468 140725481217840 140184636496144 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17626] ppid=17596 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17626/stat : 17626 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224548500 8261857280 44148 33554432000 4194304 4196468 140725481217840 140184117041552 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17627] ppid=17596 vsize=8068220 memory=176592 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17627/stat : 17627 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224548500 8261857280 44148 33554432000 4194304 4196468 140725481217840 140184115989008 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17628] ppid=17596 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17628/stat : 17628 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224548500 8261857280 44148 33554432000 4194304 4196468 140725481217840 140184114936464 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17629] ppid=17596 vsize=8068220 memory=176592 CPUtime=0.06 cores=1,3,5,7
/proc/17623/task/17629/stat : 17629 (java) S 17596 17596 16605 0 -1 1077944384 6 0 0 0 3 3 0 0 20 0 19 0 224548502 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183675918832 140184632265346 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17630] ppid=17596 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17630/stat : 17630 (java) S 17596 17596 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224548502 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183571785120 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17631] ppid=17596 vsize=8068220 memory=176592 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17631/stat : 17631 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224548502 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183303349744 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17632] ppid=17596 vsize=8068220 memory=721120 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17632/stat : 17632 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140182928841424 140184632272795 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17633] ppid=17596 vsize=8068220 memory=176592 CPUtime=0.28 cores=1,3,5,7
/proc/17623/task/17633/stat : 17633 (java) S 17596 17596 16605 0 -1 1077944384 782 0 0 0 28 0 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183674865648 140184632265346 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17634] ppid=17596 vsize=8068220 memory=1472 CPUtime=0.27 cores=1,3,5,7
/proc/17623/task/17634/stat : 17634 (java) S 17596 17596 16605 0 -1 1077944384 744 0 0 0 27 0 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183673813104 140184632265346 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17635] ppid=17596 vsize=8068220 memory=256188 CPUtime=0.23 cores=1,3,5,7
/proc/17623/task/17635/stat : 17635 (java) S 17596 17596 16605 0 -1 1077944384 577 0 0 0 23 0 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183672760560 140184632265346 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17636] ppid=17596 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17636/stat : 17636 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140182430935648 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17637] ppid=17596 vsize=8068220 memory=176592 CPUtime=1.38 cores=1,3,5,7
/proc/17623/task/17637/stat : 17637 (java) S 17596 17596 16605 0 -1 1077944384 161 0 0 0 63 75 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183671708464 140184632265346 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17639] ppid=17596 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17639/stat : 17639 (java) S 17596 17596 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224548641 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183663900224 140184632278809 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17641] ppid=17596 vsize=8068220 memory=176592 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17641/stat : 17641 (java) S 17596 17596 16605 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 224548641 8261857280 44148 33554432000 4194304 4196468 140725481217840 140182028271792 140184632276125 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17642] ppid=17596 vsize=8068220 memory=-7824251494390848357 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17642/stat : 17642 (java) S 17596 17596 16605 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 224548641 8261857280 44148 33554432000 4194304 4196468 140725481217840 140181894049072 140184632276125 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17643] ppid=17596 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17643/stat : 17643 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224548643 8261857280 44148 33554432000 4194304 4196468 140725481217840 140181625625632 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 9000044 KiB
Current children cumulated memory: 899184 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2500.71 s]
# the end of solver process 17596 was just reported to runsolver
# cumulated CPU time of all completed processes: user=77.4105 s, system=2.51219 s
[startup+2500.78 s]
# the end of solver process 17623 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.19 s, system=11.0297 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+2500.7 s]
/proc/loadavg: 2.00 2.02 2.05 3/228 18132
/proc/meminfo: memFree=23006104/32770624 swapFree=67108860/67108860
[pid=17596] ppid=17593 vsize=113128 memory=1472 CPUtime=79.9 cores=1,3,5,7
/proc/17596/stat : 17596 (scop.sh) S 17593 17596 16605 0 -1 4202496 591 66961 0 0 0 0 7740 250 20 0 1 0 224542212 115843072 368 33554432000 4194304 5098028 140727865424224 140727865420968 140390702346876 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23957504 140727865427008 140727865427207 140727865427207 140727865429965 0
/proc/17596/statm: 28282 368 311 221 0 87 0
[pid=17623] ppid=17596 vsize=8068220 memory=176592 CPUtime=3.72 cores=1,3,5,7
/proc/17623/stat : 17623 (java) S 17596 17596 16605 0 -1 1077944320 18187 0 0 0 254 118 0 0 20 0 19 0 224548499 8261857280 44148 33554432000 4194304 4196468 140725481217840 140725481200384 140184632254199 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
/proc/17623/statm: 2017055 44148 3160 1 0 1978454 0
[pid=17638] ppid=17623 vsize=818696 memory=721120 CPUtime=2436.48 cores=1,3,5,7
/proc/17638/stat : 17638 (minisat_release) R 17623 17596 16605 0 -1 4202496 4036335 0 0 0 242923 725 0 0 20 0 1 0 224548640 838344704 180280 33554432000 4194304 4308513 140721728914592 140721728912008 4262800 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 9089024 140721728922740 140721728922838 140721728922838 140721728925637 0
/proc/17638/statm: 204674 180280 340 28 0 200914 0
[pid=17623/tid=17624] ppid=17596 vsize=8068220 memory=176592 CPUtime=1.43 cores=1,3,5,7
/proc/17623/task/17624/stat : 17624 (java) S 17596 17596 16605 0 -1 1077944384 14513 0 0 0 101 42 0 0 20 0 19 0 224548499 8261857280 44148 33554432000 4194304 4196468 140725481217840 140184604094352 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17625] ppid=17596 vsize=8068220 memory=176592 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17625/stat : 17625 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224548500 8261857280 44148 33554432000 4194304 4196468 140725481217840 140184636496144 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17626] ppid=17596 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17626/stat : 17626 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224548500 8261857280 44148 33554432000 4194304 4196468 140725481217840 140184117041552 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17627] ppid=17596 vsize=8068220 memory=176592 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17627/stat : 17627 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224548500 8261857280 44148 33554432000 4194304 4196468 140725481217840 140184115989008 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17628] ppid=17596 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17628/stat : 17628 (java) S 17596 17596 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224548500 8261857280 44148 33554432000 4194304 4196468 140725481217840 140184114936464 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17629] ppid=17596 vsize=8068220 memory=176592 CPUtime=0.06 cores=1,3,5,7
/proc/17623/task/17629/stat : 17629 (java) S 17596 17596 16605 0 -1 1077944384 6 0 0 0 3 3 0 0 20 0 19 0 224548502 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183675918832 140184632265346 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17630] ppid=17596 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17630/stat : 17630 (java) S 17596 17596 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224548502 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183571785120 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17631] ppid=17596 vsize=8068220 memory=176592 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17631/stat : 17631 (java) S 17596 17596 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224548502 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183303349744 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17632] ppid=17596 vsize=8068220 memory=721120 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17632/stat : 17632 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140182928841424 140184632272795 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17633] ppid=17596 vsize=8068220 memory=176592 CPUtime=0.28 cores=1,3,5,7
/proc/17623/task/17633/stat : 17633 (java) S 17596 17596 16605 0 -1 1077944384 782 0 0 0 28 0 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183674865648 140184632265346 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17634] ppid=17596 vsize=8068220 memory=1472 CPUtime=0.27 cores=1,3,5,7
/proc/17623/task/17634/stat : 17634 (java) S 17596 17596 16605 0 -1 1077944384 744 0 0 0 27 0 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183673813104 140184632265346 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17635] ppid=17596 vsize=8068220 memory=256188 CPUtime=0.23 cores=1,3,5,7
/proc/17623/task/17635/stat : 17635 (java) S 17596 17596 16605 0 -1 1077944384 577 0 0 0 23 0 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183672760560 140184632265346 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17636] ppid=17596 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17636/stat : 17636 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140182430935648 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17637] ppid=17596 vsize=8068220 memory=176592 CPUtime=1.38 cores=1,3,5,7
/proc/17623/task/17637/stat : 17637 (java) S 17596 17596 16605 0 -1 1077944384 161 0 0 0 63 75 0 0 20 0 19 0 224548505 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183671708464 140184632265346 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17639] ppid=17596 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17639/stat : 17639 (java) S 17596 17596 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224548641 8261857280 44148 33554432000 4194304 4196468 140725481217840 140183663900224 140184632278809 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17641] ppid=17596 vsize=8068220 memory=176592 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17641/stat : 17641 (java) S 17596 17596 16605 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 224548641 8261857280 44148 33554432000 4194304 4196468 140725481217840 140182028271792 140184632276125 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17642] ppid=17596 vsize=8068220 memory=-7824251494390848357 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17642/stat : 17642 (java) S 17596 17596 16605 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 224548641 8261857280 44148 33554432000 4194304 4196468 140725481217840 140181894049072 140184632276125 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
[pid=17623/tid=17643] ppid=17596 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/17623/task/17643/stat : 17643 (java) S 17596 17596 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224548643 8261857280 44148 33554432000 4194304 4196468 140725481217840 140181625625632 140184632264405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16019456 140725481223349 140725481223473 140725481223473 140725481226191 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 9000044 KiB
Current children cumulated memory: 899184 KiB
Child status: 1
Real time (s): 2500.78
CPU time (s): 2520.22
CPU user time (s): 2509.19
CPU system time (s): 11.0297
CPU usage (%): 100.777
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4338880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.19
system time used= 11.0297
maximum resident set size= 4337756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4122625
page faults= 0
swaps= 0
block input operations= 8
block output operations= 355208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61356
involuntary context switches= 3209
# summary of solver processes directly reported to runsolver:
# pid: 17596,17623
# total CPU time (s): 2520.22
# total CPU user time (s): 2509.19
# total CPU system time (s): 11.0297
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.925 second user time and 27.4124 second system time
The end