0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/glueminisat-simp-2.2.10-193oa-n-release -solverOption -model:-verb=3:-elim-cl=5000000:-native-oa -tmp HOME -serialFile HOME/scop-13343-serial-file.bin HOME/instance-4388028-1568294095.xml
0.66/0.54
0.66/0.54 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.54
0.66/0.57 c BEGIN-Prog: Thu Sep 12 15:14:13 CEST 2019
0.66/0.57 c PID: 13346
0.66/0.57 c IP: 172.20.3.147
0.66/0.57 c HOST: node147.alineos.net
0.66/0.57 c (0,0) Parsing Begin
1.42/0.92 c (0,0) Parsing End
1.42/0.93 c (0,0) CSP: 99 int (0 aux), 0 bool (0 aux), 60 ctr, max domain size 70
1.42/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.93 c (0,0) Constraint Name Generate Begin
1.42/0.93 c (0,0) Ctr:HOME/instance-4388028-1568294095.xml,Num:Var:WeightedSum
1.42/0.93 c (0,0) Constraint Name Generate End
1.42/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.93 c (0,0) CSP to CSPinCNF Begin
1.58/1.03 c (0,0) translated 6 (10%) constraints
1.58/1.05 c (0,0) translated 12 (20%) constraints
1.58/1.06 c (0,0) translated 18 (30%) constraints
1.58/1.07 c (0,0) translated 24 (40%) constraints
1.58/1.09 c (0,0) translated 30 (50%) constraints
1.58/1.09 c (0,0) translated 36 (60%) constraints
1.58/1.10 c (0,0) translated 42 (70%) constraints
1.58/1.10 c (0,0) translated 48 (80%) constraints
1.84/1.12 c (0,0) translated 54 (90%) constraints
1.84/1.12 c (0,0) translated 60 (100%) constraints
1.84/1.12 c (0,0) ===========================================
1.84/1.12 c (0,0) Order
1.84/1.12 c (0,0) ===========================================
1.84/1.16 c (0,0) translated 6 (10%) constraints
1.84/1.19 c (0,0) translated 12 (20%) constraints
1.84/1.20 c (0,0) translated 18 (30%) constraints
2.08/1.22 c (0,0) translated 24 (40%) constraints
2.08/1.23 c (0,0) translated 30 (50%) constraints
2.08/1.25 c (0,0) translated 36 (60%) constraints
2.08/1.26 c (0,0) translated 42 (70%) constraints
2.08/1.27 c (0,0) translated 48 (80%) constraints
2.08/1.28 c (0,0) translated 54 (90%) constraints
2.08/1.29 c (0,0) translated 60 (100%) constraints
2.08/1.30 c (0,0) CSP to CSPinCNF End
2.34/1.30 c (0,0) CSP: 264 int (165 aux), 0 bool (0 aux), 450 ctr, max domain size 10048
2.34/1.30 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.34/1.30 c (0,0) CSPinCNF Propagation Begin
2.34/1.33 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.34/1.33 c (0,0) CSPinCNF Propagation End
2.34/1.33 c (0,0) CSP: 264 int (165 aux), 0 bool (0 aux), 450 ctr, max domain size 10048
2.34/1.33 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.34/1.33 c (0,0) Simplify CSPinCNF Begin
2.34/1.33 c (0,0) Simplify CSPinCNF End
2.34/1.33 c (0,0) CSP: 264 int (165 aux), 0 bool (0 aux), 450 ctr, max domain size 10048
2.34/1.33 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.34/1.33 c (0,0) Calculate Precise Domain Begin
4.41/2.66 c (2,2) 109192 values are removed by re-calculation
4.41/2.66 c (2,2) Calculate Precise Domain End
4.41/2.66 c (2,2) CSP: 264 int (165 aux), 0 bool (0 aux), 450 ctr, max domain size 8128
4.41/2.66 c (2,2) Heap : 788 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
4.41/2.66 c (2,2) CSPinCNF to SatSolver Begin
430.95/209.61 c (209,132) 45 (10 %) CSP clauses are encoded (0 SAT variables, 85398310 SAT clauses)
501.80/246.63 c (246,157) 90 (20 %) CSP clauses are encoded (0 SAT variables, 101285843 SAT clauses)
674.34/328.09 c (327,207) 135 (30 %) CSP clauses are encoded (0 SAT variables, 134493593 SAT clauses)
742.87/366.90 c (366,235) 180 (40 %) CSP clauses are encoded (0 SAT variables, 152924262 SAT clauses)
958.62/476.93 c (476,307) 225 (50 %) CSP clauses are encoded (0 SAT variables, 199352666 SAT clauses)
1252.74/616.98 c (616,395) 270 (60 %) CSP clauses are encoded (0 SAT variables, 255052206 SAT clauses)
1666.73/819.36 c (818,520) 315 (70 %) CSP clauses are encoded (0 SAT variables, 335427080 SAT clauses)
1732.49/854.52 c (853,543) 360 (80 %) CSP clauses are encoded (0 SAT variables, 349722566 SAT clauses)
1796.38/895.28 c (894,574) 405 (90 %) CSP clauses are encoded (0 SAT variables, 368985794 SAT clauses)
1893.09/945.90 c (945,607) 450 (100 %) CSP clauses are encoded (0 SAT variables, 390665178 SAT clauses)
1893.10/946.84 c (945,607) CSPinCNF to SatSolver End
1893.10/946.84 c (945,607) Heap : 5649 MiB used (max 10297 MiB), NonHeap : 26 MiB used (max 0 MiB)
1893.10/946.84 c (945,607) 495900 bool, 390666577 clause
1893.10/946.84 c (945,607) Export Begin
1893.18/946.93 c (946,608) Export to HOME/scop-13343-serial-file.bin
1893.18/946.93 c (946,608) Export End
1893.18/946.93 c (946,608) Export File Size: 0.02 MB
1893.18/946.93 c (946,608) 0,0,0,0,0,2,945,STOP-AFTER(DIMACS)
1893.18/946.93 c END-Prog: Thu Sep 12 15:29:59 CEST 2019
1893.18/947.00 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13343-serial-file.bin
1893.32/947.50 c (0,0) Read Serial File Begin
1893.32/947.50 c (0,0) HOME/scop-13343-serial-file.bin
1893.32/947.71 c (0,0) Read Serial File End
1893.32/947.72
1893.32/947.72 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
1893.32/947.72 (Solving Process)
1893.32/947.72
1893.32/947.75 c BEGIN-Prog: Thu Sep 12 15:30:00 CEST 2019
1893.32/947.75 c PID: 13446
1893.32/947.75 c IP: 172.20.3.147
1893.32/947.75 c HOST: node147.alineos.net
1893.32/947.75 c (0,0) SatSolver.solve Begin
1893.32/947.75 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388028-1568294095.xml-scop-13346.cnf
1893.32/947.79 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1893.32/947.79 c (0,0) c glueminisat-simp-2.2.10-193oa-n
1893.32/947.79 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388028-1568294095.xml-scop-13346.cnf
1893.32/947.79 c (0,0) c Options:
1893.32/947.79 c (0,0) c CORE
1893.32/947.79 c (0,0) c var_decay = 0.950
1893.32/947.79 c (0,0) c clause_decay = 0.999
1893.32/947.79 c (0,0) c random_var_freq = 0.000
1893.32/947.79 c (0,0) c random_seed = 91648253.000
1893.32/947.79 c (0,0) c luby_restart = 1
1893.32/947.79 c (0,0) c ccmin_mode = 2
1893.32/947.79 c (0,0) c phase_saving = 2
1893.32/947.79 c (0,0) c rnd_pol = 0
1893.32/947.79 c (0,0) c rnd_init_act = 0
1893.32/947.79 c (0,0) c garbage_frac = 0.200
1893.32/947.79 c (0,0) c restart_first = 1000
1893.32/947.79 c (0,0) c restart_inc = 2.000
1893.32/947.79 c (0,0) c MODEL
1893.32/947.79 c (0,0) c partial_model = 0
1893.32/947.79 c (0,0) c PROPAGATION
1893.32/947.79 c (0,0) c bin_propagation = 1
1893.32/947.79 c (0,0) c SIMPLIFICATION
1893.32/947.79 c (0,0) c lrn_min_size = 100
1893.32/947.79 c (0,0) c lazy_simp = 1
1893.32/947.79 c (0,0) c lazy_interval = 10
1893.32/947.79 c (0,0) c lazy_fld_probing = 1
1893.32/947.79 c (0,0) c lazy_pol_probing = 1
1893.32/947.79 c (0,0) c lazy_nec_probing = 1
1893.32/947.79 c (0,0) c lazy_eqv_probing = 1
1893.32/947.79 c (0,0) c lazy_cla_probing = 1
1893.32/947.79 c (0,0) c lazy_lrn_min = 2
1893.32/947.79 c (0,0) c lazy_uw_lit_elim = 1
1893.32/947.79 c (0,0) c lazy_pr_lit_elim = 0
1893.32/947.79 c (0,0) c lazy_bin_add = 3
1893.32/947.79 c (0,0) c probed_lit_chain = 1
1893.32/947.79 c (0,0) c pr_min_lits = 0.00020
1893.32/947.79 c (0,0) c pr_min_starts = 500
1893.32/947.79 c (0,0) c rw_min_lits = 0.010
1893.32/947.79 c (0,0) c rw_min_starts = 500
1893.32/947.79 c (0,0) c rand_attach = 0
1893.32/947.79 c (0,0) c dec_elim = 1
1893.32/947.79 c (0,0) c dec_elim_lim = 25
1893.32/947.79 c (0,0) c dec_elim_len = -1
1893.32/947.79 c (0,0) c amo = 0
1893.32/947.79 c (0,0) c amo_grp = 1
1893.32/947.79 c (0,0) c amo_max_bins = 1000000
1893.32/947.79 c (0,0) c amo_starts = 50
1893.32/947.79 c (0,0) c mace_cmd = mace
1893.32/947.79 c (0,0) c DECISION
1893.32/947.79 c (0,0) c rand_rebuild = 0
1893.32/947.79 c (0,0) c rand_rebuild_confs = 10000
1893.32/947.79 c (0,0) c inc_var_decay = 1
1893.32/947.79 c (0,0) c inc_var_decay_period = 100000
1893.32/947.79 c (0,0) c inc_var_decay_init = 0.600
1893.32/947.79 c (0,0) c var_decay_mode = 0
1893.32/947.79 c (0,0) c var_decay_gain = 0
1893.32/947.79 c (0,0) c sloped_var_decay = 1
1893.32/947.79 c (0,0) c max_var_decay = 0.990
1893.32/947.79 c (0,0) c min_var_decay = 0.950
1893.32/947.79 c (0,0) c min_var_decay_vars = 10000
1893.32/947.79 c (0,0) c max_var_decay_vars = 500
1893.32/947.79 c (0,0) c uip_bumping = 1
1893.32/947.79 c (0,0) c lbd_act_bumping = 1
1893.32/947.79 c (0,0) c rand_tiebreak = 0
1893.32/947.79 c (0,0) c simp_rebuild = 1
1893.32/947.79 c (0,0) c RESTART
1893.32/947.79 c (0,0) c restart_strategy = 2
1893.32/947.79 c (0,0) c restart_blocking = 0
1893.32/947.79 c (0,0) c agility_decay = 0.99990
1893.32/947.79 c (0,0) c lbd_restart_rate = 0.800
1893.32/947.79 c (0,0) c dec_restart_rate = 0.950
1893.32/947.79 c (0,0) c blk_restart_rate = 0.700
1893.32/947.79 c (0,0) c lbd_queue_size = 50
1893.32/947.79 c (0,0) c dec_queue_size = 50
1893.32/947.79 c (0,0) c trl_queue_size = 5000
1893.32/947.79 c (0,0) c blk_restart_weight = 1.000
1893.32/947.79 c (0,0) c inc_rst_rate = 0
1893.32/947.79 c (0,0) c inc_rst_rate_period = 500000
1893.32/947.79 c (0,0) c inc_lbd_rst_rate_init = 0.600
1893.32/947.79 c (0,0) c inc_dec_rst_rate_init = 0.750
1893.32/947.79 c (0,0) c REDUCTION
1893.32/947.79 c (0,0) c closed_lbd = 0
1893.32/947.79 c (0,0) c closed_lbd_rate = 0.500
1893.32/947.79 c (0,0) c rm_simulate = 0
1893.32/947.79 c (0,0) c rdb_eval = 2
1893.32/947.79 c (0,0) c rdb_call = 3
1893.32/947.79 c (0,0) c rdb_ub = 0.500
1893.32/947.79 c (0,0) c core_lbd_cvr = 0.800
1893.32/947.79 c (0,0) c supp_lbd_cvr = 0.990
1893.32/947.79 c (0,0) c core_lbd_lb = 2
1893.32/947.79 c (0,0) c supp_lbd_lb = 2
1893.32/947.79 c (0,0) c core_lbd_prd = 7
1893.32/947.79 c (0,0) c supp_lbd_prd = 1
1893.32/947.79 c (0,0) c othr_lbd_prd = 0
1893.32/947.79 c (0,0) c inc_lrn_limit = 1000
1893.32/947.79 c (0,0) c frozen_lbd = 30
1893.32/947.79 c (0,0) c simp_min_starts = 100
1893.32/947.79 c (0,0) c rm_low_act_learnts = 1
1893.32/947.79 c (0,0) c lv0_reduce_db = 0
1893.32/947.79 c (0,0) c reduce_db_base = 20000
1893.32/947.79 c (0,0) c reduce_db_inc = 1000
1893.32/947.79 c (0,0) c HARD
1893.32/947.79 c (0,0) c inst_check = 200000
1893.32/947.79 c (0,0) c small_block = 1.750
1893.32/947.79 c (0,0) c slow_restart_speed = 400.000
1893.32/947.79 c (0,0) c slow_restart_strategy = 3
1893.32/947.79 c (0,0) c slow_lbd_restart_rate = 0.700
1893.32/947.79 c (0,0) c slow_dec_restart_rate = 1.000
1893.32/947.79 c (0,0) c slow_lbd_queue_size = 50
1893.32/947.79 c (0,0) c slow_var_decay = 0.950
1893.32/947.79 c (0,0) c slow_glue_threshold = 2
1893.32/947.79 c (0,0) c slow_phase_saving = 2
1893.32/947.79 c (0,0) c fast_restart_speed = 125.000
1893.32/947.79 c (0,0) c fast_restart_strategy = 1
1893.32/947.79 c (0,0) c fast_lbd_restart_rate = 0.800
1893.32/947.79 c (0,0) c fast_dec_restart_rate = 0.950
1893.32/947.79 c (0,0) c fast_lbd_queue_size = 50
1893.32/947.79 c (0,0) c fast_var_decay = 1.000
1893.32/947.79 c (0,0) c fast_glue_threshold = 2
1893.32/947.79 c (0,0) c fast_phase_saving = 2
1893.32/947.79 c (0,0) c STATS
1893.32/947.79 c (0,0) c stats_conf_size = 10000
1893.32/947.79 c (0,0) c max_stats_size = 30
1893.32/947.79 c (0,0) c SOLVER
1893.32/947.79 c (0,0) c minisat = 0
1925.93/979.20 c (31,0) receiving signal SIGTERM
1925.93/979.20 s UNKNOWN
1925.93/979.21 c (scop.sh) Receiving Signal. Removing all intermediate files.
1925.93/979.21 c (scop.sh) Remove HOME/scop-13343-serial-file.bin.
1925.93/979.21 c (scop.sh) Killing background jobs.
1925.93/979.21 c (31,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 (6094 MiB free)
memory of node 1: 16384 MiB (7309 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388028-1568294095/watcher-4388028-1568294095 -o /tmp/evaluation-result-4388028-1568294095/solver-4388028-1568294095 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568286038-9751 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388028-1568294095.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=13343, runsolver pid=13340
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.61 3.97 3.04 4/236 13360
/proc/meminfo: memFree=13665036/32770624 swapFree=66957008/67108860
[pid=13343] ppid=13340 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13343/stat : 13343 (scop.sh) S 13340 13343 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405323370 115843072 349 33554432000 4194304 5098028 140720643813360 140720643810616 140081397879420 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29769728 140720643818280 140720643818608 140720643818608 140720643821517 0
/proc/13343/statm: 28282 349 296 221 0 87 0
[pid=13346] ppid=13343 vsize=15012696 memory=72672 CPUtime=0.12 cores=0,2,4,6
/proc/13346/stat : 13346 (java) S 13343 13343 8853 0 -1 1077944320 6392 0 0 0 10 2 0 0 20 0 15 0 405323371 15373000704 18168 33554432000 4194304 4196468 140733396144768 140733396127312 140578211397367 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
/proc/13346/statm: 3753174 18168 2936 1 0 3715579 0
[pid=13346/tid=13347] ppid=13343 vsize=15012696 memory=-6365130832255172547 CPUtime=0.09 cores=0,2,4,6
/proc/13346/task/13347/stat : 13347 (java) R 13343 13343 8853 0 -1 4202560 4219 0 0 0 8 1 0 0 20 0 15 0 405323371 15373000704 18168 33554432000 4194304 4196468 140733396144768 140578183191272 140578195477854 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13348] ppid=13343 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13348/stat : 13348 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323373 15373000704 18168 33554432000 4194304 4196468 140733396144768 140578215639952 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13349] ppid=13343 vsize=15012696 memory=139797946234496 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13349/stat : 13349 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323373 15373000704 18168 33554432000 4194304 4196468 140733396144768 140577672129296 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13350] ppid=13343 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13350/stat : 13350 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323373 15373000704 18168 33554432000 4194304 4196468 140733396144768 140577671077008 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13351] ppid=13343 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13351/stat : 13351 (java) S 13343 13343 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405323373 15373000704 18168 33554432000 4194304 4196468 140733396144768 140577670024208 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13352] ppid=13343 vsize=15012696 memory=139797946234496 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13352/stat : 13352 (java) S 13343 13343 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405323374 15373000704 18168 33554432000 4194304 4196468 140733396144768 140576980555888 140578211408514 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13353] ppid=13343 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13353/stat : 13353 (java) S 13343 13343 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405323374 15373000704 18168 33554432000 4194304 4196468 140733396144768 140576896836384 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13354] ppid=13343 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13354/stat : 13354 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323375 15373000704 18168 33554432000 4194304 4196468 140733396144768 140576628401264 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13355] ppid=13343 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13355/stat : 13355 (java) S 13343 13343 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405323377 15373000704 18168 33554432000 4194304 4196468 140733396144768 140576253892688 140578211415963 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13356] ppid=13343 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13356/stat : 13356 (java) S 13343 13343 8853 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 405323377 15373000704 18234 33554432000 4194304 4196468 140733396144768 140576979503728 140578211408514 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13357] ppid=13343 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13357/stat : 13357 (java) S 13343 13343 8853 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 405323377 15373000704 18234 33554432000 4194304 4196468 140733396144768 140576978450928 140578211408514 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13358] ppid=13343 vsize=15012696 memory=139797946234496 CPUtime=0.01 cores=0,2,4,6
/proc/13346/task/13358/stat : 13358 (java) R 13343 13343 8853 0 -1 4202560 424 0 0 0 1 0 0 0 20 0 15 0 405323377 15373000704 18234 33554432000 4194304 4196468 140733396144768 140576977395512 140578190115976 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13359] ppid=13343 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13359/stat : 13359 (java) S 13343 13343 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405323377 15373000704 18234 33554432000 4194304 4196468 140733396144768 140575755987936 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13360] ppid=13343 vsize=15012696 memory=139797946234496 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13360/stat : 13360 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323378 15373000704 18234 33554432000 4194304 4196468 140733396144768 140576976345520 140578211408514 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74068 KiB
[startup+0.210855 s]*
/proc/loadavg: 4.61 3.97 3.04 3/236 13360
/proc/meminfo: memFree=13646448/32770624 swapFree=66957008/67108860
[pid=13343] ppid=13340 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13343/stat : 13343 (scop.sh) S 13340 13343 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405323370 115843072 349 33554432000 4194304 5098028 140720643813360 140720643810616 140081397879420 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29769728 140720643818280 140720643818608 140720643818608 140720643821517 0
/proc/13343/statm: 28282 349 296 221 0 87 0
[pid=13346] ppid=13343 vsize=15012696 memory=88308 CPUtime=0.25 cores=0,2,4,6
/proc/13346/stat : 13346 (java) S 13343 13343 8853 0 -1 1077944320 11561 0 0 0 22 3 0 0 20 0 15 0 405323371 15373000704 22077 33554432000 4194304 4196468 140733396144768 140733396127312 140578211397367 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
/proc/13346/statm: 3753174 22077 2973 1 0 3715579 0
[pid=13346/tid=13347] ppid=13343 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/13346/task/13347/stat : 13347 (java) R 13343 13343 8853 0 -1 4202560 9318 0 0 0 17 2 0 0 20 0 15 0 405323371 15373000704 22077 33554432000 4194304 4196468 140733396144768 140578183216784 140578211419293 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13348] ppid=13343 vsize=15012696 memory=364 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13348/stat : 13348 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323373 15373000704 22077 33554432000 4194304 4196468 140733396144768 140578215639952 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13349] ppid=13343 vsize=15012696 memory=288370174097946240 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13349/stat : 13349 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323373 15373000704 22077 33554432000 4194304 4196468 140733396144768 140577672129296 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13350] ppid=13343 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13350/stat : 13350 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323373 15373000704 22077 33554432000 4194304 4196468 140733396144768 140577671077008 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13351] ppid=13343 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13351/stat : 13351 (java) S 13343 13343 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405323373 15373000704 22077 33554432000 4194304 4196468 140733396144768 140577670024208 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13352] ppid=13343 vsize=15012696 memory=139797946234496 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13352/stat : 13352 (java) S 13343 13343 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405323374 15373000704 22077 33554432000 4194304 4196468 140733396144768 140576980555888 140578211408514 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13353] ppid=13343 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13353/stat : 13353 (java) S 13343 13343 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405323374 15373000704 22077 33554432000 4194304 4196468 140733396144768 140576896836384 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13354] ppid=13343 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13354/stat : 13354 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323375 15373000704 22077 33554432000 4194304 4196468 140733396144768 140576628401264 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13355] ppid=13343 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13355/stat : 13355 (java) S 13343 13343 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405323377 15373000704 22077 33554432000 4194304 4196468 140733396144768 140576253892688 140578211415963 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13356] ppid=13343 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13346/task/13356/stat : 13356 (java) S 13343 13343 8853 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 15 0 405323377 15373000704 22077 33554432000 4194304 4196468 140733396144768 140576979503728 140578211408514 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13357] ppid=13343 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13357/stat : 13357 (java) S 13343 13343 8853 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 405323377 15373000704 22077 33554432000 4194304 4196468 140733396144768 140576978450928 140578211408514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13358] ppid=13343 vsize=15012696 memory=139797946234496 CPUtime=0.02 cores=0,2,4,6
/proc/13346/task/13358/stat : 13358 (java) S 13343 13343 8853 0 -1 1077944384 442 0 0 0 2 0 0 0 20 0 15 0 405323377 15373000704 22077 33554432000 4194304 4196468 140733396144768 140576977398640 140578211408514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13359] ppid=13343 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13359/stat : 13359 (java) S 13343 13343 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405323377 15373000704 22077 33554432000 4194304 4196468 140733396144768 140575755987936 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13360] ppid=13343 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13360/stat : 13360 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323378 15373000704 22077 33554432000 4194304 4196468 140733396144768 140576976345520 140578211408514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89704 KiB
[startup+0.310628 s]*
/proc/loadavg: 4.61 3.97 3.04 3/236 13360
/proc/meminfo: memFree=13642912/32770624 swapFree=66957008/67108860
[pid=13343] ppid=13340 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13343/stat : 13343 (scop.sh) S 13340 13343 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405323370 115843072 349 33554432000 4194304 5098028 140720643813360 140720643810616 140081397879420 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29769728 140720643818280 140720643818608 140720643818608 140720643821517 0
/proc/13343/statm: 28282 349 296 221 0 87 0
[pid=13346] ppid=13343 vsize=15012696 memory=92080 CPUtime=0.44 cores=0,2,4,6
/proc/13346/stat : 13346 (java) S 13343 13343 8853 0 -1 1077944320 12085 0 0 0 40 4 0 0 20 0 15 0 405323371 15373000704 23020 33554432000 4194304 4196468 140733396144768 140733396127312 140578211397367 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
/proc/13346/statm: 3753174 23020 3036 1 0 3715579 0
[pid=13346/tid=13347] ppid=13343 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/13346/task/13347/stat : 13347 (java) R 13343 13343 8853 0 -1 4202560 9627 0 0 0 27 3 0 0 20 0 15 0 405323371 15373000704 23020 33554432000 4194304 4196468 140733396144768 140578183224768 140578192960871 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13348] ppid=13343 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13348/stat : 13348 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323373 15373000704 23020 33554432000 4194304 4196468 140733396144768 140578215639952 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13349] ppid=13343 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13349/stat : 13349 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323373 15373000704 23020 33554432000 4194304 4196468 140733396144768 140577672129296 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13350] ppid=13343 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13350/stat : 13350 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323373 15373000704 23020 33554432000 4194304 4196468 140733396144768 140577671077008 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13351] ppid=13343 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13351/stat : 13351 (java) S 13343 13343 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405323373 15373000704 23020 33554432000 4194304 4196468 140733396144768 140577670024208 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13352] ppid=13343 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13352/stat : 13352 (java) S 13343 13343 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405323374 15373000704 23020 33554432000 4194304 4196468 140733396144768 140576980555888 140578211408514 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13353] ppid=13343 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13353/stat : 13353 (java) S 13343 13343 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405323374 15373000704 23020 33554432000 4194304 4196468 140733396144768 140576896836384 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13354] ppid=13343 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13354/stat : 13354 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323375 15373000704 23020 33554432000 4194304 4196468 140733396144768 140576628401264 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13355] ppid=13343 vsize=15012696 memory=4628975386420216973 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13355/stat : 13355 (java) S 13343 13343 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405323377 15373000704 23020 33554432000 4194304 4196468 140733396144768 140576253892688 140578211415963 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13356] ppid=13343 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13346/task/13356/stat : 13356 (java) S 13343 13343 8853 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 15 0 405323377 15373000704 23020 33554432000 4194304 4196468 140733396144768 140576979503728 140578211408514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13357] ppid=13343 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13346/task/13357/stat : 13357 (java) S 13343 13343 8853 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 405323377 15373000704 23020 33554432000 4194304 4196468 140733396144768 140576978450928 140578211408514 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13358] ppid=13343 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13346/task/13358/stat : 13358 (java) S 13343 13343 8853 0 -1 1077944384 489 0 0 0 7 0 0 0 20 0 15 0 405323377 15373000704 23020 33554432000 4194304 4196468 140733396144768 140576977398640 140578211408514 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13359] ppid=13343 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13359/stat : 13359 (java) S 13343 13343 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405323377 15373000704 23020 33554432000 4194304 4196468 140733396144768 140575755987936 140578211407573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13360] ppid=13343 vsize=15012696 memory=4049922658021684272 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13360/stat : 13360 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323378 15373000704 23020 33554432000 4194304 4196468 140733396144768 140576976345520 140578211408514 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93476 KiB
[startup+0.700853 s]
/proc/loadavg: 4.61 3.97 3.04 3/236 13360
/proc/meminfo: memFree=13621456/32770624 swapFree=66957008/67108860
[pid=13343] ppid=13340 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13343/stat : 13343 (scop.sh) S 13340 13343 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405323370 115843072 349 33554432000 4194304 5098028 140720643813360 140720643810616 140081397879420 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29769728 140720643818280 140720643818608 140720643818608 140720643821517 0
/proc/13343/statm: 28282 349 296 221 0 87 0
[pid=13346] ppid=13343 vsize=15018968 memory=129324 CPUtime=0.99 cores=0,2,4,6
/proc/13346/stat : 13346 (java) S 13343 13343 8853 0 -1 1077944320 19669 0 0 0 93 6 0 0 20 0 15 0 405323371 15379423232 32331 33554432000 4194304 4196468 140733396144768 140733396127312 140578211397367 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
/proc/13346/statm: 3754742 32331 3176 1 0 3716091 0
[pid=13346/tid=13347] ppid=13343 vsize=15018968 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/13346/task/13347/stat : 13347 (java) R 13343 13343 8853 0 -1 4202560 16737 0 0 0 62 5 0 0 20 0 15 0 405323371 15379423232 32331 33554432000 4194304 4196468 140733396144768 140578183231744 140578195477854 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13348] ppid=13343 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13348/stat : 13348 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323373 15379423232 32331 33554432000 4194304 4196468 140733396144768 140578215639952 140578211407573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13349] ppid=13343 vsize=15018968 memory=37396 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13349/stat : 13349 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323373 15379423232 32331 33554432000 4194304 4196468 140733396144768 140577672129296 140578211407573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13350] ppid=13343 vsize=15018968 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13350/stat : 13350 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323373 15379423232 32331 33554432000 4194304 4196468 140733396144768 140577671077008 140578211407573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13351] ppid=13343 vsize=15018968 memory=988 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13351/stat : 13351 (java) S 13343 13343 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405323373 15379423232 32331 33554432000 4194304 4196468 140733396144768 140577670024208 140578211407573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13352] ppid=13343 vsize=15018968 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13352/stat : 13352 (java) S 13343 13343 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405323374 15379423232 32331 33554432000 4194304 4196468 140733396144768 140576980555888 140578211408514 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13353] ppid=13343 vsize=15018968 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13353/stat : 13353 (java) S 13343 13343 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405323374 15379423232 32331 33554432000 4194304 4196468 140733396144768 140576896836384 140578211407573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13354] ppid=13343 vsize=15018968 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13354/stat : 13354 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323375 15379423232 32331 33554432000 4194304 4196468 140733396144768 140576628401264 140578211407573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13355] ppid=13343 vsize=15018968 memory=6088 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13355/stat : 13355 (java) S 13343 13343 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405323377 15379423232 32395 33554432000 4194304 4196468 140733396144768 140576253892688 140578211415963 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13356] ppid=13343 vsize=15018968 memory=11624 CPUtime=0.07 cores=0,2,4,6
/proc/13346/task/13356/stat : 13356 (java) R 13343 13343 8853 0 -1 4202560 593 0 0 0 7 0 0 0 20 0 15 0 405323377 15379423232 32395 33554432000 4194304 4196468 140733396144768 140576979503728 140578195790854 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13357] ppid=13343 vsize=15018968 memory=732 CPUtime=0.07 cores=0,2,4,6
/proc/13346/task/13357/stat : 13357 (java) S 13343 13343 8853 0 -1 1077944384 424 0 0 0 7 0 0 0 20 0 15 0 405323377 15379423232 32395 33554432000 4194304 4196468 140733396144768 140576978450928 140578211408514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13358] ppid=13343 vsize=15018968 memory=776 CPUtime=0.15 cores=0,2,4,6
/proc/13346/task/13358/stat : 13358 (java) R 13343 13343 8853 0 -1 4202560 582 0 0 0 15 0 0 0 20 0 15 0 405323377 15379423232 32395 33554432000 4194304 4196468 140733396144768 140576977398640 140578197092256 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13359] ppid=13343 vsize=15018968 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13359/stat : 13359 (java) S 13343 13343 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405323377 15379423232 32395 33554432000 4194304 4196468 140733396144768 140575755987936 140578211407573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13360] ppid=13343 vsize=15018968 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13360/stat : 13360 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405323378 15379423232 32395 33554432000 4194304 4196468 140733396144768 140576976345520 140578211408514 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130720 KiB
[startup+1.50129 s]
/proc/loadavg: 4.61 3.97 3.04 3/236 13360
/proc/meminfo: memFree=13595744/32770624 swapFree=66957008/67108860
[pid=13343] ppid=13340 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13343/stat : 13343 (scop.sh) S 13340 13343 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405323370 115843072 349 33554432000 4194304 5098028 140720643813360 140720643810616 140081397879420 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29769728 140720643818280 140720643818608 140720643818608 140720643821517 0
/proc/13343/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/13346/task/13351/stat : 13351 (java) R 13343 13343 8853 0 -1 4202560 56913 0 0 0 29838 274 0 0 20 0 15 0 405323373 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140577670022008 140578195845585 0 4 2 25189581 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13352] ppid=13343 vsize=15027304 memory=11735524 CPUtime=1.17 cores=0,2,4,6
/proc/13346/task/13352/stat : 13352 (java) S 13343 13343 8853 0 -1 1077944384 66841 0 0 0 110 7 0 0 20 0 15 0 405323374 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140576980554400 140578211407573 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 62 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13353] ppid=13343 vsize=15027304 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13353/stat : 13353 (java) S 13343 13343 8853 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 405323374 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140576896836448 140578211407573 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13354] ppid=13343 vsize=15027304 memory=3512 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13354/stat : 13354 (java) S 13343 13343 8853 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 405323375 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140576628401280 140578211407573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13355] ppid=13343 vsize=15027304 memory=37412 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13355/stat : 13355 (java) S 13343 13343 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405323377 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140576253892688 140578211415963 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13356] ppid=13343 vsize=15027304 memory=1396 CPUtime=1.65 cores=0,2,4,6
/proc/13346/task/13356/stat : 13356 (java) S 13343 13343 8853 0 -1 1077944384 14869 0 0 0 163 2 0 0 20 0 15 0 405323377 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140576979503728 140578211408514 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13357] ppid=13343 vsize=15027304 memory=11735524 CPUtime=1.51 cores=0,2,4,6
/proc/13346/task/13357/stat : 13357 (java) S 13343 13343 8853 0 -1 1077944384 15137 0 0 0 149 2 0 0 20 0 15 0 405323377 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140576978450928 140578211408514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13358] ppid=13343 vsize=15027304 memory=1396 CPUtime=0.86 cores=0,2,4,6
/proc/13346/task/13358/stat : 13358 (java) S 13343 13343 8853 0 -1 1077944384 12434 0 0 0 84 2 0 0 20 0 15 0 405323377 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140576977398640 140578211408514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13359] ppid=13343 vsize=15027304 memory=3512 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13359/stat : 13359 (java) S 13343 13343 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405323377 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140575755987936 140578211407573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13360] ppid=13343 vsize=15027304 memory=11735524 CPUtime=0.64 cores=0,2,4,6
/proc/13346/task/13360/stat : 13360 (java) S 13343 13343 8853 0 -1 1077944384 511 0 0 0 35 29 0 0 20 0 15 0 405323378 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140576976345520 140578211408514 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 56 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
Current children cumulated CPU time: 1774.68 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 11736920 KiB
[startup+942.301 s]
/proc/loadavg: 3.08 3.00 2.97 3/235 13445
/proc/meminfo: memFree=183964/32770624 swapFree=66957008/67108860
[pid=13343] ppid=13340 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13343/stat : 13343 (scop.sh) S 13340 13343 8853 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405323370 115843072 349 33554432000 4194304 5098028 140720643813360 140720643810616 140081397879420 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29769728 140720643818280 140720643818608 140720643818608 140720643821517 0
/proc/13343/statm: 28282 349 296 221 0 87 0
[pid=13346] ppid=13343 vsize=15027304 memory=11735524 CPUtime=1886.46 cores=0,2,4,6
/proc/13346/stat : 13346 (java) S 13343 13343 8853 0 -1 1077944320 405871 0 0 0 186078 2568 0 0 20 0 15 0 405323371 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140733396127312 140578211397367 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
/proc/13346/statm: 3756826 2933881 3318 1 0 3717627 0
[pid=13346/tid=13347] ppid=13343 vsize=15027304 memory=11735524 CPUtime=605.88 cores=0,2,4,6
/proc/13346/task/13347/stat : 13347 (java) R 13343 13343 8853 0 -1 4202560 54563 0 0 0 59232 1356 0 0 20 0 15 0 405323371 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140578183236736 140577723139184 0 4 2 25189581 0 0 0 -1 0 0 0 1421 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13348] ppid=13343 vsize=15027304 memory=11735524 CPUtime=318.97 cores=0,2,4,6
/proc/13346/task/13348/stat : 13348 (java) S 13343 13343 8853 0 -1 1077944384 63991 0 0 0 31594 303 0 0 20 0 15 0 405323373 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140578215639952 140578211407573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13349] ppid=13343 vsize=15027304 memory=11735524 CPUtime=318.1 cores=0,2,4,6
/proc/13346/task/13349/stat : 13349 (java) S 13343 13343 8853 0 -1 1077944384 57071 0 0 0 31507 303 0 0 20 0 15 0 405323373 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140577672129296 140578211407573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13350] ppid=13343 vsize=15027304 memory=1396 CPUtime=318.56 cores=0,2,4,6
/proc/13346/task/13350/stat : 13350 (java) S 13343 13343 8853 0 -1 1077944384 54128 0 0 0 31556 300 0 0 20 0 15 0 405323373 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140577671077008 140578211407573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13351] ppid=13343 vsize=15027304 memory=11735524 CPUtime=318.87 cores=0,2,4,6
/proc/13346/task/13351/stat : 13351 (java) S 13343 13343 8853 0 -1 1077944384 59466 0 0 0 31611 276 0 0 20 0 15 0 405323373 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140577670024208 140578211407573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13352] ppid=13343 vsize=15027304 memory=1396 CPUtime=1.26 cores=0,2,4,6
/proc/13346/task/13352/stat : 13352 (java) S 13343 13343 8853 0 -1 1077944384 71616 0 0 0 119 7 0 0 20 0 15 0 405323374 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140576980555888 140578211408514 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 62 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13353] ppid=13343 vsize=15027304 memory=11735524 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13353/stat : 13353 (java) S 13343 13343 8853 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 405323374 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140576896836448 140578211407573 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13354] ppid=13343 vsize=15027304 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13354/stat : 13354 (java) S 13343 13343 8853 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 405323375 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140576628401280 140578211407573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13355] ppid=13343 vsize=15027304 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13355/stat : 13355 (java) S 13343 13343 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405323377 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140576253892688 140578211415963 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13356] ppid=13343 vsize=15027304 memory=11735524 CPUtime=1.65 cores=0,2,4,6
/proc/13346/task/13356/stat : 13356 (java) S 13343 13343 8853 0 -1 1077944384 15004 0 0 0 163 2 0 0 20 0 15 0 405323377 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140576979503728 140578211408514 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13357] ppid=13343 vsize=15027304 memory=1396 CPUtime=1.51 cores=0,2,4,6
/proc/13346/task/13357/stat : 13357 (java) S 13343 13343 8853 0 -1 1077944384 15140 0 0 0 149 2 0 0 20 0 15 0 405323377 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140576978450928 140578211408514 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 48 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13358] ppid=13343 vsize=15027304 memory=1396 CPUtime=0.86 cores=0,2,4,6
/proc/13346/task/13358/stat : 13358 (java) S 13343 13343 8853 0 -1 1077944384 13039 0 0 0 84 2 0 0 20 0 15 0 405323377 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140576977398640 140578211408514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13359] ppid=13343 vsize=15027304 memory=3512 CPUtime=0 cores=0,2,4,6
/proc/13346/task/13359/stat : 13359 (java) S 13343 13343 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405323377 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140575755987936 140578211407573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
[pid=13346/tid=13360] ppid=13343 vsize=15027304 memory=988 CPUtime=0.69 cores=0,2,4,6
/proc/13346/task/13360/stat : 13360 (java) S 13343 13343 8853 0 -1 1077944384 516 0 0 0 37 32 0 0 20 0 15 0 405323378 15387959296 2933881 33554432000 4194304 4196468 140733396144768 140576976345520 140578211408514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 56 0 0 6293624 6294260 12795904 140733396153070 140733396153498 140733396153498 140733396156367 0
Current children cumulated CPU time: 1886.46 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 11736920 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+979.201 s]
/proc/loadavg: 2.60 2.88 2.93 3/240 13476
/proc/meminfo: memFree=5104956/32770624 swapFree=66957008/67108860
[pid=13343] ppid=13340 vsize=113128 memory=1476 CPUtime=1893.32 cores=0,2,4,6
/proc/13343/stat : 13343 (scop.sh) S 13340 13343 8853 0 -1 4202496 582 408902 0 0 0 0 186746 2586 20 0 1 0 405323370 115843072 369 33554432000 4194304 5098028 140720643813360 140720643810104 140081397879420 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29769728 140720643818280 140720643818608 140720643818608 140720643821517 0
/proc/13343/statm: 28282 369 311 221 0 87 0
[pid=13446] ppid=13343 vsize=8068440 memory=117356 CPUtime=1.2 cores=0,2,4,6
/proc/13446/stat : 13446 (java) S 13343 13343 8853 0 -1 1077944320 20104 0 2 0 113 7 0 0 20 0 19 0 405418071 8262082560 29339 33554432000 4194304 4196468 140735955768896 140735955751440 140717129240311 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 2 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
/proc/13446/statm: 2017110 29339 3209 1 0 1978454 0
[pid=13462] ppid=13446 vsize=8566904 memory=6822812 CPUtime=31.41 cores=0,2,4,6
/proc/13462/stat : 13462 (glueminisat-sim) R 13446 13343 8853 0 -1 4202496 1235219 0 0 0 2885 256 0 0 20 0 1 0 405418148 8772509696 1705703 33554432000 4194304 4452875 140723200688976 140723199635320 140556800977893 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6552096 6554264 22011904 140723200697183 140723200697383 140723200697383 140723200700333 0
/proc/13462/statm: 2141726 1705703 339 64 0 2137930 0
[pid=13446/tid=13448] ppid=13343 vsize=8068440 memory=20 CPUtime=0.76 cores=0,2,4,6
/proc/13446/task/13448/stat : 13448 (java) S 13343 13343 8853 0 -1 1077944384 17082 0 0 0 71 5 0 0 20 0 19 0 405418074 8262082560 29339 33554432000 4194304 4196468 140735955768896 140717101080480 140717129250517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
[pid=13446/tid=13449] ppid=13343 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13446/task/13449/stat : 13449 (java) S 13343 13343 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405418076 8262082560 29339 33554432000 4194304 4196468 140735955768896 140717133482384 140717129250517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
[pid=13446/tid=13450] ppid=13343 vsize=8068440 memory=5861260 CPUtime=0 cores=0,2,4,6
/proc/13446/task/13450/stat : 13450 (java) S 13343 13343 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405418076 8262082560 29339 33554432000 4194304 4196468 140735955768896 140716614142224 140717129250517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
[pid=13446/tid=13451] ppid=13343 vsize=8068440 memory=117356 CPUtime=0 cores=0,2,4,6
/proc/13446/task/13451/stat : 13451 (java) S 13343 13343 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405418076 8262082560 29339 33554432000 4194304 4196468 140735955768896 140716613089936 140717129250517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
[pid=13446/tid=13452] ppid=13343 vsize=8068440 memory=5795076 CPUtime=0 cores=0,2,4,6
/proc/13446/task/13452/stat : 13452 (java) S 13343 13343 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405418076 8262082560 29339 33554432000 4194304 4196468 140735955768896 140716612037136 140717129250517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
[pid=13446/tid=13453] ppid=13343 vsize=8068440 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/13446/task/13453/stat : 13453 (java) S 13343 13343 8853 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405418077 8262082560 29339 33554432000 4194304 4196468 140735955768896 140716441397872 140717129251458 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
[pid=13446/tid=13454] ppid=13343 vsize=8068440 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/13446/task/13454/stat : 13454 (java) S 13343 13343 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405418078 8262082560 29339 33554432000 4194304 4196468 140735955768896 140715946403104 140717129250517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
[pid=13446/tid=13455] ppid=13343 vsize=8068440 memory=19980 CPUtime=0 cores=0,2,4,6
/proc/13446/task/13455/stat : 13455 (java) S 13343 13343 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405418078 8262082560 29339 33554432000 4194304 4196468 140735955768896 140715812181616 140717129250517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
[pid=13446/tid=13456] ppid=13343 vsize=8068440 memory=492 CPUtime=0 cores=0,2,4,6
/proc/13446/task/13456/stat : 13456 (java) S 13343 13343 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405418081 8262082560 29339 33554432000 4194304 4196468 140735955768896 140715437677136 140717129258907 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
[pid=13446/tid=13457] ppid=13343 vsize=8068440 memory=1560 CPUtime=0.09 cores=0,2,4,6
/proc/13446/task/13457/stat : 13457 (java) S 13343 13343 8853 0 -1 1077944384 593 0 0 0 9 0 0 0 20 0 19 0 405418081 8262082560 29339 33554432000 4194304 4196468 140735955768896 140716440344688 140717129251458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
[pid=13446/tid=13458] ppid=13343 vsize=8068440 memory=3665460 CPUtime=0.08 cores=0,2,4,6
/proc/13446/task/13458/stat : 13458 (java) S 13343 13343 8853 0 -1 1077944384 451 0 0 0 8 0 0 0 20 0 19 0 405418081 8262082560 29339 33554432000 4194304 4196468 140735955768896 140716439291888 140717129251458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
[pid=13446/tid=13459] ppid=13343 vsize=8068440 memory=1412 CPUtime=0.2 cores=0,2,4,6
/proc/13446/task/13459/stat : 13459 (java) S 13343 13343 8853 0 -1 1077944384 562 0 0 0 20 0 0 0 20 0 19 0 405418081 8262082560 29339 33554432000 4194304 4196468 140735955768896 140716438239600 140717129251458 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
[pid=13446/tid=13460] ppid=13343 vsize=8068440 memory=3304 CPUtime=0 cores=0,2,4,6
/proc/13446/task/13460/stat : 13460 (java) S 13343 13343 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405418081 8262082560 29339 33554432000 4194304 4196468 140735955768896 140714939771360 140717129250517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
[pid=13446/tid=13461] ppid=13343 vsize=8068440 memory=1476 CPUtime=0.02 cores=0,2,4,6
/proc/13446/task/13461/stat : 13461 (java) S 13343 13343 8853 0 -1 1077944384 3 0 0 0 1 1 0 0 20 0 19 0 405418081 8262082560 29339 33554432000 4194304 4196468 140735955768896 140716437187504 140717129251458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
[pid=13446/tid=13463] ppid=13343 vsize=8068440 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/13446/task/13463/stat : 13463 (java) S 13343 13343 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405418148 8262082560 29339 33554432000 4194304 4196468 140735955768896 140716429153728 140717129264921 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
[pid=13446/tid=13465] ppid=13343 vsize=8068440 memory=-7824251494390651239 CPUtime=0 cores=0,2,4,6
/proc/13446/task/13465/stat : 13465 (java) S 13343 13343 8853 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405418148 8262082560 29339 33554432000 4194304 4196468 140735955768896 140714402885648 140717129262237 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
[pid=13446/tid=13466] ppid=13343 vsize=8068440 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/13446/task/13466/stat : 13466 (java) S 13343 13343 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405418149 8262082560 29339 33554432000 4194304 4196468 140735955768896 140714537106832 140717129262237 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
[pid=13446/tid=13467] ppid=13343 vsize=8068440 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/13446/task/13467/stat : 13467 (java) S 13343 13343 8853 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405418151 8262082560 29339 33554432000 4194304 4196468 140735955768896 140714134461360 140717129250517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140735955776507 140735955776666 140735955776666 140735955779535 0
Current children cumulated CPU time: 1925.93 s
Current children cumulated vsize: 16748472 KiB
Current children cumulated memory: 6941644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+979.214 s]
# the end of solver process 13343 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1867.47 s, system=25.8692 s
[startup+980.853 s]
# the end of solver process 13446 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1897.46 s, system=30.1125 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+980.01 s]*
/proc/loadavg: 2.60 2.88 2.93 3/221 13480
/proc/meminfo: memFree=15688740/32770624 swapFree=66957008/67108860
Current cumulated CPU time of completed processes: 1893.34 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+980.4 s]
/proc/loadavg: 2.60 2.88 2.93 3/221 13480
/proc/meminfo: memFree=15688740/32770624 swapFree=66957008/67108860
Current cumulated CPU time of completed processes: 1893.34 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+980.8 s]
/proc/loadavg: 2.60 2.88 2.93 3/221 13480
/proc/meminfo: memFree=15688740/32770624 swapFree=66957008/67108860
Current cumulated CPU time of completed processes: 1893.34 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 980.853
CPU time (s): 1927.58
CPU user time (s): 1897.46
CPU system time (s): 30.1125
CPU usage (%): 196.52
Max. virtual memory (cumulated for all children) (KiB): 16748472
Max. memory (cumulated for all children) (KiB): 11737820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1897.46
system time used= 30.1125
maximum resident set size= 11736916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1665362
page faults= 2
swaps= 0
block input operations= 7320
block output operations= 18051720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56538
involuntary context switches= 14316
# summary of solver processes directly reported to runsolver:
# pid: 13343,13446
# total CPU time (s): 1927.58
# total CPU user time (s): 1897.46
# total CPU system time (s): 30.1125
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17354 second user time and 10.2211 second system time
The end