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-13540-serial-file.bin HOME/instance-4388070-1568295077.xml
0.67/0.54
0.67/0.54 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.54
0.67/0.56 c BEGIN-Prog: Thu Sep 12 15:30:34 CEST 2019
0.67/0.56 c PID: 13543
0.67/0.56 c IP: 172.20.3.147
0.67/0.56 c HOST: node147.alineos.net
0.67/0.57 c (0,0) Parsing Begin
1.42/0.96 c (0,0) Parsing End
1.42/0.97 c (0,0) CSP: 217 int (0 aux), 0 bool (0 aux), 58 ctr, max domain size 217
1.42/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.42/0.97 c (0,0) Constraint Name Generate Begin
1.42/0.98 c (0,0) Ctr:HOME/instance-4388070-1568295077.xml,AllDifferent:Lt:Num:Var:WeightedSum
1.42/0.98 c (0,0) Constraint Name Generate End
1.42/0.98 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.42/0.98 c (0,0) CSP to CSPinCNF Begin
5.96/2.71 c (2,2) translated 6 (10%) constraints
5.96/2.72 c (2,2) translated 12 (20%) constraints
6.98/3.09 c (2,2) translated 18 (30%) constraints
6.98/3.09 c (2,2) translated 24 (40%) constraints
6.98/3.09 c (2,2) translated 29 (50%) constraints
6.98/3.09 c (2,2) translated 35 (60%) constraints
6.98/3.09 c (2,2) translated 41 (70%) constraints
6.98/3.09 c (2,2) translated 47 (80%) constraints
6.98/3.09 c (2,2) translated 53 (90%) constraints
6.98/3.09 c (2,2) translated 58 (100%) constraints
6.98/3.09 c (2,2) ===========================================
6.98/3.09 c (2,2) Order
6.98/3.09 c (2,2) ===========================================
6.98/3.09 c (2,2) translated 2372 (10%) constraints
6.98/3.09 c (2,2) translated 4743 (20%) constraints
7.26/3.13 c (2,2) translated 7114 (30%) constraints
7.48/3.21 c (2,2) translated 9485 (40%) constraints
7.48/3.29 c (2,2) translated 11856 (50%) constraints
7.73/3.35 c (2,2) translated 14228 (60%) constraints
7.85/3.40 c (2,2) translated 16599 (70%) constraints
7.85/3.46 c (2,2) translated 18970 (80%) constraints
7.95/3.52 c (2,2) translated 21341 (90%) constraints
11.58/5.88 c (5,5) translated 23712 (100%) constraints
11.58/5.89 c (5,5) CSP to CSPinCNF End
11.92/5.91 c (5,5) CSP: 715 int (498 aux), 47089 bool (47089 aux), 118937 ctr, max domain size 1297
11.92/5.91 c (5,5) Heap : 1746 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.92/5.91 c (5,5) CSPinCNF Propagation Begin
15.21/8.09 c (7,7) 9 values, 25 unsatisfiable literals, and 452 valid clauses are removed
15.21/8.09 c (7,7) CSPinCNF Propagation End
15.21/8.11 c (7,7) CSP: 715 int (498 aux), 47089 bool (47089 aux), 118485 ctr, max domain size 1297
15.21/8.11 c (7,7) Heap : 713 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.44/8.11 c (7,7) Simplify CSPinCNF Begin
16.96/8.91 c (8,8) Simplify CSPinCNF End
16.96/8.94 c (8,8) CSP: 715 int (498 aux), 93961 bool (93961 aux), 165357 ctr, max domain size 1297
16.96/8.94 c (8,8) Heap : 1155 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.96/8.94 c (8,8) Calculate Precise Domain Begin
17.30/9.02 c (8,8) 7 values are removed by re-calculation
17.30/9.02 c (8,8) Calculate Precise Domain End
17.30/9.04 c (8,8) CSP: 715 int (498 aux), 93961 bool (93961 aux), 165357 ctr, max domain size 1297
17.30/9.04 c (8,8) Heap : 1155 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.30/9.04 c (8,8) CSPinCNF to SatSolver Begin
31.63/19.03 c (18,17) 16536 (10 %) CSP clauses are encoded (0 SAT variables, 2747093 SAT clauses)
42.58/28.14 c (27,26) 33072 (20 %) CSP clauses are encoded (0 SAT variables, 5144557 SAT clauses)
51.05/36.54 c (36,34) 49608 (30 %) CSP clauses are encoded (0 SAT variables, 7541957 SAT clauses)
59.51/45.58 c (45,42) 66143 (40 %) CSP clauses are encoded (0 SAT variables, 9938634 SAT clauses)
61.83/47.82 c (47,45) 82679 (50 %) CSP clauses are encoded (0 SAT variables, 10555114 SAT clauses)
61.93/47.96 c (47,45) 99215 (60 %) CSP clauses are encoded (0 SAT variables, 10571650 SAT clauses)
62.05/48.10 c (47,45) 115750 (70 %) CSP clauses are encoded (0 SAT variables, 10588185 SAT clauses)
62.24/48.24 c (47,45) 132286 (80 %) CSP clauses are encoded (0 SAT variables, 10604721 SAT clauses)
62.34/48.38 c (47,45) 148822 (90 %) CSP clauses are encoded (0 SAT variables, 10621257 SAT clauses)
341.27/347.46 c (346,296) 165357 (100 %) CSP clauses are encoded (0 SAT variables, 180417204 SAT clauses)
341.27/347.47 c (346,296) CSPinCNF to SatSolver End
341.27/347.47 c (346,296) Heap : 1806 MiB used (max 11119 MiB), NonHeap : 28 MiB used (max 0 MiB)
341.27/347.47 c (346,296) 446617 bool, 180417418 clause
341.27/347.47 c (346,296) Export Begin
341.38/347.57 c (347,296) Export to HOME/scop-13540-serial-file.bin
341.38/347.57 c (347,296) Export End
341.38/347.57 c (347,296) Export File Size: 0.04 MB
341.38/347.57 c (347,296) 0,0,5,7,8,8,346,STOP-AFTER(DIMACS)
341.38/347.57 c END-Prog: Thu Sep 12 15:36:21 CEST 2019
0.00/347.60 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13540-serial-file.bin
342.09/348.07 c (0,0) Read Serial File Begin
342.09/348.07 c (0,0) HOME/scop-13540-serial-file.bin
342.34/348.29 c (0,0) Read Serial File End
342.52/348.31
342.52/348.31 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
342.52/348.31 (Solving Process)
342.52/348.31
342.52/348.33 c BEGIN-Prog: Thu Sep 12 15:36:22 CEST 2019
342.52/348.33 c PID: 13585
342.52/348.33 c IP: 172.20.3.147
342.52/348.33 c HOST: node147.alineos.net
342.52/348.33 c (0,0) SatSolver.solve Begin
342.52/348.33 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388070-1568295077.xml-scop-13543.cnf
342.52/348.36 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
342.52/348.36 c (0,0) c glueminisat-simp-2.2.10-193oa-n
342.52/348.36 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388070-1568295077.xml-scop-13543.cnf
342.52/348.36 c (0,0) c Options:
342.52/348.36 c (0,0) c CORE
342.52/348.36 c (0,0) c var_decay = 0.950
342.52/348.36 c (0,0) c clause_decay = 0.999
342.52/348.36 c (0,0) c random_var_freq = 0.000
342.52/348.36 c (0,0) c random_seed = 91648253.000
342.52/348.36 c (0,0) c luby_restart = 1
342.52/348.36 c (0,0) c ccmin_mode = 2
342.52/348.36 c (0,0) c phase_saving = 2
342.52/348.36 c (0,0) c rnd_pol = 0
342.52/348.36 c (0,0) c rnd_init_act = 0
342.52/348.36 c (0,0) c garbage_frac = 0.200
342.52/348.36 c (0,0) c restart_first = 1000
342.52/348.36 c (0,0) c restart_inc = 2.000
342.52/348.36 c (0,0) c MODEL
342.52/348.36 c (0,0) c partial_model = 0
342.52/348.36 c (0,0) c PROPAGATION
342.52/348.36 c (0,0) c bin_propagation = 1
342.52/348.36 c (0,0) c SIMPLIFICATION
342.52/348.36 c (0,0) c lrn_min_size = 100
342.52/348.36 c (0,0) c lazy_simp = 1
342.52/348.36 c (0,0) c lazy_interval = 10
342.52/348.36 c (0,0) c lazy_fld_probing = 1
342.52/348.36 c (0,0) c lazy_pol_probing = 1
342.52/348.36 c (0,0) c lazy_nec_probing = 1
342.52/348.36 c (0,0) c lazy_eqv_probing = 1
342.52/348.36 c (0,0) c lazy_cla_probing = 1
342.52/348.36 c (0,0) c lazy_lrn_min = 2
342.52/348.36 c (0,0) c lazy_uw_lit_elim = 1
342.52/348.36 c (0,0) c lazy_pr_lit_elim = 0
342.52/348.36 c (0,0) c lazy_bin_add = 3
342.52/348.36 c (0,0) c probed_lit_chain = 1
342.52/348.36 c (0,0) c pr_min_lits = 0.00020
342.52/348.36 c (0,0) c pr_min_starts = 500
342.52/348.36 c (0,0) c rw_min_lits = 0.010
342.52/348.36 c (0,0) c rw_min_starts = 500
342.52/348.36 c (0,0) c rand_attach = 0
342.52/348.36 c (0,0) c dec_elim = 1
342.52/348.36 c (0,0) c dec_elim_lim = 25
342.52/348.36 c (0,0) c dec_elim_len = -1
342.52/348.36 c (0,0) c amo = 0
342.52/348.36 c (0,0) c amo_grp = 1
342.52/348.36 c (0,0) c amo_max_bins = 1000000
342.52/348.36 c (0,0) c amo_starts = 50
342.52/348.36 c (0,0) c mace_cmd = mace
342.52/348.36 c (0,0) c DECISION
342.52/348.36 c (0,0) c rand_rebuild = 0
342.52/348.36 c (0,0) c rand_rebuild_confs = 10000
342.52/348.36 c (0,0) c inc_var_decay = 1
342.52/348.36 c (0,0) c inc_var_decay_period = 100000
342.52/348.36 c (0,0) c inc_var_decay_init = 0.600
342.52/348.36 c (0,0) c var_decay_mode = 0
342.52/348.36 c (0,0) c var_decay_gain = 0
342.52/348.36 c (0,0) c sloped_var_decay = 1
342.52/348.36 c (0,0) c max_var_decay = 0.990
342.52/348.36 c (0,0) c min_var_decay = 0.950
342.52/348.36 c (0,0) c min_var_decay_vars = 10000
342.52/348.36 c (0,0) c max_var_decay_vars = 500
342.52/348.36 c (0,0) c uip_bumping = 1
342.52/348.36 c (0,0) c lbd_act_bumping = 1
342.52/348.36 c (0,0) c rand_tiebreak = 0
342.52/348.36 c (0,0) c simp_rebuild = 1
342.52/348.36 c (0,0) c RESTART
342.52/348.36 c (0,0) c restart_strategy = 2
342.52/348.36 c (0,0) c restart_blocking = 0
342.52/348.36 c (0,0) c agility_decay = 0.99990
342.52/348.36 c (0,0) c lbd_restart_rate = 0.800
342.52/348.36 c (0,0) c dec_restart_rate = 0.950
342.52/348.36 c (0,0) c blk_restart_rate = 0.700
342.52/348.36 c (0,0) c lbd_queue_size = 50
342.52/348.36 c (0,0) c dec_queue_size = 50
342.52/348.36 c (0,0) c trl_queue_size = 5000
342.52/348.36 c (0,0) c blk_restart_weight = 1.000
342.52/348.36 c (0,0) c inc_rst_rate = 0
342.52/348.36 c (0,0) c inc_rst_rate_period = 500000
342.52/348.36 c (0,0) c inc_lbd_rst_rate_init = 0.600
342.52/348.36 c (0,0) c inc_dec_rst_rate_init = 0.750
342.52/348.36 c (0,0) c REDUCTION
342.52/348.36 c (0,0) c closed_lbd = 0
342.52/348.37 c (0,0) c closed_lbd_rate = 0.500
342.52/348.37 c (0,0) c rm_simulate = 0
342.52/348.37 c (0,0) c rdb_eval = 2
342.52/348.37 c (0,0) c rdb_call = 3
342.52/348.37 c (0,0) c rdb_ub = 0.500
342.52/348.37 c (0,0) c core_lbd_cvr = 0.800
342.52/348.37 c (0,0) c supp_lbd_cvr = 0.990
342.52/348.37 c (0,0) c core_lbd_lb = 2
342.52/348.37 c (0,0) c supp_lbd_lb = 2
342.52/348.37 c (0,0) c core_lbd_prd = 7
342.52/348.37 c (0,0) c supp_lbd_prd = 1
342.52/348.37 c (0,0) c othr_lbd_prd = 0
342.52/348.37 c (0,0) c inc_lrn_limit = 1000
342.52/348.37 c (0,0) c frozen_lbd = 30
342.52/348.37 c (0,0) c simp_min_starts = 100
342.52/348.37 c (0,0) c rm_low_act_learnts = 1
342.52/348.37 c (0,0) c lv0_reduce_db = 0
342.52/348.37 c (0,0) c reduce_db_base = 20000
342.52/348.37 c (0,0) c reduce_db_inc = 1000
342.52/348.37 c (0,0) c HARD
342.52/348.37 c (0,0) c inst_check = 200000
342.52/348.37 c (0,0) c small_block = 1.750
342.52/348.37 c (0,0) c slow_restart_speed = 400.000
342.52/348.37 c (0,0) c slow_restart_strategy = 3
342.52/348.37 c (0,0) c slow_lbd_restart_rate = 0.700
342.52/348.37 c (0,0) c slow_dec_restart_rate = 1.000
342.52/348.37 c (0,0) c slow_lbd_queue_size = 50
342.52/348.37 c (0,0) c slow_var_decay = 0.950
342.52/348.37 c (0,0) c slow_glue_threshold = 2
342.52/348.37 c (0,0) c slow_phase_saving = 2
342.52/348.37 c (0,0) c fast_restart_speed = 125.000
342.52/348.37 c (0,0) c fast_restart_strategy = 1
342.52/348.37 c (0,0) c fast_lbd_restart_rate = 0.800
342.52/348.37 c (0,0) c fast_dec_restart_rate = 0.950
342.52/348.37 c (0,0) c fast_lbd_queue_size = 50
342.52/348.37 c (0,0) c fast_var_decay = 1.000
342.52/348.37 c (0,0) c fast_glue_threshold = 2
342.52/348.37 c (0,0) c fast_phase_saving = 2
342.52/348.37 c (0,0) c STATS
342.52/348.37 c (0,0) c stats_conf_size = 10000
342.52/348.37 c (0,0) c max_stats_size = 30
342.52/348.37 c (0,0) c SOLVER
342.52/348.37 c (0,0) c minisat = 0
373.72/379.30 c (31,0) receiving signal SIGTERM
373.72/379.30 s UNKNOWN
373.72/379.31 c (scop.sh) Receiving Signal. Removing all intermediate files.
373.72/379.31 c (scop.sh) Remove HOME/scop-13540-serial-file.bin.
373.72/379.31 c (scop.sh) Killing background jobs.
373.72/379.31 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 (10992 MiB free)
memory of node 1: 16384 MiB (9764 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388070-1568295077/watcher-4388070-1568295077 -o /tmp/evaluation-result-4388070-1568295077/solver-4388070-1568295077 -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-4388070-1568295077.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=13540, runsolver pid=13537
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 2.60 2.88 2.93 4/235 13557
/proc/meminfo: memFree=21198260/32770624 swapFree=66957008/67108860
[pid=13540] ppid=13537 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13540/stat : 13540 (scop.sh) S 13537 13540 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405421522 115843072 349 33554432000 4194304 5098028 140720957639920 140720957637176 139665388507772 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36610048 140720957645608 140720957645936 140720957645936 140720957648845 0
/proc/13540/statm: 28282 349 296 221 0 87 0
[pid=13543] ppid=13540 vsize=15012696 memory=69980 CPUtime=0.12 cores=0,2,4,6
/proc/13543/stat : 13543 (java) S 13540 13540 8853 0 -1 1077944320 6305 0 0 0 10 2 0 0 20 0 15 0 405421522 15373000704 17495 33554432000 4194304 4196468 140733770937200 140733770919744 140710149803767 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
/proc/13543/statm: 3753174 17495 2904 1 0 3715579 0
[pid=13543/tid=13544] ppid=13540 vsize=15012696 memory=-6581585089345667009 CPUtime=0.09 cores=0,2,4,6
/proc/13543/task/13544/stat : 13544 (java) R 13540 13540 8853 0 -1 4202560 4139 0 0 0 8 1 0 0 20 0 15 0 405421522 15373000704 17495 33554432000 4194304 4196468 140733770937200 140710121587768 140710133884254 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13545] ppid=13540 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13545/stat : 13545 (java) S 13540 13540 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421524 15373000704 17495 33554432000 4194304 4196468 140733770937200 140710154045712 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13546] ppid=13540 vsize=15012696 memory=140234316965504 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13546/stat : 13546 (java) S 13540 13540 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421524 15373000704 17495 33554432000 4194304 4196468 140733770937200 140709610355088 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13547] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13547/stat : 13547 (java) S 13540 13540 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421524 15373000704 17495 33554432000 4194304 4196468 140733770937200 140709609302544 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13548] ppid=13540 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13548/stat : 13548 (java) S 13540 13540 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421524 15373000704 17495 33554432000 4194304 4196468 140733770937200 140709608250000 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13549] ppid=13540 vsize=15012696 memory=140234316965504 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13549/stat : 13549 (java) S 13540 13540 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421526 15373000704 17495 33554432000 4194304 4196468 140733770937200 140709187471856 140710149814914 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13550] ppid=13540 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13550/stat : 13550 (java) S 13540 13540 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405421526 15373000704 17495 33554432000 4194304 4196468 140733770937200 140708765754784 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13551] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13551/stat : 13551 (java) S 13540 13540 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405421526 15373000704 17560 33554432000 4194304 4196468 140733770937200 140708631533040 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13552] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13552/stat : 13552 (java) S 13540 13540 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421529 15373000704 17560 33554432000 4194304 4196468 140733770937200 140708257028816 140710149822363 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13553] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13553/stat : 13553 (java) S 13540 13540 8853 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 405421529 15373000704 17626 33554432000 4194304 4196468 140733770937200 140709186418672 140710149814914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13554] ppid=13540 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13554/stat : 13554 (java) S 13540 13540 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421529 15373000704 17626 33554432000 4194304 4196468 140733770937200 140709185366128 140710149814914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13555] ppid=13540 vsize=15012696 memory=140234316965504 CPUtime=0.01 cores=0,2,4,6
/proc/13543/task/13555/stat : 13555 (java) R 13540 13540 8853 0 -1 4202560 408 0 0 0 1 0 0 0 20 0 15 0 405421529 15373000704 17626 33554432000 4194304 4196468 140733770937200 140709184313584 140710128643072 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13556] ppid=13540 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13556/stat : 13556 (java) S 13540 13540 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421529 15373000704 17626 33554432000 4194304 4196468 140733770937200 140707759123040 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13557] ppid=13540 vsize=15012696 memory=140234316965504 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13557/stat : 13557 (java) S 13540 13540 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421529 15373000704 17626 33554432000 4194304 4196468 140733770937200 140709183261488 140710149814914 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 71376 KiB
[startup+0.210956 s]*
/proc/loadavg: 2.60 2.88 2.93 3/235 13557
/proc/meminfo: memFree=21178864/32770624 swapFree=66957008/67108860
[pid=13540] ppid=13537 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13540/stat : 13540 (scop.sh) S 13537 13540 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405421522 115843072 349 33554432000 4194304 5098028 140720957639920 140720957637176 139665388507772 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36610048 140720957645608 140720957645936 140720957645936 140720957648845 0
/proc/13540/statm: 28282 349 296 221 0 87 0
[pid=13543] ppid=13540 vsize=15012696 memory=85608 CPUtime=0.25 cores=0,2,4,6
/proc/13543/stat : 13543 (java) S 13540 13540 8853 0 -1 1077944320 11566 0 0 0 21 4 0 0 20 0 15 0 405421522 15373000704 21402 33554432000 4194304 4196468 140733770937200 140733770919744 140710149803767 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
/proc/13543/statm: 3753174 21402 2915 1 0 3715579 0
[pid=13543/tid=13544] ppid=13540 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/13543/task/13544/stat : 13544 (java) R 13540 13540 8853 0 -1 4202560 9267 0 0 0 17 3 0 0 20 0 15 0 405421522 15373000704 21402 33554432000 4194304 4196468 140733770937200 140710121603152 140710149825693 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13545] ppid=13540 vsize=15012696 memory=364 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13545/stat : 13545 (java) S 13540 13540 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421524 15373000704 21402 33554432000 4194304 4196468 140733770937200 140710154045712 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13546] ppid=13540 vsize=15012696 memory=288370610468677248 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13546/stat : 13546 (java) S 13540 13540 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421524 15373000704 21402 33554432000 4194304 4196468 140733770937200 140709610355088 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13547] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13547/stat : 13547 (java) S 13540 13540 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421524 15373000704 21402 33554432000 4194304 4196468 140733770937200 140709609302544 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13548] ppid=13540 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13548/stat : 13548 (java) S 13540 13540 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421524 15373000704 21467 33554432000 4194304 4196468 140733770937200 140709608250000 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13549] ppid=13540 vsize=15012696 memory=140234316965504 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13549/stat : 13549 (java) S 13540 13540 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421526 15373000704 21467 33554432000 4194304 4196468 140733770937200 140709187471856 140710149814914 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13550] ppid=13540 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13550/stat : 13550 (java) S 13540 13540 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405421526 15373000704 21467 33554432000 4194304 4196468 140733770937200 140708765754784 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13551] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13551/stat : 13551 (java) S 13540 13540 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405421526 15373000704 21467 33554432000 4194304 4196468 140733770937200 140708631533040 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13552] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13552/stat : 13552 (java) S 13540 13540 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421529 15373000704 21467 33554432000 4194304 4196468 140733770937200 140708257028816 140710149822363 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13553] ppid=13540 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13543/task/13553/stat : 13553 (java) S 13540 13540 8853 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 15 0 405421529 15373000704 21467 33554432000 4194304 4196468 140733770937200 140709186418672 140710149814914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13554] ppid=13540 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13554/stat : 13554 (java) S 13540 13540 8853 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 405421529 15373000704 21467 33554432000 4194304 4196468 140733770937200 140709185366128 140710149814914 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13555] ppid=13540 vsize=15012696 memory=140234316965504 CPUtime=0.02 cores=0,2,4,6
/proc/13543/task/13555/stat : 13555 (java) S 13540 13540 8853 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 15 0 405421529 15373000704 21467 33554432000 4194304 4196468 140733770937200 140709184313584 140710149814914 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13556] ppid=13540 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13556/stat : 13556 (java) S 13540 13540 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421529 15373000704 21467 33554432000 4194304 4196468 140733770937200 140707759123040 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13557] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13557/stat : 13557 (java) S 13540 13540 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421529 15373000704 21467 33554432000 4194304 4196468 140733770937200 140709183261488 140710149814914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87004 KiB
[startup+0.310648 s]*
/proc/loadavg: 2.60 2.88 2.93 3/235 13557
/proc/meminfo: memFree=21175576/32770624 swapFree=66957008/67108860
[pid=13540] ppid=13537 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13540/stat : 13540 (scop.sh) S 13537 13540 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405421522 115843072 349 33554432000 4194304 5098028 140720957639920 140720957637176 139665388507772 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36610048 140720957645608 140720957645936 140720957645936 140720957648845 0
/proc/13540/statm: 28282 349 296 221 0 87 0
[pid=13543] ppid=13540 vsize=15012696 memory=89896 CPUtime=0.43 cores=0,2,4,6
/proc/13543/stat : 13543 (java) S 13540 13540 8853 0 -1 1077944320 12064 0 0 0 39 4 0 0 20 0 15 0 405421522 15373000704 22474 33554432000 4194304 4196468 140733770937200 140733770919744 140710149803767 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
/proc/13543/statm: 3753174 22474 3019 1 0 3715579 0
[pid=13543/tid=13544] ppid=13540 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/13543/task/13544/stat : 13544 (java) R 13540 13540 8853 0 -1 4202560 9589 0 0 0 27 3 0 0 20 0 15 0 405421522 15373000704 22474 33554432000 4194304 4196468 140733770937200 140710121628624 140710134969353 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13545] ppid=13540 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13545/stat : 13545 (java) S 13540 13540 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421524 15373000704 22474 33554432000 4194304 4196468 140733770937200 140710154045712 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13546] ppid=13540 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13546/stat : 13546 (java) S 13540 13540 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421524 15373000704 22474 33554432000 4194304 4196468 140733770937200 140709610355088 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13547] ppid=13540 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13547/stat : 13547 (java) S 13540 13540 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421524 15373000704 22474 33554432000 4194304 4196468 140733770937200 140709609302544 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13548] ppid=13540 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13548/stat : 13548 (java) S 13540 13540 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421524 15373000704 22474 33554432000 4194304 4196468 140733770937200 140709608250000 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13549] ppid=13540 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13549/stat : 13549 (java) S 13540 13540 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421526 15373000704 22474 33554432000 4194304 4196468 140733770937200 140709187471856 140710149814914 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13550] ppid=13540 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13550/stat : 13550 (java) S 13540 13540 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405421526 15373000704 22474 33554432000 4194304 4196468 140733770937200 140708765754784 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13551] ppid=13540 vsize=15012696 memory=4426089072227881875 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13551/stat : 13551 (java) S 13540 13540 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405421526 15373000704 22474 33554432000 4194304 4196468 140733770937200 140708631533040 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13552] ppid=13540 vsize=15012696 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13552/stat : 13552 (java) S 13540 13540 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421529 15373000704 22474 33554432000 4194304 4196468 140733770937200 140708257028816 140710149822363 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13553] ppid=13540 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13543/task/13553/stat : 13553 (java) S 13540 13540 8853 0 -1 1077944384 553 0 0 0 3 0 0 0 20 0 15 0 405421529 15373000704 22474 33554432000 4194304 4196468 140733770937200 140709186418672 140710149814914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13554] ppid=13540 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13543/task/13554/stat : 13554 (java) S 13540 13540 8853 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 405421529 15373000704 22474 33554432000 4194304 4196468 140733770937200 140709185366128 140710149814914 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13555] ppid=13540 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13543/task/13555/stat : 13555 (java) S 13540 13540 8853 0 -1 1077944384 506 0 0 0 7 0 0 0 20 0 15 0 405421529 15373000704 22474 33554432000 4194304 4196468 140733770937200 140709184313584 140710149814914 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13556] ppid=13540 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13556/stat : 13556 (java) S 13540 13540 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421529 15373000704 22474 33554432000 4194304 4196468 140733770937200 140707759123040 140710149813973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13557] ppid=13540 vsize=15012696 memory=3545511803174794288 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13557/stat : 13557 (java) S 13540 13540 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421529 15373000704 22474 33554432000 4194304 4196468 140733770937200 140709183261488 140710149814914 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91292 KiB
[startup+0.701016 s]
/proc/loadavg: 2.55 2.87 2.93 3/235 13557
/proc/meminfo: memFree=21155096/32770624 swapFree=66957008/67108860
[pid=13540] ppid=13537 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13540/stat : 13540 (scop.sh) S 13537 13540 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405421522 115843072 349 33554432000 4194304 5098028 140720957639920 140720957637176 139665388507772 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36610048 140720957645608 140720957645936 140720957645936 140720957648845 0
/proc/13540/statm: 28282 349 296 221 0 87 0
[pid=13543] ppid=13540 vsize=15021092 memory=128284 CPUtime=1.01 cores=0,2,4,6
/proc/13543/stat : 13543 (java) S 13540 13540 8853 0 -1 1077944320 19806 0 0 0 95 6 0 0 20 0 15 0 405421522 15381598208 32071 33554432000 4194304 4196468 140733770937200 140733770919744 140710149803767 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
/proc/13543/statm: 3755273 32071 3201 1 0 3716603 0
[pid=13543/tid=13544] ppid=13540 vsize=15021092 memory=2372 CPUtime=0.68 cores=0,2,4,6
/proc/13543/task/13544/stat : 13544 (java) R 13540 13540 8853 0 -1 4202560 16800 0 0 0 63 5 0 0 20 0 15 0 405421522 15381598208 32071 33554432000 4194304 4196468 140733770937200 140710121640320 140710149825693 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13545] ppid=13540 vsize=15021092 memory=180 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13545/stat : 13545 (java) S 13540 13540 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421524 15381598208 32071 33554432000 4194304 4196468 140733770937200 140710154045712 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13546] ppid=13540 vsize=15021092 memory=9190 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13546/stat : 13546 (java) S 13540 13540 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421524 15381598208 32071 33554432000 4194304 4196468 140733770937200 140709610355088 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13547] ppid=13540 vsize=15021092 memory=22698 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13547/stat : 13547 (java) S 13540 13540 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421524 15381598208 32071 33554432000 4194304 4196468 140733770937200 140709609302544 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13548] ppid=13540 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13548/stat : 13548 (java) S 13540 13540 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405421524 15381598208 32071 33554432000 4194304 4196468 140733770937200 140709608250000 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13549] ppid=13540 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13549/stat : 13549 (java) S 13540 13540 8853 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405421526 15381598208 32071 33554432000 4194304 4196468 140733770937200 140709187471856 140710149814914 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13550] ppid=13540 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13550/stat : 13550 (java) S 13540 13540 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405421526 15381598208 32071 33554432000 4194304 4196468 140733770937200 140708765754784 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13551] ppid=13540 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13551/stat : 13551 (java) S 13540 13540 8853 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405421526 15381598208 32071 33554432000 4194304 4196468 140733770937200 140708631533040 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13552] ppid=13540 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13552/stat : 13552 (java) S 13540 13540 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421529 15381598208 32071 33554432000 4194304 4196468 140733770937200 140708257028816 140710149822363 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13553] ppid=13540 vsize=15021092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13543/task/13553/stat : 13553 (java) S 13540 13540 8853 0 -1 1077944384 758 0 0 0 8 0 0 0 20 0 15 0 405421529 15381598208 32071 33554432000 4194304 4196468 140733770937200 140709186418672 140710149814914 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13554] ppid=13540 vsize=15021092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13543/task/13554/stat : 13554 (java) R 13540 13540 8853 0 -1 4202560 287 0 0 0 7 0 0 0 20 0 15 0 405421529 15381598208 32071 33554432000 4194304 4196468 140733770937200 140709185366128 140710127970092 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13555] ppid=13540 vsize=15021092 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/13543/task/13555/stat : 13555 (java) S 13540 13540 8853 0 -1 1077944384 609 0 0 0 15 0 0 0 20 0 15 0 405421529 15381598208 32071 33554432000 4194304 4196468 140733770937200 140709184313584 140710149814914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13556] ppid=13540 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13556/stat : 13556 (java) S 13540 13540 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421529 15381598208 32071 33554432000 4194304 4196468 140733770937200 140707759123040 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13557] ppid=13540 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13557/stat : 13557 (java) S 13540 13540 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405421529 15381598208 32071 33554432000 4194304 4196468 140733770937200 140709183261488 140710149814914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 129680 KiB
[startup+1.50081 s]
/proc/loadavg: 2.55 2.87 2.93 3/235 13557
/proc/meminfo: memFree=21129724/32770624 swapFree=66957008/67108860
[pid=13540] ppid=13537 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13540/stat : 13540 (scop.sh) S 13537 13540 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405421522 115843072 349 33554432000 4194304 5098028 140720957639920 140720957637176 139665388507772 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36610048 140720957645608 140720957645936 140720957645936 140720957648845 0
/proc/13540/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/13543/task/13544/stat : 13544 (java) R 13540 13540 8853 0 -1 4202560 30280 0 0 0 23911 513 0 0 20 0 15 0 405421522 15387959296 1057246 33554432000 4194304 4196468 140733770937200 140710121643536 140709656970796 0 4 2 25189581 0 0 0 -1 4 0 0 3064 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13545] ppid=13540 vsize=15027304 memory=4228984 CPUtime=7.18 cores=0,2,4,6
/proc/13543/task/13545/stat : 13545 (java) S 13540 13540 8853 0 -1 1077944384 3447 0 0 0 688 30 0 0 20 0 15 0 405421524 15387959296 1057246 33554432000 4194304 4196468 140733770937200 140710154045712 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13546] ppid=13540 vsize=15027304 memory=4228984 CPUtime=7.21 cores=0,2,4,6
/proc/13543/task/13546/stat : 13546 (java) S 13540 13540 8853 0 -1 1077944384 2915 0 0 0 691 30 0 0 20 0 15 0 405421524 15387959296 1057246 33554432000 4194304 4196468 140733770937200 140709610355088 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13547] ppid=13540 vsize=15027304 memory=4228984 CPUtime=7.21 cores=0,2,4,6
/proc/13543/task/13547/stat : 13547 (java) S 13540 13540 8853 0 -1 1077944384 2696 0 0 0 691 30 0 0 20 0 15 0 405421524 15387959296 1057246 33554432000 4194304 4196468 140733770937200 140709609302544 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13548] ppid=13540 vsize=15027304 memory=4228984 CPUtime=7.24 cores=0,2,4,6
/proc/13543/task/13548/stat : 13548 (java) S 13540 13540 8853 0 -1 1077944384 3126 0 0 0 693 31 0 0 20 0 15 0 405421524 15387959296 1057246 33554432000 4194304 4196468 140733770937200 140709608250000 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13549] ppid=13540 vsize=15027304 memory=4228984 CPUtime=0.07 cores=0,2,4,6
/proc/13543/task/13549/stat : 13549 (java) S 13540 13540 8853 0 -1 1077944384 1043 0 0 0 7 0 0 0 20 0 15 0 405421526 15387959296 1057246 33554432000 4194304 4196468 140733770937200 140709187471856 140710149814914 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13550] ppid=13540 vsize=15027304 memory=4228984 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13550/stat : 13550 (java) S 13540 13540 8853 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 405421526 15387959296 1057246 33554432000 4194304 4196468 140733770937200 140708765754848 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13551] ppid=13540 vsize=15027304 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13551/stat : 13551 (java) S 13540 13540 8853 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 405421526 15387959296 1057246 33554432000 4194304 4196468 140733770937200 140708631533056 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13552] ppid=13540 vsize=15027304 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13552/stat : 13552 (java) S 13540 13540 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421529 15387959296 1057246 33554432000 4194304 4196468 140733770937200 140708257028816 140710149822363 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13553] ppid=13540 vsize=15027304 memory=1368 CPUtime=5.07 cores=0,2,4,6
/proc/13543/task/13553/stat : 13553 (java) S 13540 13540 8853 0 -1 1077944384 9681 0 0 0 505 2 0 0 20 0 15 0 405421529 15387959296 1057246 33554432000 4194304 4196468 140733770937200 140709186418672 140710149814914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13554] ppid=13540 vsize=15027304 memory=280468344196656 CPUtime=4.94 cores=0,2,4,6
/proc/13543/task/13554/stat : 13554 (java) S 13540 13540 8853 0 -1 1077944384 11449 0 0 0 492 2 0 0 20 0 15 0 405421529 15387959296 1057246 33554432000 4194304 4196468 140733770937200 140709185366128 140710149814914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13555] ppid=13540 vsize=15027304 memory=1396 CPUtime=1.25 cores=0,2,4,6
/proc/13543/task/13555/stat : 13555 (java) S 13540 13540 8853 0 -1 1077944384 7607 0 0 0 123 2 0 0 20 0 15 0 405421529 15387959296 1057246 33554432000 4194304 4196468 140733770937200 140709184313584 140710149814914 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13556] ppid=13540 vsize=15027304 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13556/stat : 13556 (java) S 13540 13540 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421529 15387959296 1057246 33554432000 4194304 4196468 140733770937200 140707759123040 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13557] ppid=13540 vsize=15027304 memory=4228984 CPUtime=0.15 cores=0,2,4,6
/proc/13543/task/13557/stat : 13557 (java) S 13540 13540 8853 0 -1 1077944384 300 0 0 0 7 8 0 0 20 0 15 0 405421529 15387959296 1057246 33554432000 4194304 4196468 140733770937200 140709183261488 140710149814914 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
Current children cumulated CPU time: 284.65 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 4230380 KiB
[startup+342.301 s]
/proc/loadavg: 2.65 2.66 2.81 3/235 13584
/proc/meminfo: memFree=12803708/32770624 swapFree=66957008/67108860
[pid=13540] ppid=13537 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13540/stat : 13540 (scop.sh) S 13537 13540 8853 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405421522 115843072 349 33554432000 4194304 5098028 140720957639920 140720957637176 139665388507772 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36610048 140720957645608 140720957645936 140720957645936 140720957648845 0
/proc/13540/statm: 28282 349 296 221 0 87 0
[pid=13543] ppid=13540 vsize=15027304 memory=4231032 CPUtime=336.83 cores=0,2,4,6
/proc/13543/stat : 13543 (java) S 13540 13540 8853 0 -1 1077944320 79546 0 0 0 32921 762 0 0 20 0 15 0 405421522 15387959296 1057758 33554432000 4194304 4196468 140733770937200 140733770919744 140710149803767 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
/proc/13543/statm: 3756826 1057758 3306 1 0 3717627 0
[pid=13543/tid=13544] ppid=13540 vsize=15027304 memory=4231032 CPUtime=293.21 cores=0,2,4,6
/proc/13543/task/13544/stat : 13544 (java) R 13540 13540 8853 0 -1 4202560 32091 0 0 0 28700 621 0 0 20 0 15 0 405421522 15387959296 1057758 33554432000 4194304 4196468 140733770937200 140710121643536 140709657200287 0 4 2 25189581 0 0 0 -1 4 0 0 4047 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13545] ppid=13540 vsize=15027304 memory=4231032 CPUtime=7.97 cores=0,2,4,6
/proc/13543/task/13545/stat : 13545 (java) S 13540 13540 8853 0 -1 1077944384 3912 0 0 0 767 30 0 0 20 0 15 0 405421524 15387959296 1057758 33554432000 4194304 4196468 140733770937200 140710154045712 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13546] ppid=13540 vsize=15027304 memory=4228984 CPUtime=7.99 cores=0,2,4,6
/proc/13543/task/13546/stat : 13546 (java) S 13540 13540 8853 0 -1 1077944384 3309 0 0 0 769 30 0 0 20 0 15 0 405421524 15387959296 1057758 33554432000 4194304 4196468 140733770937200 140709610355088 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13547] ppid=13540 vsize=15027304 memory=4231032 CPUtime=8 cores=0,2,4,6
/proc/13543/task/13547/stat : 13547 (java) S 13540 13540 8853 0 -1 1077944384 3272 0 0 0 769 31 0 0 20 0 15 0 405421524 15387959296 1057758 33554432000 4194304 4196468 140733770937200 140709609302544 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13548] ppid=13540 vsize=15027304 memory=4231032 CPUtime=8.03 cores=0,2,4,6
/proc/13543/task/13548/stat : 13548 (java) S 13540 13540 8853 0 -1 1077944384 4216 0 0 0 772 31 0 0 20 0 15 0 405421524 15387959296 1057758 33554432000 4194304 4196468 140733770937200 140709608250000 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13549] ppid=13540 vsize=15027304 memory=1396 CPUtime=0.08 cores=0,2,4,6
/proc/13543/task/13549/stat : 13549 (java) S 13540 13540 8853 0 -1 1077944384 1343 0 0 0 7 1 0 0 20 0 15 0 405421526 15387959296 1057758 33554432000 4194304 4196468 140733770937200 140709187471856 140710149814914 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13550] ppid=13540 vsize=15027304 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13550/stat : 13550 (java) S 13540 13540 8853 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 405421526 15387959296 1057758 33554432000 4194304 4196468 140733770937200 140708765754848 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13551] ppid=13540 vsize=15027304 memory=4231032 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13551/stat : 13551 (java) S 13540 13540 8853 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 405421526 15387959296 1057758 33554432000 4194304 4196468 140733770937200 140708631533056 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13552] ppid=13540 vsize=15027304 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13552/stat : 13552 (java) S 13540 13540 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421529 15387959296 1057758 33554432000 4194304 4196468 140733770937200 140708257028816 140710149822363 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13553] ppid=13540 vsize=15027304 memory=1396 CPUtime=5.07 cores=0,2,4,6
/proc/13543/task/13553/stat : 13553 (java) S 13540 13540 8853 0 -1 1077944384 9683 0 0 0 505 2 0 0 20 0 15 0 405421529 15387959296 1057758 33554432000 4194304 4196468 140733770937200 140709186418672 140710149814914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13554] ppid=13540 vsize=15027304 memory=1396 CPUtime=4.94 cores=0,2,4,6
/proc/13543/task/13554/stat : 13554 (java) S 13540 13540 8853 0 -1 1077944384 12435 0 0 0 492 2 0 0 20 0 15 0 405421529 15387959296 1057758 33554432000 4194304 4196468 140733770937200 140709185366128 140710149814914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13555] ppid=13540 vsize=15027304 memory=3512 CPUtime=1.25 cores=0,2,4,6
/proc/13543/task/13555/stat : 13555 (java) S 13540 13540 8853 0 -1 1077944384 7609 0 0 0 123 2 0 0 20 0 15 0 405421529 15387959296 1057758 33554432000 4194304 4196468 140733770937200 140709184313584 140710149814914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13556] ppid=13540 vsize=15027304 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13543/task/13556/stat : 13556 (java) S 13540 13540 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405421529 15387959296 1057758 33554432000 4194304 4196468 140733770937200 140707759123040 140710149813973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
[pid=13543/tid=13557] ppid=13540 vsize=15027304 memory=4231032 CPUtime=0.19 cores=0,2,4,6
/proc/13543/task/13557/stat : 13557 (java) S 13540 13540 8853 0 -1 1077944384 329 0 0 0 10 9 0 0 20 0 15 0 405421529 15387959296 1057758 33554432000 4194304 4196468 140733770937200 140709183261488 140710149814914 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 11751424 140733770941166 140733770941594 140733770941594 140733770944463 0
Current children cumulated CPU time: 336.83 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 4232428 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+379.301 s]
/proc/loadavg: 2.46 2.61 2.79 3/240 13609
/proc/meminfo: memFree=9736008/32770624 swapFree=66957008/67108860
[pid=13540] ppid=13537 vsize=113128 memory=1476 CPUtime=341.56 cores=0,2,4,6
/proc/13540/stat : 13540 (scop.sh) S 13537 13540 8853 0 -1 4202496 584 85191 0 0 0 0 33382 774 20 0 1 0 405421522 115843072 369 33554432000 4194304 5098028 140720957639920 140720957636664 139665388507772 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36610048 140720957645608 140720957645936 140720957645936 140720957648845 0
/proc/13540/statm: 28282 369 311 221 0 87 0
[pid=13585] ppid=13540 vsize=8068440 memory=119696 CPUtime=1.22 cores=0,2,4,6
/proc/13585/stat : 13585 (java) S 13540 13540 8853 0 -1 1077944320 19736 0 0 0 115 7 0 0 20 0 19 0 405456283 8262082560 29924 33554432000 4194304 4196468 140728629739040 140728629721584 140339733716727 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
/proc/13585/statm: 2017110 29924 3203 1 0 1978454 0
[pid=13600] ppid=13585 vsize=8738320 memory=7141656 CPUtime=30.94 cores=0,2,4,6
/proc/13600/stat : 13600 (glueminisat-sim) R 13585 13540 8853 0 -1 4202496 1243596 0 0 0 2818 276 0 0 20 0 1 0 405456358 8948039680 1785414 33554432000 4194304 4452875 140731928698144 140731927644488 140438058502699 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6552096 6554264 20189184 140731928703839 140731928704039 140731928704039 140731928706989 0
/proc/13600/statm: 2184580 1785414 336 64 0 2180784 0
[pid=13585/tid=13586] ppid=13540 vsize=8068440 memory=1476 CPUtime=0.77 cores=0,2,4,6
/proc/13585/task/13586/stat : 13586 (java) S 13540 13540 8853 0 -1 1077944384 16732 0 0 0 72 5 0 0 20 0 19 0 405456283 8262082560 29924 33554432000 4194304 4196468 140728629739040 140339705556896 140339733726933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
[pid=13585/tid=13587] ppid=13540 vsize=8068440 memory=119696 CPUtime=0 cores=0,2,4,6
/proc/13585/task/13587/stat : 13587 (java) S 13540 13540 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405456285 8262082560 29924 33554432000 4194304 4196468 140728629739040 140339737959440 140339733726933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
[pid=13585/tid=13588] ppid=13540 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/13585/task/13588/stat : 13588 (java) S 13540 13540 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405456285 8262082560 29924 33554432000 4194304 4196468 140728629739040 140339538128016 140339733726933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
[pid=13585/tid=13589] ppid=13540 vsize=8068440 memory=119696 CPUtime=0 cores=0,2,4,6
/proc/13585/task/13589/stat : 13589 (java) S 13540 13540 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405456285 8262082560 29924 33554432000 4194304 4196468 140728629739040 140339537074960 140339733726933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
[pid=13585/tid=13590] ppid=13540 vsize=8068440 memory=119696 CPUtime=0 cores=0,2,4,6
/proc/13585/task/13590/stat : 13590 (java) S 13540 13540 8853 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405456285 8262082560 29924 33554432000 4194304 4196468 140728629739040 140339536022416 140339733726933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
[pid=13585/tid=13591] ppid=13540 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/13585/task/13591/stat : 13591 (java) S 13540 13540 8853 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405456286 8262082560 29924 33554432000 4194304 4196468 140728629739040 140338777508080 140339733727874 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
[pid=13585/tid=13592] ppid=13540 vsize=8068440 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/13585/task/13592/stat : 13592 (java) S 13540 13540 8853 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405456287 8262082560 29924 33554432000 4194304 4196468 140728629739040 140338660369568 140339733726933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
[pid=13585/tid=13593] ppid=13540 vsize=8068440 memory=5295952 CPUtime=0 cores=0,2,4,6
/proc/13585/task/13593/stat : 13593 (java) S 13540 13540 8853 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405456287 8262082560 29924 33554432000 4194304 4196468 140728629739040 140338391933680 140339733726933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
[pid=13585/tid=13594] ppid=13540 vsize=8068440 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/13585/task/13594/stat : 13594 (java) S 13540 13540 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405456290 8262082560 29924 33554432000 4194304 4196468 140728629739040 140338017425360 140339733735323 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
[pid=13585/tid=13595] ppid=13540 vsize=8068440 memory=1980 CPUtime=0.08 cores=0,2,4,6
/proc/13585/task/13595/stat : 13595 (java) S 13540 13540 8853 0 -1 1077944384 627 0 0 0 8 0 0 0 20 0 19 0 405456290 8262082560 29924 33554432000 4194304 4196468 140728629739040 140338776455920 140339733727874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
[pid=13585/tid=13596] ppid=13540 vsize=8068440 memory=2520 CPUtime=0.1 cores=0,2,4,6
/proc/13585/task/13596/stat : 13596 (java) S 13540 13540 8853 0 -1 1077944384 438 0 0 0 10 0 0 0 20 0 19 0 405456290 8262082560 29924 33554432000 4194304 4196468 140728629739040 140338775403376 140339733727874 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
[pid=13585/tid=13597] ppid=13540 vsize=8068440 memory=3512 CPUtime=0.21 cores=0,2,4,6
/proc/13585/task/13597/stat : 13597 (java) S 13540 13540 8853 0 -1 1077944384 546 0 0 0 21 0 0 0 20 0 19 0 405456290 8262082560 29924 33554432000 4194304 4196468 140728629739040 140338774350320 140339733727874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
[pid=13585/tid=13598] ppid=13540 vsize=8068440 memory=37420 CPUtime=0 cores=0,2,4,6
/proc/13585/task/13598/stat : 13598 (java) S 13540 13540 8853 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405456290 8262082560 29924 33554432000 4194304 4196468 140728629739040 140337519520608 140339733726933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
[pid=13585/tid=13599] ppid=13540 vsize=8068440 memory=1476 CPUtime=0.01 cores=0,2,4,6
/proc/13585/task/13599/stat : 13599 (java) S 13540 13540 8853 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 19 0 405456290 8262082560 29924 33554432000 4194304 4196468 140728629739040 140338773297712 140339733727874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
[pid=13585/tid=13601] ppid=13540 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/13585/task/13601/stat : 13601 (java) S 13540 13540 8853 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405456358 8262082560 29924 33554432000 4194304 4196468 140728629739040 140338765264192 140339733741337 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
[pid=13585/tid=13603] ppid=13540 vsize=8068440 memory=119696 CPUtime=0 cores=0,2,4,6
/proc/13585/task/13603/stat : 13603 (java) S 13540 13540 8853 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405456358 8262082560 29924 33554432000 4194304 4196468 140728629739040 140336982633872 140339733738653 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
[pid=13585/tid=13604] ppid=13540 vsize=8068440 memory=3462036 CPUtime=0 cores=0,2,4,6
/proc/13585/task/13604/stat : 13604 (java) S 13540 13540 8853 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 405456358 8262082560 29924 33554432000 4194304 4196468 140728629739040 140337116856336 140339733738653 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
[pid=13585/tid=13605] ppid=13540 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/13585/task/13605/stat : 13605 (java) S 13540 13540 8853 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405456362 8262082560 29924 33554432000 4194304 4196468 140728629739040 140336714211120 140339733726933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29437952 140728629740539 140728629740698 140728629740698 140728629743567 0
Current children cumulated CPU time: 373.72 s
Current children cumulated vsize: 16919888 KiB
Current children cumulated memory: 7262828 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+379.314 s]
# the end of solver process 13540 was just reported to runsolver
# cumulated CPU time of all completed processes: user=333.826 s, system=7.74615 s
[startup+380.244 s]
# the end of solver process 13585 was just reported to runsolver
# cumulated CPU time of all completed processes: user=363.173 s, system=11.5492 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+380.001 s]*
/proc/loadavg: 2.46 2.61 2.79 3/221 13613
/proc/meminfo: memFree=19277404/32770624 swapFree=66957008/67108860
Current cumulated CPU time of completed processes: 341.572 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+380.2 s]
/proc/loadavg: 2.46 2.61 2.79 3/221 13613
/proc/meminfo: memFree=19277404/32770624 swapFree=66957008/67108860
Current cumulated CPU time of completed processes: 341.572 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): 380.244
CPU time (s): 374.722
CPU user time (s): 363.173
CPU system time (s): 11.5492
CPU usage (%): 98.5478
Max. virtual memory (cumulated for all children) (KiB): 16919888
Max. memory (cumulated for all children) (KiB): 7262828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 363.173
system time used= 11.5492
maximum resident set size= 7141776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1349665
page faults= 0
swaps= 0
block input operations= 232
block output operations= 8395712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16268
involuntary context switches= 1082
# summary of solver processes directly reported to runsolver:
# pid: 13540,13585
# total CPU time (s): 374.722
# total CPU user time (s): 363.173
# total CPU system time (s): 11.5492
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.47456 second user time and 3.86172 second system time
The end