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-14844-serial-file.bin HOME/instance-4305652-1534132806.xml
0.67/0.53
0.67/0.53 scop both+minisat_release (2018-07-31)
0.67/0.53 (Encoding Process)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Mon Aug 13 06:00:06 CEST 2018
0.67/0.55 c PID: 14847
0.67/0.55 c IP: 172.20.3.132
0.67/0.55 c HOST: node132.alineos.net
0.67/0.56 c (0,0) Parsing Begin
2.12/1.16 c (0,0) Parsing End
2.12/1.17 c (0,0) CSP: 496 int (0 aux), 0 bool (0 aux), 482 ctr, max domain size 16
2.65/1.31 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.65/1.31 c (0,0) Constraint Name Generate Begin
2.65/1.31 c (0,0) Ctr:HOME/instance-4305652-1534132806.xml,AllDifferentMatrix:Element:Instantiation:IntVar
2.65/1.31 c (0,0) Constraint Name Generate End
2.65/1.31 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.65/1.31 c (0,0) CSP to CSPinCNF Begin
4.22/1.81 c (1,1) translated 49 (10%) constraints
4.22/1.87 c (1,1) translated 97 (20%) constraints
4.51/1.93 c (1,1) translated 145 (30%) constraints
4.51/1.98 c (1,1) translated 193 (40%) constraints
4.85/2.03 c (1,1) translated 241 (50%) constraints
4.85/2.09 c (1,1) translated 290 (60%) constraints
5.16/2.13 c (1,1) translated 338 (70%) constraints
5.16/2.17 c (1,1) translated 386 (80%) constraints
5.43/2.21 c (1,1) translated 434 (90%) constraints
5.43/2.24 c (1,1) translated 482 (100%) constraints
6.08/2.40 c (1,1) STATISTICS1:HOME/instance-4305652-1534132806.xml,AllDifferentMatrix:Element:Instantiation:IntVar,496,11600,16,16,16,2,16:17760;1:1440,16:30720;1:1040,16:64;3:7680;2:3840;1:16,2:19200;1:8736,
6.08/2.40 c (1,1) ==========================================
6.08/2.40 c (1,1) Both Encoding selects:
6.08/2.40 c (1,1) Order
6.08/2.40 c (1,1) ==========================================
6.48/2.52 c (1,1) translated 1160 (10%) constraints
6.48/2.58 c (2,2) translated 2320 (20%) constraints
6.79/2.64 c (2,2) translated 3480 (30%) constraints
7.40/2.81 c (2,2) translated 4640 (40%) constraints
7.71/2.97 c (2,2) translated 5800 (50%) constraints
8.04/3.10 c (2,2) translated 6960 (60%) constraints
8.59/3.22 c (2,2) translated 8120 (70%) constraints
8.81/3.32 c (2,2) translated 9280 (80%) constraints
9.11/3.43 c (2,2) translated 10440 (90%) constraints
9.33/3.52 c (2,2) translated 11600 (100%) constraints
9.33/3.53 c (2,2) CSP to CSPinCNF End
9.33/3.53 c (3,2) CSP: 496 int (0 aux), 7440 bool (7440 aux), 26976 ctr, max domain size 16
9.33/3.53 c (3,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
9.33/3.53 c (3,2) CSPinCNF Propagation Begin
10.21/3.80 c (3,3) 2 values, 1332 unsatisfiable literals, and 288 valid clauses are removed
10.21/3.80 c (3,3) CSPinCNF Propagation End
10.21/3.80 c (3,3) CSP: 496 int (0 aux), 7440 bool (7440 aux), 26688 ctr, max domain size 16
10.21/3.80 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
10.21/3.80 c (3,3) Simplify CSPinCNF Begin
10.84/4.03 c (3,3) Simplify CSPinCNF End
10.84/4.03 c (3,3) CSP: 496 int (0 aux), 14992 bool (14992 aux), 34240 ctr, max domain size 16
10.84/4.03 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
10.84/4.03 c (3,3) Calculate Precise Domain Begin
10.84/4.03 c (3,3) 0 values are removed by re-calculation
10.84/4.03 c (3,3) Calculate Precise Domain End
10.84/4.03 c (3,3) CSP: 496 int (0 aux), 14992 bool (14992 aux), 34240 ctr, max domain size 16
10.84/4.03 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
10.84/4.03 c (3,3) CSPinCNF to SatSolver Begin
11.84/4.37 c (3,3) 3424 (10 %) CSP clauses are encoded (22128 SAT variables, 39599 SAT clauses)
12.44/4.55 c (4,4) 6848 (20 %) CSP clauses are encoded (22128 SAT variables, 72608 SAT clauses)
12.74/4.68 c (4,4) 10272 (30 %) CSP clauses are encoded (22128 SAT variables, 105381 SAT clauses)
13.04/4.79 c (4,4) 13696 (40 %) CSP clauses are encoded (22128 SAT variables, 138628 SAT clauses)
13.38/4.90 c (4,4) 17120 (50 %) CSP clauses are encoded (22128 SAT variables, 171867 SAT clauses)
13.38/5.00 c (4,4) 20544 (60 %) CSP clauses are encoded (22128 SAT variables, 205106 SAT clauses)
13.49/5.10 c (4,4) 23968 (70 %) CSP clauses are encoded (22128 SAT variables, 238524 SAT clauses)
13.69/5.20 c (4,4) 27392 (80 %) CSP clauses are encoded (22128 SAT variables, 271852 SAT clauses)
13.78/5.31 c (4,4) 30816 (90 %) CSP clauses are encoded (22128 SAT variables, 305178 SAT clauses)
13.89/5.41 c (4,4) 34240 (100 %) CSP clauses are encoded (22128 SAT variables, 338511 SAT clauses)
13.89/5.41 c (4,4) Launch Command will be: minisat_release
13.89/5.41 c (4,4) CSPinCNF to SatSolver End
13.89/5.41 c (4,4) Heap : 1746 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
14.45/5.60 c (5,5) STATISTICS2:HOME/instance-4305652-1534132806.xml,AllDifferentMatrix:Element:Instantiation:IntVar,15488,34240,16,16,14,2,16:15288;15:5144;14:688;1:1732,16:48788;15:9152;14:1016;2:37956;1:1732,14:60;3:6592;2:27588,2:22852;1:52940,
14.45/5.60 c (5,5) 22128 bool, 338512 clause
14.45/5.60 c (5,5) Export Begin
14.78/5.72 c (5,5) Export to HOME/scop-14844-serial-file.bin
14.78/5.72 c (5,5) Export End
14.78/5.72 c (5,5) Export File Size: 0.08 MB
14.78/5.72 c (5,5) 0,0,3,3,3,3,4,STOP-AFTER(DIMACS)
14.78/5.72 c END-Prog: Mon Aug 13 06:00:11 CEST 2018
14.78/5.74 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-14844-serial-file.bin
15.46/6.24 c (0,0) Read Serial File Begin
15.46/6.24 c (0,0) HOME/scop-14844-serial-file.bin
15.73/6.56 c (0,0) Read Serial File End
15.73/6.57
15.73/6.57 scop order+minisat_release (2018-07-31)
15.73/6.57 (Solving Process)
15.73/6.57
15.73/6.59 c BEGIN-Prog: Mon Aug 13 06:00:12 CEST 2018
15.73/6.59 c PID: 14862
15.73/6.59 c IP: 172.20.3.132
15.73/6.59 c HOST: node132.alineos.net
15.73/6.60 c (0,0) SatSolver.solve Begin
15.73/6.60 c (0,0) 0 bool, 0 clause
15.73/6.60 c (0,0) minisat_release HOME/instance-4305652-1534132806.xml-scop-14847.cnf
2518.40/2507.20 c (2501,0) c This is COMiniSatPS.
2518.40/2507.20 c (2501,0) c WARNING: for repeatability, setting FPU to use double precision
2518.40/2507.20 c (2501,0) c ============================[ Problem Statistics ]=============================
2518.40/2507.20 c (2501,0) c | |
2518.40/2507.20 c (2501,0) c | Number of variables: 22128 |
2518.40/2507.20 c (2501,0) c | Number of clauses: 338512 |
2518.40/2507.20 c (2501,0) c | Parse time: 0.09 s |
2518.40/2507.21 c (2501,0) c | Eliminated clauses: 0.24 Mb |
2518.40/2507.21 c (2501,0) c Reduced to 10436 vars, 309344 cls (grow=0)
2518.40/2507.21 c (2501,0) c No iterative elimination performed. (vars=10436, c/v ratio=29.6)
2518.40/2507.21 c (2501,0) c | Simplification time: 0.41 s |
2518.40/2507.21 c (2501,0) c | |
2518.40/2507.21 c (2501,0) c ============================[ Search Statistics ]==============================
2518.40/2507.21 c (2501,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2518.40/2507.21 c (2501,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2518.40/2507.21 c (2501,0) c ===============================================================================
2518.40/2507.21 c (2501,0) c Switched to VSIDS.
2520.00/2508.80 c (2502,0) receiving signal SIGTERM
2520.00/2508.80 s UNKNOWN
2520.00/2508.80 c (2502,0) SatSolver is killed by some reasons.
2520.00/2508.81 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.00/2508.81 c (scop.sh) Killing background jobs.
2520.00/2508.81 HOME/scop.sh: line 50: kill: (14862) - No such process
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (6911 MiB free)
memory of node 1: 16384 MiB (10298 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305652-1534132806/watcher-4305652-1534132806 -o /tmp/evaluation-result-4305652-1534132806/solver-4305652-1534132806 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534131563-14336 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305652-1534132806.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14844, runsolver pid=14841
Current StackSize limit: 8192 KiB
[startup+0.100126 s]*
/proc/loadavg: 2.39 2.15 1.95 3/226 14861
/proc/meminfo: memFree=17564096/32770624 swapFree=67108860/67108860
[pid=14844] ppid=14841 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14844/stat : 14844 (scop.sh) S 14841 14844 14305 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 230843740 115843072 349 33554432000 4194304 5098028 140728606773920 140728606771176 140536633971324 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33050624 140728606778433 140728606778631 140728606778631 140728606781389 0
/proc/14844/statm: 28282 349 296 221 0 87 0
[pid=14847] ppid=14844 vsize=15012476 memory=71760 CPUtime=0.11 cores=0,2,4,6
/proc/14847/stat : 14847 (java) S 14844 14844 14305 0 -1 1077944320 6562 0 0 0 10 1 0 0 20 0 15 0 230843740 15372775424 17940 33554432000 4194304 4196468 140723628725888 140723628708432 140705646046967 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
/proc/14847/statm: 3753119 17940 2762 1 0 3715579 0
[pid=14847/tid=14848] ppid=14844 vsize=15012476 memory=-6367101157092147135 CPUtime=0.09 cores=0,2,4,6
/proc/14847/task/14848/stat : 14848 (java) R 14844 14844 14305 0 -1 4202560 4652 0 0 0 8 1 0 0 20 0 15 0 230843741 15372775424 17940 33554432000 4194304 4196468 140723628725888 140705617858952 140705629233793 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14849] ppid=14844 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14849/stat : 14849 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843742 15372775424 17940 33554432000 4194304 4196468 140723628725888 140705650288912 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14850] ppid=14844 vsize=15012476 memory=140605540324992 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14850/stat : 14850 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843742 15372775424 17940 33554432000 4194304 4196468 140723628725888 140705479383440 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14851] ppid=14844 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14851/stat : 14851 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843742 15372775424 17940 33554432000 4194304 4196468 140723628725888 140705105263120 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14852] ppid=14844 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14852/stat : 14852 (java) S 14844 14844 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230843742 15372775424 17940 33554432000 4194304 4196468 140723628725888 140705104210576 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14853] ppid=14844 vsize=15012476 memory=140605540324992 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14853/stat : 14853 (java) S 14844 14844 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230843744 15372775424 17940 33554432000 4194304 4196468 140723628725888 140704415160816 140705646058114 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14854] ppid=14844 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14854/stat : 14854 (java) S 14844 14844 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230843744 15372775424 17940 33554432000 4194304 4196468 140723628725888 140704336569760 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14855] ppid=14844 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14855/stat : 14855 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843744 15372775424 17940 33554432000 4194304 4196468 140723628725888 140704068134384 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14856] ppid=14844 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14856/stat : 14856 (java) S 14844 14844 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230843747 15372775424 17940 33554432000 4194304 4196468 140723628725888 140703693626064 140705646065563 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14857] ppid=14844 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14857/stat : 14857 (java) S 14844 14844 14305 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 230843747 15372775424 17940 33554432000 4194304 4196468 140723628725888 140704414107632 140705646058114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14858] ppid=14844 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14858/stat : 14858 (java) S 14844 14844 14305 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230843747 15372775424 17940 33554432000 4194304 4196468 140723628725888 140704413055088 140705646058114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14859] ppid=14844 vsize=15012476 memory=140605540324992 CPUtime=0.01 cores=0,2,4,6
/proc/14847/task/14859/stat : 14859 (java) R 14844 14844 14305 0 -1 4202560 301 0 0 0 1 0 0 0 20 0 15 0 230843747 15372775424 17940 33554432000 4194304 4196468 140723628725888 140704412002544 140705639143724 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14860] ppid=14844 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14860/stat : 14860 (java) S 14844 14844 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230843747 15372775424 17940 33554432000 4194304 4196468 140723628725888 140703195720288 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14861] ppid=14844 vsize=15012476 memory=140605540324992 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14861/stat : 14861 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843747 15372775424 17940 33554432000 4194304 4196468 140723628725888 140704410950448 140705646058114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73156 KiB
[startup+0.210779 s]*
/proc/loadavg: 2.39 2.15 1.95 3/226 14861
/proc/meminfo: memFree=17549900/32770624 swapFree=67108860/67108860
[pid=14844] ppid=14841 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14844/stat : 14844 (scop.sh) S 14841 14844 14305 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 230843740 115843072 349 33554432000 4194304 5098028 140728606773920 140728606771176 140536633971324 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33050624 140728606778433 140728606778631 140728606778631 140728606781389 0
/proc/14844/statm: 28282 349 296 221 0 87 0
[pid=14847] ppid=14844 vsize=15012476 memory=85332 CPUtime=0.25 cores=0,2,4,6
/proc/14847/stat : 14847 (java) S 14844 14844 14305 0 -1 1077944320 10129 0 0 0 23 2 0 0 20 0 15 0 230843740 15372775424 21333 33554432000 4194304 4196468 140723628725888 140723628708432 140705646046967 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
/proc/14847/statm: 3753119 21333 2914 1 0 3715579 0
[pid=14847/tid=14848] ppid=14844 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/14847/task/14848/stat : 14848 (java) R 14844 14844 14305 0 -1 4202560 7966 0 0 0 18 2 0 0 20 0 15 0 230843741 15372775424 21333 33554432000 4194304 4196468 140723628725888 140705617855712 140705630090597 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14849] ppid=14844 vsize=15012476 memory=545 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14849/stat : 14849 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843742 15372775424 21333 33554432000 4194304 4196468 140723628725888 140705650288912 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14850] ppid=14844 vsize=15012476 memory=140605541589624 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14850/stat : 14850 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843742 15372775424 21333 33554432000 4194304 4196468 140723628725888 140705479383440 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14851] ppid=14844 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14851/stat : 14851 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843742 15372775424 21333 33554432000 4194304 4196468 140723628725888 140705105263120 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14852] ppid=14844 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14852/stat : 14852 (java) S 14844 14844 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230843742 15372775424 21333 33554432000 4194304 4196468 140723628725888 140705104210576 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14853] ppid=14844 vsize=15012476 memory=140605540324992 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14853/stat : 14853 (java) S 14844 14844 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230843744 15372775424 21333 33554432000 4194304 4196468 140723628725888 140704415160816 140705646058114 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14854] ppid=14844 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14854/stat : 14854 (java) S 14844 14844 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230843744 15372775424 21333 33554432000 4194304 4196468 140723628725888 140704336569760 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14855] ppid=14844 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14855/stat : 14855 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843744 15372775424 21333 33554432000 4194304 4196468 140723628725888 140704068134384 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14856] ppid=14844 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14856/stat : 14856 (java) S 14844 14844 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230843747 15372775424 21333 33554432000 4194304 4196468 140723628725888 140703693626064 140705646065563 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14857] ppid=14844 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14847/task/14857/stat : 14857 (java) S 14844 14844 14305 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 15 0 230843747 15372775424 21333 33554432000 4194304 4196468 140723628725888 140704414107632 140705646058114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14858] ppid=14844 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14858/stat : 14858 (java) S 14844 14844 14305 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 230843747 15372775424 21333 33554432000 4194304 4196468 140723628725888 140704413055088 140705646058114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14859] ppid=14844 vsize=15012476 memory=140605540324992 CPUtime=0.03 cores=0,2,4,6
/proc/14847/task/14859/stat : 14859 (java) R 14844 14844 14305 0 -1 4202560 347 0 0 0 3 0 0 0 20 0 15 0 230843747 15372775424 21333 33554432000 4194304 4196468 140723628725888 140704412002544 140705639150835 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14860] ppid=14844 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14860/stat : 14860 (java) S 14844 14844 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230843747 15372775424 21333 33554432000 4194304 4196468 140723628725888 140703195720288 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14861] ppid=14844 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14861/stat : 14861 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843747 15372775424 21333 33554432000 4194304 4196468 140723628725888 140704410950448 140705646058114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86728 KiB
[startup+0.310806 s]*
/proc/loadavg: 2.39 2.15 1.95 3/226 14861
/proc/meminfo: memFree=17546380/32770624 swapFree=67108860/67108860
[pid=14844] ppid=14841 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14844/stat : 14844 (scop.sh) S 14841 14844 14305 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 230843740 115843072 349 33554432000 4194304 5098028 140728606773920 140728606771176 140536633971324 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33050624 140728606778433 140728606778631 140728606778631 140728606781389 0
/proc/14844/statm: 28282 349 296 221 0 87 0
[pid=14847] ppid=14844 vsize=15012476 memory=88888 CPUtime=0.43 cores=0,2,4,6
/proc/14847/stat : 14847 (java) S 14844 14844 14305 0 -1 1077944320 10769 0 0 0 41 2 0 0 20 0 15 0 230843740 15372775424 22222 33554432000 4194304 4196468 140723628725888 140723628708432 140705646046967 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
/proc/14847/statm: 3753119 22222 2964 1 0 3715579 0
[pid=14847/tid=14848] ppid=14844 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/14847/task/14848/stat : 14848 (java) R 14844 14844 14305 0 -1 4202560 8336 0 0 0 28 2 0 0 20 0 15 0 230843741 15372775424 22222 33554432000 4194304 4196468 140723628725888 140705617837648 140705627610496 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14849] ppid=14844 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14849/stat : 14849 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843742 15372775424 22222 33554432000 4194304 4196468 140723628725888 140705650288912 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14850] ppid=14844 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14850/stat : 14850 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843742 15372775424 22222 33554432000 4194304 4196468 140723628725888 140705479383440 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14851] ppid=14844 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14851/stat : 14851 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843742 15372775424 22222 33554432000 4194304 4196468 140723628725888 140705105263120 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14852] ppid=14844 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14852/stat : 14852 (java) S 14844 14844 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230843742 15372775424 22222 33554432000 4194304 4196468 140723628725888 140705104210576 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14853] ppid=14844 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14853/stat : 14853 (java) S 14844 14844 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230843744 15372775424 22222 33554432000 4194304 4196468 140723628725888 140704415160816 140705646058114 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14854] ppid=14844 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14854/stat : 14854 (java) S 14844 14844 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230843744 15372775424 22222 33554432000 4194304 4196468 140723628725888 140704336569760 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14855] ppid=14844 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14855/stat : 14855 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843744 15372775424 22222 33554432000 4194304 4196468 140723628725888 140704068134384 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14856] ppid=14844 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14856/stat : 14856 (java) S 14844 14844 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230843747 15372775424 22222 33554432000 4194304 4196468 140723628725888 140703693626064 140705646065563 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14857] ppid=14844 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14847/task/14857/stat : 14857 (java) S 14844 14844 14305 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 15 0 230843747 15372775424 22222 33554432000 4194304 4196468 140723628725888 140704414107632 140705646058114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14858] ppid=14844 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14847/task/14858/stat : 14858 (java) S 14844 14844 14305 0 -1 1077944384 197 0 0 0 2 0 0 0 20 0 15 0 230843747 15372775424 22222 33554432000 4194304 4196468 140723628725888 140704413055088 140705646058114 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14859] ppid=14844 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14847/task/14859/stat : 14859 (java) S 14844 14844 14305 0 -1 1077944384 445 0 0 0 7 0 0 0 20 0 15 0 230843747 15372775424 22222 33554432000 4194304 4196468 140723628725888 140704412002544 140705646058114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14860] ppid=14844 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14860/stat : 14860 (java) S 14844 14844 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230843747 15372775424 22222 33554432000 4194304 4196468 140723628725888 140703195720288 140705646057173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14861] ppid=14844 vsize=15012476 memory=4121417289171017777 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14861/stat : 14861 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843747 15372775424 22222 33554432000 4194304 4196468 140723628725888 140704410950448 140705646058114 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90284 KiB
[startup+0.70436 s]
/proc/loadavg: 2.39 2.15 1.95 3/226 14861
/proc/meminfo: memFree=17521828/32770624 swapFree=67108860/67108860
[pid=14844] ppid=14841 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14844/stat : 14844 (scop.sh) S 14841 14844 14305 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 230843740 115843072 349 33554432000 4194304 5098028 140728606773920 140728606771176 140536633971324 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33050624 140728606778433 140728606778631 140728606778631 140728606781389 0
/proc/14844/statm: 28282 349 296 221 0 87 0
[pid=14847] ppid=14844 vsize=15018748 memory=128100 CPUtime=1.03 cores=0,2,4,6
/proc/14847/stat : 14847 (java) S 14844 14844 14305 0 -1 1077944320 17651 0 0 0 99 4 0 0 20 0 15 0 230843740 15379197952 32025 33554432000 4194304 4196468 140723628725888 140723628708432 140705646046967 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
/proc/14847/statm: 3754687 32025 3143 1 0 3716091 0
[pid=14847/tid=14848] ppid=14844 vsize=15018748 memory=62752 CPUtime=0.68 cores=0,2,4,6
/proc/14847/task/14848/stat : 14848 (java) R 14844 14844 14305 0 -1 4202560 14665 0 0 0 64 4 0 0 20 0 15 0 230843741 15379197952 32025 33554432000 4194304 4196468 140723628725888 140705617884400 140705646068893 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14849] ppid=14844 vsize=15018748 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14849/stat : 14849 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843742 15379197952 32025 33554432000 4194304 4196468 140723628725888 140705650288912 140705646057173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14850] ppid=14844 vsize=15018748 memory=2444 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14850/stat : 14850 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843742 15379197952 32025 33554432000 4194304 4196468 140723628725888 140705479383440 140705646057173 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14851] ppid=14844 vsize=15018748 memory=1832 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14851/stat : 14851 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843742 15379197952 32025 33554432000 4194304 4196468 140723628725888 140705105263120 140705646057173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14852] ppid=14844 vsize=15018748 memory=1920 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14852/stat : 14852 (java) S 14844 14844 14305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230843742 15379197952 32025 33554432000 4194304 4196468 140723628725888 140705104210576 140705646057173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14853] ppid=14844 vsize=15018748 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14853/stat : 14853 (java) S 14844 14844 14305 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230843744 15379197952 32025 33554432000 4194304 4196468 140723628725888 140704415160816 140705646058114 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14854] ppid=14844 vsize=15018748 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14854/stat : 14854 (java) S 14844 14844 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230843744 15379197952 32025 33554432000 4194304 4196468 140723628725888 140704336569760 140705646057173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14855] ppid=14844 vsize=15018748 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14855/stat : 14855 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843744 15379197952 32025 33554432000 4194304 4196468 140723628725888 140704068134384 140705646057173 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14856] ppid=14844 vsize=15018748 memory=752 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14856/stat : 14856 (java) S 14844 14844 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230843747 15379197952 32025 33554432000 4194304 4196468 140723628725888 140703693626064 140705646065563 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14857] ppid=14844 vsize=15018748 memory=7304 CPUtime=0.07 cores=0,2,4,6
/proc/14847/task/14857/stat : 14857 (java) R 14844 14844 14305 0 -1 1077944384 523 0 0 0 7 0 0 0 20 0 15 0 230843747 15379197952 32025 33554432000 4194304 4196468 140723628725888 140704414097232 140705646057173 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14858] ppid=14844 vsize=15018748 memory=5400 CPUtime=0.09 cores=0,2,4,6
/proc/14847/task/14858/stat : 14858 (java) R 14844 14844 14305 0 -1 4202560 468 0 0 0 9 0 0 0 20 0 15 0 230843747 15379197952 32025 33554432000 4194304 4196468 140723628725888 140704413044080 140705630446511 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14859] ppid=14844 vsize=15018748 memory=1108 CPUtime=0.17 cores=0,2,4,6
/proc/14847/task/14859/stat : 14859 (java) R 14844 14844 14305 0 -1 4202560 661 0 0 0 17 0 0 0 20 0 15 0 230843747 15379197952 32025 33554432000 4194304 4196468 140723628725888 140704411998272 140705646058902 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14860] ppid=14844 vsize=15018748 memory=10784 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14860/stat : 14860 (java) S 14844 14844 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230843747 15379197952 32025 33554432000 4194304 4196468 140723628725888 140703195720288 140705646057173 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
[pid=14847/tid=14861] ppid=14844 vsize=15018748 memory=872 CPUtime=0 cores=0,2,4,6
/proc/14847/task/14861/stat : 14861 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230843747 15379197952 32025 33554432000 4194304 4196468 140723628725888 140704410950448 140705646058114 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28192768 140723628729351 140723628729649 140723628729649 140723628732367 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 129496 KiB
[startup+1.50078 s]
/proc/loadavg: 2.39 2.15 1.95 3/226 14861
/proc/meminfo: memFree=17491740/32770624 swapFree=67108860/67108860
[pid=14844] ppid=14841 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14844/stat : 14844 (scop.sh) S 14841 14844 14305 0 -1 4202496 561 321 0 0 0 0 0 0 20 0 1 0 230843740 115843072 349 33554432000 4194304 5098028 140728606773920 140728606771176 140536633971324 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33050624 140728606778433 140728606778631 140728606778631 140728606781389 0
/proc/14844/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/14877/statm: 33796 22954 342 28 0 30036 0
[pid=14862/tid=14863] ppid=14844 vsize=8068220 memory=118096 CPUtime=0.78 cores=0,2,4,6
/proc/14862/task/14863/stat : 14863 (java) S 14844 14844 14305 0 -1 1077944384 14957 0 0 0 73 5 0 0 20 0 19 0 230844315 8261857280 29524 33554432000 4194304 4196468 140722365183840 140241164607376 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14864] ppid=14844 vsize=8068220 memory=118096 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14864/stat : 14864 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230844316 8261857280 29524 33554432000 4194304 4196468 140722365183840 140241197009296 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14865] ppid=14844 vsize=8068220 memory=118096 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14865/stat : 14865 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230844316 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240678078736 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14866] ppid=14844 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14866/stat : 14866 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230844316 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240677026448 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14867] ppid=14844 vsize=8068220 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14867/stat : 14867 (java) S 14844 14844 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230844316 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240675973648 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14868] ppid=14844 vsize=8068220 memory=1472 CPUtime=0.06 cores=0,2,4,6
/proc/14862/task/14868/stat : 14868 (java) S 14844 14844 14305 0 -1 1077944384 5 0 0 0 3 3 0 0 20 0 19 0 230844318 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240639257200 140241192778370 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14869] ppid=14844 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14869/stat : 14869 (java) S 14844 14844 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230844318 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240010339616 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14870] ppid=14844 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14870/stat : 14870 (java) S 14844 14844 14305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230844318 8261857280 29524 33554432000 4194304 4196468 140722365183840 140239876118128 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14871] ppid=14844 vsize=8068220 memory=118096 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14871/stat : 14871 (java) S 14844 14844 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140239501613648 140241192785819 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14872] ppid=14844 vsize=8068220 memory=1408 CPUtime=0.16 cores=0,2,4,6
/proc/14862/task/14872/stat : 14872 (java) S 14844 14844 14305 0 -1 1077944384 973 0 0 0 15 1 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240638204016 140241192778370 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14873] ppid=14844 vsize=8068220 memory=3452 CPUtime=0.12 cores=0,2,4,6
/proc/14862/task/14873/stat : 14873 (java) S 14844 14844 14305 0 -1 1077944384 380 0 0 0 11 1 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240637151216 140241192778370 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14874] ppid=14844 vsize=8068220 memory=1472 CPUtime=0.23 cores=0,2,4,6
/proc/14862/task/14874/stat : 14874 (java) S 14844 14844 14305 0 -1 1077944384 603 0 0 0 23 0 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240636098928 140241192778370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14875] ppid=14844 vsize=8068220 memory=118096 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14875/stat : 14875 (java) S 14844 14844 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140239003707872 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14876] ppid=14844 vsize=8068220 memory=1472 CPUtime=1.54 cores=0,2,4,6
/proc/14862/task/14876/stat : 14876 (java) S 14844 14844 14305 0 -1 1077944384 162 0 0 0 73 81 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240635046832 140241192778370 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14878] ppid=14844 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14878/stat : 14878 (java) S 14844 14844 14305 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230844402 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240627238336 140241192791833 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14880] ppid=14844 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14880/stat : 14880 (java) S 14844 14844 14305 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 230844402 8261857280 29524 33554432000 4194304 4196468 140722365183840 140238466822192 140241192789149 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14881] ppid=14844 vsize=8068220 memory=3274 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14881/stat : 14881 (java) S 14844 14844 14305 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 230844403 8261857280 29524 33554432000 4194304 4196468 140722365183840 140238198390192 140241192789149 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14882] ppid=14844 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14882/stat : 14882 (java) S 14844 14844 14305 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 230844405 8261857280 29524 33554432000 4194304 4196468 140722365183840 140238601051040 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
Current children cumulated CPU time: 2453.45 s
Current children cumulated vsize: 8316532 KiB
Current children cumulated memory: 211384 KiB
[startup+2502.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/231 15081
/proc/meminfo: memFree=17409152/32770624 swapFree=67108860/67108860
[pid=14844] ppid=14841 vsize=113128 memory=1472 CPUtime=14.87 cores=0,2,4,6
/proc/14844/stat : 14844 (scop.sh) S 14841 14844 14305 0 -1 4202496 591 30690 0 0 0 0 1448 39 20 0 1 0 230843740 115843072 368 33554432000 4194304 5098028 140728606773920 140728606770664 140536633971324 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33050624 140728606778433 140728606778631 140728606778631 140728606781389 0
/proc/14844/statm: 28282 368 311 221 0 87 0
[pid=14862] ppid=14844 vsize=8068220 memory=118096 CPUtime=2.98 cores=0,2,4,6
/proc/14862/stat : 14862 (java) S 14844 14844 14305 0 -1 1077944320 18493 0 0 0 210 88 0 0 20 0 19 0 230844315 8261857280 29524 33554432000 4194304 4196468 140722365183840 140722365166384 140241192767223 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
/proc/14862/statm: 2017055 29524 3152 1 0 1978454 0
[pid=14877] ppid=14862 vsize=135184 memory=91816 CPUtime=2495.65 cores=0,2,4,6
/proc/14877/stat : 14877 (minisat_release) R 14862 14844 14305 0 -1 4202496 352231 0 0 0 249540 25 0 0 20 0 1 0 230844402 138428416 22954 33554432000 4194304 4308513 140725121699968 140725121696872 4276465 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 33120256 140725121705076 140725121705174 140725121705174 140725121707973 0
/proc/14877/statm: 33796 22954 342 28 0 30036 0
[pid=14862/tid=14863] ppid=14844 vsize=8068220 memory=1472 CPUtime=0.78 cores=0,2,4,6
/proc/14862/task/14863/stat : 14863 (java) S 14844 14844 14305 0 -1 1077944384 14957 0 0 0 73 5 0 0 20 0 19 0 230844315 8261857280 29524 33554432000 4194304 4196468 140722365183840 140241164607376 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14864] ppid=14844 vsize=8068220 memory=118096 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14864/stat : 14864 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230844316 8261857280 29524 33554432000 4194304 4196468 140722365183840 140241197009296 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14865] ppid=14844 vsize=8068220 memory=91816 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14865/stat : 14865 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230844316 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240678078736 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14866] ppid=14844 vsize=8068220 memory=118096 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14866/stat : 14866 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230844316 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240677026448 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14867] ppid=14844 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14867/stat : 14867 (java) S 14844 14844 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230844316 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240675973648 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14868] ppid=14844 vsize=8068220 memory=118096 CPUtime=0.06 cores=0,2,4,6
/proc/14862/task/14868/stat : 14868 (java) S 14844 14844 14305 0 -1 1077944384 5 0 0 0 3 3 0 0 20 0 19 0 230844318 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240639257200 140241192778370 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14869] ppid=14844 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14869/stat : 14869 (java) S 14844 14844 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230844318 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240010339616 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14870] ppid=14844 vsize=8068220 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14870/stat : 14870 (java) S 14844 14844 14305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230844318 8261857280 29524 33554432000 4194304 4196468 140722365183840 140239876118128 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14871] ppid=14844 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14871/stat : 14871 (java) S 14844 14844 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140239501613648 140241192785819 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14872] ppid=14844 vsize=8068220 memory=4132 CPUtime=0.16 cores=0,2,4,6
/proc/14862/task/14872/stat : 14872 (java) S 14844 14844 14305 0 -1 1077944384 973 0 0 0 15 1 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240638204016 140241192778370 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14873] ppid=14844 vsize=8068220 memory=1472 CPUtime=0.12 cores=0,2,4,6
/proc/14862/task/14873/stat : 14873 (java) S 14844 14844 14305 0 -1 1077944384 380 0 0 0 11 1 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240637151216 140241192778370 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14874] ppid=14844 vsize=8068220 memory=118096 CPUtime=0.24 cores=0,2,4,6
/proc/14862/task/14874/stat : 14874 (java) S 14844 14844 14305 0 -1 1077944384 603 0 0 0 23 1 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240636098928 140241192778370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14875] ppid=14844 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14875/stat : 14875 (java) S 14844 14844 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140239003707872 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14876] ppid=14844 vsize=8068220 memory=118096 CPUtime=1.57 cores=0,2,4,6
/proc/14862/task/14876/stat : 14876 (java) S 14844 14844 14305 0 -1 1077944384 166 0 0 0 75 82 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240635046832 140241192778370 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14878] ppid=14844 vsize=8068220 memory=91816 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14878/stat : 14878 (java) S 14844 14844 14305 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230844402 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240627238336 140241192791833 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14880] ppid=14844 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14880/stat : 14880 (java) S 14844 14844 14305 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 230844402 8261857280 29524 33554432000 4194304 4196468 140722365183840 140238466822192 140241192789149 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14881] ppid=14844 vsize=8068220 memory=118096 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14881/stat : 14881 (java) S 14844 14844 14305 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 230844403 8261857280 29524 33554432000 4194304 4196468 140722365183840 140238198390192 140241192789149 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14882] ppid=14844 vsize=8068220 memory=91816 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14882/stat : 14882 (java) S 14844 14844 14305 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 230844405 8261857280 29524 33554432000 4194304 4196468 140722365183840 140238601051040 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
Current children cumulated CPU time: 2513.5 s
Current children cumulated vsize: 8316532 KiB
Current children cumulated memory: 211384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2508.8 s]
/proc/loadavg: 2.11 2.04 2.01 3/231 15081
/proc/meminfo: memFree=17409400/32770624 swapFree=67108860/67108860
[pid=14844] ppid=14841 vsize=113128 memory=1472 CPUtime=14.87 cores=0,2,4,6
/proc/14844/stat : 14844 (scop.sh) S 14841 14844 14305 0 -1 4202496 591 30690 0 0 0 0 1448 39 20 0 1 0 230843740 115843072 368 33554432000 4194304 5098028 140728606773920 140728606770664 140536633971324 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33050624 140728606778433 140728606778631 140728606778631 140728606781389 0
/proc/14844/statm: 28282 368 311 221 0 87 0
[pid=14862] ppid=14844 vsize=8068220 memory=118096 CPUtime=2.98 cores=0,2,4,6
/proc/14862/stat : 14862 (java) S 14844 14844 14305 0 -1 1077944320 18501 0 0 0 210 88 0 0 20 0 19 0 230844315 8261857280 29524 33554432000 4194304 4196468 140722365183840 140722365166384 140241192767223 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
/proc/14862/statm: 2017055 29524 3152 1 0 1978454 0
[pid=14877] ppid=14862 vsize=135184 memory=91820 CPUtime=2502.15 cores=0,2,4,6
/proc/14877/stat : 14877 (minisat_release) R 14862 14844 14305 0 -1 4202496 352395 0 0 0 250190 25 0 0 20 0 1 0 230844402 138428416 22955 33554432000 4194304 4308513 140725121699968 140725121696872 4276410 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 33120256 140725121705076 140725121705174 140725121705174 140725121707973 0
/proc/14877/statm: 33796 22955 343 28 0 30036 0
[pid=14862/tid=14863] ppid=14844 vsize=8068220 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/14862/task/14863/stat : 14863 (java) S 14844 14844 14305 0 -1 1077944384 14957 0 0 0 73 5 0 0 20 0 19 0 230844315 8261857280 29524 33554432000 4194304 4196468 140722365183840 140241164607376 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14864] ppid=14844 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14864/stat : 14864 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230844316 8261857280 29524 33554432000 4194304 4196468 140722365183840 140241197009296 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14865] ppid=14844 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14865/stat : 14865 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230844316 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240678078736 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14866] ppid=14844 vsize=8068220 memory=118096 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14866/stat : 14866 (java) S 14844 14844 14305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230844316 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240677026448 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14867] ppid=14844 vsize=8068220 memory=91816 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14867/stat : 14867 (java) S 14844 14844 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230844316 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240675973648 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14868] ppid=14844 vsize=8068220 memory=118096 CPUtime=0.06 cores=0,2,4,6
/proc/14862/task/14868/stat : 14868 (java) S 14844 14844 14305 0 -1 1077944384 5 0 0 0 3 3 0 0 20 0 19 0 230844318 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240639257200 140241192778370 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14869] ppid=14844 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14869/stat : 14869 (java) S 14844 14844 14305 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230844318 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240010339616 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14870] ppid=14844 vsize=8068220 memory=118096 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14870/stat : 14870 (java) S 14844 14844 14305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230844318 8261857280 29524 33554432000 4194304 4196468 140722365183840 140239876118128 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14871] ppid=14844 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14871/stat : 14871 (java) S 14844 14844 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140239501613648 140241192785819 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14872] ppid=14844 vsize=8068220 memory=34712 CPUtime=0.16 cores=0,2,4,6
/proc/14862/task/14872/stat : 14872 (java) S 14844 14844 14305 0 -1 1077944384 973 0 0 0 15 1 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240638204016 140241192778370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14873] ppid=14844 vsize=8068220 memory=15932 CPUtime=0.12 cores=0,2,4,6
/proc/14862/task/14873/stat : 14873 (java) S 14844 14844 14305 0 -1 1077944384 380 0 0 0 11 1 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240637151216 140241192778370 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14874] ppid=14844 vsize=8068220 memory=3332 CPUtime=0.24 cores=0,2,4,6
/proc/14862/task/14874/stat : 14874 (java) S 14844 14844 14305 0 -1 1077944384 605 0 0 0 23 1 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240636098928 140241192778370 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14875] ppid=14844 vsize=8068220 memory=-7824251494390912867 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14875/stat : 14875 (java) S 14844 14844 14305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140239003707872 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14876] ppid=14844 vsize=8068220 memory=752 CPUtime=1.58 cores=0,2,4,6
/proc/14862/task/14876/stat : 14876 (java) S 14844 14844 14305 0 -1 1077944384 168 0 0 0 75 83 0 0 20 0 19 0 230844321 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240635046832 140241192778370 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14878] ppid=14844 vsize=8068220 memory=7304 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14878/stat : 14878 (java) S 14844 14844 14305 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230844402 8261857280 29524 33554432000 4194304 4196468 140722365183840 140240627238336 140241192791833 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14880] ppid=14844 vsize=8068220 memory=5400 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14880/stat : 14880 (java) S 14844 14844 14305 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 230844402 8261857280 29524 33554432000 4194304 4196468 140722365183840 140238466822192 140241192789149 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14881] ppid=14844 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14881/stat : 14881 (java) S 14844 14844 14305 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 230844403 8261857280 29524 33554432000 4194304 4196468 140722365183840 140238198390192 140241192789149 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
[pid=14862/tid=14882] ppid=14844 vsize=8068220 memory=-7824251494390912867 CPUtime=0 cores=0,2,4,6
/proc/14862/task/14882/stat : 14882 (java) S 14844 14844 14305 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 230844405 8261857280 29524 33554432000 4194304 4196468 140722365183840 140238601051040 140241192777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28868608 140722365191349 140722365191473 140722365191473 140722365194191 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 8316532 KiB
Current children cumulated memory: 211388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2508.82 s]
# the end of solver process 14844 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.51 s, system=1.54763 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2508.82
CPU time (s): 2520.06
CPU user time (s): 2518.51
CPU system time (s): 1.54763
CPU usage (%): 100.448
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1911576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.51
system time used= 1.54763
maximum resident set size= 1912848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 402476
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60193
involuntary context switches= 886
# summary of solver processes directly reported to runsolver:
# pid: 14844
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.51
# total CPU system time (s): 1.54763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2742 second user time and 29.0628 second system time
The end