0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-21776-serial-file.bin HOME/instance-4305750-1534070017.xml
0.55/0.52
0.67/0.52 scop both+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:33:37 CEST 2018
0.67/0.54 c PID: 21779
0.67/0.54 c IP: 172.20.3.103
0.67/0.54 c HOST: node103.alineos.net
0.67/0.55 c (0,0) Parsing Begin
7.95/3.05 c (2,2) Parsing End
7.95/3.09 c (2,2) CSP: 0 int (0 aux), 23409 bool (0 aux), 1386 ctr, max domain size 2
7.95/3.09 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
7.95/3.09 c (2,2) Constraint Name Generate Begin
8.26/3.18 c (2,2) Ctr:HOME/instance-4305750-1534070017.xml,IntVar:Num:WeightedSum
8.26/3.18 c (2,2) Constraint Name Generate End
8.26/3.18 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
8.26/3.18 c (2,2) CSP to CSPinCNF Begin
12.63/5.33 c (4,4) translated 139 (10%) constraints
14.81/7.11 c (6,6) translated 278 (20%) constraints
16.41/8.65 c (8,8) translated 416 (30%) constraints
18.46/10.32 c (9,9) translated 555 (40%) constraints
20.69/12.00 c (11,11) translated 693 (50%) constraints
22.34/13.53 c (13,12) translated 832 (60%) constraints
24.36/15.18 c (14,14) translated 971 (70%) constraints
25.86/16.68 c (16,15) translated 1109 (80%) constraints
28.80/19.02 c (18,17) translated 1248 (90%) constraints
35.68/24.81 c (24,23) translated 1386 (100%) constraints
38.13/26.33 c (25,24) STATISTICS1:HOME/instance-4305750-1534070017.xml,IntVar:Num:WeightedSum,23409,1386,9223372036854775807,2,1,289,9223372036854775807:1386,2:234090,1:1386,289:162;153:1224,36864:162;10404:1224
38.13/26.33 c (25,24) ==========================================
38.13/26.33 c (25,24) Both Encoding selects:
38.13/26.33 c (25,24) Log
38.13/26.33 c (25,24) ==========================================
38.60/26.71 c (26,25) translated 139 (10%) constraints
38.92/27.06 c (26,25) translated 278 (20%) constraints
39.35/27.42 c (26,25) translated 416 (30%) constraints
39.67/27.79 c (27,26) translated 555 (40%) constraints
40.08/28.13 c (27,26) translated 693 (50%) constraints
40.37/28.46 c (27,26) translated 832 (60%) constraints
41.06/28.89 c (28,27) translated 971 (70%) constraints
41.47/29.22 c (28,27) translated 1109 (80%) constraints
41.97/29.70 c (29,28) translated 1248 (90%) constraints
43.19/30.93 c (30,29) translated 1386 (100%) constraints
43.19/30.94 c (30,29) CSP to CSPinCNF End
43.19/30.95 c (30,29) CSP: 0 int (0 aux), 23409 bool (0 aux), 1386 ctr, max domain size 2
43.19/30.95 c (30,29) Heap : 2208 MiB used (max 11052 MiB), NonHeap : 26 MiB used (max 0 MiB)
43.19/30.95 c (30,29) CSPinCNF Propagation Begin
45.51/32.83 c (32,31) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
45.51/32.83 c (32,31) CSPinCNF Propagation End
45.51/32.84 c (32,31) CSP: 0 int (0 aux), 23409 bool (0 aux), 1386 ctr, max domain size 2
45.51/32.84 c (32,31) Heap : 2422 MiB used (max 11052 MiB), NonHeap : 26 MiB used (max 0 MiB)
45.51/32.84 c (32,31) Simplify CSPinCNF Begin
45.62/32.91 c (32,31) Simplify CSPinCNF End
45.62/32.91 c (32,31) CSP: 0 int (0 aux), 23409 bool (0 aux), 1386 ctr, max domain size 2
45.62/32.91 c (32,31) Heap : 2422 MiB used (max 11052 MiB), NonHeap : 26 MiB used (max 0 MiB)
45.62/32.91 c (32,31) Calculate Precise Domain Begin
45.62/32.91 c (32,31) 0 values are removed by re-calculation
45.62/32.91 c (32,31) Calculate Precise Domain End
45.62/32.92 c (32,31) CSP: 0 int (0 aux), 23409 bool (0 aux), 1386 ctr, max domain size 2
45.62/32.92 c (32,31) Heap : 2422 MiB used (max 11052 MiB), NonHeap : 27 MiB used (max 0 MiB)
45.62/32.92 c (32,31) CSPinCNF to SatSolver Begin
47.63/33.66 c (33,32) 139 (10 %) CSP clauses are being encoded (65361 SAT variables, 125442 SAT clauses)
48.11/34.02 c (33,32) 278 (20 %) CSP clauses are being encoded (107617 SAT variables, 251793 SAT clauses)
48.71/34.49 c (33,32) 416 (30 %) CSP clauses are being encoded (149569 SAT variables, 377235 SAT clauses)
49.30/34.84 c (34,33) 555 (40 %) CSP clauses are being encoded (191825 SAT variables, 503586 SAT clauses)
49.79/35.14 c (34,33) 693 (50 %) CSP clauses are being encoded (221697 SAT variables, 568628 SAT clauses)
50.55/35.40 c (34,33) 832 (60 %) CSP clauses are being encoded (242964 SAT variables, 590034 SAT clauses)
50.77/35.60 c (35,33) 971 (70 %) CSP clauses are being encoded (264231 SAT variables, 611440 SAT clauses)
50.97/35.80 c (35,34) 1109 (80 %) CSP clauses are being encoded (285345 SAT variables, 632692 SAT clauses)
51.29/36.13 c (35,34) 1248 (90 %) CSP clauses are being encoded (322896 SAT variables, 709850 SAT clauses)
52.19/37.09 c (36,35) 1386 (100 %) CSP clauses are being encoded (441714 SAT variables, 1065614 SAT clauses)
52.19/37.09 c (36,35) Launch Command will be: minisat_release
52.19/37.09 c (36,35) CSPinCNF to SatSolver End
52.19/37.09 c (36,35) Heap : 2972 MiB used (max 11054 MiB), NonHeap : 29 MiB used (max 0 MiB)
53.70/38.44 c (37,36) STATISTICS2:HOME/instance-4305750-1534070017.xml,IntVar:Num:WeightedSum,23409,1386,9223372036854775807,2,1,289,9223372036854775807:1386,2:234090,1:1386,289:162;153:1224,2:1386
53.70/38.44 c (37,36) 442575 bool, 1068192 clause
53.70/38.44 c (37,36) Export Begin
57.07/40.55 c (40,38) Export to HOME/scop-21776-serial-file.bin
57.07/40.55 c (40,38) Export End
57.07/40.55 c (40,38) Export File Size: 8.58 MB
57.07/40.55 c (40,38) 2,2,30,32,32,32,36,STOP-AFTER(DIMACS)
57.07/40.55 c END-Prog: Sun Aug 12 12:34:17 CEST 2018
57.07/40.59 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21776-serial-file.bin
57.75/41.09 c (0,0) Read Serial File Begin
57.85/41.25 c (0,0) HOME/scop-21776-serial-file.bin
60.48/43.35 c (2,2) Read Serial File End
60.48/43.37
60.48/43.37 scop log+minisat_release (2018-07-31)
60.48/43.37 (Solving Process)
60.48/43.37
60.48/43.39 c BEGIN-Prog: Sun Aug 12 12:34:20 CEST 2018
60.48/43.39 c PID: 21794
60.48/43.39 c IP: 172.20.3.103
60.48/43.39 c HOST: node103.alineos.net
60.48/43.40 c (2,2) SatSolver.solve Begin
60.48/43.40 c (2,2) 0 bool, 0 clause
60.48/43.40 c (2,2) minisat_release HOME/instance-4305750-1534070017.xml-scop-21779.cnf
2520.09/2501.11 c (2460,0) receiving signal SIGTERM
2520.09/2501.11 s UNKNOWN
2520.09/2501.12 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.09/2501.12 c (scop.sh) Remove HOME/scop-21776-serial-file.bin.
2520.09/2501.12 c (scop.sh) Killing background jobs.
2520.09/2501.12 c (2460,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 (7873 MiB free)
memory of node 1: 16384 MiB (8751 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305750-1534070017/watcher-4305750-1534070017 -o /tmp/evaluation-result-4305750-1534070017/solver-4305750-1534070017 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20638 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305750-1534070017.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
Current StackSize limit: 8192 KiB
solver pid=21776, runsolver pid=21773
[startup+0.100157 s]*
/proc/loadavg: 2.13 2.04 2.05 4/222 21793
/proc/meminfo: memFree=16963192/32770624 swapFree=67058736/67108860
[pid=21776] ppid=21773 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21776/stat : 21776 (scop.sh) S 21773 21776 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224564866 115843072 349 33554432000 4194304 5098028 140734503583360 140734503580616 139658304709244 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35434496 140734503588929 140734503589127 140734503589127 140734503591885 0
/proc/21776/statm: 28282 349 296 221 0 87 0
[pid=21779] ppid=21776 vsize=15012476 memory=73112 CPUtime=0.11 cores=1,3,5,7
/proc/21779/stat : 21779 (java) S 21776 21776 20606 0 -1 1077944320 6877 0 0 0 9 2 0 0 20 0 15 0 224564866 15372775424 18278 33554432000 4194304 4196468 140728589232672 140728589215216 139787881631479 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
/proc/21779/statm: 3753119 18278 2772 1 0 3715579 0
[pid=21779/tid=21780] ppid=21776 vsize=15012476 memory=-6078870780940435391 CPUtime=0.09 cores=1,3,5,7
/proc/21779/task/21780/stat : 21780 (java) R 21776 21776 20606 0 -1 4202560 4971 0 0 0 7 2 0 0 20 0 15 0 224564867 15372775424 18278 33554432000 4194304 4196468 140728589232672 139787853443464 139787864818288 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21781] ppid=21776 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21781/stat : 21781 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564868 15372775424 18278 33554432000 4194304 4196468 140728589232672 139787885873936 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21782] ppid=21776 vsize=15012476 memory=140280835634816 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21782/stat : 21782 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564869 15372775424 18278 33554432000 4194304 4196468 140728589232672 139787700030352 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21783] ppid=21776 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21783/stat : 21783 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564869 15372775424 18278 33554432000 4194304 4196468 140728589232672 139787698977808 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21784] ppid=21776 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21784/stat : 21784 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564869 15372775424 18278 33554432000 4194304 4196468 140728589232672 139787697925264 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21785] ppid=21776 vsize=15012476 memory=140280835634816 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21785/stat : 21785 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564870 15372775424 18278 33554432000 4194304 4196468 140728589232672 139786852161520 139787881642626 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21786] ppid=21776 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21786/stat : 21786 (java) S 21776 21776 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224564870 15372775424 18278 33554432000 4194304 4196468 140728589232672 139786488636320 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21787] ppid=21776 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21787/stat : 21787 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564871 15372775424 18278 33554432000 4194304 4196468 140728589232672 139786220200944 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21788] ppid=21776 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21788/stat : 21788 (java) S 21776 21776 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564873 15372775424 18278 33554432000 4194304 4196468 140728589232672 139785845692624 139787881650075 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21789] ppid=21776 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21789/stat : 21789 (java) S 21776 21776 20606 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 224564873 15372775424 18278 33554432000 4194304 4196468 140728589232672 139786851109360 139787881642626 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21790] ppid=21776 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21790/stat : 21790 (java) S 21776 21776 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564873 15372775424 18278 33554432000 4194304 4196468 140728589232672 139786850056816 139787881642626 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21791] ppid=21776 vsize=15012476 memory=140280835634816 CPUtime=0.01 cores=1,3,5,7
/proc/21779/task/21791/stat : 21791 (java) R 21776 21776 20606 0 -1 4202560 279 0 0 0 1 0 0 0 20 0 15 0 224564873 15372775424 18278 33554432000 4194304 4196468 140728589232672 139786849001384 139787860589820 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21792] ppid=21776 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21792/stat : 21792 (java) S 21776 21776 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564873 15372775424 18278 33554432000 4194304 4196468 140728589232672 139785347787872 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21793] ppid=21776 vsize=15012476 memory=140280835634816 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21793/stat : 21793 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564874 15372775424 18278 33554432000 4194304 4196468 140728589232672 139786847951152 139787881642626 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74508 KiB
[startup+0.210777 s]*
/proc/loadavg: 2.13 2.04 2.05 5/222 21793
/proc/meminfo: memFree=16930932/32770624 swapFree=67058736/67108860
[pid=21776] ppid=21773 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21776/stat : 21776 (scop.sh) S 21773 21776 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224564866 115843072 349 33554432000 4194304 5098028 140734503583360 140734503580616 139658304709244 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35434496 140734503588929 140734503589127 140734503589127 140734503591885 0
/proc/21776/statm: 28282 349 296 221 0 87 0
[pid=21779] ppid=21776 vsize=15012476 memory=86176 CPUtime=0.26 cores=1,3,5,7
/proc/21779/stat : 21779 (java) S 21776 21776 20606 0 -1 1077944320 10397 0 0 0 23 3 0 0 20 0 15 0 224564866 15372775424 21544 33554432000 4194304 4196468 140728589232672 140728589215216 139787881631479 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
/proc/21779/statm: 3753119 21544 2886 1 0 3715579 0
[pid=21779/tid=21780] ppid=21776 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/21779/task/21780/stat : 21780 (java) R 21776 21776 20606 0 -1 4202560 8309 0 0 0 17 2 0 0 20 0 15 0 224564867 15372775424 21544 33554432000 4194304 4196468 140728589232672 139787853446832 139787881643414 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21781] ppid=21776 vsize=15012476 memory=545 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21781/stat : 21781 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564868 15372775424 21544 33554432000 4194304 4196468 140728589232672 139787885873936 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21782] ppid=21776 vsize=15012476 memory=140280836798048 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21782/stat : 21782 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564869 15372775424 21544 33554432000 4194304 4196468 140728589232672 139787700030352 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21783] ppid=21776 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21783/stat : 21783 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564869 15372775424 21544 33554432000 4194304 4196468 140728589232672 139787698977808 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21784] ppid=21776 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21784/stat : 21784 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564869 15372775424 21544 33554432000 4194304 4196468 140728589232672 139787697925264 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21785] ppid=21776 vsize=15012476 memory=140280835634816 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21785/stat : 21785 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564870 15372775424 21544 33554432000 4194304 4196468 140728589232672 139786852161520 139787881642626 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21786] ppid=21776 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21786/stat : 21786 (java) S 21776 21776 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224564870 15372775424 21544 33554432000 4194304 4196468 140728589232672 139786488636320 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21787] ppid=21776 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21787/stat : 21787 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564871 15372775424 21544 33554432000 4194304 4196468 140728589232672 139786220200944 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21788] ppid=21776 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21788/stat : 21788 (java) S 21776 21776 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564873 15372775424 21544 33554432000 4194304 4196468 140728589232672 139785845692624 139787881650075 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21789] ppid=21776 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21779/task/21789/stat : 21789 (java) S 21776 21776 20606 0 -1 1077944384 417 0 0 0 1 0 0 0 20 0 15 0 224564873 15372775424 21544 33554432000 4194304 4196468 140728589232672 139786851109360 139787881642626 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21790] ppid=21776 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21790/stat : 21790 (java) S 21776 21776 20606 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 224564873 15372775424 21544 33554432000 4194304 4196468 140728589232672 139786850056816 139787881642626 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21791] ppid=21776 vsize=15012476 memory=140280835634816 CPUtime=0.03 cores=1,3,5,7
/proc/21779/task/21791/stat : 21791 (java) R 21776 21776 20606 0 -1 4202560 296 0 0 0 3 0 0 0 20 0 15 0 224564873 15372775424 21544 33554432000 4194304 4196468 140728589232672 139786849004272 139787860246997 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21792] ppid=21776 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21792/stat : 21792 (java) S 21776 21776 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564873 15372775424 21544 33554432000 4194304 4196468 140728589232672 139785347787872 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21793] ppid=21776 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21793/stat : 21793 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564874 15372775424 21544 33554432000 4194304 4196468 140728589232672 139786847951152 139787881642626 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87572 KiB
[startup+0.310779 s]*
/proc/loadavg: 2.13 2.04 2.05 3/222 21793
/proc/meminfo: memFree=16927272/32770624 swapFree=67058736/67108860
[pid=21776] ppid=21773 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21776/stat : 21776 (scop.sh) S 21773 21776 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224564866 115843072 349 33554432000 4194304 5098028 140734503583360 140734503580616 139658304709244 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35434496 140734503588929 140734503589127 140734503589127 140734503591885 0
/proc/21776/statm: 28282 349 296 221 0 87 0
[pid=21779] ppid=21776 vsize=15012476 memory=89704 CPUtime=0.42 cores=1,3,5,7
/proc/21779/stat : 21779 (java) S 21776 21776 20606 0 -1 1077944320 10914 0 0 0 39 3 0 0 20 0 15 0 224564866 15372775424 22426 33554432000 4194304 4196468 140728589232672 140728589215216 139787881631479 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
/proc/21779/statm: 3753119 22426 2983 1 0 3715579 0
[pid=21779/tid=21780] ppid=21776 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/21779/task/21780/stat : 21780 (java) R 21776 21776 20606 0 -1 4202560 8681 0 0 0 27 2 0 0 20 0 15 0 224564867 15372775424 22426 33554432000 4194304 4196468 140728589232672 139787853426480 139787881643414 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21781] ppid=21776 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21781/stat : 21781 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564868 15372775424 22426 33554432000 4194304 4196468 140728589232672 139787885873936 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21782] ppid=21776 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21782/stat : 21782 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564869 15372775424 22426 33554432000 4194304 4196468 140728589232672 139787700030352 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21783] ppid=21776 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21783/stat : 21783 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564869 15372775424 22426 33554432000 4194304 4196468 140728589232672 139787698977808 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21784] ppid=21776 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21784/stat : 21784 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564869 15372775424 22426 33554432000 4194304 4196468 140728589232672 139787697925264 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21785] ppid=21776 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21785/stat : 21785 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564870 15372775424 22426 33554432000 4194304 4196468 140728589232672 139786852161520 139787881642626 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21786] ppid=21776 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21786/stat : 21786 (java) S 21776 21776 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224564870 15372775424 22426 33554432000 4194304 4196468 140728589232672 139786488636320 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21787] ppid=21776 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21787/stat : 21787 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564871 15372775424 22426 33554432000 4194304 4196468 140728589232672 139786220200944 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21788] ppid=21776 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21788/stat : 21788 (java) S 21776 21776 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564873 15372775424 22426 33554432000 4194304 4196468 140728589232672 139785845692624 139787881650075 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21789] ppid=21776 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21779/task/21789/stat : 21789 (java) R 21776 21776 20606 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 15 0 224564873 15372775424 22426 33554432000 4194304 4196468 140728589232672 139786851109456 139787881641685 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21790] ppid=21776 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21779/task/21790/stat : 21790 (java) R 21776 21776 20606 0 -1 4202560 149 0 0 0 3 0 0 0 20 0 15 0 224564873 15372775424 22426 33554432000 4194304 4196468 140728589232672 139786850056816 139787874616521 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21791] ppid=21776 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21779/task/21791/stat : 21791 (java) R 21776 21776 20606 0 -1 4202560 316 0 0 0 7 0 0 0 20 0 15 0 224564873 15372775424 22426 33554432000 4194304 4196468 140728589232672 139786849004272 139787881643414 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21792] ppid=21776 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21792/stat : 21792 (java) S 21776 21776 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564873 15372775424 22426 33554432000 4194304 4196468 140728589232672 139785347787872 139787881641685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21793] ppid=21776 vsize=15012476 memory=3545238011844304945 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21793/stat : 21793 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564874 15372775424 22426 33554432000 4194304 4196468 140728589232672 139786847951152 139787881642626 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91100 KiB
[startup+0.701108 s]
/proc/loadavg: 2.12 2.04 2.05 3/222 21793
/proc/meminfo: memFree=16901164/32770624 swapFree=67058736/67108860
[pid=21776] ppid=21773 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21776/stat : 21776 (scop.sh) S 21773 21776 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224564866 115843072 349 33554432000 4194304 5098028 140734503583360 140734503580616 139658304709244 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35434496 140734503588929 140734503589127 140734503589127 140734503591885 0
/proc/21776/statm: 28282 349 296 221 0 87 0
[pid=21779] ppid=21776 vsize=15018748 memory=131720 CPUtime=1.06 cores=1,3,5,7
/proc/21779/stat : 21779 (java) S 21776 21776 20606 0 -1 1077944320 18061 0 0 0 100 6 0 0 20 0 15 0 224564866 15379197952 32930 33554432000 4194304 4196468 140728589232672 140728589215216 139787881631479 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
/proc/21779/statm: 3754687 32930 3127 1 0 3716091 0
[pid=21779/tid=21780] ppid=21776 vsize=15018748 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/21779/task/21780/stat : 21780 (java) R 21776 21776 20606 0 -1 4202560 15113 0 0 0 62 5 0 0 20 0 15 0 224564867 15379197952 32930 33554432000 4194304 4196468 140728589232672 139787853466368 139787881653405 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21781] ppid=21776 vsize=15018748 memory=116 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21781/stat : 21781 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564868 15379197952 32930 33554432000 4194304 4196468 140728589232672 139787885873936 139787881641685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21782] ppid=21776 vsize=15018748 memory=12922 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21782/stat : 21782 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564869 15379197952 32930 33554432000 4194304 4196468 140728589232672 139787700030352 139787881641685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21783] ppid=21776 vsize=15018748 memory=448505 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21783/stat : 21783 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224564869 15379197952 32930 33554432000 4194304 4196468 140728589232672 139787698977808 139787881641685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21784] ppid=21776 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21784/stat : 21784 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564869 15379197952 32930 33554432000 4194304 4196468 140728589232672 139787697925264 139787881641685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21785] ppid=21776 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21785/stat : 21785 (java) S 21776 21776 20606 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 224564870 15379197952 32930 33554432000 4194304 4196468 140728589232672 139786852161520 139787881642626 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21786] ppid=21776 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21786/stat : 21786 (java) S 21776 21776 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224564870 15379197952 32930 33554432000 4194304 4196468 140728589232672 139786488636320 139787881641685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21787] ppid=21776 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21787/stat : 21787 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564871 15379197952 32930 33554432000 4194304 4196468 140728589232672 139786220200944 139787881641685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21788] ppid=21776 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21788/stat : 21788 (java) S 21776 21776 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564873 15379197952 32930 33554432000 4194304 4196468 140728589232672 139785845692624 139787881650075 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21789] ppid=21776 vsize=15018748 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21779/task/21789/stat : 21789 (java) R 21776 21776 20606 0 -1 4202560 746 0 0 0 8 0 0 0 20 0 15 0 224564873 15379197952 32930 33554432000 4194304 4196468 140728589232672 139786851099280 139787864999777 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21790] ppid=21776 vsize=15018748 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21779/task/21790/stat : 21790 (java) R 21776 21776 20606 0 -1 4202560 380 0 0 0 12 0 0 0 20 0 15 0 224564873 15379197952 32930 33554432000 4194304 4196468 140728589232672 139786850046928 139787859187742 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21791] ppid=21776 vsize=15018748 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/21779/task/21791/stat : 21791 (java) R 21776 21776 20606 0 -1 4202560 486 0 0 0 17 0 0 0 20 0 15 0 224564873 15379197952 32930 33554432000 4194304 4196468 140728589232672 139786849001208 139787860254432 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21792] ppid=21776 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21792/stat : 21792 (java) S 21776 21776 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224564873 15379197952 32930 33554432000 4194304 4196468 140728589232672 139785347787872 139787881641685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
[pid=21779/tid=21793] ppid=21776 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21779/task/21793/stat : 21793 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224564874 15379197952 32930 33554432000 4194304 4196468 140728589232672 139786847951152 139787881642626 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13127680 140728589239303 140728589239601 140728589239601 140728589242319 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 133116 KiB
[startup+1.5008 s]
/proc/loadavg: 2.12 2.04 2.05 5/222 21793
/proc/meminfo: memFree=16800336/32770624 swapFree=67058736/67108860
[pid=21776] ppid=21773 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21776/stat : 21776 (scop.sh) S 21773 21776 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224564866 115843072 349 33554432000 4194304 5098028 140734503583360 140734503580616 139658304709244 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35434496 140734503588929 140734503589127 140734503589127 140734503591885 0
/proc/21776/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=21794/tid=21797] ppid=21776 vsize=8068220 memory=227412 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224568927 8261857280 56853 33554432000 4194304 4196468 140736742011104 140323496143632 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21798] ppid=21776 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224568927 8261857280 56853 33554432000 4194304 4196468 140736742011104 140323495091344 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21799] ppid=21776 vsize=8068220 memory=227412 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224568927 8261857280 56853 33554432000 4194304 4196468 140736742011104 140323166608400 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21800] ppid=21776 vsize=8068220 memory=1472 CPUtime=0.06 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21776 21776 20606 0 -1 1077944384 5 0 0 0 2 4 0 0 20 0 19 0 224568929 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322995619952 140323683351170 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21801] ppid=21776 vsize=8068220 memory=485572 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21776 21776 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224568929 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322487132960 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21802] ppid=21776 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224568930 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322218697840 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21803] ppid=21776 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21776 21776 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224568932 8261857280 56853 33554432000 4194304 4196468 140736742011104 140321844189264 140323683358619 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21804] ppid=21776 vsize=8068220 memory=1472 CPUtime=0.38 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21776 21776 20606 0 -1 1077944384 1303 0 0 0 38 0 0 0 20 0 19 0 224568932 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322994567792 140323683351170 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21805] ppid=21776 vsize=8068220 memory=1472 CPUtime=0.37 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21776 21776 20606 0 -1 1077944384 593 0 0 0 37 0 0 0 20 0 19 0 224568932 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322993514992 140323683351170 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21806] ppid=21776 vsize=8068220 memory=577732 CPUtime=0.25 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21776 21776 20606 0 -1 1077944384 661 0 0 0 25 0 0 0 20 0 19 0 224568932 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322992462704 140323683351170 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21807] ppid=21776 vsize=8068220 memory=227412 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21776 21776 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224568932 8261857280 56853 33554432000 4194304 4196468 140736742011104 140321346284512 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21808] ppid=21776 vsize=8068220 memory=1472 CPUtime=1.42 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21776 21776 20606 0 -1 1077944384 160 0 0 0 67 75 0 0 20 0 19 0 224568933 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322991409584 140323683351170 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21810] ppid=21776 vsize=8068220 memory=227412 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21810/stat : 21810 (java) S 21776 21776 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224569208 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322983601088 140323683364633 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21812] ppid=21776 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21812/stat : 21812 (java) S 21776 21776 20606 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224569209 8261857280 56853 33554432000 4194304 4196468 140736742011104 140320809397808 140323683361949 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21813] ppid=21776 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21813/stat : 21813 (java) S 21776 21776 20606 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224569209 8261857280 56853 33554432000 4194304 4196468 140736742011104 140320943620016 140323683361949 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21814] ppid=21776 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21814/stat : 21814 (java) S 21776 21776 20606 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224569211 8261857280 56853 33554432000 4194304 4196468 140736742011104 140320540974496 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
Current children cumulated CPU time: 2461.24 s
Current children cumulated vsize: 9009064 KiB
Current children cumulated memory: 824744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2501.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 21912
/proc/meminfo: memFree=16012756/32770624 swapFree=67058736/67108860
[pid=21776] ppid=21773 vsize=113128 memory=1472 CPUtime=57.2 cores=1,3,5,7
/proc/21776/stat : 21776 (scop.sh) S 21773 21776 20606 0 -1 4202496 591 55545 0 0 0 0 5450 270 20 0 1 0 224564866 115843072 368 33554432000 4194304 5098028 140734503583360 140734503580104 139658304709244 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35434496 140734503588929 140734503589127 140734503589127 140734503591885 0
/proc/21776/statm: 28282 368 311 221 0 87 0
[pid=21794] ppid=21776 vsize=8068220 memory=227412 CPUtime=5.25 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21776 21776 20606 0 -1 1077944320 19776 0 0 0 334 191 0 0 20 0 19 0 224568925 8261857280 56853 33554432000 4194304 4196468 140736742011104 140736741993648 140323683340023 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
/proc/21794/statm: 2017055 56853 3169 1 0 1978454 0
[pid=21809] ppid=21794 vsize=612792 memory=575684 CPUtime=2457.64 cores=1,3,5,7
/proc/21809/stat : 21809 (minisat_release) R 21794 21776 20606 0 -1 4202496 2005131 0 0 0 245226 538 0 0 20 0 1 0 224569208 627499008 143921 33554432000 4194304 4308513 140734221639968 140734221637384 139984060617653 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 31096832 140734221649012 140734221649110 140734221649110 140734221651909 0
/proc/21809/statm: 153198 143921 342 28 0 149438 0
[pid=21794/tid=21795] ppid=21776 vsize=8068220 memory=227412 CPUtime=2.68 cores=1,3,5,7
/proc/21794/task/21795/stat : 21795 (java) S 21776 21776 20606 0 -1 1077944384 15644 0 0 0 158 110 0 0 20 0 19 0 224568926 8261857280 56853 33554432000 4194304 4196468 140736742011104 140323655180176 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21796] ppid=21776 vsize=8068220 memory=227412 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224568927 8261857280 56853 33554432000 4194304 4196468 140736742011104 140323687582608 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21797] ppid=21776 vsize=8068220 memory=227412 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224568927 8261857280 56853 33554432000 4194304 4196468 140736742011104 140323496143632 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21798] ppid=21776 vsize=8068220 memory=227412 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224568927 8261857280 56853 33554432000 4194304 4196468 140736742011104 140323495091344 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21799] ppid=21776 vsize=8068220 memory=227412 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224568927 8261857280 56853 33554432000 4194304 4196468 140736742011104 140323166608400 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21800] ppid=21776 vsize=8068220 memory=1472 CPUtime=0.06 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21776 21776 20606 0 -1 1077944384 5 0 0 0 2 4 0 0 20 0 19 0 224568929 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322995619952 140323683351170 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21801] ppid=21776 vsize=8068220 memory=227412 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21776 21776 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224568929 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322487132960 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21802] ppid=21776 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224568930 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322218697840 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21803] ppid=21776 vsize=8068220 memory=280561358621040 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21776 21776 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224568932 8261857280 56853 33554432000 4194304 4196468 140736742011104 140321844189264 140323683358619 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21804] ppid=21776 vsize=8068220 memory=227412 CPUtime=0.38 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21776 21776 20606 0 -1 1077944384 1303 0 0 0 38 0 0 0 20 0 19 0 224568932 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322994567792 140323683351170 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21805] ppid=21776 vsize=8068220 memory=3544 CPUtime=0.37 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21776 21776 20606 0 -1 1077944384 593 0 0 0 37 0 0 0 20 0 19 0 224568932 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322993514992 140323683351170 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21806] ppid=21776 vsize=8068220 memory=3544 CPUtime=0.25 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21776 21776 20606 0 -1 1077944384 661 0 0 0 25 0 0 0 20 0 19 0 224568932 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322992462704 140323683351170 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21807] ppid=21776 vsize=8068220 memory=290763849282617370 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21776 21776 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224568932 8261857280 56853 33554432000 4194304 4196468 140736742011104 140321346284512 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21808] ppid=21776 vsize=8068220 memory=3544 CPUtime=1.45 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21776 21776 20606 0 -1 1077944384 164 0 0 0 69 76 0 0 20 0 19 0 224568933 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322991409584 140323683351170 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21810] ppid=21776 vsize=8068220 memory=59920 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21810/stat : 21810 (java) S 21776 21776 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224569208 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322983601088 140323683364633 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21812] ppid=21776 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21812/stat : 21812 (java) S 21776 21776 20606 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224569209 8261857280 56853 33554432000 4194304 4196468 140736742011104 140320809397808 140323683361949 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21813] ppid=21776 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21813/stat : 21813 (java) S 21776 21776 20606 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224569209 8261857280 56853 33554432000 4194304 4196468 140736742011104 140320943620016 140323683361949 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21814] ppid=21776 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21814/stat : 21814 (java) S 21776 21776 20606 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224569211 8261857280 56853 33554432000 4194304 4196468 140736742011104 140320540974496 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8794140 KiB
Current children cumulated memory: 804568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2501.12 s]
# the end of solver process 21776 was just reported to runsolver
# cumulated CPU time of all completed processes: user=54.5114 s, system=2.71043 s
[startup+2501.16 s]
# the end of solver process 21794 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.12 s, system=10.0496 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+2501.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 21912
/proc/meminfo: memFree=16012756/32770624 swapFree=67058736/67108860
[pid=21776] ppid=21773 vsize=113128 memory=1472 CPUtime=57.2 cores=1,3,5,7
/proc/21776/stat : 21776 (scop.sh) S 21773 21776 20606 0 -1 4202496 591 55545 0 0 0 0 5450 270 20 0 1 0 224564866 115843072 368 33554432000 4194304 5098028 140734503583360 140734503580104 139658304709244 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35434496 140734503588929 140734503589127 140734503589127 140734503591885 0
/proc/21776/statm: 28282 368 311 221 0 87 0
[pid=21794] ppid=21776 vsize=8068220 memory=227412 CPUtime=5.25 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21776 21776 20606 0 -1 1077944320 19776 0 0 0 334 191 0 0 20 0 19 0 224568925 8261857280 56853 33554432000 4194304 4196468 140736742011104 140736741993648 140323683340023 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
/proc/21794/statm: 2017055 56853 3169 1 0 1978454 0
[pid=21809] ppid=21794 vsize=612792 memory=575684 CPUtime=2457.64 cores=1,3,5,7
/proc/21809/stat : 21809 (minisat_release) R 21794 21776 20606 0 -1 4202496 2005131 0 0 0 245226 538 0 0 20 0 1 0 224569208 627499008 143921 33554432000 4194304 4308513 140734221639968 140734221637384 139984060617653 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 31096832 140734221649012 140734221649110 140734221649110 140734221651909 0
/proc/21809/statm: 153198 143921 342 28 0 149438 0
[pid=21794/tid=21795] ppid=21776 vsize=8068220 memory=227412 CPUtime=2.68 cores=1,3,5,7
/proc/21794/task/21795/stat : 21795 (java) S 21776 21776 20606 0 -1 1077944384 15644 0 0 0 158 110 0 0 20 0 19 0 224568926 8261857280 56853 33554432000 4194304 4196468 140736742011104 140323655180176 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21796] ppid=21776 vsize=8068220 memory=227412 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224568927 8261857280 56853 33554432000 4194304 4196468 140736742011104 140323687582608 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21797] ppid=21776 vsize=8068220 memory=227412 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224568927 8261857280 56853 33554432000 4194304 4196468 140736742011104 140323496143632 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21798] ppid=21776 vsize=8068220 memory=227412 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21776 21776 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224568927 8261857280 56853 33554432000 4194304 4196468 140736742011104 140323495091344 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21799] ppid=21776 vsize=8068220 memory=227412 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224568927 8261857280 56853 33554432000 4194304 4196468 140736742011104 140323166608400 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21800] ppid=21776 vsize=8068220 memory=1472 CPUtime=0.06 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21776 21776 20606 0 -1 1077944384 5 0 0 0 2 4 0 0 20 0 19 0 224568929 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322995619952 140323683351170 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21801] ppid=21776 vsize=8068220 memory=227412 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21776 21776 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224568929 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322487132960 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21802] ppid=21776 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21776 21776 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224568930 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322218697840 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21803] ppid=21776 vsize=8068220 memory=280561358621040 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21776 21776 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224568932 8261857280 56853 33554432000 4194304 4196468 140736742011104 140321844189264 140323683358619 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21804] ppid=21776 vsize=8068220 memory=227412 CPUtime=0.38 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21776 21776 20606 0 -1 1077944384 1303 0 0 0 38 0 0 0 20 0 19 0 224568932 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322994567792 140323683351170 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21805] ppid=21776 vsize=8068220 memory=3544 CPUtime=0.37 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21776 21776 20606 0 -1 1077944384 593 0 0 0 37 0 0 0 20 0 19 0 224568932 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322993514992 140323683351170 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21806] ppid=21776 vsize=8068220 memory=3544 CPUtime=0.25 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21776 21776 20606 0 -1 1077944384 661 0 0 0 25 0 0 0 20 0 19 0 224568932 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322992462704 140323683351170 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21807] ppid=21776 vsize=8068220 memory=290763849282617370 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21776 21776 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224568932 8261857280 56853 33554432000 4194304 4196468 140736742011104 140321346284512 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21808] ppid=21776 vsize=8068220 memory=3544 CPUtime=1.45 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21776 21776 20606 0 -1 1077944384 164 0 0 0 69 76 0 0 20 0 19 0 224568933 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322991409584 140323683351170 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21810] ppid=21776 vsize=8068220 memory=59920 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21810/stat : 21810 (java) S 21776 21776 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224569208 8261857280 56853 33554432000 4194304 4196468 140736742011104 140322983601088 140323683364633 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21812] ppid=21776 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21812/stat : 21812 (java) S 21776 21776 20606 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224569209 8261857280 56853 33554432000 4194304 4196468 140736742011104 140320809397808 140323683361949 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21813] ppid=21776 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21813/stat : 21813 (java) S 21776 21776 20606 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224569209 8261857280 56853 33554432000 4194304 4196468 140736742011104 140320943620016 140323683361949 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
[pid=21794/tid=21814] ppid=21776 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21814/stat : 21814 (java) S 21776 21776 20606 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224569211 8261857280 56853 33554432000 4194304 4196468 140736742011104 140320540974496 140323683350229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21065728 140736742012085 140736742012209 140736742012209 140736742014927 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8794140 KiB
Current children cumulated memory: 804568 KiB
Child status: 1
Real time (s): 2501.16
CPU time (s): 2520.17
CPU user time (s): 2510.12
CPU system time (s): 10.0496
CPU usage (%): 100.76
Max. virtual memory (cumulated for all children) (KiB): 15142344
Max. memory (cumulated for all children) (KiB): 4212612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.12
system time used= 10.0496
maximum resident set size= 4211216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2081591
page faults= 0
swaps= 0
block input operations= 8
block output operations= 62984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60793
involuntary context switches= 3266
# summary of solver processes directly reported to runsolver:
# pid: 21776,21794
# total CPU time (s): 2520.17
# total CPU user time (s): 2510.12
# total CPU system time (s): 10.0496
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0365 second user time and 27.8505 second system time
The end