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-23762-serial-file.bin HOME/instance-4305451-1534090891.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 18:21:32 CEST 2018
0.66/0.55 c PID: 23765
0.66/0.55 c IP: 172.20.3.107
0.66/0.55 c HOST: node107.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.27/1.21 c (0,0) Parsing End
2.27/1.22 c (0,0) CSP: 1001 int (0 aux), 0 bool (0 aux), 429 ctr, max domain size 325
2.27/1.22 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.27/1.22 c (0,0) Constraint Name Generate Begin
2.27/1.23 c (0,0) Ctr:HOME/instance-4305451-1534090891.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
2.27/1.23 c (0,0) Constraint Name Generate End
2.27/1.23 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.27/1.23 c (0,0) CSP to CSPinCNF Begin
12.13/6.25 c (5,5) translated 43 (10%) constraints
16.51/10.03 c (9,9) translated 86 (20%) constraints
19.89/13.37 c (12,12) translated 129 (30%) constraints
24.38/16.99 c (16,16) translated 172 (40%) constraints
27.82/20.32 c (19,19) translated 215 (50%) constraints
32.57/24.01 c (23,22) translated 258 (60%) constraints
35.88/27.36 c (26,26) translated 301 (70%) constraints
42.87/31.36 c (30,29) translated 344 (80%) constraints
47.57/33.69 c (33,31) translated 387 (90%) constraints
48.74/34.32 c (33,32) translated 429 (100%) constraints
54.71/36.84 c (36,34) STATISTICS1:HOME/instance-4305451-1534090891.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,132652,650196,2251799813685248,325,325,52,2251799813685248:676;562949953421312:676;4096:50;325:48516;25:8463;1:4134,325:506688;25:482430;2:972478;1:21125,325:2;26:1027;25:325;24:325;23:325;22:325;21:325;20:325;19:325;18:325;17:325;16:325;15:325;14:325;13:325;12:325;11:325;10:325;9:325;8:325;7:325;6:325;5:325;4:194675;3:147576;2:299026;1:1065,52:676;50:676;13:50;2:61113;1:1826708;0:325,
54.71/36.84 c (36,34) ==========================================
54.71/36.84 c (36,34) Order
54.71/36.84 c (36,34) ==========================================
56.01/37.74 c (37,35) translated 65020 (10%) constraints
58.59/39.01 c (38,36) translated 130040 (20%) constraints
59.41/39.86 c (39,37) translated 195059 (30%) constraints
60.32/40.71 c (40,38) translated 260079 (40%) constraints
61.12/41.56 c (41,38) translated 325098 (50%) constraints
62.02/42.41 c (41,39) translated 390118 (60%) constraints
62.82/43.26 c (42,40) translated 455138 (70%) constraints
63.73/44.11 c (43,41) translated 520157 (80%) constraints
68.09/46.05 c (45,42) translated 585177 (90%) constraints
75.51/49.87 c (49,46) translated 650196 (100%) constraints
75.51/49.87 c (49,46) CSP to CSPinCNF End
75.76/49.94 c (49,46) CSP: 8437 int (7436 aux), 149627 bool (149627 aux), 698692 ctr, max domain size 323
75.76/49.94 c (49,46) Heap : 2806 MiB used (max 10569 MiB), NonHeap : 31 MiB used (max 0 MiB)
75.76/49.94 c (49,46) CSPinCNF Propagation Begin
85.76/55.79 c (55,51) 11664 values, 49576 unsatisfiable literals, and 35138 valid clauses are removed
85.76/55.79 c (55,51) CSPinCNF Propagation End
85.86/55.84 c (55,51) CSP: 17046 int (16045 aux), 141018 bool (141018 aux), 663554 ctr, max domain size 323
85.86/55.84 c (55,51) Heap : 2155 MiB used (max 10381 MiB), NonHeap : 32 MiB used (max 0 MiB)
85.86/55.84 c (55,51) Simplify CSPinCNF Begin
91.50/59.27 c (58,54) Simplify CSPinCNF End
91.60/59.36 c (58,54) CSP: 17046 int (16045 aux), 261164 bool (261164 aux), 783700 ctr, max domain size 323
91.60/59.36 c (58,54) Heap : 1441 MiB used (max 10576 MiB), NonHeap : 32 MiB used (max 0 MiB)
91.60/59.36 c (58,54) Calculate Precise Domain Begin
91.77/59.44 c (58,54) 3601 values are removed by re-calculation
91.77/59.44 c (58,54) Calculate Precise Domain End
91.97/59.52 c (59,54) CSP: 17046 int (16045 aux), 261164 bool (261164 aux), 783700 ctr, max domain size 323
91.97/59.52 c (59,54) Heap : 1490 MiB used (max 10576 MiB), NonHeap : 32 MiB used (max 0 MiB)
91.97/59.52 c (59,54) CSPinCNF to SatSolver Begin
93.20/60.29 c (59,55) 78370 (10 %) CSP clauses are encoded (399926 SAT variables, 208915 SAT clauses)
93.61/60.65 c (60,55) 156740 (20 %) CSP clauses are encoded (399926 SAT variables, 287285 SAT clauses)
94.02/61.02 c (60,56) 235110 (30 %) CSP clauses are encoded (399926 SAT variables, 365655 SAT clauses)
94.32/61.38 c (60,56) 313480 (40 %) CSP clauses are encoded (399926 SAT variables, 444025 SAT clauses)
96.36/62.16 c (61,56) 391850 (50 %) CSP clauses are encoded (399926 SAT variables, 522395 SAT clauses)
96.74/62.52 c (62,57) 470220 (60 %) CSP clauses are encoded (399926 SAT variables, 600765 SAT clauses)
107.26/72.92 c (72,66) 548590 (70 %) CSP clauses are encoded (399926 SAT variables, 5308207 SAT clauses)
139.16/106.36 c (105,98) 626960 (80 %) CSP clauses are encoded (399926 SAT variables, 20931449 SAT clauses)
162.74/131.00 c (130,122) 705330 (90 %) CSP clauses are encoded (399926 SAT variables, 32434632 SAT clauses)
165.86/133.55 c (133,124) 783700 (100 %) CSP clauses are encoded (399926 SAT variables, 33078836 SAT clauses)
165.86/133.55 c (133,124) Launch Command will be: minisat_release
165.86/133.55 c (133,124) CSPinCNF to SatSolver End
165.86/133.55 c (133,124) Heap : 3164 MiB used (max 11059 MiB), NonHeap : 33 MiB used (max 0 MiB)
169.26/135.79 c (135,126) STATISTICS2:HOME/instance-4305451-1534090891.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,278210,783700,512,323,25,10,512:1196;323:97032;256:5980;33:276;32:152;27:552;25:4407;24:11856;21:36;20:11;18:46;16:928;15:72;12:2;10:6;9:4056;4:386;1:6864,323:604006;25:445328;24:58968;11:1104;10:68;9:1196;7:144;6:10;5:156;3:19968;2:1220780;1:13364,25:624;24:624;23:312;22:312;21:312;20:312;19:312;18:312;17:312;16:312;15:312;14:312;13:362;12:312;11:312;10:312;9:312;8:312;7:312;6:312;5:312;4:186888;3:137241;2:438633;1:13712,10:4056;9:4056;6:48;5:96;3:5443;2:120159;1:2030613,
169.26/135.79 c (135,126) 399926 bool, 33078860 clause
169.26/135.79 c (135,126) Export Begin
169.56/135.94 c (135,126) Export to HOME/scop-23762-serial-file.bin
169.56/135.94 c (135,126) Export End
169.56/135.94 c (135,126) Export File Size: 0.21 MB
169.56/135.94 c (135,126) 0,0,49,55,58,59,133,STOP-AFTER(DIMACS)
169.56/135.94 c END-Prog: Sun Aug 12 18:23:48 CEST 2018
171.04/136.34 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23762-serial-file.bin
171.07/136.84 c (0,0) Read Serial File Begin
171.07/136.84 c (0,0) HOME/scop-23762-serial-file.bin
172.00/137.08 c (0,0) Read Serial File End
172.00/137.10
172.00/137.10 scop order+minisat_release (2018-07-31)
172.00/137.10 (Solving Process)
172.00/137.10
172.26/137.12 c BEGIN-Prog: Sun Aug 12 18:23:49 CEST 2018
172.26/137.12 c PID: 23782
172.26/137.12 c IP: 172.20.3.107
172.26/137.12 c HOST: node107.alineos.net
172.26/137.12 c (0,0) SatSolver.solve Begin
172.26/137.12 c (0,0) 0 bool, 0 clause
172.26/137.12 c (0,0) minisat_release HOME/instance-4305451-1534090891.xml-scop-23765.cnf
2520.03/2482.70 c (2345,0) receiving signal SIGTERM
2520.03/2482.70 s UNKNOWN
2520.03/2482.71 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.03/2482.71 c (scop.sh) Remove HOME/scop-23762-serial-file.bin.
2520.03/2482.71 c (scop.sh) Killing background jobs.
2520.03/2482.71 c (2345,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 (12969 MiB free)
memory of node 1: 16384 MiB (9188 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305451-1534090891/watcher-4305451-1534090891 -o /tmp/evaluation-result-4305451-1534090891/solver-4305451-1534090891 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16636 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305451-1534090891.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23762, runsolver pid=23759
[startup+0.100172 s]*
/proc/loadavg: 2.00 2.03 2.05 3/223 23779
/proc/meminfo: memFree=22628460/32770624 swapFree=67108860/67108860
[pid=23762] ppid=23759 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23762/stat : 23762 (scop.sh) S 23759 23762 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226652339 115843072 348 33554432000 4194304 5098028 140722408615520 140722408612776 140715242267260 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18935808 140722408617024 140722408617223 140722408617223 140722408619981 0
/proc/23762/statm: 28282 348 296 221 0 87 0
[pid=23765] ppid=23762 vsize=15012476 memory=73568 CPUtime=0.11 cores=0,2,4,6
/proc/23765/stat : 23765 (java) S 23762 23762 16605 0 -1 1077944320 6496 0 0 0 9 2 0 0 20 0 15 0 226652339 15372775424 18392 33554432000 4194304 4196468 140726483322240 140726483304784 139725913067255 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
/proc/23765/statm: 3753119 18392 2770 1 0 3715579 0
[pid=23765/tid=23766] ppid=23762 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=0,2,4,6
/proc/23765/task/23766/stat : 23766 (java) R 23762 23762 16605 0 -1 4202560 4578 0 0 0 8 1 0 0 20 0 15 0 226652339 15372775424 18392 33554432000 4194304 4196468 140726483322240 139725884879240 139725893343083 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23767] ppid=23762 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23767/stat : 23767 (java) S 23762 23762 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226652341 15372775424 18392 33554432000 4194304 4196468 140726483322240 139725917309456 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23768] ppid=23762 vsize=15012476 memory=140630512526976 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23768/stat : 23768 (java) S 23762 23762 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226652341 15372775424 18392 33554432000 4194304 4196468 140726483322240 139725693012624 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23769] ppid=23762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23769/stat : 23769 (java) S 23762 23762 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226652341 15372775424 18392 33554432000 4194304 4196468 140726483322240 139725691959568 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23770] ppid=23762 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23770/stat : 23770 (java) S 23762 23762 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226652341 15372775424 18392 33554432000 4194304 4196468 140726483322240 139725690907024 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23771] ppid=23762 vsize=15012476 memory=140630512526976 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23771/stat : 23771 (java) S 23762 23762 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226652342 15372775424 18392 33554432000 4194304 4196468 140726483322240 139724882701040 139725913078402 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23772] ppid=23762 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23772/stat : 23772 (java) S 23762 23762 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226652343 15372775424 18392 33554432000 4194304 4196468 140726483322240 139724480046752 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23773] ppid=23762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23773/stat : 23773 (java) S 23762 23762 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226652343 15372775424 18392 33554432000 4194304 4196468 140726483322240 139724211610864 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23774] ppid=23762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23774/stat : 23774 (java) S 23762 23762 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226652346 15372775424 18392 33554432000 4194304 4196468 140726483322240 139723837102544 139725913085851 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23775] ppid=23762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23775/stat : 23775 (java) S 23762 23762 16605 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 226652346 15372775424 18392 33554432000 4194304 4196468 140726483322240 139724881647856 139725913078402 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23776] ppid=23762 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23776/stat : 23776 (java) S 23762 23762 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226652346 15372775424 18392 33554432000 4194304 4196468 140726483322240 139724880595312 139725913078402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23777] ppid=23762 vsize=15012476 memory=140630512526976 CPUtime=0.01 cores=0,2,4,6
/proc/23765/task/23777/stat : 23777 (java) S 23762 23762 16605 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 226652346 15372775424 18392 33554432000 4194304 4196468 140726483322240 139724879542256 139725913078402 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23778] ppid=23762 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23778/stat : 23778 (java) S 23762 23762 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226652346 15372775424 18392 33554432000 4194304 4196468 140726483322240 139723339196768 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23779] ppid=23762 vsize=15012476 memory=140630512526976 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23779/stat : 23779 (java) S 23762 23762 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226652346 15372775424 18392 33554432000 4194304 4196468 140726483322240 139724878490672 139725913078402 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74960 KiB
[startup+0.211747 s]*
/proc/loadavg: 2.00 2.03 2.05 3/223 23779
/proc/meminfo: memFree=22614992/32770624 swapFree=67108860/67108860
[pid=23762] ppid=23759 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23762/stat : 23762 (scop.sh) S 23759 23762 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226652339 115843072 348 33554432000 4194304 5098028 140722408615520 140722408612776 140715242267260 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18935808 140722408617024 140722408617223 140722408617223 140722408619981 0
/proc/23762/statm: 28282 348 296 221 0 87 0
[pid=23765] ppid=23762 vsize=15012476 memory=86616 CPUtime=0.26 cores=0,2,4,6
/proc/23765/stat : 23765 (java) S 23762 23762 16605 0 -1 1077944320 10008 0 0 0 23 3 0 0 20 0 15 0 226652339 15372775424 21654 33554432000 4194304 4196468 140726483322240 140726483304784 139725913067255 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
/proc/23765/statm: 3753119 21654 2874 1 0 3715579 0
[pid=23765/tid=23766] ppid=23762 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/23765/task/23766/stat : 23766 (java) R 23762 23762 16605 0 -1 4202560 7908 0 0 0 18 2 0 0 20 0 15 0 226652339 15372775424 21654 33554432000 4194304 4196468 140726483322240 139725884876000 139725913079190 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23767] ppid=23762 vsize=15012476 memory=539 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23767/stat : 23767 (java) S 23762 23762 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226652341 15372775424 21654 33554432000 4194304 4196468 140726483322240 139725917309456 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23768] ppid=23762 vsize=15012476 memory=140630513722421 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23768/stat : 23768 (java) S 23762 23762 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226652341 15372775424 21654 33554432000 4194304 4196468 140726483322240 139725693012624 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23769] ppid=23762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23769/stat : 23769 (java) S 23762 23762 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226652341 15372775424 21654 33554432000 4194304 4196468 140726483322240 139725691959568 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23770] ppid=23762 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23770/stat : 23770 (java) S 23762 23762 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226652341 15372775424 21654 33554432000 4194304 4196468 140726483322240 139725690907024 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23771] ppid=23762 vsize=15012476 memory=140630512526976 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23771/stat : 23771 (java) S 23762 23762 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226652342 15372775424 21654 33554432000 4194304 4196468 140726483322240 139724882701040 139725913078402 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23772] ppid=23762 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23772/stat : 23772 (java) S 23762 23762 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226652343 15372775424 21654 33554432000 4194304 4196468 140726483322240 139724480046752 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23773] ppid=23762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23773/stat : 23773 (java) S 23762 23762 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226652343 15372775424 21654 33554432000 4194304 4196468 140726483322240 139724211610864 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23774] ppid=23762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23774/stat : 23774 (java) S 23762 23762 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226652346 15372775424 21654 33554432000 4194304 4196468 140726483322240 139723837102544 139725913085851 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23775] ppid=23762 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23765/task/23775/stat : 23775 (java) R 23762 23762 16605 0 -1 4202560 450 0 0 0 1 0 0 0 20 0 15 0 226652346 15372775424 21654 33554432000 4194304 4196468 140726483322240 139724881647040 139725892488630 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23776] ppid=23762 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23776/stat : 23776 (java) R 23762 23762 16605 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 226652346 15372775424 21654 33554432000 4194304 4196468 140726483322240 139724880595408 139725913077461 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23777] ppid=23762 vsize=15012476 memory=140630512526976 CPUtime=0.03 cores=0,2,4,6
/proc/23765/task/23777/stat : 23777 (java) R 23762 23762 16605 0 -1 4202560 299 0 0 0 3 0 0 0 20 0 15 0 226652346 15372775424 21654 33554432000 4194304 4196468 140726483322240 139724879542256 139725897259938 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23778] ppid=23762 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23778/stat : 23778 (java) S 23762 23762 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226652346 15372775424 21654 33554432000 4194304 4196468 140726483322240 139723339196768 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23779] ppid=23762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23779/stat : 23779 (java) S 23762 23762 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226652346 15372775424 21654 33554432000 4194304 4196468 140726483322240 139724878490672 139725913078402 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88008 KiB
[startup+0.310741 s]*
/proc/loadavg: 2.00 2.03 2.05 3/223 23779
/proc/meminfo: memFree=22611468/32770624 swapFree=67108860/67108860
[pid=23762] ppid=23759 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23762/stat : 23762 (scop.sh) S 23759 23762 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226652339 115843072 348 33554432000 4194304 5098028 140722408615520 140722408612776 140715242267260 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18935808 140722408617024 140722408617223 140722408617223 140722408619981 0
/proc/23762/statm: 28282 348 296 221 0 87 0
[pid=23765] ppid=23762 vsize=15012476 memory=90144 CPUtime=0.42 cores=0,2,4,6
/proc/23765/stat : 23765 (java) S 23762 23762 16605 0 -1 1077944320 10525 0 0 0 39 3 0 0 20 0 15 0 226652339 15372775424 22536 33554432000 4194304 4196468 140726483322240 140726483304784 139725913067255 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
/proc/23765/statm: 3753119 22536 2981 1 0 3715579 0
[pid=23765/tid=23766] ppid=23762 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/23765/task/23766/stat : 23766 (java) R 23762 23762 16605 0 -1 4202560 8282 0 0 0 27 2 0 0 20 0 15 0 226652339 15372775424 22536 33554432000 4194304 4196468 140726483322240 139725884874544 139725897110885 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23767] ppid=23762 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23767/stat : 23767 (java) S 23762 23762 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226652341 15372775424 22536 33554432000 4194304 4196468 140726483322240 139725917309456 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23768] ppid=23762 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23768/stat : 23768 (java) S 23762 23762 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226652341 15372775424 22536 33554432000 4194304 4196468 140726483322240 139725693012624 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23769] ppid=23762 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23769/stat : 23769 (java) S 23762 23762 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226652341 15372775424 22536 33554432000 4194304 4196468 140726483322240 139725691959568 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23770] ppid=23762 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23770/stat : 23770 (java) S 23762 23762 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226652341 15372775424 22536 33554432000 4194304 4196468 140726483322240 139725690907024 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23771] ppid=23762 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23771/stat : 23771 (java) S 23762 23762 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226652342 15372775424 22536 33554432000 4194304 4196468 140726483322240 139724882701040 139725913078402 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23772] ppid=23762 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23772/stat : 23772 (java) S 23762 23762 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226652343 15372775424 22536 33554432000 4194304 4196468 140726483322240 139724480046752 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23773] ppid=23762 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23773/stat : 23773 (java) S 23762 23762 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226652343 15372775424 22536 33554432000 4194304 4196468 140726483322240 139724211610864 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23774] ppid=23762 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23774/stat : 23774 (java) S 23762 23762 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226652346 15372775424 22536 33554432000 4194304 4196468 140726483322240 139723837102544 139725913085851 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23775] ppid=23762 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23765/task/23775/stat : 23775 (java) S 23762 23762 16605 0 -1 1077944384 558 0 0 0 3 0 0 0 20 0 15 0 226652346 15372775424 22536 33554432000 4194304 4196468 140726483322240 139724881647856 139725913078402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23776] ppid=23762 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23765/task/23776/stat : 23776 (java) S 23762 23762 16605 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 15 0 226652346 15372775424 22536 33554432000 4194304 4196468 140726483322240 139724880595312 139725913078402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23777] ppid=23762 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23765/task/23777/stat : 23777 (java) R 23762 23762 16605 0 -1 4202560 317 0 0 0 7 0 0 0 20 0 15 0 226652346 15372775424 22536 33554432000 4194304 4196468 140726483322240 139724879542256 139725891557207 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23778] ppid=23762 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23778/stat : 23778 (java) S 23762 23762 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226652346 15372775424 22536 33554432000 4194304 4196468 140726483322240 139723339196768 139725913077461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23779] ppid=23762 vsize=15012476 memory=4049359695133089841 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23779/stat : 23779 (java) S 23762 23762 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226652346 15372775424 22536 33554432000 4194304 4196468 140726483322240 139724878490672 139725913078402 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91536 KiB
[startup+0.700862 s]
/proc/loadavg: 2.00 2.03 2.05 3/223 23779
/proc/meminfo: memFree=22587520/32770624 swapFree=67108860/67108860
[pid=23762] ppid=23759 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23762/stat : 23762 (scop.sh) S 23759 23762 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226652339 115843072 348 33554432000 4194304 5098028 140722408615520 140722408612776 140715242267260 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18935808 140722408617024 140722408617223 140722408617223 140722408619981 0
/proc/23762/statm: 28282 348 296 221 0 87 0
[pid=23765] ppid=23762 vsize=15020872 memory=129536 CPUtime=1.01 cores=0,2,4,6
/proc/23765/stat : 23765 (java) S 23762 23762 16605 0 -1 1077944320 17513 0 0 0 95 6 0 0 20 0 15 0 226652339 15381372928 32384 33554432000 4194304 4196468 140726483322240 140726483304784 139725913067255 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
/proc/23765/statm: 3755218 32384 3145 1 0 3716603 0
[pid=23765/tid=23766] ppid=23762 vsize=15020872 memory=-7816663703405220396 CPUtime=0.66 cores=0,2,4,6
/proc/23765/task/23766/stat : 23766 (java) R 23762 23762 16605 0 -1 4202560 14817 0 0 0 62 4 0 0 20 0 15 0 226652339 15381372928 32384 33554432000 4194304 4196468 140726483322240 139725884905280 139725897147742 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23767] ppid=23762 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23767/stat : 23767 (java) S 23762 23762 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226652341 15381372928 32384 33554432000 4194304 4196468 140726483322240 139725917309456 139725913077461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23768] ppid=23762 vsize=15020872 memory=61652 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23768/stat : 23768 (java) S 23762 23762 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226652341 15381372928 32384 33554432000 4194304 4196468 140726483322240 139725693012624 139725913077461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23769] ppid=23762 vsize=15020872 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23769/stat : 23769 (java) S 23762 23762 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226652341 15381372928 32384 33554432000 4194304 4196468 140726483322240 139725691959568 139725913077461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23770] ppid=23762 vsize=15020872 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23770/stat : 23770 (java) S 23762 23762 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226652341 15381372928 32384 33554432000 4194304 4196468 140726483322240 139725690907024 139725913077461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23771] ppid=23762 vsize=15020872 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23771/stat : 23771 (java) S 23762 23762 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226652342 15381372928 32384 33554432000 4194304 4196468 140726483322240 139724882701040 139725913078402 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23772] ppid=23762 vsize=15020872 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23772/stat : 23772 (java) S 23762 23762 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226652343 15381372928 32384 33554432000 4194304 4196468 140726483322240 139724480046752 139725913077461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23773] ppid=23762 vsize=15020872 memory=752 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23773/stat : 23773 (java) S 23762 23762 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226652343 15381372928 32384 33554432000 4194304 4196468 140726483322240 139724211610864 139725913077461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23774] ppid=23762 vsize=15020872 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23774/stat : 23774 (java) S 23762 23762 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226652346 15381372928 32384 33554432000 4194304 4196468 140726483322240 139723837102544 139725913085851 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23775] ppid=23762 vsize=15020904 memory=1120 CPUtime=0.07 cores=0,2,4,6
/proc/23765/task/23775/stat : 23775 (java) S 23762 23762 16605 0 -1 1077944384 628 0 0 0 7 0 0 0 20 0 15 0 226652346 15381405696 32384 33554432000 4194304 4196468 140726483322240 139724881647856 139725913078402 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23776] ppid=23762 vsize=15020904 memory=6120 CPUtime=0.08 cores=0,2,4,6
/proc/23765/task/23776/stat : 23776 (java) R 23762 23762 16605 0 -1 4202560 300 0 0 0 8 0 0 0 20 0 15 0 226652346 15381405696 32384 33554432000 4194304 4196468 140726483322240 139724880595312 139725906052297 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23777] ppid=23762 vsize=15020904 memory=1724 CPUtime=0.16 cores=0,2,4,6
/proc/23765/task/23777/stat : 23777 (java) R 23762 23762 16605 0 -1 4202560 433 0 0 0 16 0 0 0 20 0 15 0 226652346 15381405696 32384 33554432000 4194304 4196468 140726483322240 139724879542176 139725892363408 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23778] ppid=23762 vsize=15020872 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23778/stat : 23778 (java) S 23762 23762 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226652346 15381372928 32413 33554432000 4194304 4196468 140726483322240 139723339196768 139725913077461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
[pid=23765/tid=23779] ppid=23762 vsize=15020872 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/23765/task/23779/stat : 23779 (java) S 23762 23762 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226652346 15381372928 32413 33554432000 4194304 4196468 140726483322240 139724878490672 139725913078402 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25923584 140726483325958 140726483326257 140726483326257 140726483328975 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130928 KiB
[startup+1.50086 s]
/proc/loadavg: 2.00 2.03 2.05 4/223 23779
/proc/meminfo: memFree=22558300/32770624 swapFree=67108860/67108860
[pid=23762] ppid=23759 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23762/stat : 23762 (scop.sh) S 23759 23762 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226652339 115843072 348 33554432000 4194304 5098028 140722408615520 140722408612776 140715242267260 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18935808 140722408617024 140722408617223 140722408617223 140722408619981 0
/proc/23762/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/23762/stat : 23762 (scop.sh) S 23759 23762 16605 0 -1 4202496 590 101607 0 0 0 0 16700 407 20 0 1 0 226652339 115843072 367 33554432000 4194304 5098028 140722408615520 140722408612264 140715242267260 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18935808 140722408617024 140722408617223 140722408617223 140722408619981 0
/proc/23762/statm: 28282 367 311 221 0 87 0
[pid=23782] ppid=23762 vsize=8068220 memory=122652 CPUtime=3.45 cores=0,2,4,6
/proc/23782/stat : 23782 (java) S 23762 23762 16605 0 -1 1077944320 19080 0 0 0 256 89 0 0 20 0 19 0 226665974 8261857280 30663 33554432000 4194304 4196468 140729334050976 140729334033520 139831957675767 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
/proc/23782/statm: 2017055 30663 3138 1 0 1978454 0
[pid=23797] ppid=23782 vsize=3123748 memory=2911472 CPUtime=2345.51 cores=0,2,4,6
/proc/23797/stat : 23797 (minisat_release) R 23782 23762 16605 0 -1 4202496 13440513 0 0 0 233639 912 0 0 20 0 1 0 226666054 3198717952 727868 33554432000 4194304 4308513 140732641916160 140732641913784 4275601 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 15765504 140732641920116 140732641920214 140732641920214 140732641923013 0
/proc/23797/statm: 780937 727868 342 28 0 777177 0
[pid=23782/tid=23783] ppid=23762 vsize=8068220 memory=122652 CPUtime=0.82 cores=0,2,4,6
/proc/23782/task/23783/stat : 23783 (java) S 23762 23762 16605 0 -1 1077944384 15595 0 0 0 76 6 0 0 20 0 19 0 226665974 8261857280 30663 33554432000 4194304 4196468 140729334050976 139831929515920 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23784] ppid=23762 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23784/stat : 23784 (java) S 23762 23762 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226665975 8261857280 30663 33554432000 4194304 4196468 140729334050976 139831961917840 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23785] ppid=23762 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23785/stat : 23785 (java) S 23762 23762 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226665975 8261857280 30663 33554432000 4194304 4196468 140729334050976 139831788734736 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23786] ppid=23762 vsize=8068220 memory=122652 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23786/stat : 23786 (java) S 23762 23762 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226665975 8261857280 30663 33554432000 4194304 4196468 140729334050976 139831441705616 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23787] ppid=23762 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23787/stat : 23787 (java) S 23762 23762 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226665975 8261857280 30663 33554432000 4194304 4196468 140729334050976 139831440652816 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23788] ppid=23762 vsize=8068220 memory=122652 CPUtime=0.06 cores=0,2,4,6
/proc/23782/task/23788/stat : 23788 (java) S 23762 23762 16605 0 -1 1077944384 5 0 0 0 3 3 0 0 20 0 19 0 226665977 8261857280 30663 33554432000 4194304 4196468 140729334050976 139831404096112 139831957686914 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23789] ppid=23762 vsize=8068220 memory=122652 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23789/stat : 23789 (java) S 23762 23762 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226665977 8261857280 30663 33554432000 4194304 4196468 140729334050976 139830780486944 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23790] ppid=23762 vsize=8068220 memory=122652 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23790/stat : 23790 (java) S 23762 23762 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226665978 8261857280 30663 33554432000 4194304 4196468 140729334050976 139830646265456 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23791] ppid=23762 vsize=8068220 memory=122652 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23791/stat : 23791 (java) S 23762 23762 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226665980 8261857280 30663 33554432000 4194304 4196468 140729334050976 139830271760976 139831957694363 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23792] ppid=23762 vsize=8068220 memory=1468 CPUtime=0.16 cores=0,2,4,6
/proc/23782/task/23792/stat : 23792 (java) S 23762 23762 16605 0 -1 1077944384 741 0 0 0 16 0 0 0 20 0 19 0 226665980 8261857280 30663 33554432000 4194304 4196468 140729334050976 139831403042928 139831957686914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23793] ppid=23762 vsize=8068220 memory=1468 CPUtime=0.17 cores=0,2,4,6
/proc/23782/task/23793/stat : 23793 (java) S 23762 23762 16605 0 -1 1077944384 618 0 0 0 17 0 0 0 20 0 19 0 226665980 8261857280 30663 33554432000 4194304 4196468 140729334050976 139831401990128 139831957686914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23794] ppid=23762 vsize=8068220 memory=122652 CPUtime=0.24 cores=0,2,4,6
/proc/23782/task/23794/stat : 23794 (java) S 23762 23762 16605 0 -1 1077944384 561 0 0 0 24 0 0 0 20 0 19 0 226665980 8261857280 30663 33554432000 4194304 4196468 140729334050976 139831400937840 139831957686914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23795] ppid=23762 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23795/stat : 23795 (java) S 23762 23762 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226665980 8261857280 30663 33554432000 4194304 4196468 140729334050976 139829773855200 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23796] ppid=23762 vsize=8068220 memory=122652 CPUtime=1.95 cores=0,2,4,6
/proc/23782/task/23796/stat : 23796 (java) S 23762 23762 16605 0 -1 1077944384 157 0 0 0 96 99 0 0 20 0 19 0 226665981 8261857280 30663 33554432000 4194304 4196468 140729334050976 139831399885744 139831957686914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23798] ppid=23762 vsize=8068220 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23798/stat : 23798 (java) S 23762 23762 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226666054 8261857280 30663 33554432000 4194304 4196468 140729334050976 139831392077248 139831957700377 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23800] ppid=23762 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23800/stat : 23800 (java) S 23762 23762 16605 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226666054 8261857280 30663 33554432000 4194304 4196468 140729334050976 139829236969520 139831957697693 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23801] ppid=23762 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23801/stat : 23801 (java) S 23762 23762 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226666054 8261857280 30663 33554432000 4194304 4196468 140729334050976 139829371190704 139831957697693 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23802] ppid=23762 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/23782/task/23802/stat : 23802 (java) S 23762 23762 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226666056 8261857280 30663 33554432000 4194304 4196468 140729334050976 139828968545184 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11305096 KiB
Current children cumulated memory: 3035592 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2482.71 s]
# the end of solver process 23762 was just reported to runsolver
# cumulated CPU time of all completed processes: user=167.003 s, system=4.08149 s
[startup+2482.96 s]
# the end of solver process 23782 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2505.96 s, system=14.3923 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+2482.81 s]*
/proc/loadavg: 2.05 2.04 2.05 3/228 24102
/proc/meminfo: memFree=23656188/32770624 swapFree=67108860/67108860
[pid=23782] ppid=23759 vsize=8461444 memory=132892 CPUtime=3.45 cores=0,2,4,6
/proc/23782/stat : 23782 (java) S 23759 23762 16605 0 -1 1077944320 19115 0 0 0 256 89 0 0 20 0 21 0 226665974 8664518656 33223 33554432000 4194304 4196468 140729334050976 140729334033520 139831957675767 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
/proc/23782/statm: 2115361 33223 3138 1 0 2076760 0
[pid=23782/tid=23783] ppid=23759 vsize=8461444 memory=-7824251494390717803 CPUtime=2346.45 cores=0,2,4,6
/proc/23782/task/23783/stat : 23783 (java) S 23759 23762 16605 0 -1 1077944384 15595 13440513 0 0 76 6 233639 924 20 0 21 0 226665974 8664518656 33223 33554432000 4194304 4196468 140729334050976 139831929515920 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23784] ppid=23759 vsize=8461444 memory=4872558044660077418 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23784/stat : 23784 (java) S 23759 23762 16605 0 -1 1077944384 2 13440513 0 0 0 0 233639 924 20 0 21 0 226665975 8664518656 33223 33554432000 4194304 4196468 140729334050976 139831961917840 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23785] ppid=23759 vsize=8461444 memory=6944656592455359580 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23785/stat : 23785 (java) S 23759 23762 16605 0 -1 1077944384 1 13440513 0 0 0 0 233639 924 20 0 21 0 226665975 8664518656 33223 33554432000 4194304 4196468 140729334050976 139831788734736 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23786] ppid=23759 vsize=8461444 memory=-6657000309100945312 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23786/stat : 23786 (java) S 23759 23762 16605 0 -1 1077944384 1 13440513 0 0 0 0 233639 924 20 0 21 0 226665975 8664518656 33223 33554432000 4194304 4196468 140729334050976 139831441705616 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23787] ppid=23759 vsize=8461444 memory=-8096454439705354400 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23787/stat : 23787 (java) S 23759 23762 16605 0 -1 1077944384 2 13440513 0 0 0 0 233639 924 20 0 21 0 226665975 8664518656 33223 33554432000 4194304 4196468 140729334050976 139831440652816 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23788] ppid=23759 vsize=8461444 memory=6944656592455359580 CPUtime=2345.69 cores=0,2,4,6
/proc/23782/task/23788/stat : 23788 (java) S 23759 23762 16605 0 -1 1077944384 5 13440513 0 0 3 3 233639 924 20 0 21 0 226665977 8664518656 33223 33554432000 4194304 4196468 140729334050976 139831404096112 139831957686914 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23789] ppid=23759 vsize=8461444 memory=-7674914008656224160 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23789/stat : 23789 (java) S 23759 23762 16605 0 -1 1077944384 13 13440513 0 0 0 0 233639 924 20 0 21 0 226665977 8664518656 33223 33554432000 4194304 4196468 140729334050976 139830780486944 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23790] ppid=23759 vsize=8461444 memory=-3252517613199061085 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23790/stat : 23790 (java) S 23759 23762 16605 0 -1 1077944384 21 13440513 0 0 0 0 233639 924 20 0 21 0 226665978 8664518656 33223 33554432000 4194304 4196468 140729334050976 139830646265456 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23791] ppid=23759 vsize=8461444 memory=-8096454439705354400 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23791/stat : 23791 (java) S 23759 23762 16605 0 -1 1077944384 33 13440513 0 0 0 0 233639 924 20 0 21 0 226665980 8664518656 33223 33554432000 4194304 4196468 140729334050976 139830271760976 139831957694363 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23792] ppid=23759 vsize=8461444 memory=-6948614817169703622 CPUtime=2345.79 cores=0,2,4,6
/proc/23782/task/23792/stat : 23792 (java) S 23759 23762 16605 0 -1 1077944384 741 13440513 0 0 16 0 233639 924 20 0 21 0 226665980 8664518656 33223 33554432000 4194304 4196468 140729334050976 139831403042928 139831957686914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23793] ppid=23759 vsize=8461444 memory=6944656592455359580 CPUtime=2345.8 cores=0,2,4,6
/proc/23782/task/23793/stat : 23793 (java) S 23759 23762 16605 0 -1 1077944384 618 13440513 0 0 17 0 233639 924 20 0 21 0 226665980 8664518656 33223 33554432000 4194304 4196468 140729334050976 139831401990128 139831957686914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23794] ppid=23759 vsize=8461444 memory=140630384097293 CPUtime=2345.87 cores=0,2,4,6
/proc/23782/task/23794/stat : 23794 (java) S 23759 23762 16605 0 -1 1077944384 561 13440513 0 0 24 0 233639 924 20 0 21 0 226665980 8664518656 33223 33554432000 4194304 4196468 140729334050976 139831400937840 139831957686914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23795] ppid=23759 vsize=8461444 memory=290763849282617370 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23795/stat : 23795 (java) S 23759 23762 16605 0 -1 1077944384 3 13440513 0 0 0 0 233639 924 20 0 21 0 226665980 8664518656 33223 33554432000 4194304 4196468 140729334050976 139829773855200 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23796] ppid=23759 vsize=8461444 memory=288230596050944315 CPUtime=2347.58 cores=0,2,4,6
/proc/23782/task/23796/stat : 23796 (java) S 23759 23762 16605 0 -1 1077944384 157 13440513 0 0 96 99 233639 924 20 0 21 0 226665981 8664518656 33223 33554432000 4194304 4196468 140729334050976 139831399885744 139831957686914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23798] ppid=23759 vsize=8461444 memory=1468 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23798/stat : 23798 (java) D 23759 23762 16605 0 -1 4202560 22 13440513 0 0 0 0 233639 924 20 0 21 0 226666054 8664518656 33223 33554432000 4194304 4196468 140729334050976 139831392071632 139831939327204 0 4 2 25189581 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23800] ppid=23759 vsize=8461444 memory=122652 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23800/stat : 23800 (java) D 23759 23762 16605 0 -1 4202560 3 13440513 0 0 0 0 233639 924 20 0 21 0 226666054 8664518656 33223 33554432000 4194304 4196468 140729334050976 139829236981528 139831950393063 0 4 2 25189581 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23801] ppid=23759 vsize=8461444 memory=2911472 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23801/stat : 23801 (java) R 23759 23762 16605 0 -1 4202560 19 13440513 0 0 0 0 233639 924 20 0 21 0 226666054 8664518656 33223 33554432000 4194304 4196468 140729334050976 139829371201672 139831950392730 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23802] ppid=23759 vsize=8461444 memory=1408 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23802/stat : 23802 (java) D 23759 23762 16605 0 -1 4202560 3 13440513 0 0 0 0 233639 924 20 0 21 0 226666056 8664518656 33223 33554432000 4194304 4196468 140729334050976 139828968529040 139831949917157 0 4 2 25189581 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=24099] ppid=23759 vsize=8461444 memory=3340 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/24099/stat : 24099 (java) D 23759 23762 16605 0 -1 4202560 3 13440513 0 0 0 0 233639 924 20 0 21 0 226900610 8664518656 33223 33554432000 4194304 4196468 140729334050976 139828700112120 139831949917157 0 4 2 25189581 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=24102] ppid=23759 vsize=8461444 memory=1472 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/24102/stat : 24102 (java) R 23759 23762 16605 0 -1 4202560 2 13440513 0 0 0 0 233639 924 20 0 21 0 226900610 8664518656 33223 33554432000 4194304 4196468 140729334050976 139828431676192 139831950361399 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
Current cumulated CPU time of completed processes: 171.084 s
Current children cumulated CPU time: 3.45 s
Current children cumulated vsize: 8461444 KiB
Current children cumulated memory: 132892 KiB
[startup+2482.91 s]
/proc/loadavg: 2.05 2.04 2.05 3/228 24102
/proc/meminfo: memFree=23656188/32770624 swapFree=67108860/67108860
[pid=23782] ppid=23759 vsize=8199292 memory=132880 CPUtime=2349.2 cores=0,2,4,6
/proc/23782/stat : 23782 (java) S 23759 23762 16605 0 -1 1077944320 19127 13440513 0 0 256 101 233639 924 20 0 18 0 226665974 8396075008 33220 33554432000 4194304 4196468 140729334050976 140729334033520 139831957675767 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
/proc/23782/statm: 2049823 33220 3138 1 0 2011222 0
[pid=23782/tid=23783] ppid=23759 vsize=8199292 memory=2911472 CPUtime=2346.45 cores=0,2,4,6
/proc/23782/task/23783/stat : 23783 (java) S 23759 23762 16605 0 -1 1077944384 15595 13440513 0 0 76 6 233639 924 20 0 18 0 226665974 8396075008 33220 33554432000 4194304 4196468 140729334050976 139831929515920 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23784] ppid=23759 vsize=8199292 memory=1468 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23784/stat : 23784 (java) S 23759 23762 16605 0 -1 1077944384 2 13440513 0 0 0 0 233639 924 20 0 18 0 226665975 8396075008 33220 33554432000 4194304 4196468 140729334050976 139831961917840 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23785] ppid=23759 vsize=8199292 memory=122652 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23785/stat : 23785 (java) S 23759 23762 16605 0 -1 1077944384 1 13440513 0 0 0 0 233639 924 20 0 18 0 226665975 8396075008 33220 33554432000 4194304 4196468 140729334050976 139831788734736 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23786] ppid=23759 vsize=8199292 memory=122652 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23786/stat : 23786 (java) S 23759 23762 16605 0 -1 1077944384 1 13440513 0 0 0 0 233639 924 20 0 18 0 226665975 8396075008 33220 33554432000 4194304 4196468 140729334050976 139831441705616 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23787] ppid=23759 vsize=8199292 memory=122652 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23787/stat : 23787 (java) S 23759 23762 16605 0 -1 1077944384 2 13440513 0 0 0 0 233639 924 20 0 18 0 226665975 8396075008 33220 33554432000 4194304 4196468 140729334050976 139831440652816 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23788] ppid=23759 vsize=8199292 memory=122652 CPUtime=2345.69 cores=0,2,4,6
/proc/23782/task/23788/stat : 23788 (java) S 23759 23762 16605 0 -1 1077944384 5 13440513 0 0 3 3 233639 924 20 0 18 0 226665977 8396075008 33220 33554432000 4194304 4196468 140729334050976 139831404095616 139831957686914 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23789] ppid=23759 vsize=8199292 memory=1468 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23789/stat : 23789 (java) S 23759 23762 16605 0 -1 1077944384 13 13440513 0 0 0 0 233639 924 20 0 18 0 226665977 8396075008 33220 33554432000 4194304 4196468 140729334050976 139830780486944 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23790] ppid=23759 vsize=8199292 memory=122652 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23790/stat : 23790 (java) S 23759 23762 16605 0 -1 1077944384 21 13440513 0 0 0 0 233639 924 20 0 18 0 226665978 8396075008 33220 33554432000 4194304 4196468 140729334050976 139830646265456 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23791] ppid=23759 vsize=8199292 memory=1468 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23791/stat : 23791 (java) S 23759 23762 16605 0 -1 1077944384 33 13440513 0 0 0 0 233639 924 20 0 18 0 226665980 8396075008 33220 33554432000 4194304 4196468 140729334050976 139830271760624 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23792] ppid=23759 vsize=8199292 memory=1468 CPUtime=2345.79 cores=0,2,4,6
/proc/23782/task/23792/stat : 23792 (java) S 23759 23762 16605 0 -1 1077944384 741 13440513 0 0 16 0 233639 924 20 0 18 0 226665980 8396075008 33220 33554432000 4194304 4196468 140729334050976 139831403042928 139831957686914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23793] ppid=23759 vsize=8199292 memory=122652 CPUtime=2345.8 cores=0,2,4,6
/proc/23782/task/23793/stat : 23793 (java) S 23759 23762 16605 0 -1 1077944384 618 13440513 0 0 17 0 233639 924 20 0 18 0 226665980 8396075008 33220 33554432000 4194304 4196468 140729334050976 139831401990128 139831957686914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23794] ppid=23759 vsize=8199292 memory=122652 CPUtime=2345.87 cores=0,2,4,6
/proc/23782/task/23794/stat : 23794 (java) S 23759 23762 16605 0 -1 1077944384 561 13440513 0 0 24 0 233639 924 20 0 18 0 226665980 8396075008 33220 33554432000 4194304 4196468 140729334050976 139831400937840 139831957686914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23795] ppid=23759 vsize=8199292 memory=1468 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23795/stat : 23795 (java) S 23759 23762 16605 0 -1 1077944384 3 13440513 0 0 0 0 233639 924 20 0 18 0 226665980 8396075008 33220 33554432000 4194304 4196468 140729334050976 139829773855200 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23798] ppid=23759 vsize=8199292 memory=122652 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23798/stat : 23798 (java) S 23759 23762 16605 0 -1 1077944384 23 13440513 0 0 0 0 233639 924 20 0 18 0 226666054 8396075008 33220 33554432000 4194304 4196468 140729334050976 139831392074800 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=23802] ppid=23759 vsize=8199292 memory=1468 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/23802/stat : 23802 (java) S 23759 23762 16605 0 -1 1077944384 7 13440513 0 0 0 0 233639 924 20 0 18 0 226666056 8396075008 33220 33554432000 4194304 4196468 140729334050976 139828968534400 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=24099] ppid=23759 vsize=8199292 memory=122652 CPUtime=2345.63 cores=0,2,4,6
/proc/23782/task/24099/stat : 24099 (java) S 23759 23762 16605 0 -1 1077944384 9 13440513 0 0 0 0 233639 924 20 0 18 0 226900610 8396075008 33220 33554432000 4194304 4196468 140729334050976 139828700110928 139831957685973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
[pid=23782/tid=24102] ppid=23759 vsize=8199292 memory=1468 CPUtime=2345.72 cores=0,2,4,6
/proc/23782/task/24102/stat : 24102 (java) R 23759 23762 16605 0 -1 4202560 2 13440513 0 0 0 9 233639 924 20 0 18 0 226900610 8396075008 33220 33554432000 4194304 4196468 140729334050976 139828431676192 139831950361399 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24166400 140729334052021 140729334052145 140729334052145 140729334054863 0
Current cumulated CPU time of completed processes: 171.084 s
Current children cumulated CPU time: 2349.2 s
Current children cumulated vsize: 8199292 KiB
Current children cumulated memory: 132880 KiB
Child status: 1
Real time (s): 2482.96
CPU time (s): 2520.35
CPU user time (s): 2505.96
CPU system time (s): 14.3923
CPU usage (%): 101.506
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 5262900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.96
system time used= 14.3923
maximum resident set size= 5261688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13562339
page faults= 0
swaps= 0
block input operations= 16
block output operations= 1507312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63621
involuntary context switches= 4778
# summary of solver processes directly reported to runsolver:
# pid: 23762,23782
# total CPU time (s): 2520.35
# total CPU user time (s): 2505.96
# total CPU system time (s): 14.3923
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9956 second user time and 25.028 second system time
The end