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-14416-serial-file.bin HOME/instance-4388316-1568298042.xml
0.66/0.53
0.66/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Thu Sep 12 16:19:59 CEST 2019
0.66/0.56 c PID: 14419
0.66/0.56 c IP: 172.20.3.136
0.66/0.56 c HOST: node136.alineos.net
0.66/0.57 c (0,0) Parsing Begin
3.24/1.50 c (0,0) Parsing End
3.24/1.52 c (0,0) CSP: 10000 int (0 aux), 0 bool (0 aux), 1 ctr, max domain size 100
3.24/1.52 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.24/1.52 c (0,0) Constraint Name Generate Begin
3.24/1.53 c (0,0) Ctr:HOME/instance-4388316-1568298042.xml,AllDifferentMatrix:Var
3.24/1.53 c (0,0) Constraint Name Generate End
3.24/1.53 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.24/1.54 c (0,0) CSP to CSPinCNF Begin
3.24/1.57 c (1,1) translated 1 (10%) constraints
63.25/46.24 c (45,41) ===========================================
63.25/46.24 c (45,41) Order
63.25/46.24 c (45,41) ===========================================
86.76/59.74 c (59,52) translated 101040 (10%) constraints
103.60/71.85 c (71,62) translated 202080 (20%) constraints
116.49/82.79 c (82,73) translated 303120 (30%) constraints
130.95/94.55 c (94,84) translated 404160 (40%) constraints
145.19/105.83 c (105,94) translated 505200 (50%) constraints
156.68/115.43 c (114,103) translated 606240 (60%) constraints
167.91/124.98 c (124,112) translated 707280 (70%) constraints
178.18/134.31 c (133,121) translated 808320 (80%) constraints
189.97/144.00 c (143,130) translated 909360 (90%) constraints
200.40/153.38 c (152,139) translated 1010400 (100%) constraints
200.40/153.39 c (152,139) CSP to CSPinCNF End
200.74/153.64 c (153,139) CSP: 10000 int (0 aux), 1000000 bool (1000000 aux), 5010400 ctr, max domain size 100
200.74/153.64 c (153,139) Heap : 7376 MiB used (max 10570 MiB), NonHeap : 26 MiB used (max 0 MiB)
200.74/153.64 c (153,139) CSPinCNF Propagation Begin
260.96/196.49 c (195,176) 0 values, 0 unsatisfiable literals, and 40000 valid clauses are removed
260.96/196.49 c (195,176) CSPinCNF Propagation End
261.26/196.73 c (196,177) CSP: 10000 int (0 aux), 1000000 bool (1000000 aux), 4970400 ctr, max domain size 100
261.26/196.73 c (196,177) Heap : 8462 MiB used (max 10576 MiB), NonHeap : 26 MiB used (max 0 MiB)
261.26/196.78 c (196,177) Simplify CSPinCNF Begin
390.72/254.56 c (254,210) Simplify CSPinCNF End
391.62/255.41 c (254,211) CSP: 10000 int (0 aux), 2980000 bool (2980000 aux), 6950400 ctr, max domain size 100
391.62/255.41 c (254,211) Heap : 7039 MiB used (max 10713 MiB), NonHeap : 27 MiB used (max 0 MiB)
391.62/255.41 c (254,211) Calculate Precise Domain Begin
391.62/255.42 c (254,211) 0 values are removed by re-calculation
391.62/255.42 c (254,211) Calculate Precise Domain End
392.43/256.27 c (255,212) CSP: 10000 int (0 aux), 2980000 bool (2980000 aux), 6950400 ctr, max domain size 100
392.43/256.27 c (255,212) Heap : 7092 MiB used (max 10713 MiB), NonHeap : 27 MiB used (max 0 MiB)
392.43/256.27 c (255,212) CSPinCNF to SatSolver Begin
575.05/372.23 c (371,304) 695040 (10 %) CSP clauses are encoded (0 SAT variables, 21277039 SAT clauses)
669.21/461.49 c (460,389) 1390080 (20 %) CSP clauses are encoded (0 SAT variables, 41574079 SAT clauses)
764.21/551.22 c (550,474) 2085120 (30 %) CSP clauses are encoded (0 SAT variables, 61871119 SAT clauses)
858.71/640.85 c (640,558) 2780160 (40 %) CSP clauses are encoded (0 SAT variables, 82168159 SAT clauses)
953.87/730.23 c (729,644) 3475200 (50 %) CSP clauses are encoded (0 SAT variables, 102465199 SAT clauses)
1048.40/818.73 c (818,729) 4170240 (60 %) CSP clauses are encoded (0 SAT variables, 122762239 SAT clauses)
1142.74/907.46 c (906,813) 4865280 (70 %) CSP clauses are encoded (0 SAT variables, 143059279 SAT clauses)
1236.91/996.09 c (995,898) 5560320 (80 %) CSP clauses are encoded (0 SAT variables, 163356319 SAT clauses)
1331.29/1084.79 c (1084,983) 6255360 (90 %) CSP clauses are encoded (0 SAT variables, 183653359 SAT clauses)
1425.95/1173.45 c (1172,1068) 6950400 (100 %) CSP clauses are encoded (0 SAT variables, 203950399 SAT clauses)
1425.95/1173.45 c (1172,1068) CSPinCNF to SatSolver End
1425.95/1173.45 c (1172,1068) Heap : 9582 MiB used (max 11191 MiB), NonHeap : 28 MiB used (max 0 MiB)
1425.95/1173.45 c (1172,1068) 3970000 bool, 203950400 clause
1425.95/1173.45 c (1172,1068) Export Begin
1426.79/1173.90 c (1173,1068) Export to HOME/scop-14416-serial-file.bin
1426.79/1173.90 c (1173,1068) Export End
1426.79/1173.90 c (1173,1068) Export File Size: 1.64 MB
1426.79/1173.90 c (1173,1068) 0,0,153,196,254,255,1172,STOP-AFTER(DIMACS)
1426.79/1173.90 c END-Prog: Thu Sep 12 16:39:32 CEST 2019
1426.79/1173.95 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14416-serial-file.bin
1427.44/1174.42 c (0,0) Read Serial File Begin
1427.44/1174.42 c (0,0) HOME/scop-14416-serial-file.bin
1428.35/1174.98 c (0,0) Read Serial File End
1428.35/1174.99
1428.35/1174.99 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
1428.35/1174.99 (Solving Process)
1428.35/1174.99
1428.55/1175.01 c BEGIN-Prog: Thu Sep 12 16:39:33 CEST 2019
1428.55/1175.01 c PID: 14544
1428.55/1175.01 c IP: 172.20.3.136
1428.55/1175.01 c HOST: node136.alineos.net
1428.55/1175.02 c (0,0) SatSolver.solve Begin
1428.55/1175.02 c (0,0) HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388316-1568298042.xml-scop-14419.cnf
1428.55/1175.04 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1428.55/1175.04 c (0,0) c glueminisat-simp-2.2.10-193oa-n
1428.55/1175.04 c (0,0) c Command: HOME/glueminisat-simp-2.2.10-193oa-n-release -model -verb=3 -elim-cl=5000000 -native-oa HOME/instance-4388316-1568298042.xml-scop-14419.cnf
1428.55/1175.04 c (0,0) c Options:
1428.55/1175.04 c (0,0) c CORE
1428.55/1175.04 c (0,0) c var_decay = 0.950
1428.55/1175.04 c (0,0) c clause_decay = 0.999
1428.55/1175.04 c (0,0) c random_var_freq = 0.000
1428.55/1175.04 c (0,0) c random_seed = 91648253.000
1428.55/1175.04 c (0,0) c luby_restart = 1
1428.55/1175.04 c (0,0) c ccmin_mode = 2
1428.55/1175.04 c (0,0) c phase_saving = 2
1428.55/1175.04 c (0,0) c rnd_pol = 0
1428.55/1175.04 c (0,0) c rnd_init_act = 0
1428.55/1175.04 c (0,0) c garbage_frac = 0.200
1428.55/1175.04 c (0,0) c restart_first = 1000
1428.55/1175.04 c (0,0) c restart_inc = 2.000
1428.55/1175.04 c (0,0) c MODEL
1428.55/1175.04 c (0,0) c partial_model = 0
1428.55/1175.04 c (0,0) c PROPAGATION
1428.55/1175.04 c (0,0) c bin_propagation = 1
1428.55/1175.04 c (0,0) c SIMPLIFICATION
1428.55/1175.04 c (0,0) c lrn_min_size = 100
1428.55/1175.04 c (0,0) c lazy_simp = 1
1428.55/1175.04 c (0,0) c lazy_interval = 10
1428.55/1175.04 c (0,0) c lazy_fld_probing = 1
1428.55/1175.04 c (0,0) c lazy_pol_probing = 1
1428.55/1175.04 c (0,0) c lazy_nec_probing = 1
1428.55/1175.04 c (0,0) c lazy_eqv_probing = 1
1428.55/1175.04 c (0,0) c lazy_cla_probing = 1
1428.55/1175.04 c (0,0) c lazy_lrn_min = 2
1428.55/1175.04 c (0,0) c lazy_uw_lit_elim = 1
1428.55/1175.05 c (0,0) c lazy_pr_lit_elim = 0
1428.55/1175.05 c (0,0) c lazy_bin_add = 3
1428.55/1175.05 c (0,0) c probed_lit_chain = 1
1428.55/1175.05 c (0,0) c pr_min_lits = 0.00020
1428.55/1175.05 c (0,0) c pr_min_starts = 500
1428.55/1175.05 c (0,0) c rw_min_lits = 0.010
1428.55/1175.05 c (0,0) c rw_min_starts = 500
1428.55/1175.05 c (0,0) c rand_attach = 0
1428.55/1175.05 c (0,0) c dec_elim = 1
1428.55/1175.05 c (0,0) c dec_elim_lim = 25
1428.55/1175.05 c (0,0) c dec_elim_len = -1
1428.55/1175.05 c (0,0) c amo = 0
1428.55/1175.05 c (0,0) c amo_grp = 1
1428.55/1175.05 c (0,0) c amo_max_bins = 1000000
1428.55/1175.05 c (0,0) c amo_starts = 50
1428.55/1175.05 c (0,0) c mace_cmd = mace
1428.55/1175.05 c (0,0) c DECISION
1428.55/1175.05 c (0,0) c rand_rebuild = 0
1428.55/1175.05 c (0,0) c rand_rebuild_confs = 10000
1428.55/1175.05 c (0,0) c inc_var_decay = 1
1428.55/1175.05 c (0,0) c inc_var_decay_period = 100000
1428.55/1175.05 c (0,0) c inc_var_decay_init = 0.600
1428.55/1175.05 c (0,0) c var_decay_mode = 0
1428.55/1175.05 c (0,0) c var_decay_gain = 0
1428.55/1175.05 c (0,0) c sloped_var_decay = 1
1428.55/1175.05 c (0,0) c max_var_decay = 0.990
1428.55/1175.05 c (0,0) c min_var_decay = 0.950
1428.55/1175.05 c (0,0) c min_var_decay_vars = 10000
1428.55/1175.05 c (0,0) c max_var_decay_vars = 500
1428.55/1175.05 c (0,0) c uip_bumping = 1
1428.55/1175.05 c (0,0) c lbd_act_bumping = 1
1428.55/1175.05 c (0,0) c rand_tiebreak = 0
1428.55/1175.05 c (0,0) c simp_rebuild = 1
1428.55/1175.05 c (0,0) c RESTART
1428.55/1175.05 c (0,0) c restart_strategy = 2
1428.55/1175.05 c (0,0) c restart_blocking = 0
1428.55/1175.05 c (0,0) c agility_decay = 0.99990
1428.55/1175.05 c (0,0) c lbd_restart_rate = 0.800
1428.55/1175.05 c (0,0) c dec_restart_rate = 0.950
1428.55/1175.05 c (0,0) c blk_restart_rate = 0.700
1428.55/1175.05 c (0,0) c lbd_queue_size = 50
1428.55/1175.05 c (0,0) c dec_queue_size = 50
1428.55/1175.05 c (0,0) c trl_queue_size = 5000
1428.55/1175.05 c (0,0) c blk_restart_weight = 1.000
1428.55/1175.05 c (0,0) c inc_rst_rate = 0
1428.55/1175.05 c (0,0) c inc_rst_rate_period = 500000
1428.55/1175.05 c (0,0) c inc_lbd_rst_rate_init = 0.600
1428.55/1175.05 c (0,0) c inc_dec_rst_rate_init = 0.750
1428.55/1175.05 c (0,0) c REDUCTION
1428.55/1175.05 c (0,0) c closed_lbd = 0
1428.55/1175.05 c (0,0) c closed_lbd_rate = 0.500
1428.55/1175.05 c (0,0) c rm_simulate = 0
1428.55/1175.05 c (0,0) c rdb_eval = 2
1428.55/1175.05 c (0,0) c rdb_call = 3
1428.55/1175.05 c (0,0) c rdb_ub = 0.500
1428.55/1175.05 c (0,0) c core_lbd_cvr = 0.800
1428.55/1175.05 c (0,0) c supp_lbd_cvr = 0.990
1428.55/1175.05 c (0,0) c core_lbd_lb = 2
1428.55/1175.05 c (0,0) c supp_lbd_lb = 2
1428.55/1175.05 c (0,0) c core_lbd_prd = 7
1428.55/1175.05 c (0,0) c supp_lbd_prd = 1
1428.55/1175.05 c (0,0) c othr_lbd_prd = 0
1428.55/1175.05 c (0,0) c inc_lrn_limit = 1000
1428.55/1175.05 c (0,0) c frozen_lbd = 30
1428.55/1175.05 c (0,0) c simp_min_starts = 100
1428.55/1175.05 c (0,0) c rm_low_act_learnts = 1
1428.55/1175.05 c (0,0) c lv0_reduce_db = 0
1428.55/1175.05 c (0,0) c reduce_db_base = 20000
1428.55/1175.05 c (0,0) c reduce_db_inc = 1000
1428.55/1175.05 c (0,0) c HARD
1428.55/1175.05 c (0,0) c inst_check = 200000
1428.55/1175.05 c (0,0) c small_block = 1.750
1428.55/1175.05 c (0,0) c slow_restart_speed = 400.000
1428.55/1175.05 c (0,0) c slow_restart_strategy = 3
1428.55/1175.05 c (0,0) c slow_lbd_restart_rate = 0.700
1428.55/1175.05 c (0,0) c slow_dec_restart_rate = 1.000
1428.55/1175.05 c (0,0) c slow_lbd_queue_size = 50
1428.55/1175.05 c (0,0) c slow_var_decay = 0.950
1428.55/1175.05 c (0,0) c slow_glue_threshold = 2
1428.55/1175.05 c (0,0) c slow_phase_saving = 2
1428.55/1175.05 c (0,0) c fast_restart_speed = 125.000
1428.55/1175.05 c (0,0) c fast_restart_strategy = 1
1428.55/1175.05 c (0,0) c fast_lbd_restart_rate = 0.800
1428.55/1175.05 c (0,0) c fast_dec_restart_rate = 0.950
1428.55/1175.05 c (0,0) c fast_lbd_queue_size = 50
1428.55/1175.05 c (0,0) c fast_var_decay = 1.000
1428.55/1175.05 c (0,0) c fast_glue_threshold = 2
1428.55/1175.05 c (0,0) c fast_phase_saving = 2
1428.55/1175.05 c (0,0) c STATS
1428.55/1175.05 c (0,0) c stats_conf_size = 10000
1428.55/1175.05 c (0,0) c max_stats_size = 30
1428.55/1175.05 c (0,0) c SOLVER
1428.55/1175.05 c (0,0) c minisat = 0
1458.94/1205.21 c (30,0) receiving signal SIGTERM
1458.94/1205.21 s UNKNOWN
1458.94/1205.22 c (scop.sh) Receiving Signal. Removing all intermediate files.
1458.94/1205.22 c (scop.sh) Remove HOME/scop-14416-serial-file.bin.
1458.94/1205.22 c (scop.sh) Killing background jobs.
1458.94/1205.22 c (30,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 (9289 MiB free)
memory of node 1: 16384 MiB (11319 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388316-1568298042/watcher-4388316-1568298042 -o /tmp/evaluation-result-4388316-1568298042/solver-4388316-1568298042 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568289646-11936 --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-4388316-1568298042.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
Current StackSize limit: 8192 KiB
solver pid=14416, runsolver pid=14413
[startup+0.100166 s]*
/proc/loadavg: 2.35 2.11 2.10 3/234 14433
/proc/meminfo: memFree=21043248/32770624 swapFree=67003116/67108860
[pid=14416] ppid=14413 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14416/stat : 14416 (scop.sh) S 14413 14416 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406052867 115843072 349 33554432000 4194304 5098028 140733963984880 140733963982136 139803361542780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32251904 140733963993896 140733963994224 140733963994224 140733963997133 0
/proc/14416/statm: 28282 349 296 221 0 87 0
[pid=14419] ppid=14416 vsize=15013720 memory=73360 CPUtime=0.11 cores=0,2,4,6
/proc/14419/stat : 14419 (java) S 14416 14416 11905 0 -1 1077944320 6631 0 0 0 9 2 0 0 20 0 15 0 406052868 15374049280 18340 33554432000 4194304 4196468 140735311529440 140735311511984 139701331148535 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
/proc/14419/statm: 3753430 18340 2888 1 0 3715835 0
[pid=14419/tid=14420] ppid=14416 vsize=15014680 memory=-6293636188170665925 CPUtime=0.09 cores=0,2,4,6
/proc/14419/task/14420/stat : 14420 (java) R 14416 14416 11905 0 -1 4202560 4406 0 0 0 8 1 0 0 20 0 15 0 406052868 15375032320 18340 33554432000 4194304 4196468 140735311529440 139701302932784 139701323386334 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14421] ppid=14416 vsize=15014680 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14421/stat : 14421 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052870 15375032320 18406 33554432000 4194304 4196468 140735311529440 139701335390992 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14422] ppid=14416 vsize=15014680 memory=140409984620160 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14422/stat : 14422 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052870 15375032320 18406 33554432000 4194304 4196468 140735311529440 139700792015760 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14423] ppid=14416 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14423/stat : 14423 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052870 15375032320 18406 33554432000 4194304 4196468 140735311529440 139700790963216 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14424] ppid=14416 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14424/stat : 14424 (java) S 14416 14416 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406052870 15375032320 18472 33554432000 4194304 4196468 140735311529440 139700789910672 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14425] ppid=14416 vsize=15014680 memory=140409984620160 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14425/stat : 14425 (java) S 14416 14416 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406052871 15375032320 18472 33554432000 4194304 4196468 140735311529440 139700737882096 139701331159682 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14426] ppid=14416 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14426/stat : 14426 (java) S 14416 14416 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406052872 15375032320 18472 33554432000 4194304 4196468 140735311529440 139699985310624 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14427] ppid=14416 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14427/stat : 14427 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052872 15375032320 18472 33554432000 4194304 4196468 140735311529440 139699716875248 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14428] ppid=14416 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14428/stat : 14428 (java) S 14416 14416 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406052874 15375032320 18472 33554432000 4194304 4196468 140735311529440 139699342366928 139701331167131 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14429] ppid=14416 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14429/stat : 14429 (java) S 14416 14416 11905 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 406052874 15375032320 18472 33554432000 4194304 4196468 140735311529440 139700736829936 139701331159682 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14430] ppid=14416 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14430/stat : 14430 (java) S 14416 14416 11905 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 406052874 15375032320 18472 33554432000 4194304 4196468 140735311529440 139700735777392 139701331159682 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14431] ppid=14416 vsize=15014680 memory=140409984620160 CPUtime=0.01 cores=0,2,4,6
/proc/14419/task/14431/stat : 14431 (java) S 14416 14416 11905 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 15 0 406052874 15375032320 18472 33554432000 4194304 4196468 140735311529440 139700734724848 139701331159682 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14432] ppid=14416 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14432/stat : 14432 (java) S 14416 14416 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406052874 15375032320 18472 33554432000 4194304 4196468 140735311529440 139698844462176 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14433] ppid=14416 vsize=15014680 memory=140409984620160 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14433/stat : 14433 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052875 15375032320 18472 33554432000 4194304 4196468 140735311529440 139700733671728 139701331159682 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 74756 KiB
[startup+0.211005 s]*
/proc/loadavg: 2.35 2.11 2.10 3/234 14433
/proc/meminfo: memFree=21026876/32770624 swapFree=67003116/67108860
[pid=14416] ppid=14413 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14416/stat : 14416 (scop.sh) S 14413 14416 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406052867 115843072 349 33554432000 4194304 5098028 140733963984880 140733963982136 139803361542780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32251904 140733963993896 140733963994224 140733963994224 140733963997133 0
/proc/14416/statm: 28282 349 296 221 0 87 0
[pid=14419] ppid=14416 vsize=15012696 memory=85808 CPUtime=0.25 cores=0,2,4,6
/proc/14419/stat : 14419 (java) S 14416 14416 11905 0 -1 1077944320 10968 0 0 0 22 3 0 0 20 0 15 0 406052868 15373000704 21386 33554432000 4194304 4196468 140735311529440 140735311511984 139701331148535 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
/proc/14419/statm: 3753174 21452 2927 1 0 3715579 0
[pid=14419/tid=14420] ppid=14416 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/14419/task/14420/stat : 14420 (java) S 14416 14416 11905 0 -1 1077944384 8687 0 0 0 17 2 0 0 20 0 15 0 406052868 15373000704 21452 33554432000 4194304 4196468 140735311529440 139701302966304 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14421] ppid=14416 vsize=15012696 memory=399 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14421/stat : 14421 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052870 15373000704 21452 33554432000 4194304 4196468 140735311529440 139701335390992 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14422] ppid=14416 vsize=15012696 memory=140409984634121 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14422/stat : 14422 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052870 15373000704 21452 33554432000 4194304 4196468 140735311529440 139700792015760 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14423] ppid=14416 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14423/stat : 14423 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052870 15373000704 21452 33554432000 4194304 4196468 140735311529440 139700790963216 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14424] ppid=14416 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14424/stat : 14424 (java) S 14416 14416 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406052870 15373000704 21452 33554432000 4194304 4196468 140735311529440 139700789910672 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14425] ppid=14416 vsize=15012696 memory=140409984620160 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14425/stat : 14425 (java) S 14416 14416 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406052871 15373000704 21452 33554432000 4194304 4196468 140735311529440 139700737882096 139701331159682 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14426] ppid=14416 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14426/stat : 14426 (java) S 14416 14416 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406052872 15373000704 21452 33554432000 4194304 4196468 140735311529440 139699985310624 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14427] ppid=14416 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14427/stat : 14427 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052872 15373000704 21452 33554432000 4194304 4196468 140735311529440 139699716875248 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14428] ppid=14416 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14428/stat : 14428 (java) S 14416 14416 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406052874 15373000704 21452 33554432000 4194304 4196468 140735311529440 139699342366928 139701331167131 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14429] ppid=14416 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14419/task/14429/stat : 14429 (java) S 14416 14416 11905 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 15 0 406052874 15373000704 21452 33554432000 4194304 4196468 140735311529440 139700736829936 139701331159682 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14430] ppid=14416 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14430/stat : 14430 (java) S 14416 14416 11905 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 406052874 15373000704 21452 33554432000 4194304 4196468 140735311529440 139700735777392 139701331159682 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14431] ppid=14416 vsize=15012696 memory=140409984620160 CPUtime=0.03 cores=0,2,4,6
/proc/14419/task/14431/stat : 14431 (java) S 14416 14416 11905 0 -1 1077944384 495 0 0 0 3 0 0 0 20 0 15 0 406052874 15373000704 21452 33554432000 4194304 4196468 140735311529440 139700734724848 139701331159682 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14432] ppid=14416 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14432/stat : 14432 (java) S 14416 14416 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406052874 15373000704 21452 33554432000 4194304 4196468 140735311529440 139698844462176 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14433] ppid=14416 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14433/stat : 14433 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052875 15373000704 21452 33554432000 4194304 4196468 140735311529440 139700733671728 139701331159682 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87204 KiB
[startup+0.311038 s]*
/proc/loadavg: 2.35 2.11 2.10 4/234 14433
/proc/meminfo: memFree=21024272/32770624 swapFree=67003116/67108860
[pid=14416] ppid=14413 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14416/stat : 14416 (scop.sh) S 14413 14416 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406052867 115843072 349 33554432000 4194304 5098028 140733963984880 140733963982136 139803361542780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32251904 140733963993896 140733963994224 140733963994224 140733963997133 0
/proc/14416/statm: 28282 349 296 221 0 87 0
[pid=14419] ppid=14416 vsize=15012696 memory=89924 CPUtime=0.43 cores=0,2,4,6
/proc/14419/stat : 14419 (java) S 14416 14416 11905 0 -1 1077944320 12012 0 0 0 39 4 0 0 20 0 15 0 406052868 15373000704 22481 33554432000 4194304 4196468 140735311529440 140735311511984 139701331148535 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
/proc/14419/statm: 3753174 22481 3040 1 0 3715579 0
[pid=14419/tid=14420] ppid=14416 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=0,2,4,6
/proc/14419/task/14420/stat : 14420 (java) R 14416 14416 11905 0 -1 4202560 9528 0 0 0 27 3 0 0 20 0 15 0 406052868 15373000704 22481 33554432000 4194304 4196468 140735311529440 139701302939184 139701316314128 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14421] ppid=14416 vsize=15012696 memory=288230613314699634 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14421/stat : 14421 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052870 15373000704 22481 33554432000 4194304 4196468 140735311529440 139701335390992 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14422] ppid=14416 vsize=15012696 memory=3617297809147178945 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14422/stat : 14422 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052870 15373000704 22481 33554432000 4194304 4196468 140735311529440 139700792015760 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14423] ppid=14416 vsize=15012696 memory=280819726055792 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14423/stat : 14423 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052870 15373000704 22481 33554432000 4194304 4196468 140735311529440 139700790963216 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14424] ppid=14416 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14424/stat : 14424 (java) S 14416 14416 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406052870 15373000704 22481 33554432000 4194304 4196468 140735311529440 139700789910672 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14425] ppid=14416 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14425/stat : 14425 (java) S 14416 14416 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406052871 15373000704 22481 33554432000 4194304 4196468 140735311529440 139700737882096 139701331159682 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14426] ppid=14416 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14426/stat : 14426 (java) S 14416 14416 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406052872 15373000704 22481 33554432000 4194304 4196468 140735311529440 139699985310624 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14427] ppid=14416 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14427/stat : 14427 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052872 15373000704 22481 33554432000 4194304 4196468 140735311529440 139699716875248 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14428] ppid=14416 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14428/stat : 14428 (java) S 14416 14416 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406052874 15373000704 22481 33554432000 4194304 4196468 140735311529440 139699342366928 139701331167131 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14429] ppid=14416 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14419/task/14429/stat : 14429 (java) S 14416 14416 11905 0 -1 1077944384 452 0 0 0 3 0 0 0 20 0 15 0 406052874 15373000704 22481 33554432000 4194304 4196468 140735311529440 139700736829936 139701331159682 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14430] ppid=14416 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14419/task/14430/stat : 14430 (java) S 14416 14416 11905 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 15 0 406052874 15373000704 22481 33554432000 4194304 4196468 140735311529440 139700735777392 139701331159682 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14431] ppid=14416 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14419/task/14431/stat : 14431 (java) S 14416 14416 11905 0 -1 1077944384 535 0 0 0 7 0 0 0 20 0 15 0 406052874 15373000704 22481 33554432000 4194304 4196468 140735311529440 139700734724848 139701331159682 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14432] ppid=14416 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14432/stat : 14432 (java) S 14416 14416 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406052874 15373000704 22481 33554432000 4194304 4196468 140735311529440 139698844462176 139701331158741 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14433] ppid=14416 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14433/stat : 14433 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052875 15373000704 22481 33554432000 4194304 4196468 140735311529440 139700733671728 139701331159682 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91320 KiB
[startup+0.700753 s]
/proc/loadavg: 2.35 2.11 2.10 3/234 14433
/proc/meminfo: memFree=21000936/32770624 swapFree=67003116/67108860
[pid=14416] ppid=14413 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14416/stat : 14416 (scop.sh) S 14413 14416 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406052867 115843072 349 33554432000 4194304 5098028 140733963984880 140733963982136 139803361542780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32251904 140733963993896 140733963994224 140733963994224 140733963997133 0
/proc/14416/statm: 28282 349 296 221 0 87 0
[pid=14419] ppid=14416 vsize=15021092 memory=130152 CPUtime=0.97 cores=0,2,4,6
/proc/14419/stat : 14419 (java) S 14416 14416 11905 0 -1 1077944320 19848 0 0 0 91 6 0 0 20 0 15 0 406052868 15381598208 32538 33554432000 4194304 4196468 140735311529440 140735311511984 139701331148535 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
/proc/14419/statm: 3755273 32538 3214 1 0 3716603 0
[pid=14419/tid=14420] ppid=14416 vsize=15021092 memory=776 CPUtime=0.67 cores=0,2,4,6
/proc/14419/task/14420/stat : 14420 (java) R 14416 14416 11905 0 -1 4202560 16955 0 0 0 62 5 0 0 20 0 15 0 406052868 15381598208 32538 33554432000 4194304 4196468 140735311529440 139701302966080 139701331160470 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14421] ppid=14416 vsize=15021092 memory=3936 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14421/stat : 14421 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052870 15381598208 32538 33554432000 4194304 4196468 140735311529440 139701335390992 139701331158741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14422] ppid=14416 vsize=15021092 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14422/stat : 14422 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052870 15381598208 32538 33554432000 4194304 4196468 140735311529440 139700792015760 139701331158741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14423] ppid=14416 vsize=15021092 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14423/stat : 14423 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052870 15381598208 32538 33554432000 4194304 4196468 140735311529440 139700790963216 139701331158741 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14424] ppid=14416 vsize=15021092 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14424/stat : 14424 (java) S 14416 14416 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406052870 15381598208 32538 33554432000 4194304 4196468 140735311529440 139700789910672 139701331158741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14425] ppid=14416 vsize=15021092 memory=5840 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14425/stat : 14425 (java) S 14416 14416 11905 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 406052871 15381598208 32538 33554432000 4194304 4196468 140735311529440 139700737882096 139701331159682 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14426] ppid=14416 vsize=15021092 memory=636 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14426/stat : 14426 (java) S 14416 14416 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406052872 15381598208 32538 33554432000 4194304 4196468 140735311529440 139699985310624 139701331158741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14427] ppid=14416 vsize=15021092 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14427/stat : 14427 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052872 15381598208 32538 33554432000 4194304 4196468 140735311529440 139699716875248 139701331158741 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14428] ppid=14416 vsize=15021092 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14428/stat : 14428 (java) S 14416 14416 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406052874 15381598208 32538 33554432000 4194304 4196468 140735311529440 139699342366928 139701331167131 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14429] ppid=14416 vsize=15021092 memory=1568 CPUtime=0.06 cores=0,2,4,6
/proc/14419/task/14429/stat : 14429 (java) R 14416 14416 11905 0 -1 1077944384 543 0 0 0 6 0 0 0 20 0 15 0 406052874 15381598208 32538 33554432000 4194304 4196468 140735311529440 139700736829936 139701331159682 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14430] ppid=14416 vsize=15021092 memory=1040 CPUtime=0.07 cores=0,2,4,6
/proc/14419/task/14430/stat : 14430 (java) S 14416 14416 11905 0 -1 1077944384 403 0 0 0 7 0 0 0 20 0 15 0 406052874 15381598208 32538 33554432000 4194304 4196468 140735311529440 139700735777392 139701331159682 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14431] ppid=14416 vsize=15021092 memory=14008 CPUtime=0.14 cores=0,2,4,6
/proc/14419/task/14431/stat : 14431 (java) R 14416 14416 11905 0 -1 4202560 613 0 0 0 14 0 0 0 20 0 15 0 406052874 15381598208 32538 33554432000 4194304 4196468 140735311529440 139700734721216 139701331169882 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14432] ppid=14416 vsize=15021092 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14432/stat : 14432 (java) S 14416 14416 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406052874 15381598208 32538 33554432000 4194304 4196468 140735311529440 139698844462176 139701331158741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
[pid=14419/tid=14433] ppid=14416 vsize=15021092 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/14419/task/14433/stat : 14433 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406052875 15381598208 32538 33554432000 4194304 4196468 140735311529440 139700733671728 139701331159682 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32907264 140735311536878 140735311537306 140735311537306 140735311540175 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131548 KiB
[startup+1.50078 s]
/proc/loadavg: 2.35 2.11 2.10 4/234 14433
/proc/meminfo: memFree=20966236/32770624 swapFree=67003116/67108860
[pid=14416] ppid=14413 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14416/stat : 14416 (scop.sh) S 14413 14416 11905 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 406052867 115843072 349 33554432000 4194304 5098028 140733963984880 140733963982136 139803361542780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32251904 140733963993896 140733963994224 140733963994224 140733963997133 0
/proc/14416/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/14544/task/14547/stat : 14547 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406170265 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973812685840 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14548] ppid=14416 vsize=8068440 memory=146144 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14548/stat : 14548 (java) S 14416 14416 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406170265 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973811633040 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14549] ppid=14416 vsize=8068440 memory=146144 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14549/stat : 14549 (java) S 14416 14416 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406170265 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973810580240 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14550] ppid=14416 vsize=8068440 memory=146144 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14550/stat : 14550 (java) S 14416 14416 11905 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 406170266 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973252606320 139974008285826 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14551] ppid=14416 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14551/stat : 14551 (java) S 14416 14416 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406170267 8262082560 36536 33554432000 4194304 4196468 140725922143856 139972849951776 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14552] ppid=14416 vsize=8068440 memory=146144 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14552/stat : 14552 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406170267 8262082560 36536 33554432000 4194304 4196468 140725922143856 139972581516144 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14553] ppid=14416 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14553/stat : 14553 (java) S 14416 14416 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406170270 8262082560 36536 33554432000 4194304 4196468 140725922143856 139972207007568 139974008293275 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14554] ppid=14416 vsize=8068440 memory=3616 CPUtime=0.27 cores=0,2,4,6
/proc/14544/task/14554/stat : 14554 (java) S 14416 14416 11905 0 -1 1077944384 913 0 0 0 27 0 0 0 20 0 19 0 406170270 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973251554160 139974008285826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14555] ppid=14416 vsize=8068440 memory=1476 CPUtime=0.25 cores=0,2,4,6
/proc/14544/task/14555/stat : 14555 (java) S 14416 14416 11905 0 -1 1077944384 613 0 0 0 25 0 0 0 20 0 19 0 406170270 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973250501360 139974008285826 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14556] ppid=14416 vsize=8068440 memory=3616 CPUtime=0.22 cores=0,2,4,6
/proc/14544/task/14556/stat : 14556 (java) S 14416 14416 11905 0 -1 1077944384 613 0 0 0 22 0 0 0 20 0 19 0 406170270 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973249448560 139974008285826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14557] ppid=14416 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14557/stat : 14557 (java) S 14416 14416 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406170270 8262082560 36536 33554432000 4194304 4196468 140725922143856 139971709102816 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14558] ppid=14416 vsize=8068440 memory=146144 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14558/stat : 14558 (java) S 14416 14416 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406170271 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973248395952 139974008285826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14560] ppid=14416 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14560/stat : 14560 (java) S 14416 14416 11905 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406170372 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973240919232 139974008299289 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14562] ppid=14416 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14562/stat : 14562 (java) S 14416 14416 11905 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 406170372 8262082560 36536 33554432000 4194304 4196468 140725922143856 139971172216080 139974008296605 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14563] ppid=14416 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14563/stat : 14563 (java) S 14416 14416 11905 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 406170372 8262082560 36536 33554432000 4194304 4196468 140725922143856 139971306438800 139974008296605 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14564] ppid=14416 vsize=8068440 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14564/stat : 14564 (java) S 14416 14416 11905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 406170375 8262082560 36536 33554432000 4194304 4196468 140725922143856 139970903793328 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
Current children cumulated CPU time: 1436.01 s
Current children cumulated vsize: 10292940 KiB
Current children cumulated memory: 2055800 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1205.2 s]*
/proc/loadavg: 1.97 2.01 2.09 3/240 14575
/proc/meminfo: memFree=8695712/32770624 swapFree=67003116/67108860
[pid=14416] ppid=14413 vsize=113128 memory=1476 CPUtime=1426.86 cores=0,2,4,6
/proc/14416/stat : 14416 (scop.sh) S 14413 14416 11905 0 -1 4202496 583 297069 0 0 0 0 140789 1897 20 0 1 0 406052867 115843072 369 33554432000 4194304 5098028 140733963984880 140733963981624 139803361542780 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32251904 140733963993896 140733963994224 140733963994224 140733963997133 0
/proc/14416/statm: 28282 369 311 221 0 87 0
[pid=14544] ppid=14416 vsize=8068440 memory=146144 CPUtime=1.92 cores=0,2,4,6
/proc/14544/stat : 14544 (java) S 14416 14416 11905 0 -1 1077944320 20917 0 0 0 168 24 0 0 20 0 19 0 406170263 8262082560 36536 33554432000 4194304 4196468 140725922143856 140725922126400 139974008274679 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
/proc/14544/statm: 2017110 36536 3211 1 0 1978454 0
[pid=14559] ppid=14544 vsize=7724020 memory=6967604 CPUtime=30.16 cores=0,2,4,6
/proc/14559/stat : 14559 (glueminisat-sim) R 14544 14416 11905 0 -1 4202496 1021848 0 0 0 2777 239 0 0 20 0 1 0 406170372 7909396480 1741901 33554432000 4194304 4452875 140735214132272 140735213078616 4273877 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6552096 6554264 28090368 140735214138207 140735214138407 140735214138407 140735214141357 0
/proc/14559/statm: 1931005 1741901 336 64 0 1927209 0
[pid=14544/tid=14545] ppid=14416 vsize=8068440 memory=-7824251494390782310 CPUtime=1.1 cores=0,2,4,6
/proc/14544/task/14545/stat : 14545 (java) S 14416 14416 11905 0 -1 1077944384 17365 0 0 0 89 21 0 0 20 0 19 0 406170264 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973980114848 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14546] ppid=14416 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14546/stat : 14546 (java) S 14416 14416 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406170265 8262082560 36536 33554432000 4194304 4196468 140725922143856 139974012517520 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14547] ppid=14416 vsize=8068440 memory=796 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14547/stat : 14547 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406170265 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973812685840 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14548] ppid=14416 vsize=8068440 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14548/stat : 14548 (java) S 14416 14416 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406170265 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973811633040 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14549] ppid=14416 vsize=8068440 memory=920 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14549/stat : 14549 (java) S 14416 14416 11905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406170265 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973810580240 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14550] ppid=14416 vsize=8068440 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14550/stat : 14550 (java) S 14416 14416 11905 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 406170266 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973252606320 139974008285826 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14551] ppid=14416 vsize=8068440 memory=3424 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14551/stat : 14551 (java) S 14416 14416 11905 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406170267 8262082560 36536 33554432000 4194304 4196468 140725922143856 139972849951776 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14552] ppid=14416 vsize=8068440 memory=3376 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14552/stat : 14552 (java) S 14416 14416 11905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406170267 8262082560 36536 33554432000 4194304 4196468 140725922143856 139972581516144 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14553] ppid=14416 vsize=8068440 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14553/stat : 14553 (java) S 14416 14416 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406170270 8262082560 36536 33554432000 4194304 4196468 140725922143856 139972207007568 139974008293275 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14554] ppid=14416 vsize=8068440 memory=1412 CPUtime=0.27 cores=0,2,4,6
/proc/14544/task/14554/stat : 14554 (java) S 14416 14416 11905 0 -1 1077944384 913 0 0 0 27 0 0 0 20 0 19 0 406170270 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973251554160 139974008285826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14555] ppid=14416 vsize=8068440 memory=3420 CPUtime=0.25 cores=0,2,4,6
/proc/14544/task/14555/stat : 14555 (java) S 14416 14416 11905 0 -1 1077944384 613 0 0 0 25 0 0 0 20 0 19 0 406170270 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973250501360 139974008285826 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14556] ppid=14416 vsize=8068440 memory=1476 CPUtime=0.22 cores=0,2,4,6
/proc/14544/task/14556/stat : 14556 (java) S 14416 14416 11905 0 -1 1077944384 613 0 0 0 22 0 0 0 20 0 19 0 406170270 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973249448560 139974008285826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14557] ppid=14416 vsize=8068440 memory=146144 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14557/stat : 14557 (java) S 14416 14416 11905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406170270 8262082560 36536 33554432000 4194304 4196468 140725922143856 139971709102816 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14558] ppid=14416 vsize=8068440 memory=6263056 CPUtime=0.03 cores=0,2,4,6
/proc/14544/task/14558/stat : 14558 (java) S 14416 14416 11905 0 -1 1077944384 3 0 0 0 2 1 0 0 20 0 19 0 406170271 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973248395952 139974008285826 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14560] ppid=14416 vsize=8068440 memory=5450906554093958698 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14560/stat : 14560 (java) S 14416 14416 11905 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 406170372 8262082560 36536 33554432000 4194304 4196468 140725922143856 139973240919232 139974008299289 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14562] ppid=14416 vsize=8068440 memory=-8634980985311628903 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14562/stat : 14562 (java) S 14416 14416 11905 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 406170372 8262082560 36536 33554432000 4194304 4196468 140725922143856 139971172216080 139974008296605 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14563] ppid=14416 vsize=8068440 memory=7100839878645619564 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14563/stat : 14563 (java) S 14416 14416 11905 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 406170372 8262082560 36536 33554432000 4194304 4196468 140725922143856 139971306438800 139974008296605 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14564] ppid=14416 vsize=8068440 memory=7897517683652307531 CPUtime=0 cores=0,2,4,6
/proc/14544/task/14564/stat : 14564 (java) S 14416 14416 11905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 406170375 8262082560 36536 33554432000 4194304 4196468 140725922143856 139970903793328 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
Current children cumulated CPU time: 1458.94 s
Current children cumulated vsize: 15905588 KiB
Current children cumulated memory: 7115224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1205.22 s]
# the end of solver process 14416 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1407.9 s, system=18.9739 s
[startup+1206.21 s]
# the end of solver process 14544 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1437.36 s, system=22.6306 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+1205.8 s]
/proc/loadavg: 1.97 2.01 2.09 3/241 14579
/proc/meminfo: memFree=10572484/32770624 swapFree=67003116/67108860
[pid=14544] ppid=14413 vsize=8329560 memory=158444 CPUtime=32.68 cores=0,2,4,6
/proc/14544/stat : 14544 (java) S 14413 14416 11905 0 -1 1077944320 20961 1021851 0 0 168 52 2777 271 20 0 18 0 406170263 8529469440 39611 33554432000 4194304 4196468 140725922143856 140725922126400 139974008274679 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
/proc/14544/statm: 2082390 39611 3211 1 0 2043734 0
[pid=14544/tid=14545] ppid=14413 vsize=8329560 memory=3616 CPUtime=31.58 cores=0,2,4,6
/proc/14544/task/14545/stat : 14545 (java) S 14413 14416 11905 0 -1 1077944384 17365 1021851 0 0 89 21 2777 271 20 0 18 0 406170264 8529469440 39611 33554432000 4194304 4196468 140725922143856 139973980114848 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14546] ppid=14413 vsize=8329560 memory=37588 CPUtime=30.48 cores=0,2,4,6
/proc/14544/task/14546/stat : 14546 (java) S 14413 14416 11905 0 -1 1077944384 2 1021851 0 0 0 0 2777 271 20 0 18 0 406170265 8529469440 39611 33554432000 4194304 4196468 140725922143856 139974012517520 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14547] ppid=14413 vsize=8329560 memory=988 CPUtime=30.48 cores=0,2,4,6
/proc/14544/task/14547/stat : 14547 (java) S 14413 14416 11905 0 -1 1077944384 1 1021851 0 0 0 0 2777 271 20 0 18 0 406170265 8529469440 39611 33554432000 4194304 4196468 140725922143856 139973812685840 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14548] ppid=14413 vsize=8329560 memory=6791534058613427641 CPUtime=30.48 cores=0,2,4,6
/proc/14544/task/14548/stat : 14548 (java) S 14413 14416 11905 0 -1 1077944384 2 1021851 0 0 0 0 2777 271 20 0 18 0 406170265 8529469440 39611 33554432000 4194304 4196468 140725922143856 139973811633040 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14549] ppid=14413 vsize=8329560 memory=14008 CPUtime=30.48 cores=0,2,4,6
/proc/14544/task/14549/stat : 14549 (java) S 14413 14416 11905 0 -1 1077944384 2 1021851 0 0 0 0 2777 271 20 0 18 0 406170265 8529469440 39611 33554432000 4194304 4196468 140725922143856 139973810580240 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14550] ppid=14413 vsize=8329560 memory=12040 CPUtime=30.48 cores=0,2,4,6
/proc/14544/task/14550/stat : 14550 (java) S 14413 14416 11905 0 -1 1077944384 7 1021851 0 0 0 0 2777 271 20 0 18 0 406170266 8529469440 39611 33554432000 4194304 4196468 140725922143856 139973252605824 139974008285826 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14551] ppid=14413 vsize=8329560 memory=2120 CPUtime=30.48 cores=0,2,4,6
/proc/14544/task/14551/stat : 14551 (java) S 14413 14416 11905 0 -1 1077944384 13 1021851 0 0 0 0 2777 271 20 0 18 0 406170267 8529469440 39611 33554432000 4194304 4196468 140725922143856 139972849951776 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14552] ppid=14413 vsize=8329560 memory=20356 CPUtime=30.48 cores=0,2,4,6
/proc/14544/task/14552/stat : 14552 (java) S 14413 14416 11905 0 -1 1077944384 1 1021851 0 0 0 0 2777 271 20 0 18 0 406170267 8529469440 39611 33554432000 4194304 4196468 140725922143856 139972581516144 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14553] ppid=14413 vsize=8329560 memory=1040 CPUtime=30.48 cores=0,2,4,6
/proc/14544/task/14553/stat : 14553 (java) S 14413 14416 11905 0 -1 1077944384 29 1021851 0 0 0 0 2777 271 20 0 18 0 406170270 8529469440 39611 33554432000 4194304 4196468 140725922143856 139972207007280 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14554] ppid=14413 vsize=8329560 memory=14008 CPUtime=30.75 cores=0,2,4,6
/proc/14544/task/14554/stat : 14554 (java) S 14413 14416 11905 0 -1 1077944384 913 1021851 0 0 27 0 2777 271 20 0 18 0 406170270 8529469440 39611 33554432000 4194304 4196468 140725922143856 139973251553920 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14555] ppid=14413 vsize=8329560 memory=1476 CPUtime=30.73 cores=0,2,4,6
/proc/14544/task/14555/stat : 14555 (java) S 14413 14416 11905 0 -1 1077944384 613 1021851 0 0 25 0 2777 271 20 0 18 0 406170270 8529469440 39611 33554432000 4194304 4196468 140725922143856 139973250492000 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14556] ppid=14413 vsize=8329560 memory=146144 CPUtime=30.7 cores=0,2,4,6
/proc/14544/task/14556/stat : 14556 (java) S 14413 14416 11905 0 -1 1077944384 615 1021851 0 0 22 0 2777 271 20 0 18 0 406170270 8529469440 39611 33554432000 4194304 4196468 140725922143856 139973249446208 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14557] ppid=14413 vsize=8329560 memory=6576448 CPUtime=30.48 cores=0,2,4,6
/proc/14544/task/14557/stat : 14557 (java) S 14413 14416 11905 0 -1 1077944384 3 1021851 0 0 0 0 2777 271 20 0 18 0 406170270 8529469440 39611 33554432000 4194304 4196468 140725922143856 139971709102816 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14560] ppid=14413 vsize=8329560 memory=11889792 CPUtime=30.48 cores=0,2,4,6
/proc/14544/task/14560/stat : 14560 (java) S 14413 14416 11905 0 -1 1077944384 24 1021851 0 0 0 0 2777 271 20 0 18 0 406170372 8529469440 39611 33554432000 4194304 4196468 140725922143856 139973240918416 139974008285826 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14564] ppid=14413 vsize=8329560 memory=1556 CPUtime=30.48 cores=0,2,4,6
/proc/14544/task/14564/stat : 14564 (java) S 14413 14416 11905 0 -1 1077944384 13 1021851 0 0 0 0 2777 271 20 0 18 0 406170375 8529469440 39611 33554432000 4194304 4196468 140725922143856 139970903789952 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14576] ppid=14413 vsize=8329560 memory=500 CPUtime=30.48 cores=0,2,4,6
/proc/14544/task/14576/stat : 14576 (java) S 14413 14416 11905 0 -1 1077944384 3 1021851 0 0 0 0 2777 271 20 0 18 0 406173389 8529469440 39611 33554432000 4194304 4196468 140725922143856 139970635358544 139974008284885 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
[pid=14544/tid=14579] ppid=14413 vsize=8329560 memory=932 CPUtime=30.75 cores=0,2,4,6
/proc/14544/task/14579/stat : 14579 (java) R 14413 14416 11905 0 -1 4202560 2 1021851 0 0 0 27 2777 271 20 0 18 0 406173390 8529469440 39611 33554432000 4194304 4196468 140725922143856 139970366923808 139974000960311 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11218944 140725922149371 140725922149530 140725922149530 140725922152399 0
Current cumulated CPU time of completed processes: 1426.87 s
Current children cumulated CPU time: 32.68 s
Current children cumulated vsize: 8329560 KiB
Current children cumulated memory: 158444 KiB
[startup+1206.2 s]*
/proc/loadavg: 1.97 2.01 2.09 3/221 14579
/proc/meminfo: memFree=20906548/32770624 swapFree=67003116/67108860
Current cumulated CPU time of completed processes: 1426.87 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): 1206.21
CPU time (s): 1459.99
CPU user time (s): 1437.36
CPU system time (s): 22.6306
CPU usage (%): 121.039
Max. virtual memory (cumulated for all children) (KiB): 15905588
Max. memory (cumulated for all children) (KiB): 11894560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1437.36
system time used= 22.6306
maximum resident set size= 11893340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1340964
page faults= 0
swaps= 0
block input operations= 288
block output operations= 10296928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44385
involuntary context switches= 5667
# summary of solver processes directly reported to runsolver:
# pid: 14416,14544
# total CPU time (s): 1459.99
# total CPU user time (s): 1437.36
# total CPU system time (s): 22.6306
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94717 second user time and 13.1179 second system time
The end