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-10583-serial-file.bin HOME/instance-4387845-1568291485.xml
0.66/0.52
0.66/0.52 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Sep 12 14:30:46 CEST 2019
0.66/0.55 c PID: 10586
0.66/0.55 c IP: 172.20.3.150
0.66/0.55 c HOST: node150.alineos.net
0.66/0.56 c (0,0) Parsing Begin
6.38/2.46 c (1,1) Parsing End
6.38/2.47 c (1,1) CSP: 302 int (0 aux), 0 bool (0 aux), 11626 ctr, max domain size 22501
6.38/2.47 c (1,1) Heap : 506 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
6.38/2.47 c (1,1) Constraint Name Generate Begin
6.71/2.53 c (2,1) Ctr:HOME/instance-4387845-1568291485.xml,Add:Le:Num:Var
6.71/2.53 c (2,1) Constraint Name Generate End
6.71/2.53 c (2,1) Heap : 506 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.71/2.53 c (2,1) CSP to CSPinCNF Begin
7.51/2.80 c (2,2) translated 1163 (10%) constraints
7.51/2.87 c (2,2) translated 2326 (20%) constraints
7.79/2.92 c (2,2) translated 3488 (30%) constraints
7.79/2.97 c (2,2) translated 4651 (40%) constraints
8.11/3.01 c (2,2) translated 5813 (50%) constraints
8.11/3.05 c (2,2) translated 6976 (60%) constraints
8.11/3.09 c (2,2) translated 8139 (70%) constraints
8.42/3.12 c (2,2) translated 9301 (80%) constraints
8.42/3.15 c (2,2) translated 10464 (90%) constraints
8.42/3.19 c (2,2) translated 11626 (100%) constraints
8.42/3.19 c (2,2) ===========================================
8.42/3.19 c (2,2) Order
8.42/3.19 c (2,2) ===========================================
8.70/3.23 c (2,2) translated 1163 (10%) constraints
8.70/3.25 c (2,2) translated 2326 (20%) constraints
8.70/3.27 c (2,2) translated 3488 (30%) constraints
8.70/3.29 c (2,2) translated 4651 (40%) constraints
9.00/3.31 c (2,2) translated 5813 (50%) constraints
9.00/3.33 c (2,2) translated 6976 (60%) constraints
9.00/3.35 c (2,2) translated 8139 (70%) constraints
9.00/3.37 c (2,2) translated 9301 (80%) constraints
9.00/3.38 c (2,2) translated 10464 (90%) constraints
9.31/3.40 c (2,2) translated 11626 (100%) constraints
9.31/3.41 c (2,2) CSP to CSPinCNF End
9.31/3.41 c (2,2) CSP: 302 int (0 aux), 0 bool (0 aux), 11626 ctr, max domain size 22501
9.31/3.41 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
9.31/3.41 c (2,2) CSPinCNF Propagation Begin
9.65/3.50 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
9.65/3.50 c (2,2) CSPinCNF Propagation End
9.65/3.50 c (2,2) CSP: 302 int (0 aux), 0 bool (0 aux), 11626 ctr, max domain size 22501
9.65/3.50 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.65/3.51 c (2,2) Simplify CSPinCNF Begin
9.65/3.53 c (3,2) Simplify CSPinCNF End
9.65/3.53 c (3,2) CSP: 302 int (0 aux), 0 bool (0 aux), 11626 ctr, max domain size 22501
9.65/3.53 c (3,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.65/3.53 c (3,2) Calculate Precise Domain Begin
9.65/3.53 c (3,2) 0 values are removed by re-calculation
9.65/3.53 c (3,2) Calculate Precise Domain End
9.65/3.53 c (3,2) CSP: 302 int (0 aux), 0 bool (0 aux), 11626 ctr, max domain size 22501
9.65/3.53 c (3,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.65/3.53 c (3,2) CSPinCNF to SatSolver Begin
79.58/66.43 c (65,58) 1163 (10 %) CSP clauses are encoded (0 SAT variables, 32925326 SAT clauses)
127.34/116.95 c (116,105) 2326 (20 %) CSP clauses are encoded (0 SAT variables, 59089337 SAT clauses)
175.13/168.47 c (167,152) 3488 (30 %) CSP clauses are encoded (0 SAT variables, 85230851 SAT clauses)
222.76/218.97 c (218,200) 4651 (40 %) CSP clauses are encoded (0 SAT variables, 111394862 SAT clauses)
270.49/269.77 c (269,247) 5813 (50 %) CSP clauses are encoded (0 SAT variables, 137536376 SAT clauses)
318.29/321.15 c (320,294) 6976 (60 %) CSP clauses are encoded (0 SAT variables, 163700387 SAT clauses)
365.97/372.45 c (371,341) 8139 (70 %) CSP clauses are encoded (0 SAT variables, 189864398 SAT clauses)
413.65/425.23 c (424,388) 9301 (80 %) CSP clauses are encoded (0 SAT variables, 216005912 SAT clauses)
461.33/476.80 c (476,435) 10464 (90 %) CSP clauses are encoded (0 SAT variables, 242169923 SAT clauses)
508.91/527.18 c (526,482) 11626 (100 %) CSP clauses are encoded (0 SAT variables, 268311437 SAT clauses)
509.00/527.22 c (526,482) CSPinCNF to SatSolver End
509.00/527.22 c (526,482) Heap : 2504 MiB used (max 11253 MiB), NonHeap : 26 MiB used (max 0 MiB)
509.00/527.22 c (526,482) 6794543 bool, 268333934 clause
509.00/527.22 c (526,482) Export Begin
509.17/527.33 c (526,483) Export to HOME/scop-10583-serial-file.bin
509.17/527.33 c (526,483) Export End
509.17/527.33 c (526,483) Export File Size: 0.05 MB
509.17/527.33 c (526,483) 1,2,2,2,3,3,526,STOP-AFTER(DIMACS)
509.17/527.33 c END-Prog: Thu Sep 12 14:39:33 CEST 2019
509.17/527.36 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10583-serial-file.bin
509.27/527.82 c (0,0) Read Serial File Begin
509.27/527.82 c (0,0) HOME/scop-10583-serial-file.bin
510.15/528.05 c (0,0) Read Serial File End
510.15/528.06
510.15/528.06 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
510.15/528.06 (Solving Process)
510.15/528.06
510.15/528.08 c BEGIN-Prog: Thu Sep 12 14:39:33 CEST 2019
510.15/528.08 c PID: 10640
510.15/528.08 c IP: 172.20.3.150
510.15/528.08 c HOST: node150.alineos.net
510.15/528.09 c (0,0) SatSolver.solve Begin
510.15/528.09 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387845-1568291485.xml-scop-10586.cnf
510.39/528.11 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
510.39/528.11 c (0,0) c glueminisat-simp-2.2.10-193oa-n
510.39/528.11 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4387845-1568291485.xml-scop-10586.cnf
510.39/528.11 c (0,0) c Options:
510.39/528.11 c (0,0) c CORE
510.39/528.12 c (0,0) c var_decay = 0.950
510.39/528.12 c (0,0) c clause_decay = 0.999
510.39/528.12 c (0,0) c random_var_freq = 0.000
510.39/528.12 c (0,0) c random_seed = 91648253.000
510.39/528.12 c (0,0) c luby_restart = 1
510.39/528.12 c (0,0) c ccmin_mode = 2
510.39/528.12 c (0,0) c phase_saving = 2
510.39/528.12 c (0,0) c rnd_pol = 0
510.39/528.12 c (0,0) c rnd_init_act = 0
510.39/528.12 c (0,0) c garbage_frac = 0.200
510.39/528.12 c (0,0) c restart_first = 1000
510.39/528.12 c (0,0) c restart_inc = 2.000
510.39/528.12 c (0,0) c MODEL
510.39/528.12 c (0,0) c partial_model = 0
510.39/528.12 c (0,0) c PROPAGATION
510.39/528.12 c (0,0) c bin_propagation = 1
510.39/528.12 c (0,0) c SIMPLIFICATION
510.39/528.12 c (0,0) c lrn_min_size = 100
510.39/528.12 c (0,0) c lazy_simp = 1
510.39/528.12 c (0,0) c lazy_interval = 10
510.39/528.12 c (0,0) c lazy_fld_probing = 1
510.39/528.12 c (0,0) c lazy_pol_probing = 1
510.39/528.12 c (0,0) c lazy_nec_probing = 1
510.39/528.12 c (0,0) c lazy_eqv_probing = 1
510.39/528.12 c (0,0) c lazy_cla_probing = 1
510.39/528.12 c (0,0) c lazy_lrn_min = 2
510.39/528.12 c (0,0) c lazy_uw_lit_elim = 1
510.39/528.12 c (0,0) c lazy_pr_lit_elim = 0
510.39/528.12 c (0,0) c lazy_bin_add = 3
510.39/528.12 c (0,0) c probed_lit_chain = 1
510.39/528.12 c (0,0) c pr_min_lits = 0.00020
510.39/528.12 c (0,0) c pr_min_starts = 500
510.39/528.12 c (0,0) c rw_min_lits = 0.010
510.39/528.12 c (0,0) c rw_min_starts = 500
510.39/528.12 c (0,0) c rand_attach = 0
510.39/528.12 c (0,0) c dec_elim = 1
510.39/528.12 c (0,0) c dec_elim_lim = 25
510.39/528.12 c (0,0) c dec_elim_len = -1
510.39/528.12 c (0,0) c amo = 0
510.39/528.12 c (0,0) c amo_grp = 1
510.39/528.12 c (0,0) c amo_max_bins = 1000000
510.39/528.12 c (0,0) c amo_starts = 50
510.39/528.12 c (0,0) c mace_cmd = mace
510.39/528.12 c (0,0) c DECISION
510.39/528.12 c (0,0) c rand_rebuild = 0
510.39/528.12 c (0,0) c rand_rebuild_confs = 10000
510.39/528.12 c (0,0) c inc_var_decay = 1
510.39/528.12 c (0,0) c inc_var_decay_period = 100000
510.39/528.12 c (0,0) c inc_var_decay_init = 0.600
510.39/528.12 c (0,0) c var_decay_mode = 0
510.39/528.12 c (0,0) c var_decay_gain = 0
510.39/528.12 c (0,0) c sloped_var_decay = 1
510.39/528.12 c (0,0) c max_var_decay = 0.990
510.39/528.12 c (0,0) c min_var_decay = 0.950
510.39/528.12 c (0,0) c min_var_decay_vars = 10000
510.39/528.12 c (0,0) c max_var_decay_vars = 500
510.39/528.12 c (0,0) c uip_bumping = 1
510.39/528.12 c (0,0) c lbd_act_bumping = 1
510.39/528.12 c (0,0) c rand_tiebreak = 0
510.39/528.12 c (0,0) c simp_rebuild = 1
510.39/528.12 c (0,0) c RESTART
510.39/528.12 c (0,0) c restart_strategy = 2
510.39/528.12 c (0,0) c restart_blocking = 0
510.39/528.12 c (0,0) c agility_decay = 0.99990
510.39/528.12 c (0,0) c lbd_restart_rate = 0.800
510.39/528.12 c (0,0) c dec_restart_rate = 0.950
510.39/528.12 c (0,0) c blk_restart_rate = 0.700
510.39/528.12 c (0,0) c lbd_queue_size = 50
510.39/528.12 c (0,0) c dec_queue_size = 50
510.39/528.12 c (0,0) c trl_queue_size = 5000
510.39/528.12 c (0,0) c blk_restart_weight = 1.000
510.39/528.12 c (0,0) c inc_rst_rate = 0
510.39/528.12 c (0,0) c inc_rst_rate_period = 500000
510.39/528.12 c (0,0) c inc_lbd_rst_rate_init = 0.600
510.39/528.12 c (0,0) c inc_dec_rst_rate_init = 0.750
510.39/528.12 c (0,0) c REDUCTION
510.39/528.12 c (0,0) c closed_lbd = 0
510.39/528.12 c (0,0) c closed_lbd_rate = 0.500
510.39/528.12 c (0,0) c rm_simulate = 0
510.39/528.12 c (0,0) c rdb_eval = 2
510.39/528.12 c (0,0) c rdb_call = 3
510.39/528.12 c (0,0) c rdb_ub = 0.500
510.39/528.12 c (0,0) c core_lbd_cvr = 0.800
510.39/528.12 c (0,0) c supp_lbd_cvr = 0.990
510.39/528.12 c (0,0) c core_lbd_lb = 2
510.39/528.12 c (0,0) c supp_lbd_lb = 2
510.39/528.12 c (0,0) c core_lbd_prd = 7
510.39/528.12 c (0,0) c supp_lbd_prd = 1
510.39/528.12 c (0,0) c othr_lbd_prd = 0
510.39/528.12 c (0,0) c inc_lrn_limit = 1000
510.39/528.12 c (0,0) c frozen_lbd = 30
510.39/528.12 c (0,0) c simp_min_starts = 100
510.39/528.12 c (0,0) c rm_low_act_learnts = 1
510.39/528.12 c (0,0) c lv0_reduce_db = 0
510.39/528.12 c (0,0) c reduce_db_base = 20000
510.39/528.12 c (0,0) c reduce_db_inc = 1000
510.39/528.12 c (0,0) c HARD
510.39/528.12 c (0,0) c inst_check = 200000
510.39/528.12 c (0,0) c small_block = 1.750
510.39/528.12 c (0,0) c slow_restart_speed = 400.000
510.39/528.12 c (0,0) c slow_restart_strategy = 3
510.39/528.12 c (0,0) c slow_lbd_restart_rate = 0.700
510.39/528.12 c (0,0) c slow_dec_restart_rate = 1.000
510.39/528.12 c (0,0) c slow_lbd_queue_size = 50
510.39/528.12 c (0,0) c slow_var_decay = 0.950
510.39/528.12 c (0,0) c slow_glue_threshold = 2
510.39/528.12 c (0,0) c slow_phase_saving = 2
510.39/528.12 c (0,0) c fast_restart_speed = 125.000
510.39/528.12 c (0,0) c fast_restart_strategy = 1
510.39/528.12 c (0,0) c fast_lbd_restart_rate = 0.800
510.39/528.12 c (0,0) c fast_dec_restart_rate = 0.950
510.39/528.12 c (0,0) c fast_lbd_queue_size = 50
510.39/528.12 c (0,0) c fast_var_decay = 1.000
510.39/528.12 c (0,0) c fast_glue_threshold = 2
510.39/528.12 c (0,0) c fast_phase_saving = 2
510.39/528.12 c (0,0) c STATS
510.39/528.12 c (0,0) c stats_conf_size = 10000
510.39/528.12 c (0,0) c max_stats_size = 30
510.39/528.12 c (0,0) c SOLVER
510.39/528.12 c (0,0) c minisat = 0
543.73/561.30 c (33,0) receiving signal SIGTERM
543.73/561.30 s UNKNOWN
543.73/561.31 c (scop.sh) Receiving Signal. Removing all intermediate files.
543.73/561.31 c (scop.sh) Remove HOME/scop-10583-serial-file.bin.
543.73/561.31 c (scop.sh) Killing background jobs.
543.73/561.31 c (33,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 (7620 MiB free)
memory of node 1: 16384 MiB (15834 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387845-1568291485/watcher-4387845-1568291485 -o /tmp/evaluation-result-4387845-1568291485/solver-4387845-1568291485 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568287240-8654 --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-4387845-1568291485.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10583, runsolver pid=10580
Current StackSize limit: 8192 KiB
[startup+0.100131 s]*
/proc/loadavg: 4.49 4.62 3.77 3/236 10600
/proc/meminfo: memFree=23955948/32770624 swapFree=67015492/67108860
[pid=10583] ppid=10580 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10583/stat : 10583 (scop.sh) S 10580 10583 7440 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405421098 115843072 349 33554432000 4194304 5098028 140735960666752 140735960664008 140050646159996 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8126464 140735960675112 140735960675440 140735960675440 140735960678349 0
/proc/10583/statm: 28282 349 296 221 0 87 0
[pid=10586] ppid=10583 vsize=15012696 memory=74224 CPUtime=0.11 cores=1,3,5,7
/proc/10586/stat : 10586 (java) S 10583 10583 7440 0 -1 1077944320 6294 0 0 0 10 1 0 0 20 0 15 0 405421098 15373000704 18556 33554432000 4194304 4196468 140722677890320 140722677872864 139631915142903 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
/proc/10586/statm: 3753174 18556 2903 1 0 3715579 0
[pid=10586/tid=10587] ppid=10583 vsize=15012696 memory=7533807676074704953 CPUtime=0.09 cores=1,3,5,7
/proc/10586/task/10587/stat : 10587 (java) R 10583 10583 7440 0 -1 4202560 4089 0 0 0 8 1 0 0 20 0 15 0 405421099 15373000704 18556 33554432000 4194304 4196468 140722677890320 139631886936808 139631899223390 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10588] ppid=10583 vsize=15012696 memory=3472468323407906480 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10588/stat : 10588 (java) S 10583 10583 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421100 15373000704 18556 33554432000 4194304 4196468 140722677890320 139631919385488 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10589] ppid=10583 vsize=15012696 memory=140027180226176 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10589/stat : 10589 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421100 15373000704 18556 33554432000 4194304 4196468 140722677890320 139631737473808 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10590] ppid=10583 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10590/stat : 10590 (java) S 10583 10583 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421100 15373000704 18556 33554432000 4194304 4196468 140722677890320 139631374445712 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10591] ppid=10583 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10591/stat : 10591 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421100 15373000704 18556 33554432000 4194304 4196468 140722677890320 139631373392912 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10592] ppid=10583 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10592/stat : 10592 (java) S 10583 10583 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421102 15373000704 18556 33554432000 4194304 4196468 140722677890320 139630683822192 139631915154050 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10593] ppid=10583 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10593/stat : 10593 (java) S 10583 10583 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405421102 15373000704 18556 33554432000 4194304 4196468 140722677890320 139630594745120 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10594] ppid=10583 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10594/stat : 10594 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421102 15373000704 18556 33554432000 4194304 4196468 140722677890320 139630326310000 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10595] ppid=10583 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10595/stat : 10595 (java) S 10583 10583 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421105 15373000704 18556 33554432000 4194304 4196468 140722677890320 139629951801424 139631915161499 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10596] ppid=10583 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10596/stat : 10596 (java) S 10583 10583 7440 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 15 0 405421105 15373000704 18556 33554432000 4194304 4196468 140722677890320 139630682770032 139631915154050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10597] ppid=10583 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10597/stat : 10597 (java) S 10583 10583 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421105 15373000704 18556 33554432000 4194304 4196468 140722677890320 139630681717232 139631915154050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10598] ppid=10583 vsize=15012696 memory=140027180226176 CPUtime=0.01 cores=1,3,5,7
/proc/10586/task/10598/stat : 10598 (java) R 10583 10583 7440 0 -1 4202560 427 0 0 0 1 0 0 0 20 0 15 0 405421105 15373000704 18556 33554432000 4194304 4196468 140722677890320 139630680661816 139631894104607 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10599] ppid=10583 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10599/stat : 10599 (java) S 10583 10583 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421105 15373000704 18556 33554432000 4194304 4196468 140722677890320 139629453896672 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10600] ppid=10583 vsize=15012696 memory=140027180226176 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10600/stat : 10600 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421105 15373000704 18556 33554432000 4194304 4196468 140722677890320 139630679611824 139631915154050 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75620 KiB
[startup+0.211111 s]*
/proc/loadavg: 4.49 4.62 3.77 3/236 10600
/proc/meminfo: memFree=23936836/32770624 swapFree=67015492/67108860
[pid=10583] ppid=10580 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10583/stat : 10583 (scop.sh) S 10580 10583 7440 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405421098 115843072 349 33554432000 4194304 5098028 140735960666752 140735960664008 140050646159996 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8126464 140735960675112 140735960675440 140735960675440 140735960678349 0
/proc/10583/statm: 28282 349 296 221 0 87 0
[pid=10586] ppid=10583 vsize=15012696 memory=89052 CPUtime=0.25 cores=1,3,5,7
/proc/10586/stat : 10586 (java) S 10583 10583 7440 0 -1 1077944320 11353 0 0 0 22 3 0 0 20 0 15 0 405421098 15373000704 22263 33554432000 4194304 4196468 140722677890320 140722677872864 139631915142903 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
/proc/10586/statm: 3753174 22263 2906 1 0 3715579 0
[pid=10586/tid=10587] ppid=10583 vsize=15012696 memory=8514701219881125283 CPUtime=0.2 cores=1,3,5,7
/proc/10586/task/10587/stat : 10587 (java) R 10583 10583 7440 0 -1 4202560 9088 0 0 0 18 2 0 0 20 0 15 0 405421099 15373000704 22263 33554432000 4194304 4196468 140722677890320 139631886958520 139631900883493 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10588] ppid=10583 vsize=15012696 memory=3472468323407906480 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10588/stat : 10588 (java) S 10583 10583 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421100 15373000704 22263 33554432000 4194304 4196468 140722677890320 139631919385488 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10589] ppid=10583 vsize=15012696 memory=140027180226176 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10589/stat : 10589 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421100 15373000704 22263 33554432000 4194304 4196468 140722677890320 139631737473808 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10590] ppid=10583 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10590/stat : 10590 (java) S 10583 10583 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421100 15373000704 22263 33554432000 4194304 4196468 140722677890320 139631374445712 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10591] ppid=10583 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10591/stat : 10591 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421100 15373000704 22263 33554432000 4194304 4196468 140722677890320 139631373392912 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10592] ppid=10583 vsize=15012696 memory=140027180226176 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10592/stat : 10592 (java) S 10583 10583 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421102 15373000704 22263 33554432000 4194304 4196468 140722677890320 139630683822192 139631915154050 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10593] ppid=10583 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10593/stat : 10593 (java) S 10583 10583 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405421102 15373000704 22263 33554432000 4194304 4196468 140722677890320 139630594745120 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10594] ppid=10583 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10594/stat : 10594 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421102 15373000704 22263 33554432000 4194304 4196468 140722677890320 139630326310000 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10595] ppid=10583 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10595/stat : 10595 (java) S 10583 10583 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421105 15373000704 22263 33554432000 4194304 4196468 140722677890320 139629951801424 139631915161499 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10596] ppid=10583 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10596/stat : 10596 (java) S 10583 10583 7440 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 15 0 405421105 15373000704 22263 33554432000 4194304 4196468 140722677890320 139630682770032 139631915154050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10597] ppid=10583 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10597/stat : 10597 (java) S 10583 10583 7440 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 405421105 15373000704 22263 33554432000 4194304 4196468 140722677890320 139630681717232 139631915154050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10598] ppid=10583 vsize=15012696 memory=140027180226176 CPUtime=0.03 cores=1,3,5,7
/proc/10586/task/10598/stat : 10598 (java) S 10583 10583 7440 0 -1 1077944384 436 0 0 0 3 0 0 0 20 0 15 0 405421105 15373000704 22263 33554432000 4194304 4196468 140722677890320 139630680664944 139631915154050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10599] ppid=10583 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10599/stat : 10599 (java) S 10583 10583 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421105 15373000704 22263 33554432000 4194304 4196468 140722677890320 139629453896672 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10600] ppid=10583 vsize=15012696 memory=140027180226176 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10600/stat : 10600 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421105 15373000704 22263 33554432000 4194304 4196468 140722677890320 139630679611824 139631915154050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90448 KiB
[startup+0.310898 s]*
/proc/loadavg: 4.49 4.62 3.77 4/236 10600
/proc/meminfo: memFree=23934292/32770624 swapFree=67015492/67108860
[pid=10583] ppid=10580 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10583/stat : 10583 (scop.sh) S 10580 10583 7440 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405421098 115843072 349 33554432000 4194304 5098028 140735960666752 140735960664008 140050646159996 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8126464 140735960675112 140735960675440 140735960675440 140735960678349 0
/proc/10583/statm: 28282 349 296 221 0 87 0
[pid=10586] ppid=10583 vsize=15012696 memory=92660 CPUtime=0.42 cores=1,3,5,7
/proc/10586/stat : 10586 (java) S 10583 10583 7440 0 -1 1077944320 12197 0 0 0 39 3 0 0 20 0 15 0 405421098 15373000704 23165 33554432000 4194304 4196468 140722677890320 140722677872864 139631915142903 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
/proc/10586/statm: 3753174 23165 3055 1 0 3715579 0
[pid=10586/tid=10587] ppid=10583 vsize=15012696 memory=8514701219881125283 CPUtime=0.3 cores=1,3,5,7
/proc/10586/task/10587/stat : 10587 (java) R 10583 10583 7440 0 -1 4202560 9762 0 0 0 27 3 0 0 20 0 15 0 405421099 15373000704 23165 33554432000 4194304 4196468 140722677890320 139631886955248 139631896706478 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10588] ppid=10583 vsize=15012696 memory=3472468323407906480 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10588/stat : 10588 (java) S 10583 10583 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421100 15373000704 23165 33554432000 4194304 4196468 140722677890320 139631919385488 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10589] ppid=10583 vsize=15012696 memory=140027180233642 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10589/stat : 10589 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421100 15373000704 23165 33554432000 4194304 4196468 140722677890320 139631737473808 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10590] ppid=10583 vsize=15012696 memory=140027074042171 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10590/stat : 10590 (java) S 10583 10583 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421100 15373000704 23165 33554432000 4194304 4196468 140722677890320 139631374445712 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10591] ppid=10583 vsize=15012696 memory=140027074048431 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10591/stat : 10591 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421100 15373000704 23165 33554432000 4194304 4196468 140722677890320 139631373392912 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10592] ppid=10583 vsize=15012696 memory=140027180234830 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10592/stat : 10592 (java) S 10583 10583 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421102 15373000704 23165 33554432000 4194304 4196468 140722677890320 139630683822192 139631915154050 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10593] ppid=10583 vsize=15012696 memory=140027074039247 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10593/stat : 10593 (java) S 10583 10583 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405421102 15373000704 23165 33554432000 4194304 4196468 140722677890320 139630594745120 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10594] ppid=10583 vsize=15012696 memory=280054148092272 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10594/stat : 10594 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421102 15373000704 23165 33554432000 4194304 4196468 140722677890320 139630326310000 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10595] ppid=10583 vsize=15012696 memory=140027074056680 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10595/stat : 10595 (java) S 10583 10583 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421105 15373000704 23165 33554432000 4194304 4196468 140722677890320 139629951801424 139631915161499 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10596] ppid=10583 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10586/task/10596/stat : 10596 (java) S 10583 10583 7440 0 -1 1077944384 503 0 0 0 2 0 0 0 20 0 15 0 405421105 15373000704 23165 33554432000 4194304 4196468 140722677890320 139630682770032 139631915154050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10597] ppid=10583 vsize=15012696 memory=2240 CPUtime=0.02 cores=1,3,5,7
/proc/10586/task/10597/stat : 10597 (java) S 10583 10583 7440 0 -1 1077944384 144 0 0 0 2 0 0 0 20 0 15 0 405421105 15373000704 23165 33554432000 4194304 4196468 140722677890320 139630681717232 139631915154050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10598] ppid=10583 vsize=15012696 memory=140027180226176 CPUtime=0.07 cores=1,3,5,7
/proc/10586/task/10598/stat : 10598 (java) S 10583 10583 7440 0 -1 1077944384 455 0 0 0 7 0 0 0 20 0 15 0 405421105 15373000704 23165 33554432000 4194304 4196468 140722677890320 139630680664944 139631915154050 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10599] ppid=10583 vsize=15012696 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10599/stat : 10599 (java) S 10583 10583 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421105 15373000704 23165 33554432000 4194304 4196468 140722677890320 139629453896672 139631915153109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10600] ppid=10583 vsize=15012696 memory=140027180226176 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10600/stat : 10600 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421105 15373000704 23165 33554432000 4194304 4196468 140722677890320 139630679611824 139631915154050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94056 KiB
[startup+0.700917 s]
/proc/loadavg: 4.49 4.62 3.77 3/236 10600
/proc/meminfo: memFree=23913196/32770624 swapFree=67015492/67108860
[pid=10583] ppid=10580 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10583/stat : 10583 (scop.sh) S 10580 10583 7440 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405421098 115843072 349 33554432000 4194304 5098028 140735960666752 140735960664008 140050646159996 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8126464 140735960675112 140735960675440 140735960675440 140735960678349 0
/proc/10583/statm: 28282 349 296 221 0 87 0
[pid=10586] ppid=10583 vsize=15018968 memory=132064 CPUtime=1.03 cores=1,3,5,7
/proc/10586/stat : 10586 (java) S 10583 10583 7440 0 -1 1077944320 19171 0 0 0 97 6 0 0 20 0 15 0 405421098 15379423232 33016 33554432000 4194304 4196468 140722677890320 140722677872864 139631915142903 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
/proc/10586/statm: 3754742 33016 3196 1 0 3716091 0
[pid=10586/tid=10587] ppid=10583 vsize=15018968 memory=7597685182856913236 CPUtime=0.68 cores=1,3,5,7
/proc/10586/task/10587/stat : 10587 (java) R 10583 10583 7440 0 -1 4202560 16173 0 0 0 63 5 0 0 20 0 15 0 405421099 15379423232 33016 33554432000 4194304 4196468 140722677890320 139631886980336 139631416868100 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10588] ppid=10583 vsize=15018968 memory=6935650355287975249 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10588/stat : 10588 (java) S 10583 10583 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421100 15379423232 33016 33554432000 4194304 4196468 140722677890320 139631919385488 139631915153109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10589] ppid=10583 vsize=15018968 memory=6935649255759568960 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10589/stat : 10589 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421100 15379423232 33016 33554432000 4194304 4196468 140722677890320 139631737473808 139631915153109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10590] ppid=10583 vsize=15018968 memory=-5874771483550381248 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10590/stat : 10590 (java) S 10583 10583 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421100 15379423232 33016 33554432000 4194304 4196468 140722677890320 139631374445712 139631915153109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10591] ppid=10583 vsize=15018968 memory=8370611207639232161 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10591/stat : 10591 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421100 15379423232 33016 33554432000 4194304 4196468 140722677890320 139631373392912 139631915153109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10592] ppid=10583 vsize=15018968 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10592/stat : 10592 (java) S 10583 10583 7440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405421102 15379423232 33016 33554432000 4194304 4196468 140722677890320 139630683822192 139631915154050 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10593] ppid=10583 vsize=15018968 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10593/stat : 10593 (java) S 10583 10583 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405421102 15379423232 33016 33554432000 4194304 4196468 140722677890320 139630594745120 139631915153109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10594] ppid=10583 vsize=15018968 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10594/stat : 10594 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421102 15379423232 33016 33554432000 4194304 4196468 140722677890320 139630326310000 139631915153109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10595] ppid=10583 vsize=15018968 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10595/stat : 10595 (java) S 10583 10583 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421105 15379423232 33016 33554432000 4194304 4196468 140722677890320 139629951801424 139631915161499 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10596] ppid=10583 vsize=15018968 memory=311 CPUtime=0.08 cores=1,3,5,7
/proc/10586/task/10596/stat : 10596 (java) R 10583 10583 7440 0 -1 1077944384 736 0 0 0 8 0 0 0 20 0 15 0 405421105 15379423232 33016 33554432000 4194304 4196468 140722677890320 139630682761984 139631915153109 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10597] ppid=10583 vsize=15018968 memory=10 CPUtime=0.08 cores=1,3,5,7
/proc/10586/task/10597/stat : 10597 (java) R 10583 10583 7440 0 -1 4202560 330 0 0 0 8 0 0 0 20 0 15 0 405421105 15379423232 33016 33554432000 4194304 4196468 140722677890320 139630681704080 139631900040531 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10598] ppid=10583 vsize=15018968 memory=1284 CPUtime=0.16 cores=1,3,5,7
/proc/10586/task/10598/stat : 10598 (java) R 10583 10583 7440 0 -1 4202560 598 0 0 0 16 0 0 0 20 0 15 0 405421105 15379423232 33016 33554432000 4194304 4196468 140722677890320 139630680660704 139631899223390 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10599] ppid=10583 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10599/stat : 10599 (java) S 10583 10583 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421105 15379423232 33016 33554432000 4194304 4196468 140722677890320 139629453896672 139631915153109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10600] ppid=10583 vsize=15018968 memory=7591186987463698790 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10600/stat : 10600 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421105 15379423232 33016 33554432000 4194304 4196468 140722677890320 139630679611824 139631915154050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 133460 KiB
[startup+1.50076 s]
/proc/loadavg: 4.49 4.62 3.77 5/236 10600
/proc/meminfo: memFree=23854988/32770624 swapFree=67015492/67108860
[pid=10583] ppid=10580 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10583/stat : 10583 (scop.sh) S 10580 10583 7440 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 405421098 115843072 349 33554432000 4194304 5098028 140735960666752 140735960664008 140050646159996 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8126464 140735960675112 140735960675440 140735960675440 140735960678349 0
/proc/10583/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/10586/task/10588/stat : 10588 (java) S 10583 10583 7440 0 -1 1077944384 6448 0 0 0 366 52 0 0 20 0 15 0 405421100 15387959296 1159113 33554432000 4194304 4196468 140722677890320 139631919385488 139631915153109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10589] ppid=10583 vsize=15027304 memory=4636452 CPUtime=4.24 cores=1,3,5,7
/proc/10586/task/10589/stat : 10589 (java) S 10583 10583 7440 0 -1 1077944384 5585 0 0 0 373 51 0 0 20 0 15 0 405421100 15387959296 1159113 33554432000 4194304 4196468 140722677890320 139631737473808 139631915153109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10590] ppid=10583 vsize=15027304 memory=1396 CPUtime=4.23 cores=1,3,5,7
/proc/10586/task/10590/stat : 10590 (java) S 10583 10583 7440 0 -1 1077944384 5758 0 0 0 372 51 0 0 20 0 15 0 405421100 15387959296 1159113 33554432000 4194304 4196468 140722677890320 139631374445712 139631915153109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10591] ppid=10583 vsize=15027304 memory=1396 CPUtime=4.24 cores=1,3,5,7
/proc/10586/task/10591/stat : 10591 (java) S 10583 10583 7440 0 -1 1077944384 5435 0 0 0 374 50 0 0 20 0 15 0 405421100 15387959296 1159113 33554432000 4194304 4196468 140722677890320 139631373392912 139631915153109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10592] ppid=10583 vsize=15027304 memory=4636452 CPUtime=0.12 cores=1,3,5,7
/proc/10586/task/10592/stat : 10592 (java) S 10583 10583 7440 0 -1 1077944384 1848 0 0 0 11 1 0 0 20 0 15 0 405421102 15387959296 1159113 33554432000 4194304 4196468 140722677890320 139630683822192 139631915154050 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10593] ppid=10583 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10593/stat : 10593 (java) S 10583 10583 7440 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 405421102 15387959296 1159113 33554432000 4194304 4196468 140722677890320 139630594745184 139631915153109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10594] ppid=10583 vsize=15027304 memory=4636452 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10594/stat : 10594 (java) S 10583 10583 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421102 15387959296 1159113 33554432000 4194304 4196468 140722677890320 139630326310016 139631915153109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10595] ppid=10583 vsize=15027304 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10595/stat : 10595 (java) S 10583 10583 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421105 15387959296 1159113 33554432000 4194304 4196468 140722677890320 139629951801424 139631915161499 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10596] ppid=10583 vsize=15027304 memory=1396 CPUtime=3.57 cores=1,3,5,7
/proc/10586/task/10596/stat : 10596 (java) S 10583 10583 7440 0 -1 1077944384 13573 0 0 0 356 1 0 0 20 0 15 0 405421105 15387959296 1159113 33554432000 4194304 4196468 140722677890320 139630682770032 139631915154050 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10597] ppid=10583 vsize=15027304 memory=4120 CPUtime=3.5 cores=1,3,5,7
/proc/10586/task/10597/stat : 10597 (java) S 10583 10583 7440 0 -1 1077944384 11819 0 0 0 348 2 0 0 20 0 15 0 405421105 15387959296 1159113 33554432000 4194304 4196468 140722677890320 139630681717232 139631915154050 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10598] ppid=10583 vsize=15027304 memory=1396 CPUtime=1.11 cores=1,3,5,7
/proc/10586/task/10598/stat : 10598 (java) S 10583 10583 7440 0 -1 1077944384 6772 0 0 0 109 2 0 0 20 0 15 0 405421105 15387959296 1159113 33554432000 4194304 4196468 140722677890320 139630680664944 139631915154050 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10599] ppid=10583 vsize=15027304 memory=4636452 CPUtime=0 cores=1,3,5,7
/proc/10586/task/10599/stat : 10599 (java) S 10583 10583 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421105 15387959296 1159113 33554432000 4194304 4196468 140722677890320 139629453896672 139631915153109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
[pid=10586/tid=10600] ppid=10583 vsize=15027304 memory=1396 CPUtime=0.29 cores=1,3,5,7
/proc/10586/task/10600/stat : 10600 (java) S 10583 10583 7440 0 -1 1077944384 466 0 0 0 15 14 0 0 20 0 15 0 405421105 15387959296 1159113 33554432000 4194304 4196468 140722677890320 139630679611824 139631915154050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24600576 140722677895918 140722677896346 140722677896346 140722677899215 0
Current children cumulated CPU time: 504.53 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 4637848 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+561.301 s]
/proc/loadavg: 1.98 2.34 2.93 3/239 10671
/proc/meminfo: memFree=12210484/32770624 swapFree=67015516/67108860
[pid=10583] ppid=10580 vsize=113128 memory=1476 CPUtime=509.27 cores=1,3,5,7
/proc/10583/stat : 10583 (scop.sh) S 10580 10583 7440 0 -1 4202496 585 104767 0 0 0 0 49997 930 20 0 1 0 405421098 115843072 369 33554432000 4194304 5098028 140735960666752 140735960663496 140050646159996 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8126464 140735960675112 140735960675440 140735960675440 140735960678349 0
/proc/10583/statm: 28282 369 311 221 0 87 0
[pid=10640] ppid=10583 vsize=8068440 memory=119292 CPUtime=1.28 cores=1,3,5,7
/proc/10640/stat : 10640 (java) S 10583 10583 7440 0 -1 1077944320 20320 0 0 0 120 8 0 0 20 0 19 0 405473835 8262082560 29823 33554432000 4194304 4196468 140736189512768 140736189495312 140212120391415 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
/proc/10640/statm: 2017110 29823 3200 1 0 1978454 0
[pid=10655] ppid=10640 vsize=7800652 memory=6645608 CPUtime=33.18 cores=1,3,5,7
/proc/10655/stat : 10655 (glueminisat-sim) R 10640 10583 7440 0 -1 4202496 1481317 0 0 0 3065 253 0 0 20 0 1 0 405473909 7987867648 1661402 33554432000 4194304 4452875 140729080098512 140729079044664 139910573345765 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552096 6554264 38260736 140729080103775 140729080103975 140729080103975 140729080106925 0
/proc/10655/statm: 1950163 1661402 339 64 0 1946367 0
[pid=10640/tid=10641] ppid=10583 vsize=8068440 memory=1476 CPUtime=0.77 cores=1,3,5,7
/proc/10640/task/10641/stat : 10641 (java) S 10583 10583 7440 0 -1 1077944384 16853 0 0 0 72 5 0 0 20 0 19 0 405473835 8262082560 29823 33554432000 4194304 4196468 140736189512768 140212092231584 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10642] ppid=10583 vsize=8068440 memory=6293044 CPUtime=0 cores=1,3,5,7
/proc/10640/task/10642/stat : 10642 (java) S 10583 10583 7440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405473836 8262082560 29823 33554432000 4194304 4196468 140736189512768 140212124634256 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10643] ppid=10583 vsize=8068440 memory=119292 CPUtime=0 cores=1,3,5,7
/proc/10640/task/10643/stat : 10643 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405473836 8262082560 29823 33554432000 4194304 4196468 140736189512768 140211924802576 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10644] ppid=10583 vsize=8068440 memory=119292 CPUtime=0 cores=1,3,5,7
/proc/10640/task/10644/stat : 10644 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405473836 8262082560 29823 33554432000 4194304 4196468 140736189512768 140211923749776 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10645] ppid=10583 vsize=8068440 memory=119292 CPUtime=0 cores=1,3,5,7
/proc/10640/task/10645/stat : 10645 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405473836 8262082560 29823 33554432000 4194304 4196468 140736189512768 140211922696976 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10646] ppid=10583 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10640/task/10646/stat : 10646 (java) S 10583 10583 7440 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405473838 8262082560 29823 33554432000 4194304 4196468 140736189512768 140211432425840 140212120402562 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10647] ppid=10583 vsize=8068440 memory=119292 CPUtime=0 cores=1,3,5,7
/proc/10640/task/10647/stat : 10647 (java) S 10583 10583 7440 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405473838 8262082560 29823 33554432000 4194304 4196468 140736189512768 140210952201248 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10648] ppid=10583 vsize=8068440 memory=119292 CPUtime=0 cores=1,3,5,7
/proc/10640/task/10648/stat : 10648 (java) S 10583 10583 7440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405473839 8262082560 29823 33554432000 4194304 4196468 140736189512768 140210683765616 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10649] ppid=10583 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10640/task/10649/stat : 10649 (java) S 10583 10583 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405473841 8262082560 29823 33554432000 4194304 4196468 140736189512768 140210309257040 140212120410011 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10650] ppid=10583 vsize=8068440 memory=119292 CPUtime=0.1 cores=1,3,5,7
/proc/10640/task/10650/stat : 10650 (java) S 10583 10583 7440 0 -1 1077944384 722 0 0 0 10 0 0 0 20 0 19 0 405473841 8262082560 29823 33554432000 4194304 4196468 140736189512768 140211431373680 140212120402562 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10651] ppid=10583 vsize=8068440 memory=1476 CPUtime=0.14 cores=1,3,5,7
/proc/10640/task/10651/stat : 10651 (java) S 10583 10583 7440 0 -1 1077944384 751 0 0 0 14 0 0 0 20 0 19 0 405473841 8262082560 29823 33554432000 4194304 4196468 140736189512768 140211430320880 140212120402562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10652] ppid=10583 vsize=8068440 memory=1476 CPUtime=0.21 cores=1,3,5,7
/proc/10640/task/10652/stat : 10652 (java) S 10583 10583 7440 0 -1 1077944384 581 0 0 0 21 0 0 0 20 0 19 0 405473841 8262082560 29823 33554432000 4194304 4196468 140736189512768 140211429268080 140212120402562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10653] ppid=10583 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10640/task/10653/stat : 10653 (java) S 10583 10583 7440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405473842 8262082560 29823 33554432000 4194304 4196468 140736189512768 140209811352288 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10654] ppid=10583 vsize=8068440 memory=4120 CPUtime=0.02 cores=1,3,5,7
/proc/10640/task/10654/stat : 10654 (java) S 10583 10583 7440 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405473842 8262082560 29823 33554432000 4194304 4196468 140736189512768 140211428215472 140212120402562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 53 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10656] ppid=10583 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/10640/task/10656/stat : 10656 (java) S 10583 10583 7440 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405473909 8262082560 29823 33554432000 4194304 4196468 140736189512768 140211891971264 140212120416025 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10658] ppid=10583 vsize=8068440 memory=306526456652235066 CPUtime=0 cores=1,3,5,7
/proc/10640/task/10658/stat : 10658 (java) S 10583 10583 7440 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 405473910 8262082560 29823 33554432000 4194304 4196468 140736189512768 140209274465552 140212120413341 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10659] ppid=10583 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10640/task/10659/stat : 10659 (java) S 10583 10583 7440 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 405473910 8262082560 29823 33554432000 4194304 4196468 140736189512768 140209408688272 140212120413341 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10660] ppid=10583 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10640/task/10660/stat : 10660 (java) S 10583 10583 7440 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405473913 8262082560 29823 33554432000 4194304 4196468 140736189512768 140209006042800 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
Current children cumulated CPU time: 543.73 s
Current children cumulated vsize: 15982220 KiB
Current children cumulated memory: 6766376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+561.314 s]
# the end of solver process 10583 was just reported to runsolver
# cumulated CPU time of all completed processes: user=499.975 s, system=9.31236 s
[startup+562.225 s]
# the end of solver process 10640 was just reported to runsolver
# cumulated CPU time of all completed processes: user=531.844 s, system=12.8649 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+561.601 s]
/proc/loadavg: 1.98 2.34 2.93 3/240 10675
/proc/meminfo: memFree=14141244/32770624 swapFree=67015516/67108860
[pid=10640] ppid=10580 vsize=8198484 memory=131608 CPUtime=34.77 cores=1,3,5,7
/proc/10640/stat : 10640 (java) S 10580 10583 7440 0 -1 1077944320 20360 1481359 0 0 121 10 3065 281 20 0 17 0 405473835 8395247616 32902 33554432000 4194304 4196468 140736189512768 140736189495312 140212120391415 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
/proc/10640/statm: 2049621 32902 3202 1 0 2010965 0
[pid=10640/tid=10641] ppid=10580 vsize=8198484 memory=6791534058613427641 CPUtime=34.23 cores=1,3,5,7
/proc/10640/task/10641/stat : 10641 (java) S 10580 10583 7440 0 -1 1077944384 16853 1481359 0 0 72 5 3065 281 20 0 17 0 405473835 8395247616 32902 33554432000 4194304 4196468 140736189512768 140212092231584 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10642] ppid=10580 vsize=8198484 memory=2184 CPUtime=33.46 cores=1,3,5,7
/proc/10640/task/10642/stat : 10642 (java) S 10580 10583 7440 0 -1 1077944384 2 1481359 0 0 0 0 3065 281 20 0 17 0 405473836 8395247616 32902 33554432000 4194304 4196468 140736189512768 140212124634256 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10643] ppid=10580 vsize=8198484 memory=1844 CPUtime=33.46 cores=1,3,5,7
/proc/10640/task/10643/stat : 10643 (java) S 10580 10583 7440 0 -1 1077944384 1 1481359 0 0 0 0 3065 281 20 0 17 0 405473836 8395247616 32902 33554432000 4194304 4196468 140736189512768 140211924802576 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10644] ppid=10580 vsize=8198484 memory=4964 CPUtime=33.46 cores=1,3,5,7
/proc/10640/task/10644/stat : 10644 (java) S 10580 10583 7440 0 -1 1077944384 1 1481359 0 0 0 0 3065 281 20 0 17 0 405473836 8395247616 32902 33554432000 4194304 4196468 140736189512768 140211923749776 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10645] ppid=10580 vsize=8198484 memory=10092 CPUtime=33.46 cores=1,3,5,7
/proc/10640/task/10645/stat : 10645 (java) S 10580 10583 7440 0 -1 1077944384 1 1481359 0 0 0 0 3065 281 20 0 17 0 405473836 8395247616 32902 33554432000 4194304 4196468 140736189512768 140211922696976 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10646] ppid=10580 vsize=8198484 memory=1476 CPUtime=33.46 cores=1,3,5,7
/proc/10640/task/10646/stat : 10646 (java) S 10580 10583 7440 0 -1 1077944384 7 1481359 0 0 0 0 3065 281 20 0 17 0 405473838 8395247616 32902 33554432000 4194304 4196468 140736189512768 140211432425344 140212120402562 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10647] ppid=10580 vsize=8198484 memory=119292 CPUtime=33.46 cores=1,3,5,7
/proc/10640/task/10647/stat : 10647 (java) S 10580 10583 7440 0 -1 1077944384 13 1481359 0 0 0 0 3065 281 20 0 17 0 405473838 8395247616 32902 33554432000 4194304 4196468 140736189512768 140210952201248 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10648] ppid=10580 vsize=8198484 memory=6307692 CPUtime=33.46 cores=1,3,5,7
/proc/10640/task/10648/stat : 10648 (java) S 10580 10583 7440 0 -1 1077944384 1 1481359 0 0 0 0 3065 281 20 0 17 0 405473839 8395247616 32902 33554432000 4194304 4196468 140736189512768 140210683765616 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10650] ppid=10580 vsize=8198484 memory=4104 CPUtime=33.56 cores=1,3,5,7
/proc/10640/task/10650/stat : 10650 (java) S 10580 10583 7440 0 -1 1077944384 723 1481359 0 0 10 0 3065 281 20 0 17 0 405473841 8395247616 32902 33554432000 4194304 4196468 140736189512768 140211431373440 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10651] ppid=10580 vsize=8198484 memory=15080 CPUtime=33.6 cores=1,3,5,7
/proc/10640/task/10651/stat : 10651 (java) S 10580 10583 7440 0 -1 1077944384 751 1481359 0 0 14 0 3065 281 20 0 17 0 405473841 8395247616 32902 33554432000 4194304 4196468 140736189512768 140211430312912 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10652] ppid=10580 vsize=8198484 memory=7808 CPUtime=33.67 cores=1,3,5,7
/proc/10640/task/10652/stat : 10652 (java) S 10580 10583 7440 0 -1 1077944384 582 1481359 0 0 21 0 3065 281 20 0 17 0 405473841 8395247616 32902 33554432000 4194304 4196468 140736189512768 140211429268080 140212120402562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10653] ppid=10580 vsize=8198484 memory=2676 CPUtime=33.46 cores=1,3,5,7
/proc/10640/task/10653/stat : 10653 (java) S 10580 10583 7440 0 -1 1077944384 3 1481359 0 0 0 0 3065 281 20 0 17 0 405473842 8395247616 32902 33554432000 4194304 4196468 140736189512768 140209811352288 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10656] ppid=10580 vsize=8198484 memory=500 CPUtime=33.46 cores=1,3,5,7
/proc/10640/task/10656/stat : 10656 (java) S 10580 10583 7440 0 -1 1077944384 24 1481359 0 0 0 0 3065 281 20 0 17 0 405473909 8395247616 32902 33554432000 4194304 4196468 140736189512768 140211891970448 140212120402562 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10660] ppid=10580 vsize=8198484 memory=6210024 CPUtime=33.46 cores=1,3,5,7
/proc/10640/task/10660/stat : 10660 (java) S 10580 10583 7440 0 -1 1077944384 6 1481359 0 0 0 0 3065 281 20 0 17 0 405473913 8395247616 32902 33554432000 4194304 4196468 140736189512768 140209006042656 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10672] ppid=10580 vsize=8198484 memory=2676 CPUtime=33.46 cores=1,3,5,7
/proc/10640/task/10672/stat : 10672 (java) S 10580 10583 7440 0 -1 1077944384 3 1481359 0 0 0 0 3065 281 20 0 17 0 405477229 8395247616 32902 33554432000 4194304 4196468 140736189512768 140208737608016 140212120401621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
[pid=10640/tid=10675] ppid=10580 vsize=8198484 memory=13240 CPUtime=33.47 cores=1,3,5,7
/proc/10640/task/10675/stat : 10675 (java) R 10580 10583 7440 0 -1 4202560 2 1481359 0 0 0 1 3065 281 20 0 17 0 405477229 8395247616 32902 33554432000 4194304 4196468 140736189512768 140208469172848 140212113077047 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28008448 140736189518843 140736189519002 140736189519002 140736189521871 0
Current cumulated CPU time of completed processes: 509.287 s
Current children cumulated CPU time: 34.77 s
Current children cumulated vsize: 8198484 KiB
Current children cumulated memory: 131608 KiB
[startup+562.01 s]*
/proc/loadavg: 1.98 2.34 2.93 3/220 10675
/proc/meminfo: memFree=22185132/32770624 swapFree=67015516/67108860
Current cumulated CPU time of completed processes: 509.287 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+562.2 s]
/proc/loadavg: 1.98 2.34 2.93 3/220 10675
/proc/meminfo: memFree=22185132/32770624 swapFree=67015516/67108860
Current cumulated CPU time of completed processes: 509.287 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): 562.225
CPU time (s): 544.709
CPU user time (s): 531.844
CPU system time (s): 12.8649
CPU usage (%): 96.8846
Max. virtual memory (cumulated for all children) (KiB): 15982220
Max. memory (cumulated for all children) (KiB): 6766376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 531.844
system time used= 12.8649
maximum resident set size= 6645964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1607573
page faults= 0
swaps= 0
block input operations= 272
block output operations= 9932032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20220
involuntary context switches= 902
# summary of solver processes directly reported to runsolver:
# pid: 10583,10640
# total CPU time (s): 544.709
# total CPU user time (s): 531.844
# total CPU system time (s): 12.8649
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.7465 second user time and 5.73512 second system time
The end