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-4824-serial-file.bin HOME/instance-4305390-1534132342.xml
0.54/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.54 c BEGIN-Prog: Mon Aug 13 05:52:22 CEST 2018
0.66/0.54 c PID: 4827
0.66/0.54 c IP: 172.20.3.106
0.66/0.54 c HOST: node106.alineos.net
0.66/0.55 c (0,0) Parsing Begin
3.01/1.60 c (1,1) Parsing End
3.22/1.61 c (1,1) CSP: 705 int (0 aux), 0 bool (0 aux), 286 ctr, max domain size 225
3.22/1.61 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.22/1.61 c (1,1) Constraint Name Generate Begin
3.22/1.62 c (1,1) Ctr:HOME/instance-4305390-1534132342.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
3.22/1.62 c (1,1) Constraint Name Generate End
3.22/1.62 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.22/1.62 c (1,1) CSP to CSPinCNF Begin
38.49/26.37 c (25,25) translated 29 (10%) constraints
65.12/50.37 c (49,48) translated 58 (20%) constraints
91.21/73.64 c (73,70) translated 86 (30%) constraints
116.64/97.32 c (96,93) translated 115 (40%) constraints
140.54/120.06 c (119,116) translated 143 (50%) constraints
165.32/143.69 c (143,139) translated 172 (60%) constraints
190.08/167.28 c (166,162) translated 201 (70%) constraints
212.63/188.50 c (187,183) translated 229 (80%) constraints
212.63/188.51 c (187,183) translated 258 (90%) constraints
212.63/188.51 c (187,183) translated 286 (100%) constraints
219.71/194.18 c (193,188) STATISTICS1:HOME/instance-4305390-1534132342.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,303105,1948787,225,225,226,2,225:25200,225:151650;22:2330160;2:3321225;1:166500,226:225;225:2;5:35100;4:814725;3:286650;2:812025;1:60,2:25200;1:5919195;0:225,
219.71/194.18 c (193,188) ==========================================
219.71/194.18 c (193,188) Order
219.71/194.18 c (193,188) ==========================================
224.47/197.42 c (196,191) translated 194879 (10%) constraints
227.21/200.17 c (199,194) translated 389758 (20%) constraints
230.01/202.92 c (202,197) translated 584637 (30%) constraints
233.88/205.96 c (205,200) translated 779515 (40%) constraints
236.68/208.70 c (208,202) translated 974394 (50%) constraints
239.38/211.50 c (210,205) translated 1169273 (60%) constraints
244.00/214.77 c (214,208) translated 1364151 (70%) constraints
246.90/217.60 c (217,211) translated 1559030 (80%) constraints
249.70/220.42 c (219,214) translated 1753909 (90%) constraints
254.32/223.70 c (223,217) translated 1948787 (100%) constraints
254.32/223.70 c (223,217) CSP to CSPinCNF End
254.60/223.81 c (223,217) CSP: 705 int (0 aux), 302400 bool (302400 aux), 1948847 ctr, max domain size 225
254.60/223.81 c (223,217) Heap : 2876 MiB used (max 10884 MiB), NonHeap : 30 MiB used (max 0 MiB)
254.60/223.81 c (223,217) CSPinCNF Propagation Begin
315.19/274.68 c (274,265) 59953 values, 313119 unsatisfiable literals, and 347199 valid clauses are removed
315.19/274.68 c (274,265) CSPinCNF Propagation End
315.29/274.78 c (274,265) CSP: 50986 int (50281 aux), 252119 bool (252119 aux), 1601648 ctr, max domain size 225
315.29/274.78 c (274,265) Heap : 3952 MiB used (max 10875 MiB), NonHeap : 31 MiB used (max 0 MiB)
315.29/274.78 c (274,265) Simplify CSPinCNF Begin
318.76/277.56 c (277,268) Simplify CSPinCNF End
318.86/277.67 c (277,268) CSP: 50986 int (50281 aux), 302519 bool (302519 aux), 1652048 ctr, max domain size 225
318.86/277.67 c (277,268) Heap : 5640 MiB used (max 10875 MiB), NonHeap : 31 MiB used (max 0 MiB)
318.86/277.67 c (277,268) Calculate Precise Domain Begin
318.86/277.67 c (277,268) 0 values are removed by re-calculation
318.86/277.67 c (277,268) Calculate Precise Domain End
318.96/277.78 c (277,268) CSP: 50986 int (50281 aux), 302519 bool (302519 aux), 1652048 ctr, max domain size 225
318.96/277.78 c (277,268) Heap : 5640 MiB used (max 10875 MiB), NonHeap : 31 MiB used (max 0 MiB)
318.96/277.78 c (277,268) CSPinCNF to SatSolver Begin
343.86/298.31 c (297,286) 165205 (10 %) CSP clauses are encoded (352067 SAT variables, 7691795 SAT clauses)
344.77/299.18 c (298,287) 330410 (20 %) CSP clauses are encoded (352067 SAT variables, 7857000 SAT clauses)
345.67/300.03 c (299,288) 495615 (30 %) CSP clauses are encoded (352067 SAT variables, 8022205 SAT clauses)
346.46/300.88 c (300,289) 660820 (40 %) CSP clauses are encoded (352067 SAT variables, 8187410 SAT clauses)
347.36/301.73 c (301,290) 826024 (50 %) CSP clauses are encoded (352067 SAT variables, 8352614 SAT clauses)
348.20/302.60 c (302,291) 991229 (60 %) CSP clauses are encoded (352067 SAT variables, 8517819 SAT clauses)
349.13/303.51 c (302,291) 1156434 (70 %) CSP clauses are encoded (352067 SAT variables, 8683024 SAT clauses)
349.94/304.36 c (303,292) 1321639 (80 %) CSP clauses are encoded (352067 SAT variables, 8848229 SAT clauses)
350.82/305.24 c (304,293) 1486844 (90 %) CSP clauses are encoded (352067 SAT variables, 9013434 SAT clauses)
351.66/306.10 c (305,294) 1652048 (100 %) CSP clauses are encoded (352067 SAT variables, 9178638 SAT clauses)
351.66/306.10 c (305,294) Launch Command will be: minisat_release
351.66/306.10 c (305,294) CSPinCNF to SatSolver End
351.66/306.10 c (305,294) Heap : 4048 MiB used (max 10906 MiB), NonHeap : 31 MiB used (max 0 MiB)
356.92/310.68 c (310,298) STATISTICS2:HOME/instance-4305390-1534132342.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,353505,1652048,225,225,225,2,225:28392;56:20228;4:1780,225:151762;56:29068;22:2029302;4:1820;2:2807494,225:170;169:1;56:52;5:26897;4:654855;3:233664;2:736409,2:50400;1:4918646,
356.92/310.69 c (310,298) 352067 bool, 9178639 clause
356.92/310.69 c (310,298) Export Begin
357.23/310.82 c (310,299) Export to HOME/scop-4824-serial-file.bin
357.23/310.82 c (310,299) Export End
357.23/310.82 c (310,299) Export File Size: 0.15 MB
357.23/310.82 c (310,299) 1,1,223,274,277,277,305,STOP-AFTER(DIMACS)
357.23/310.82 c END-Prog: Mon Aug 13 05:57:33 CEST 2018
357.23/310.87 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-4824-serial-file.bin
357.93/311.36 c (0,0) Read Serial File Begin
357.93/311.36 c (0,0) HOME/scop-4824-serial-file.bin
358.25/311.58 c (0,0) Read Serial File End
358.25/311.60
358.25/311.60 scop order+minisat_release (2018-07-31)
358.25/311.60 (Solving Process)
358.25/311.60
358.51/311.62 c BEGIN-Prog: Mon Aug 13 05:57:34 CEST 2018
358.51/311.62 c PID: 4869
358.51/311.62 c IP: 172.20.3.106
358.51/311.62 c HOST: node106.alineos.net
358.51/311.62 c (0,0) SatSolver.solve Begin
358.51/311.62 c (0,0) 0 bool, 0 clause
358.51/311.62 c (0,0) minisat_release HOME/instance-4305390-1534132342.xml-scop-4827.cnf
2520.04/2471.80 c (2160,0) receiving signal SIGTERM
2520.04/2471.80 s UNKNOWN
2520.04/2471.81 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.04/2471.81 c (scop.sh) Remove HOME/scop-4824-serial-file.bin.
2520.04/2471.81 c (scop.sh) Killing background jobs.
2520.04/2471.81 c (2160,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 (9584 MiB free)
memory of node 1: 16384 MiB (13394 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305390-1534132342/watcher-4305390-1534132342 -o /tmp/evaluation-result-4305390-1534132342/solver-4305390-1534132342 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534129828-4307 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305390-1534132342.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4824, runsolver pid=4821
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 2.06 2.06 2.05 6/218 4841
/proc/meminfo: memFree=23453096/32770624 swapFree=67108688/67108860
[pid=4824] ppid=4821 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4824/stat : 4824 (scop.sh) S 4821 4824 4275 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230797060 115843072 349 33554432000 4194304 5098028 140735670861424 140735670858680 140526676251260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35741696 140735670867008 140735670867207 140735670867207 140735670869965 0
/proc/4824/statm: 28282 349 296 221 0 87 0
[pid=4827] ppid=4824 vsize=15012476 memory=73456 CPUtime=0.1 cores=1,3,5,7
/proc/4827/stat : 4827 (java) S 4824 4824 4275 0 -1 1077944320 6964 0 0 0 9 1 0 0 20 0 15 0 230797061 15372775424 18364 33554432000 4194304 4196468 140727316239424 140727316221968 139877708861175 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
/proc/4827/statm: 3753119 18364 2769 1 0 3715579 0
[pid=4827/tid=4828] ppid=4824 vsize=15012476 memory=8260060918957970267 CPUtime=0.09 cores=1,3,5,7
/proc/4827/task/4828/stat : 4828 (java) R 4824 4824 4275 0 -1 4202560 5071 0 0 0 8 1 0 0 20 0 15 0 230797061 15372775424 18364 33554432000 4194304 4196468 140727316239424 139877680654216 139877689137064 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4829] ppid=4824 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4829/stat : 4829 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230797063 15372775424 18364 33554432000 4194304 4196468 140727316239424 139877713103632 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4830] ppid=4824 vsize=15012476 memory=140101455156864 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4830/stat : 4830 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230797063 15372775424 18364 33554432000 4194304 4196468 140727316239424 139877169490832 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4831] ppid=4824 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4831/stat : 4831 (java) S 4824 4824 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230797063 15372775424 18364 33554432000 4194304 4196468 140727316239424 139877168438288 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4832] ppid=4824 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4832/stat : 4832 (java) S 4824 4824 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230797063 15372775424 18364 33554432000 4194304 4196468 140727316239424 139877167385744 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4833] ppid=4824 vsize=15012476 memory=140101455156864 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4833/stat : 4833 (java) S 4824 4824 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230797064 15372775424 18364 33554432000 4194304 4196468 140727316239424 139876678739952 139877708872322 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4834] ppid=4824 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4834/stat : 4834 (java) S 4824 4824 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230797065 15372775424 18364 33554432000 4194304 4196468 140727316239424 139876280296352 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4835] ppid=4824 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4835/stat : 4835 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230797065 15372775424 18364 33554432000 4194304 4196468 140727316239424 139876011860976 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4836] ppid=4824 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4836/stat : 4836 (java) S 4824 4824 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230797067 15372775424 18364 33554432000 4194304 4196468 140727316239424 139875637352656 139877708879771 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4837] ppid=4824 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4837/stat : 4837 (java) S 4824 4824 4275 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 230797067 15372775424 18364 33554432000 4194304 4196468 140727316239424 139876677687792 139877708872322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4838] ppid=4824 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4838/stat : 4838 (java) S 4824 4824 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230797067 15372775424 18364 33554432000 4194304 4196468 140727316239424 139876676635248 139877708872322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4839] ppid=4824 vsize=15012476 memory=140101455156864 CPUtime=0.01 cores=1,3,5,7
/proc/4827/task/4839/stat : 4839 (java) S 4824 4824 4275 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 230797067 15372775424 18364 33554432000 4194304 4196468 140727316239424 139876675582704 139877708872322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4840] ppid=4824 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4840/stat : 4840 (java) S 4824 4824 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230797067 15372775424 18364 33554432000 4194304 4196468 140727316239424 139875139447904 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4841] ppid=4824 vsize=15012476 memory=140101455156864 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4841/stat : 4841 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230797068 15372775424 18364 33554432000 4194304 4196468 140727316239424 139876674529584 139877708872322 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74852 KiB
[startup+0.211654 s]*
/proc/loadavg: 2.06 2.06 2.05 5/218 4841
/proc/meminfo: memFree=23428884/32770624 swapFree=67108688/67108860
[pid=4824] ppid=4821 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4824/stat : 4824 (scop.sh) S 4821 4824 4275 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230797060 115843072 349 33554432000 4194304 5098028 140735670861424 140735670858680 140526676251260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35741696 140735670867008 140735670867207 140735670867207 140735670869965 0
/proc/4824/statm: 28282 349 296 221 0 87 0
[pid=4827] ppid=4824 vsize=15012476 memory=86556 CPUtime=0.26 cores=1,3,5,7
/proc/4827/stat : 4827 (java) S 4824 4824 4275 0 -1 1077944320 10484 0 0 0 24 2 0 0 20 0 15 0 230797061 15372775424 21639 33554432000 4194304 4196468 140727316239424 140727316221968 139877708861175 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
/proc/4827/statm: 3753119 21639 2904 1 0 3715579 0
[pid=4827/tid=4828] ppid=4824 vsize=15012476 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/4827/task/4828/stat : 4828 (java) R 4824 4824 4275 0 -1 4202560 8406 0 0 0 18 1 0 0 20 0 15 0 230797061 15372775424 21639 33554432000 4194304 4196468 140727316239424 139877680686544 139877169527444 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4829] ppid=4824 vsize=15012476 memory=12630 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4829/stat : 4829 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230797063 15372775424 21639 33554432000 4194304 4196468 140727316239424 139877713103632 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4830] ppid=4824 vsize=15012476 memory=140101455169698 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4830/stat : 4830 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230797063 15372775424 21639 33554432000 4194304 4196468 140727316239424 139877169490832 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4831] ppid=4824 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4831/stat : 4831 (java) S 4824 4824 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230797063 15372775424 21639 33554432000 4194304 4196468 140727316239424 139877168438288 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4832] ppid=4824 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4832/stat : 4832 (java) S 4824 4824 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230797063 15372775424 21639 33554432000 4194304 4196468 140727316239424 139877167385744 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4833] ppid=4824 vsize=15012476 memory=140101455156864 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4833/stat : 4833 (java) S 4824 4824 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230797064 15372775424 21639 33554432000 4194304 4196468 140727316239424 139876678739952 139877708872322 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4834] ppid=4824 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4834/stat : 4834 (java) S 4824 4824 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230797065 15372775424 21639 33554432000 4194304 4196468 140727316239424 139876280296352 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4835] ppid=4824 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4835/stat : 4835 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230797065 15372775424 21639 33554432000 4194304 4196468 140727316239424 139876011860976 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4836] ppid=4824 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4836/stat : 4836 (java) S 4824 4824 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230797067 15372775424 21639 33554432000 4194304 4196468 140727316239424 139875637352656 139877708879771 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4837] ppid=4824 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4837/stat : 4837 (java) S 4824 4824 4275 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 15 0 230797067 15372775424 21639 33554432000 4194304 4196468 140727316239424 139876677687792 139877708872322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4838] ppid=4824 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4838/stat : 4838 (java) S 4824 4824 4275 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 230797067 15372775424 21639 33554432000 4194304 4196468 140727316239424 139876676635248 139877708872322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4839] ppid=4824 vsize=15012476 memory=140101455156864 CPUtime=0.03 cores=1,3,5,7
/proc/4827/task/4839/stat : 4839 (java) R 4824 4824 4275 0 -1 4202560 289 0 0 0 3 0 0 0 20 0 15 0 230797067 15372775424 21639 33554432000 4194304 4196468 140727316239424 139876675582704 139877687350849 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4840] ppid=4824 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4840/stat : 4840 (java) S 4824 4824 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230797067 15372775424 21639 33554432000 4194304 4196468 140727316239424 139875139447904 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4841] ppid=4824 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4841/stat : 4841 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230797068 15372775424 21639 33554432000 4194304 4196468 140727316239424 139876674529584 139877708872322 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87952 KiB
[startup+0.310626 s]*
/proc/loadavg: 2.06 2.06 2.05 5/218 4841
/proc/meminfo: memFree=23408708/32770624 swapFree=67108688/67108860
[pid=4824] ppid=4821 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4824/stat : 4824 (scop.sh) S 4821 4824 4275 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230797060 115843072 349 33554432000 4194304 5098028 140735670861424 140735670858680 140526676251260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35741696 140735670867008 140735670867207 140735670867207 140735670869965 0
/proc/4824/statm: 28282 349 296 221 0 87 0
[pid=4827] ppid=4824 vsize=15012476 memory=90080 CPUtime=0.42 cores=1,3,5,7
/proc/4827/stat : 4827 (java) S 4824 4824 4275 0 -1 1077944320 11021 0 0 0 40 2 0 0 20 0 15 0 230797061 15372775424 22520 33554432000 4194304 4196468 140727316239424 140727316221968 139877708861175 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
/proc/4827/statm: 3753119 22520 2982 1 0 3715579 0
[pid=4827/tid=4828] ppid=4824 vsize=15012476 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/4827/task/4828/stat : 4828 (java) R 4824 4824 4275 0 -1 4202560 8780 0 0 0 28 2 0 0 20 0 15 0 230797061 15372775424 22520 33554432000 4194304 4196468 140727316239424 139877680656176 139877708883101 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4829] ppid=4824 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4829/stat : 4829 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230797063 15372775424 22520 33554432000 4194304 4196468 140727316239424 139877713103632 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4830] ppid=4824 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4830/stat : 4830 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230797063 15372775424 22520 33554432000 4194304 4196468 140727316239424 139877169490832 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4831] ppid=4824 vsize=15012476 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4831/stat : 4831 (java) S 4824 4824 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230797063 15372775424 22520 33554432000 4194304 4196468 140727316239424 139877168438288 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4832] ppid=4824 vsize=15012476 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4832/stat : 4832 (java) S 4824 4824 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230797063 15372775424 22520 33554432000 4194304 4196468 140727316239424 139877167385744 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4833] ppid=4824 vsize=15012476 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4833/stat : 4833 (java) S 4824 4824 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230797064 15372775424 22520 33554432000 4194304 4196468 140727316239424 139876678739952 139877708872322 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4834] ppid=4824 vsize=15012476 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4834/stat : 4834 (java) S 4824 4824 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230797065 15372775424 22520 33554432000 4194304 4196468 140727316239424 139876280296352 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4835] ppid=4824 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4835/stat : 4835 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230797065 15372775424 22520 33554432000 4194304 4196468 140727316239424 139876011860976 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4836] ppid=4824 vsize=15012476 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4836/stat : 4836 (java) S 4824 4824 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230797067 15372775424 22520 33554432000 4194304 4196468 140727316239424 139875637352656 139877708879771 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4837] ppid=4824 vsize=15012476 memory=8325818968683490714 CPUtime=0.02 cores=1,3,5,7
/proc/4827/task/4837/stat : 4837 (java) R 4824 4824 4275 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 230797067 15372775424 22520 33554432000 4194304 4196468 140727316239424 139876677687792 139877708872322 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4838] ppid=4824 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4827/task/4838/stat : 4838 (java) R 4824 4824 4275 0 -1 4202560 229 0 0 0 2 0 0 0 20 0 15 0 230797067 15372775424 22520 33554432000 4194304 4196468 140727316239424 139876676635248 139877688709237 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4839] ppid=4824 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4827/task/4839/stat : 4839 (java) R 4824 4824 4275 0 -1 4202560 310 0 0 0 7 0 0 0 20 0 15 0 230797067 15372775424 22520 33554432000 4194304 4196468 140727316239424 139876675582704 139877694026728 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4840] ppid=4824 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4840/stat : 4840 (java) S 4824 4824 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230797067 15372775424 22520 33554432000 4194304 4196468 140727316239424 139875139447904 139877708871381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4841] ppid=4824 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4841/stat : 4841 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230797068 15372775424 22520 33554432000 4194304 4196468 140727316239424 139876674529584 139877708872322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91476 KiB
[startup+0.710368 s]
/proc/loadavg: 2.06 2.06 2.05 5/218 4841
/proc/meminfo: memFree=23339968/32770624 swapFree=67108688/67108860
[pid=4824] ppid=4821 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4824/stat : 4824 (scop.sh) S 4821 4824 4275 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230797060 115843072 349 33554432000 4194304 5098028 140735670861424 140735670858680 140526676251260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35741696 140735670867008 140735670867207 140735670867207 140735670869965 0
/proc/4824/statm: 28282 349 296 221 0 87 0
[pid=4827] ppid=4824 vsize=15018748 memory=135456 CPUtime=1.06 cores=1,3,5,7
/proc/4827/stat : 4827 (java) S 4824 4824 4275 0 -1 1077944320 17946 0 0 0 103 3 0 0 20 0 15 0 230797061 15379197952 33864 33554432000 4194304 4196468 140727316239424 140727316221968 139877708861175 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
/proc/4827/statm: 3754687 33864 3127 1 0 3716091 0
[pid=4827/tid=4828] ppid=4824 vsize=15018748 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/4827/task/4828/stat : 4828 (java) R 4824 4824 4275 0 -1 4202560 15126 0 0 0 65 3 0 0 20 0 15 0 230797061 15379197952 33864 33554432000 4194304 4196468 140727316239424 139877680692424 139877692941662 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4829] ppid=4824 vsize=15018748 memory=288230613197271346 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4829/stat : 4829 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230797063 15379197952 33864 33554432000 4194304 4196468 140727316239424 139877713103632 139877708871381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4830] ppid=4824 vsize=15018748 memory=14972273996090760 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4830/stat : 4830 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230797063 15379197952 33864 33554432000 4194304 4196468 140727316239424 139877169490832 139877708871381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4831] ppid=4824 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4831/stat : 4831 (java) S 4824 4824 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230797063 15379197952 33864 33554432000 4194304 4196468 140727316239424 139877168438288 139877708871381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4832] ppid=4824 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4832/stat : 4832 (java) S 4824 4824 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230797063 15379197952 33864 33554432000 4194304 4196468 140727316239424 139877167385744 139877708871381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4833] ppid=4824 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4833/stat : 4833 (java) S 4824 4824 4275 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 230797064 15379197952 33864 33554432000 4194304 4196468 140727316239424 139876678739952 139877708872322 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4834] ppid=4824 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4834/stat : 4834 (java) S 4824 4824 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230797065 15379197952 33864 33554432000 4194304 4196468 140727316239424 139876280296352 139877708871381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4835] ppid=4824 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4835/stat : 4835 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230797065 15379197952 33864 33554432000 4194304 4196468 140727316239424 139876011860976 139877708871381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4836] ppid=4824 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4836/stat : 4836 (java) S 4824 4824 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230797067 15379197952 33864 33554432000 4194304 4196468 140727316239424 139875637352656 139877708879771 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4837] ppid=4824 vsize=15018748 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4827/task/4837/stat : 4837 (java) S 4824 4824 4275 0 -1 1077944384 553 0 0 0 8 0 0 0 20 0 15 0 230797067 15379197952 33864 33554432000 4194304 4196468 140727316239424 139876677687792 139877708872322 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4838] ppid=4824 vsize=15018748 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4827/task/4838/stat : 4838 (java) S 4824 4824 4275 0 -1 1077944384 460 0 0 0 10 0 0 0 20 0 15 0 230797067 15379197952 33864 33554432000 4194304 4196468 140727316239424 139876676635248 139877708872322 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4839] ppid=4824 vsize=15018748 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/4827/task/4839/stat : 4839 (java) R 4824 4824 4275 0 -1 4202560 471 0 0 0 18 0 0 0 20 0 15 0 230797067 15379197952 33864 33554432000 4194304 4196468 140727316239424 139876675580376 139877687506753 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4840] ppid=4824 vsize=15018748 memory=8026938946223620196 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4840/stat : 4840 (java) S 4824 4824 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230797067 15379197952 33864 33554432000 4194304 4196468 140727316239424 139875139447904 139877708871381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
[pid=4827/tid=4841] ppid=4824 vsize=15018748 memory=7588683464131439975 CPUtime=0 cores=1,3,5,7
/proc/4827/task/4841/stat : 4841 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230797068 15379197952 33864 33554432000 4194304 4196468 140727316239424 139876674529584 139877708872322 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29863936 140727316247559 140727316247857 140727316247857 140727316250575 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 136852 KiB
[startup+1.50076 s]
/proc/loadavg: 2.29 2.11 2.06 7/218 4841
/proc/meminfo: memFree=23096904/32770624 swapFree=67108688/67108860
[pid=4824] ppid=4821 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4824/stat : 4824 (scop.sh) S 4821 4824 4275 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230797060 115843072 349 33554432000 4194304 5098028 140735670861424 140735670858680 140526676251260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35741696 140735670867008 140735670867207 140735670867207 140735670869965 0
/proc/4824/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=4869/tid=4872] ppid=4824 vsize=8068220 memory=116860 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4872/stat : 4872 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230828149 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695897901712 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4873] ppid=4824 vsize=8068220 memory=116860 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4873/stat : 4873 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230828149 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695896848656 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4874] ppid=4824 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4874/stat : 4874 (java) S 4824 4824 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230828149 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695895796112 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4875] ppid=4824 vsize=8068220 memory=1472 CPUtime=0.04 cores=1,3,5,7
/proc/4869/task/4875/stat : 4875 (java) S 4824 4824 4275 0 -1 1077944384 5 0 0 0 1 3 0 0 20 0 19 0 230828151 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695471885040 140696093502082 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4876] ppid=4824 vsize=8068220 memory=116860 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4876/stat : 4876 (java) S 4824 4824 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230828151 8261857280 29215 33554432000 4194304 4196468 140729399916336 140694941329056 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4877] ppid=4824 vsize=8068220 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4877/stat : 4877 (java) S 4824 4824 4275 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230828151 8261857280 29215 33554432000 4194304 4196468 140729399916336 140694807106800 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4878] ppid=4824 vsize=8068220 memory=62756 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4878/stat : 4878 (java) S 4824 4824 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230828154 8261857280 29215 33554432000 4194304 4196468 140729399916336 140694432602576 140696093509531 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4879] ppid=4824 vsize=8068220 memory=1472 CPUtime=0.15 cores=1,3,5,7
/proc/4869/task/4879/stat : 4879 (java) S 4824 4824 4275 0 -1 1077944384 935 0 0 0 15 0 0 0 20 0 19 0 230828154 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695470831856 140696093502082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4880] ppid=4824 vsize=8068220 memory=116860 CPUtime=0.16 cores=1,3,5,7
/proc/4869/task/4880/stat : 4880 (java) S 4824 4824 4275 0 -1 1077944384 424 0 0 0 15 1 0 0 20 0 19 0 230828154 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695469779312 140696093502082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4881] ppid=4824 vsize=8068220 memory=4 CPUtime=0.23 cores=1,3,5,7
/proc/4869/task/4881/stat : 4881 (java) S 4824 4824 4275 0 -1 1077944384 594 0 0 0 23 0 0 0 20 0 19 0 230828154 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695468726256 140696093502082 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4882] ppid=4824 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4882/stat : 4882 (java) S 4824 4824 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230828154 8261857280 29215 33554432000 4194304 4196468 140729399916336 140693934696800 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4883] ppid=4824 vsize=8068220 memory=1472 CPUtime=1.24 cores=1,3,5,7
/proc/4869/task/4883/stat : 4883 (java) S 4824 4824 4275 0 -1 1077944384 139 0 0 0 59 65 0 0 20 0 19 0 230828155 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695467674672 140696093502082 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4885] ppid=4824 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4885/stat : 4885 (java) S 4824 4824 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230828225 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695545861952 140696093515545 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4887] ppid=4824 vsize=8068220 memory=128904 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4887/stat : 4887 (java) S 4824 4824 4275 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 230828226 8261857280 29215 33554432000 4194304 4196468 140729399916336 140693263597488 140696093512861 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4888] ppid=4824 vsize=8068220 memory=116860 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4888/stat : 4888 (java) S 4824 4824 4275 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230828226 8261857280 29215 33554432000 4194304 4196468 140729399916336 140693666250288 140696093512861 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4889] ppid=4824 vsize=8068220 memory=870064 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4889/stat : 4889 (java) S 4824 4824 4275 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 230828228 8261857280 29215 33554432000 4194304 4196468 140729399916336 140693129383200 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
Current children cumulated CPU time: 2430.49 s
Current children cumulated vsize: 9131520 KiB
Current children cumulated memory: 988396 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/228 4984
/proc/meminfo: memFree=22254100/32770624 swapFree=67108688/67108860
[pid=4824] ppid=4821 vsize=113128 memory=1472 CPUtime=357.37 cores=1,3,5,7
/proc/4824/stat : 4824 (scop.sh) S 4821 4824 4275 0 -1 4202496 591 118412 0 0 0 0 35211 526 20 0 1 0 230797060 115843072 368 33554432000 4194304 5098028 140735670861424 140735670858168 140526676251260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35741696 140735670867008 140735670867207 140735670867207 140735670869965 0
/proc/4824/statm: 28282 368 311 221 0 87 0
[pid=4869] ppid=4824 vsize=8068220 memory=116860 CPUtime=2.72 cores=1,3,5,7
/proc/4869/stat : 4869 (java) S 4824 4824 4275 0 -1 1077944320 18599 0 0 0 198 74 0 0 20 0 19 0 230828147 8261857280 29215 33554432000 4194304 4196468 140729399916336 140729399898880 140696093490935 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
/proc/4869/statm: 2017055 29215 3157 1 0 1978454 0
[pid=4884] ppid=4869 vsize=1165096 memory=920960 CPUtime=2130.43 cores=1,3,5,7
/proc/4884/stat : 4884 (minisat_release) R 4869 4824 4275 0 -1 4202496 4810142 0 0 0 212597 446 0 0 20 0 1 0 230828225 1193058304 230240 33554432000 4194304 4308513 140734017855616 140734017853032 4275601 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 19144704 140734017856629 140734017856726 140734017856726 140734017859525 0
/proc/4884/statm: 291274 230240 341 28 0 287514 0
[pid=4869/tid=4870] ppid=4824 vsize=8068220 memory=116860 CPUtime=0.79 cores=1,3,5,7
/proc/4869/task/4870/stat : 4870 (java) S 4824 4824 4275 0 -1 1077944384 15072 0 0 0 73 6 0 0 20 0 19 0 230828148 8261857280 29215 33554432000 4194304 4196468 140729399916336 140696065331088 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4871] ppid=4824 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4871/stat : 4871 (java) S 4824 4824 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230828149 8261857280 29215 33554432000 4194304 4196468 140729399916336 140696097733136 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4872] ppid=4824 vsize=8068220 memory=116860 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4872/stat : 4872 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230828149 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695897901712 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4873] ppid=4824 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4873/stat : 4873 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230828149 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695896848656 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4874] ppid=4824 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4874/stat : 4874 (java) S 4824 4824 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230828149 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695895796112 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4875] ppid=4824 vsize=8068220 memory=1472 CPUtime=0.05 cores=1,3,5,7
/proc/4869/task/4875/stat : 4875 (java) S 4824 4824 4275 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 230828151 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695471885040 140696093502082 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4876] ppid=4824 vsize=8068220 memory=906928 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4876/stat : 4876 (java) S 4824 4824 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230828151 8261857280 29215 33554432000 4194304 4196468 140729399916336 140694941329056 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4877] ppid=4824 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4877/stat : 4877 (java) S 4824 4824 4275 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230828151 8261857280 29215 33554432000 4194304 4196468 140729399916336 140694807106800 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4878] ppid=4824 vsize=8068220 memory=116860 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4878/stat : 4878 (java) S 4824 4824 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230828154 8261857280 29215 33554432000 4194304 4196468 140729399916336 140694432602576 140696093509531 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4879] ppid=4824 vsize=8068220 memory=1472 CPUtime=0.15 cores=1,3,5,7
/proc/4869/task/4879/stat : 4879 (java) S 4824 4824 4275 0 -1 1077944384 935 0 0 0 15 0 0 0 20 0 19 0 230828154 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695470831856 140696093502082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4880] ppid=4824 vsize=8068220 memory=1472 CPUtime=0.16 cores=1,3,5,7
/proc/4869/task/4880/stat : 4880 (java) S 4824 4824 4275 0 -1 1077944384 424 0 0 0 15 1 0 0 20 0 19 0 230828154 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695469779312 140696093502082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4881] ppid=4824 vsize=8068220 memory=1472 CPUtime=0.23 cores=1,3,5,7
/proc/4869/task/4881/stat : 4881 (java) S 4824 4824 4275 0 -1 1077944384 594 0 0 0 23 0 0 0 20 0 19 0 230828154 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695468726256 140696093502082 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4882] ppid=4824 vsize=8068220 memory=280202593211616 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4882/stat : 4882 (java) S 4824 4824 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230828154 8261857280 29215 33554432000 4194304 4196468 140729399916336 140693934696800 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4883] ppid=4824 vsize=8068220 memory=280202592649456 CPUtime=1.28 cores=1,3,5,7
/proc/4869/task/4883/stat : 4883 (java) S 4824 4824 4275 0 -1 1077944384 143 0 0 0 61 67 0 0 20 0 19 0 230828155 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695467674672 140696093502082 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4885] ppid=4824 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4885/stat : 4885 (java) S 4824 4824 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230828225 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695545861952 140696093515545 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4887] ppid=4824 vsize=8068220 memory=116860 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4887/stat : 4887 (java) S 4824 4824 4275 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 230828226 8261857280 29215 33554432000 4194304 4196468 140729399916336 140693263597488 140696093512861 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4888] ppid=4824 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4888/stat : 4888 (java) S 4824 4824 4275 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230828226 8261857280 29215 33554432000 4194304 4196468 140729399916336 140693666250288 140696093512861 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4889] ppid=4824 vsize=8068220 memory=116860 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4889/stat : 4889 (java) S 4824 4824 4275 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 230828228 8261857280 29215 33554432000 4194304 4196468 140729399916336 140693129383200 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
Current children cumulated CPU time: 2490.52 s
Current children cumulated vsize: 9346444 KiB
Current children cumulated memory: 1039292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/228 4985
/proc/meminfo: memFree=22316748/32770624 swapFree=67108688/67108860
[pid=4824] ppid=4821 vsize=113128 memory=1472 CPUtime=357.37 cores=1,3,5,7
/proc/4824/stat : 4824 (scop.sh) S 4821 4824 4275 0 -1 4202496 591 118412 0 0 0 0 35211 526 20 0 1 0 230797060 115843072 368 33554432000 4194304 5098028 140735670861424 140735670858168 140526676251260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35741696 140735670867008 140735670867207 140735670867207 140735670869965 0
/proc/4824/statm: 28282 368 311 221 0 87 0
[pid=4869] ppid=4824 vsize=8068220 memory=116860 CPUtime=2.74 cores=1,3,5,7
/proc/4869/stat : 4869 (java) S 4824 4824 4275 0 -1 1077944320 18601 0 0 0 199 75 0 0 20 0 19 0 230828147 8261857280 29215 33554432000 4194304 4196468 140729399916336 140729399898880 140696093490935 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
/proc/4869/statm: 2017055 29215 3157 1 0 1978454 0
[pid=4884] ppid=4869 vsize=950172 memory=857776 CPUtime=2159.93 cores=1,3,5,7
/proc/4884/stat : 4884 (minisat_release) R 4869 4824 4275 0 -1 4202496 4917263 0 0 0 215534 459 0 0 20 0 1 0 230828225 972976128 214444 33554432000 4194304 4308513 140734017855616 140734017853064 4278109 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 19144704 140734017856629 140734017856726 140734017856726 140734017859525 0
/proc/4884/statm: 237543 214444 341 28 0 233783 0
[pid=4869/tid=4870] ppid=4824 vsize=8068220 memory=924 CPUtime=0.79 cores=1,3,5,7
/proc/4869/task/4870/stat : 4870 (java) S 4824 4824 4275 0 -1 1077944384 15072 0 0 0 73 6 0 0 20 0 19 0 230828148 8261857280 29215 33554432000 4194304 4196468 140729399916336 140696065331088 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4871] ppid=4824 vsize=8068220 memory=2192 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4871/stat : 4871 (java) S 4824 4824 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230828149 8261857280 29215 33554432000 4194304 4196468 140729399916336 140696097733136 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4872] ppid=4824 vsize=8068220 memory=3980 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4872/stat : 4872 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230828149 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695897901712 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4873] ppid=4824 vsize=8068220 memory=1924 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4873/stat : 4873 (java) S 4824 4824 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230828149 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695896848656 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4874] ppid=4824 vsize=8068220 memory=14888 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4874/stat : 4874 (java) S 4824 4824 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230828149 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695895796112 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4875] ppid=4824 vsize=8068220 memory=3316 CPUtime=0.05 cores=1,3,5,7
/proc/4869/task/4875/stat : 4875 (java) S 4824 4824 4275 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 230828151 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695471885040 140696093502082 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4876] ppid=4824 vsize=8068220 memory=15768 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4876/stat : 4876 (java) S 4824 4824 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230828151 8261857280 29215 33554432000 4194304 4196468 140729399916336 140694941329056 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4877] ppid=4824 vsize=8068220 memory=35476 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4877/stat : 4877 (java) S 4824 4824 4275 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230828151 8261857280 29215 33554432000 4194304 4196468 140729399916336 140694807106800 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4878] ppid=4824 vsize=8068220 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4878/stat : 4878 (java) S 4824 4824 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230828154 8261857280 29215 33554432000 4194304 4196468 140729399916336 140694432602576 140696093509531 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4879] ppid=4824 vsize=8068220 memory=496 CPUtime=0.15 cores=1,3,5,7
/proc/4869/task/4879/stat : 4879 (java) S 4824 4824 4275 0 -1 1077944384 935 0 0 0 15 0 0 0 20 0 19 0 230828154 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695470831856 140696093502082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4880] ppid=4824 vsize=8068220 memory=924 CPUtime=0.16 cores=1,3,5,7
/proc/4869/task/4880/stat : 4880 (java) S 4824 4824 4275 0 -1 1077944384 424 0 0 0 15 1 0 0 20 0 19 0 230828154 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695469779312 140696093502082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4881] ppid=4824 vsize=8068220 memory=130952 CPUtime=0.23 cores=1,3,5,7
/proc/4869/task/4881/stat : 4881 (java) S 4824 4824 4275 0 -1 1077944384 594 0 0 0 23 0 0 0 20 0 19 0 230828154 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695468726256 140696093502082 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4882] ppid=4824 vsize=8068220 memory=116860 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4882/stat : 4882 (java) S 4824 4824 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230828154 8261857280 29215 33554432000 4194304 4196468 140729399916336 140693934696800 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4883] ppid=4824 vsize=8068220 memory=855728 CPUtime=1.29 cores=1,3,5,7
/proc/4869/task/4883/stat : 4883 (java) S 4824 4824 4275 0 -1 1077944384 145 0 0 0 61 68 0 0 20 0 19 0 230828155 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695467674672 140696093502082 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4885] ppid=4824 vsize=8068220 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4885/stat : 4885 (java) S 4824 4824 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230828225 8261857280 29215 33554432000 4194304 4196468 140729399916336 140695545861952 140696093515545 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4887] ppid=4824 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4887/stat : 4887 (java) S 4824 4824 4275 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 230828226 8261857280 29215 33554432000 4194304 4196468 140729399916336 140693263597488 140696093512861 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4888] ppid=4824 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4888/stat : 4888 (java) S 4824 4824 4275 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230828226 8261857280 29215 33554432000 4194304 4196468 140729399916336 140693666250288 140696093512861 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
[pid=4869/tid=4889] ppid=4824 vsize=8068220 memory=2192 CPUtime=0 cores=1,3,5,7
/proc/4869/task/4889/stat : 4889 (java) S 4824 4824 4275 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 230828228 8261857280 29215 33554432000 4194304 4196468 140729399916336 140693129383200 140696093501141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25088000 140729399923894 140729399924017 140729399924017 140729399926735 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 9131520 KiB
Current children cumulated memory: 976108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.81 s]
# the end of solver process 4824 was just reported to runsolver
# cumulated CPU time of all completed processes: user=352.112 s, system=5.26538 s
[startup+2471.89 s]
# the end of solver process 4869 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.44 s, system=10.7001 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
Child status: 1
Real time (s): 2471.89
CPU time (s): 2520.14
CPU user time (s): 2509.44
CPU system time (s): 10.7001
CPU usage (%): 101.952
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 7650332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.44
system time used= 10.7001
maximum resident set size= 7649112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5055412
page faults= 0
swaps= 0
block input operations= 16
block output operations= 405016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62649
involuntary context switches= 2954
# summary of solver processes directly reported to runsolver:
# pid: 4824,4869
# total CPU time (s): 2520.14
# total CPU user time (s): 2509.44
# total CPU system time (s): 10.7001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1112 second user time and 25.8511 second system time
The end