Trace number 4390469

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsCon 2019-07-23SAT 4.09359 2.65092

DiagnosticValue
WRONG_DECISIONS0

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si2-m4D/
Subisomorphism-si2-m4Dr6-m256-00.xml
MD5SUM73ef0e8387fdebf21bbae2b4acf5d521
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.036418
Satisfiable
(Un)Satisfiability was proved
Number of variables51
Number of constraints105
Number of domains1
Minimum domain size256
Maximum domain size256
Distribution of domain sizes[{"size":256,"count":51}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":11},{"degree":3,"count":12},{"degree":4,"count":11},{"degree":6,"count":3},{"degree":7,"count":3},{"degree":8,"count":3},{"degree":9,"count":5},{"degree":10,"count":1},{"degree":11,"count":2}]
Minimum constraint arity1
Maximum constraint arity51
Distribution of constraint arities[{"arity":1,"count":17},{"arity":2,"count":87},{"arity":51,"count":1}]
Number of extensional constraints104
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":104},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

2.84/2.22	
2.84/2.22	AbsCon 2 
2.84/2.24	
3.39/2.41	  Instance
3.39/2.41	    name=instance-4390469-1568383144, framework=CSP
3.39/2.41	
3.39/2.41	  Loading variables...
3.39/2.43	  Loading constraints...
3.72/2.52	
3.72/2.52	  Domains
3.72/2.52	    nTypes=1, nValues=13056, sizes=[256#51]
3.72/2.52	  Variables
3.72/2.52	    count=51, degrees=[2#11,3#12,4#11,6#3...8#3,9#5,10#1,11#2]
3.72/2.52	  Constraints
3.72/2.52	    count=105, nSpecific=1, arities=[1#17,2#87,51#1]
3.72/2.52	    distribution=[AllDifferent#1,CtrExtensionV-Bits#87,CtrExtensionV-Table#17]
3.72/2.52	    tables=[4#3,26#3,74#3,142#5,196#1,228#2], nTotalTuples=1674
3.72/2.52	    nExtStructures=(18,shared:86), nCftStructures=(1,shared:86,unbuilt:18)
3.72/2.52	    wck=0.326, cpu=2.378, mem=23M876
3.72/2.52	  Solver SolverBacktrack being built...
3.72/2.52	
3.72/2.55	
3.72/2.55	  Solver
3.72/2.55	    guaranteedGAC=true
3.72/2.55	    wck=0.36, cpu=2.41, mem=34M519
3.72/2.60	
3.72/2.60	  Preprocessing
3.72/2.60	    filters=105, revisions=(251,useless=146), ccks=5335, nACremovedValues=4169, nTotalRemovedValues=4169, inconcistency=false
3.72/2.60	    wck=0.052, cpu=2.463, mem=34M519
3.72/2.60	
3.98/2.63	    num=0, depth=52..50, filters=219, revisions=(534,useless=332), ccks=5464, wck=0.079, mem=34M519
3.98/2.63	    decisions=7, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1
3.98/2.63	    
3.98/2.63	  Global
3.98/2.63	    filters=219, revisions=(534,useless=332), ccks=5464
3.98/2.63	    Stop=REACHED_GOAL, wrong=0, foundSolutions=1, firstSolCpu=2.482
3.98/2.63	    wck=0.441, cpu=2.489, mem=37M161
3.98/2.63	
3.98/2.63	v <instantiation id='sol1' type='solution'>  <list> x[] </list>  <values> 0 39 93 100 179 214 43 116 154 167 200 213 247 249 59 75 215 228 254 48 125 135 105 124 255 203 223 234 237 88 104 112 118 138 208 239 82 99 172 225 246 35 76 227 6 47 69 77 197 207 27 </values>  </instantiation>
3.98/2.63	s SATISFIABLE
3.98/2.63	
3.98/2.63	d WRONG_DECISIONS 0

Verifier Data 

OK

Watcher Data 

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: 16375 MiB (13230 MiB free)
  memory of node 1: 16384 MiB (15662 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390469-1568383144/watcher-4390469-1568383144 -o /tmp/evaluation-result-4390469-1568383144/solver-4390469-1568383144 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568380476-17274 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390469-1568383144.xml -cm 

running on 4 cores: 4-7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=17950, runsolver pid=17947

[startup+0.100137 s]*
/proc/loadavg: 2.08 2.65 2.63 4/228 17965
/proc/meminfo: memFree=29571448/32770688 swapFree=66961076/67108860
[pid=17950] ppid=17947 vsize=10659884 memory=27212 CPUtime=0.13 cores=4-7
/proc/17950/stat : 17950 (java) S 17947 17950 17242 0 -1 1077944320 5310 0 0 0 12 1 0 0 20 0 15 0 414256056 10915721216 6803 33554432000 4194304 4196468 140730177726496 140730177709040 140248309219063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
/proc/17950/statm: 2664971 6803 2860 1 0 2627468 0
[pid=17950/tid=17952] ppid=17947 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=4-7
/proc/17950/task/17952/stat : 17952 (java) R 17947 17950 17242 0 -1 4202560 3185 0 0 0 9 0 0 0 20 0 15 0 414256056 10915721216 6803 33554432000 4194304 4196468 140730177726496 140248313449360 140248309230998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17953] ppid=17947 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=4-7
/proc/17950/task/17953/stat : 17953 (java) S 17947 17950 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414256057 10915721216 6803 33554432000 4194304 4196468 140730177726496 140247915485584 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17954] ppid=17947 vsize=10659884 memory=139868619540096 CPUtime=0 cores=4-7
/proc/17950/task/17954/stat : 17954 (java) S 17947 17950 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414256057 10915721216 6803 33554432000 4194304 4196468 140730177726496 140247914432784 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17955] ppid=17947 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17955/stat : 17955 (java) S 17947 17950 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414256057 10915721216 6803 33554432000 4194304 4196468 140730177726496 140247913380496 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17956] ppid=17947 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/17950/task/17956/stat : 17956 (java) S 17947 17950 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414256057 10915721216 6803 33554432000 4194304 4196468 140730177726496 140247912327696 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17957] ppid=17947 vsize=10659884 memory=139868619540096 CPUtime=0 cores=4-7
/proc/17950/task/17957/stat : 17957 (java) S 17947 17950 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414256059 10915721216 6803 33554432000 4194304 4196468 140730177726496 140247868369520 140248309230210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17958] ppid=17947 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/17950/task/17958/stat : 17958 (java) S 17947 17950 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414256059 10915721216 6803 33554432000 4194304 4196468 140730177726496 140247867315488 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17959] ppid=17947 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17959/stat : 17959 (java) S 17947 17950 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414256060 10915721216 6803 33554432000 4194304 4196468 140730177726496 140247866263152 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17960] ppid=17947 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17960/stat : 17960 (java) S 17947 17950 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414256062 10915721216 6803 33554432000 4194304 4196468 140730177726496 140247865211472 140248309237659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17961] ppid=17947 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17961/stat : 17961 (java) S 17947 17950 17242 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 414256062 10915721216 6803 33554432000 4194304 4196468 140730177726496 140247864158320 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17962] ppid=17947 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/17950/task/17962/stat : 17962 (java) R 17947 17950 17242 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 414256062 10915721216 6803 33554432000 4194304 4196468 140730177726496 140247794968560 140248309230210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17963] ppid=17947 vsize=10659884 memory=139868619540096 CPUtime=0.01 cores=4-7
/proc/17950/task/17963/stat : 17963 (java) R 17947 17950 17242 0 -1 4202560 329 0 0 0 1 0 0 0 20 0 15 0 414256062 10915721216 6803 33554432000 4194304 4196468 140730177726496 140247793916272 140248287752315 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17964] ppid=17947 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/17950/task/17964/stat : 17964 (java) S 17947 17950 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414256062 10915721216 6803 33554432000 4194304 4196468 140730177726496 140247792863712 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17965] ppid=17947 vsize=10659884 memory=139868619540096 CPUtime=0 cores=4-7
/proc/17950/task/17965/stat : 17965 (java) S 17947 17950 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414256063 10915721216 6803 33554432000 4194304 4196468 140730177726496 140247791811504 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27212 KiB

[startup+0.212274 s]*
/proc/loadavg: 2.08 2.65 2.63 5/228 17965
/proc/meminfo: memFree=29563192/32770688 swapFree=66961076/67108860
[pid=17950] ppid=17947 vsize=10659884 memory=35256 CPUtime=0.34 cores=4-7
/proc/17950/stat : 17950 (java) S 17947 17950 17242 0 -1 1077944320 6903 0 0 0 32 2 0 0 20 0 15 0 414256056 10915721216 8814 33554432000 4194304 4196468 140730177726496 140730177709040 140248309219063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
/proc/17950/statm: 2664971 8814 2989 1 0 2627468 0
[pid=17950/tid=17952] ppid=17947 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=4-7
/proc/17950/task/17952/stat : 17952 (java) R 17947 17950 17242 0 -1 4202560 3853 0 0 0 19 1 0 0 20 0 15 0 414256056 10915721216 8814 33554432000 4194304 4196468 140730177726496 140248313450864 140248309240989 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17953] ppid=17947 vsize=10659884 memory=365 CPUtime=0 cores=4-7
/proc/17950/task/17953/stat : 17953 (java) S 17947 17950 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414256057 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247915485584 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17954] ppid=17947 vsize=10659884 memory=3689206126016333472 CPUtime=0 cores=4-7
/proc/17950/task/17954/stat : 17954 (java) S 17947 17950 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414256057 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247914432784 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17955] ppid=17947 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17955/stat : 17955 (java) S 17947 17950 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414256057 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247913380496 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17956] ppid=17947 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/17950/task/17956/stat : 17956 (java) S 17947 17950 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414256057 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247912327696 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17957] ppid=17947 vsize=10659884 memory=139868619540096 CPUtime=0 cores=4-7
/proc/17950/task/17957/stat : 17957 (java) S 17947 17950 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414256059 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247868369520 140248309230210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17958] ppid=17947 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/17950/task/17958/stat : 17958 (java) S 17947 17950 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414256059 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247867315488 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17959] ppid=17947 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17959/stat : 17959 (java) S 17947 17950 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414256060 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247866263152 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17960] ppid=17947 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17960/stat : 17960 (java) S 17947 17950 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414256062 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247865211472 140248309237659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17961] ppid=17947 vsize=10659884 memory=0 CPUtime=0.03 cores=4-7
/proc/17950/task/17961/stat : 17961 (java) S 17947 17950 17242 0 -1 1077944384 697 0 0 0 3 0 0 0 20 0 15 0 414256062 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247864158320 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17962] ppid=17947 vsize=10659884 memory=-1 CPUtime=0.02 cores=4-7
/proc/17950/task/17962/stat : 17962 (java) S 17947 17950 17242 0 -1 1077944384 242 0 0 0 2 0 0 0 20 0 15 0 414256062 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247794968560 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17963] ppid=17947 vsize=10659884 memory=139868619540096 CPUtime=0.06 cores=4-7
/proc/17950/task/17963/stat : 17963 (java) S 17947 17950 17242 0 -1 1077944384 752 0 0 0 6 0 0 0 20 0 15 0 414256062 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247793916272 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17964] ppid=17947 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/17950/task/17964/stat : 17964 (java) S 17947 17950 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414256062 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247792863712 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17965] ppid=17947 vsize=10659884 memory=139868619540096 CPUtime=0 cores=4-7
/proc/17950/task/17965/stat : 17965 (java) S 17947 17950 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414256063 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247791811504 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35256 KiB

[startup+0.311358 s]*
/proc/loadavg: 2.08 2.65 2.63 2/228 17965
/proc/meminfo: memFree=29561396/32770688 swapFree=66961076/67108860
[pid=17950] ppid=17947 vsize=10659884 memory=35256 CPUtime=0.43 cores=4-7
/proc/17950/stat : 17950 (java) S 17947 17950 17242 0 -1 1077944320 6915 0 0 0 41 2 0 0 20 0 15 0 414256056 10915721216 8814 33554432000 4194304 4196468 140730177726496 140730177709040 140248309219063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
/proc/17950/statm: 2664971 8814 2989 1 0 2627468 0
[pid=17950/tid=17952] ppid=17947 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=4-7
/proc/17950/task/17952/stat : 17952 (java) D 17947 17950 17242 0 -1 4202560 3865 0 0 0 28 1 0 0 20 0 15 0 414256056 10915721216 8814 33554432000 4194304 4196468 140730177726496 140248313450848 140248294959346 0 4 0 16800975 18446744072099908741 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17953] ppid=17947 vsize=10659884 memory=9092 CPUtime=0 cores=4-7
/proc/17950/task/17953/stat : 17953 (java) S 17947 17950 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414256057 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247915485584 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17954] ppid=17947 vsize=10659884 memory=3761542996007716512 CPUtime=0 cores=4-7
/proc/17950/task/17954/stat : 17954 (java) S 17947 17950 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414256057 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247914432784 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17955] ppid=17947 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17955/stat : 17955 (java) S 17947 17950 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414256057 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247913380496 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17956] ppid=17947 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/17950/task/17956/stat : 17956 (java) S 17947 17950 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414256057 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247912327696 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17957] ppid=17947 vsize=10659884 memory=139868619540096 CPUtime=0 cores=4-7
/proc/17950/task/17957/stat : 17957 (java) S 17947 17950 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414256059 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247868369520 140248309230210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17958] ppid=17947 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/17950/task/17958/stat : 17958 (java) S 17947 17950 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414256059 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247867315488 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17959] ppid=17947 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17959/stat : 17959 (java) S 17947 17950 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414256060 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247866263152 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17960] ppid=17947 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17960/stat : 17960 (java) S 17947 17950 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414256062 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247865211472 140248309237659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17961] ppid=17947 vsize=10659884 memory=0 CPUtime=0.03 cores=4-7
/proc/17950/task/17961/stat : 17961 (java) D 17947 17950 17242 0 -1 4202560 697 0 0 0 3 0 0 0 20 0 15 0 414256062 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247864158240 140248289143199 0 4 0 16800975 18446744072099908741 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17962] ppid=17947 vsize=10659884 memory=-1 CPUtime=0.02 cores=4-7
/proc/17950/task/17962/stat : 17962 (java) D 17947 17950 17242 0 -1 4202560 242 0 0 0 2 0 0 0 20 0 15 0 414256062 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247794968856 140248289143199 0 4 0 16800975 18446744072099908741 0 0 -1 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17963] ppid=17947 vsize=10659884 memory=139868619540096 CPUtime=0.06 cores=4-7
/proc/17950/task/17963/stat : 17963 (java) D 17947 17950 17242 0 -1 4202560 752 0 0 0 6 0 0 0 20 0 15 0 414256062 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247793916568 140248289143199 0 4 0 16800975 18446744072099908741 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17964] ppid=17947 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/17950/task/17964/stat : 17964 (java) S 17947 17950 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414256062 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247792863712 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17965] ppid=17947 vsize=10659884 memory=139868619540096 CPUtime=0 cores=4-7
/proc/17950/task/17965/stat : 17965 (java) D 17947 17950 17242 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 414256063 10915721216 8814 33554432000 4194304 4196468 140730177726496 140247791811424 140248294075150 0 4 0 16800975 18446744072099908741 0 0 -1 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35256 KiB

[startup+0.700792 s]
/proc/loadavg: 2.08 2.65 2.63 6/228 17965
/proc/meminfo: memFree=29553036/32770688 swapFree=66961076/67108860
[pid=17950] ppid=17947 vsize=10659884 memory=52788 CPUtime=0.92 cores=4-7
/proc/17950/stat : 17950 (java) S 17947 17950 17242 0 -1 1077944320 12312 0 0 0 88 4 0 0 20 0 15 0 414256056 10915721216 13197 33554432000 4194304 4196468 140730177726496 140730177709040 140248309219063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
/proc/17950/statm: 2664971 13197 3058 1 0 2627468 0
[pid=17950/tid=17952] ppid=17947 vsize=10659884 memory=14068 CPUtime=0.57 cores=4-7
/proc/17950/task/17952/stat : 17952 (java) R 17947 17950 17242 0 -1 4202560 8185 0 0 0 54 3 0 0 20 0 15 0 414256056 10915721216 13197 33554432000 4194304 4196468 140730177726496 140248313440464 140248309240989 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17953] ppid=17947 vsize=10659884 memory=2120 CPUtime=0 cores=4-7
/proc/17950/task/17953/stat : 17953 (java) S 17947 17950 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414256057 10915721216 13197 33554432000 4194304 4196468 140730177726496 140247915485584 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17954] ppid=17947 vsize=10659884 memory=496 CPUtime=0 cores=4-7
/proc/17950/task/17954/stat : 17954 (java) S 17947 17950 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414256057 10915721216 13197 33554432000 4194304 4196468 140730177726496 140247914432784 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17955] ppid=17947 vsize=10659884 memory=1556 CPUtime=0 cores=4-7
/proc/17950/task/17955/stat : 17955 (java) S 17947 17950 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414256057 10915721216 13197 33554432000 4194304 4196468 140730177726496 140247913380496 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17956] ppid=17947 vsize=10659884 memory=928 CPUtime=0 cores=4-7
/proc/17950/task/17956/stat : 17956 (java) S 17947 17950 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414256057 10915721216 13197 33554432000 4194304 4196468 140730177726496 140247912327696 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17957] ppid=17947 vsize=10659884 memory=1628 CPUtime=0 cores=4-7
/proc/17950/task/17957/stat : 17957 (java) S 17947 17950 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414256059 10915721216 13197 33554432000 4194304 4196468 140730177726496 140247868369520 140248309230210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17958] ppid=17947 vsize=10659884 memory=796 CPUtime=0 cores=4-7
/proc/17950/task/17958/stat : 17958 (java) S 17947 17950 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414256059 10915721216 13197 33554432000 4194304 4196468 140730177726496 140247867315488 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17959] ppid=17947 vsize=10659884 memory=1444 CPUtime=0 cores=4-7
/proc/17950/task/17959/stat : 17959 (java) S 17947 17950 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414256060 10915721216 13197 33554432000 4194304 4196468 140730177726496 140247866263152 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17960] ppid=17947 vsize=10659884 memory=1984 CPUtime=0 cores=4-7
/proc/17950/task/17960/stat : 17960 (java) S 17947 17950 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414256062 10915721216 13197 33554432000 4194304 4196468 140730177726496 140247865211472 140248309237659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17961] ppid=17947 vsize=10659884 memory=7086240636229996643 CPUtime=0.09 cores=4-7
/proc/17950/task/17961/stat : 17961 (java) S 17947 17950 17242 0 -1 1077944384 995 0 0 0 9 0 0 0 20 0 15 0 414256062 10915721216 13197 33554432000 4194304 4196468 140730177726496 140247864158320 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17962] ppid=17947 vsize=10659884 memory=7453282923444726100 CPUtime=0.08 cores=4-7
/proc/17950/task/17962/stat : 17962 (java) S 17947 17950 17242 0 -1 1077944384 578 0 0 0 8 0 0 0 20 0 15 0 414256062 10915721216 13197 33554432000 4194304 4196468 140730177726496 140247794968560 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17963] ppid=17947 vsize=10659884 memory=7223879631928058176 CPUtime=0.15 cores=4-7
/proc/17950/task/17963/stat : 17963 (java) S 17947 17950 17242 0 -1 1077944384 1193 0 0 0 15 0 0 0 20 0 15 0 414256062 10915721216 13197 33554432000 4194304 4196468 140730177726496 140247793916272 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17964] ppid=17947 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17964/stat : 17964 (java) S 17947 17950 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414256062 10915721216 13197 33554432000 4194304 4196468 140730177726496 140247792863712 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17965] ppid=17947 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17965/stat : 17965 (java) S 17947 17950 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414256063 10915721216 13197 33554432000 4194304 4196468 140730177726496 140247791811504 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
Current children cumulated CPU time: 0.92 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 52788 KiB

[startup+1.50083 s]
/proc/loadavg: 2.08 2.65 2.63 3/228 17965
/proc/meminfo: memFree=29533400/32770688 swapFree=66961076/67108860
[pid=17950] ppid=17947 vsize=10663980 memory=71832 CPUtime=1.86 cores=4-7
/proc/17950/stat : 17950 (java) S 17947 17950 17242 0 -1 1077944320 16730 0 0 0 180 6 0 0 20 0 15 0 414256056 10919915520 17958 33554432000 4194304 4196468 140730177726496 140730177709040 140248309219063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
/proc/17950/statm: 2665995 17958 3081 1 0 2628492 0
[pid=17950/tid=17952] ppid=17947 vsize=10663980 memory=6360846566568 CPUtime=1.37 cores=4-7
/proc/17950/task/17952/stat : 17952 (java) R 17947 17950 17242 0 -1 4202560 12157 0 0 0 132 5 0 0 20 0 15 0 414256056 10919915520 17958 33554432000 4194304 4196468 140730177726496 140248313431600 140248293299550 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17953] ppid=17947 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=4-7
/proc/17950/task/17953/stat : 17953 (java) S 17947 17950 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414256057 10919915520 17958 33554432000 4194304 4196468 140730177726496 140247915485584 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17954] ppid=17947 vsize=10663980 memory=14698491322567293 CPUtime=0 cores=4-7
/proc/17950/task/17954/stat : 17954 (java) S 17947 17950 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414256057 10919915520 17958 33554432000 4194304 4196468 140730177726496 140247914432784 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17955] ppid=17947 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17955/stat : 17955 (java) S 17947 17950 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414256057 10919915520 17958 33554432000 4194304 4196468 140730177726496 140247913380496 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17956] ppid=17947 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17956/stat : 17956 (java) S 17947 17950 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414256057 10919915520 17958 33554432000 4194304 4196468 140730177726496 140247912327696 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17957] ppid=17947 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17957/stat : 17957 (java) S 17947 17950 17242 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414256059 10919915520 17958 33554432000 4194304 4196468 140730177726496 140247868369520 140248309230210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17958] ppid=17947 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17958/stat : 17958 (java) S 17947 17950 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414256059 10919915520 17958 33554432000 4194304 4196468 140730177726496 140247867315488 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17959] ppid=17947 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17959/stat : 17959 (java) S 17947 17950 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414256060 10919915520 17958 33554432000 4194304 4196468 140730177726496 140247866263152 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17960] ppid=17947 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17960/stat : 17960 (java) S 17947 17950 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414256062 10919915520 17958 33554432000 4194304 4196468 140730177726496 140247865211472 140248309237659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17961] ppid=17947 vsize=10663980 memory=0 CPUtime=0.15 cores=4-7
/proc/17950/task/17961/stat : 17961 (java) S 17947 17950 17242 0 -1 1077944384 1299 0 0 0 15 0 0 0 20 0 15 0 414256062 10919915520 17958 33554432000 4194304 4196468 140730177726496 140247864158320 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17962] ppid=17947 vsize=10663980 memory=0 CPUtime=0.11 cores=4-7
/proc/17950/task/17962/stat : 17962 (java) S 17947 17950 17242 0 -1 1077944384 588 0 0 0 11 0 0 0 20 0 15 0 414256062 10919915520 17958 33554432000 4194304 4196468 140730177726496 140247794968560 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17963] ppid=17947 vsize=10663980 memory=0 CPUtime=0.2 cores=4-7
/proc/17950/task/17963/stat : 17963 (java) S 17947 17950 17242 0 -1 1077944384 1312 0 0 0 20 0 0 0 20 0 15 0 414256062 10919915520 17958 33554432000 4194304 4196468 140730177726496 140247793916272 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17964] ppid=17947 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17964/stat : 17964 (java) S 17947 17950 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414256062 10919915520 17958 33554432000 4194304 4196468 140730177726496 140247792863712 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17965] ppid=17947 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17965/stat : 17965 (java) S 17947 17950 17242 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 414256063 10919915520 17958 33554432000 4194304 4196468 140730177726496 140247791811504 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
Current children cumulated CPU time: 1.86 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 71832 KiB

[startup+2.65088 s]
# the end of solver process 17950 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.97909 s, system=0.114498 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.60094 s]
/proc/loadavg: 2.08 2.65 2.63 3/228 17965
/proc/meminfo: memFree=29533400/32770688 swapFree=66961076/67108860
[pid=17950] ppid=17947 vsize=10663980 memory=72396 CPUtime=1.96 cores=4-7
/proc/17950/stat : 17950 (java) S 17947 17950 17242 0 -1 1077944320 17116 0 0 0 190 6 0 0 20 0 15 0 414256056 10919915520 18099 33554432000 4194304 4196468 140730177726496 140730177709040 140248309219063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
/proc/17950/statm: 2665995 18099 3081 1 0 2628492 0
[pid=17950/tid=17952] ppid=17947 vsize=10663980 memory=1400242874264906928 CPUtime=1.47 cores=4-7
/proc/17950/task/17952/stat : 17952 (java) R 17947 17950 17242 0 -1 4202560 12542 0 0 0 142 5 0 0 20 0 15 0 414256056 10919915520 18099 33554432000 4194304 4196468 140730177726496 140248313431600 140248309230998 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17953] ppid=17947 vsize=10663980 memory=8546864036052574154 CPUtime=0 cores=4-7
/proc/17950/task/17953/stat : 17953 (java) S 17947 17950 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414256057 10919915520 18099 33554432000 4194304 4196468 140730177726496 140247915485584 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17954] ppid=17947 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17954/stat : 17954 (java) S 17947 17950 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414256057 10919915520 18099 33554432000 4194304 4196468 140730177726496 140247914432784 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17955] ppid=17947 vsize=10663980 memory=734122130331934768 CPUtime=0 cores=4-7
/proc/17950/task/17955/stat : 17955 (java) S 17947 17950 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414256057 10919915520 18099 33554432000 4194304 4196468 140730177726496 140247913380496 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17956] ppid=17947 vsize=10663980 memory=7380106142448641899 CPUtime=0 cores=4-7
/proc/17950/task/17956/stat : 17956 (java) S 17947 17950 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414256057 10919915520 18099 33554432000 4194304 4196468 140730177726496 140247912327696 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17957] ppid=17947 vsize=10663980 memory=8104553123192779569 CPUtime=0 cores=4-7
/proc/17950/task/17957/stat : 17957 (java) S 17947 17950 17242 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414256059 10919915520 18099 33554432000 4194304 4196468 140730177726496 140247868369520 140248309230210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17958] ppid=17947 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17958/stat : 17958 (java) S 17947 17950 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414256059 10919915520 18099 33554432000 4194304 4196468 140730177726496 140247867315488 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17959] ppid=17947 vsize=10663980 memory=22852 CPUtime=0 cores=4-7
/proc/17950/task/17959/stat : 17959 (java) S 17947 17950 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414256060 10919915520 18099 33554432000 4194304 4196468 140730177726496 140247866263152 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17960] ppid=17947 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17960/stat : 17960 (java) S 17947 17950 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414256062 10919915520 18099 33554432000 4194304 4196468 140730177726496 140247865211472 140248309237659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17961] ppid=17947 vsize=10663980 memory=0 CPUtime=0.15 cores=4-7
/proc/17950/task/17961/stat : 17961 (java) S 17947 17950 17242 0 -1 1077944384 1299 0 0 0 15 0 0 0 20 0 15 0 414256062 10919915520 18099 33554432000 4194304 4196468 140730177726496 140247864158320 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17962] ppid=17947 vsize=10663980 memory=6944656592387989600 CPUtime=0.11 cores=4-7
/proc/17950/task/17962/stat : 17962 (java) R 17947 17950 17242 0 -1 4202560 591 0 0 0 11 0 0 0 20 0 15 0 414256062 10919915520 18099 33554432000 4194304 4196468 140730177726496 140247794968560 140248292587311 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17963] ppid=17947 vsize=10663980 memory=0 CPUtime=0.2 cores=4-7
/proc/17950/task/17963/stat : 17963 (java) S 17947 17950 17242 0 -1 1077944384 1312 0 0 0 20 0 0 0 20 0 15 0 414256062 10919915520 18099 33554432000 4194304 4196468 140730177726496 140247793916272 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17964] ppid=17947 vsize=10663980 memory=6944656592455359580 CPUtime=0 cores=4-7
/proc/17950/task/17964/stat : 17964 (java) S 17947 17950 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414256062 10919915520 18099 33554432000 4194304 4196468 140730177726496 140247792863712 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17965] ppid=17947 vsize=10663980 memory=-2629636489592034718 CPUtime=0 cores=4-7
/proc/17950/task/17965/stat : 17965 (java) S 17947 17950 17242 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 414256063 10919915520 18099 33554432000 4194304 4196468 140730177726496 140247791811504 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
Current children cumulated CPU time: 1.96 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 72396 KiB

[startup+2.40075 s]
/proc/loadavg: 2.08 2.65 2.63 3/228 17965
/proc/meminfo: memFree=29516620/32770688 swapFree=66961076/67108860
[pid=17950] ppid=17947 vsize=10746276 memory=146824 CPUtime=3.39 cores=4-7
/proc/17950/stat : 17950 (java) S 17947 17950 17242 0 -1 1077944320 23904 0 0 0 329 10 0 0 20 0 16 0 414256056 11004186624 36706 33554432000 4194304 4196468 140730177726496 140730177709040 140248309219063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
/proc/17950/statm: 2686569 36706 3337 1 0 2646705 0
[pid=17950/tid=17952] ppid=17947 vsize=10746276 memory=13 CPUtime=2.09 cores=4-7
/proc/17950/task/17952/stat : 17952 (java) S 17947 17950 17242 0 -1 1077944384 15566 0 0 0 203 6 0 0 20 0 16 0 414256056 11004186624 36706 33554432000 4194304 4196468 140730177726496 140248313461936 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17953] ppid=17947 vsize=10746276 memory=6791534058613427641 CPUtime=0.01 cores=4-7
/proc/17950/task/17953/stat : 17953 (java) S 17947 17950 17242 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 414256057 11004186624 36706 33554432000 4194304 4196468 140730177726496 140247915485584 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17954] ppid=17947 vsize=10746276 memory=8508281403248314509 CPUtime=0.01 cores=4-7
/proc/17950/task/17954/stat : 17954 (java) S 17947 17950 17242 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 16 0 414256057 11004186624 36706 33554432000 4194304 4196468 140730177726496 140247914432784 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17955] ppid=17947 vsize=10746276 memory=7882834749540411979 CPUtime=0 cores=4-7
/proc/17950/task/17955/stat : 17955 (java) S 17947 17950 17242 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 16 0 414256057 11004186624 36706 33554432000 4194304 4196468 140730177726496 140247913380496 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17956] ppid=17947 vsize=10746276 memory=3054156605369181556 CPUtime=0 cores=4-7
/proc/17950/task/17956/stat : 17956 (java) S 17947 17950 17242 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414256057 11004186624 36706 33554432000 4194304 4196468 140730177726496 140247912327696 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17957] ppid=17947 vsize=10746276 memory=4629539461233085814 CPUtime=0.01 cores=4-7
/proc/17950/task/17957/stat : 17957 (java) S 17947 17950 17242 0 -1 1077944384 1047 0 0 0 1 0 0 0 20 0 16 0 414256059 11004186624 36706 33554432000 4194304 4196468 140730177726496 140247868369520 140248309230210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17958] ppid=17947 vsize=10746276 memory=-6364846131758022595 CPUtime=0 cores=4-7
/proc/17950/task/17958/stat : 17958 (java) S 17947 17950 17242 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414256059 11004186624 36706 33554432000 4194304 4196468 140730177726496 140247867315552 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17959] ppid=17947 vsize=10746276 memory=-7228670457783381124 CPUtime=0 cores=4-7
/proc/17950/task/17959/stat : 17959 (java) S 17947 17950 17242 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414256060 11004186624 36706 33554432000 4194304 4196468 140730177726496 140247866263168 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17960] ppid=17947 vsize=10746276 memory=8029253707270603623 CPUtime=0 cores=4-7
/proc/17950/task/17960/stat : 17960 (java) S 17947 17950 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414256062 11004186624 36706 33554432000 4194304 4196468 140730177726496 140247865211472 140248309237659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17961] ppid=17947 vsize=10746276 memory=7100839887286082953 CPUtime=0.38 cores=4-7
/proc/17950/task/17961/stat : 17961 (java) R 17947 17950 17242 0 -1 4202560 1782 0 0 0 38 0 0 0 20 0 16 0 414256062 11004186624 36706 33554432000 4194304 4196468 140730177726496 140247864158320 140248290763655 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17962] ppid=17947 vsize=10746276 memory=-8628205794661404034 CPUtime=0.32 cores=4-7
/proc/17950/task/17962/stat : 17962 (java) R 17947 17950 17242 0 -1 4202560 1225 0 0 0 32 0 0 0 20 0 16 0 414256062 11004186624 36706 33554432000 4194304 4196468 140730177726496 140247794955344 140248290766352 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17963] ppid=17947 vsize=10746276 memory=5788930165031592000 CPUtime=0.35 cores=4-7
/proc/17950/task/17963/stat : 17963 (java) S 17947 17950 17242 0 -1 1077944384 1728 0 0 0 34 1 0 0 20 0 16 0 414256062 11004186624 36706 33554432000 4194304 4196468 140730177726496 140247793916272 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17964] ppid=17947 vsize=10746276 memory=7014751519700964689 CPUtime=0 cores=4-7
/proc/17950/task/17964/stat : 17964 (java) S 17947 17950 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414256062 11004186624 36706 33554432000 4194304 4196468 140730177726496 140247792863712 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17965] ppid=17947 vsize=10746276 memory=56 CPUtime=0 cores=4-7
/proc/17950/task/17965/stat : 17965 (java) S 17947 17950 17242 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 16 0 414256063 11004186624 36706 33554432000 4194304 4196468 140730177726496 140247791811504 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
Current children cumulated CPU time: 3.39 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 146824 KiB

[startup+2.60927 s]
/proc/loadavg: 2.08 2.65 2.63 3/228 17965
/proc/meminfo: memFree=29516620/32770688 swapFree=66961076/67108860
[pid=17950] ppid=17947 vsize=10746276 memory=149844 CPUtime=3.98 cores=4-7
/proc/17950/stat : 17950 (java) S 17947 17950 17242 0 -1 1077944320 25065 0 0 0 387 11 0 0 20 0 16 0 414256056 11004186624 37461 33554432000 4194304 4196468 140730177726496 140730177709040 140248309219063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
/proc/17950/statm: 2686569 37461 3349 1 0 2646705 0
[pid=17950/tid=17952] ppid=17947 vsize=10746276 memory=0 CPUtime=2.09 cores=4-7
/proc/17950/task/17952/stat : 17952 (java) S 17947 17950 17242 0 -1 1077944384 15566 0 0 0 203 6 0 0 20 0 16 0 414256056 11004186624 37461 33554432000 4194304 4196468 140730177726496 140248313461936 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17953] ppid=17947 vsize=10746276 memory=2241 CPUtime=0.01 cores=4-7
/proc/17950/task/17953/stat : 17953 (java) S 17947 17950 17242 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 414256057 11004186624 37461 33554432000 4194304 4196468 140730177726496 140247915485584 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17954] ppid=17947 vsize=10746276 memory=139868495852288 CPUtime=0.01 cores=4-7
/proc/17950/task/17954/stat : 17954 (java) S 17947 17950 17242 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 16 0 414256057 11004186624 37461 33554432000 4194304 4196468 140730177726496 140247914432784 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17955] ppid=17947 vsize=10746276 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17955/stat : 17955 (java) S 17947 17950 17242 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 16 0 414256057 11004186624 37461 33554432000 4194304 4196468 140730177726496 140247913380496 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17956] ppid=17947 vsize=10746276 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17956/stat : 17956 (java) S 17947 17950 17242 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414256057 11004186624 37461 33554432000 4194304 4196468 140730177726496 140247912327696 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17957] ppid=17947 vsize=10746276 memory=0 CPUtime=0.01 cores=4-7
/proc/17950/task/17957/stat : 17957 (java) S 17947 17950 17242 0 -1 1077944384 1047 0 0 0 1 0 0 0 20 0 16 0 414256059 11004186624 37461 33554432000 4194304 4196468 140730177726496 140247868369520 140248309230210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17958] ppid=17947 vsize=10746276 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17958/stat : 17958 (java) S 17947 17950 17242 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414256059 11004186624 37461 33554432000 4194304 4196468 140730177726496 140247867315552 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17959] ppid=17947 vsize=10746276 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17959/stat : 17959 (java) S 17947 17950 17242 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414256060 11004186624 37461 33554432000 4194304 4196468 140730177726496 140247866263168 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17960] ppid=17947 vsize=10746276 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17960/stat : 17960 (java) S 17947 17950 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414256062 11004186624 37461 33554432000 4194304 4196468 140730177726496 140247865211472 140248309237659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17961] ppid=17947 vsize=10746276 memory=0 CPUtime=0.49 cores=4-7
/proc/17950/task/17961/stat : 17961 (java) R 17947 17950 17242 0 -1 4202560 1858 0 0 0 49 0 0 0 20 0 16 0 414256062 11004186624 37461 33554432000 4194304 4196468 140730177726496 140247864158320 140248290742186 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17962] ppid=17947 vsize=10746276 memory=0 CPUtime=0.44 cores=4-7
/proc/17950/task/17962/stat : 17962 (java) R 17947 17950 17242 0 -1 4202560 1268 0 0 0 44 0 0 0 20 0 16 0 414256062 11004186624 37461 33554432000 4194304 4196468 140730177726496 140247794968560 140248294140816 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17963] ppid=17947 vsize=10746276 memory=0 CPUtime=0.48 cores=4-7
/proc/17950/task/17963/stat : 17963 (java) S 17947 17950 17242 0 -1 1077944384 2009 0 0 0 47 1 0 0 20 0 16 0 414256062 11004186624 37461 33554432000 4194304 4196468 140730177726496 140247793916272 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17964] ppid=17947 vsize=10746276 memory=0 CPUtime=0 cores=4-7
/proc/17950/task/17964/stat : 17964 (java) S 17947 17950 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414256062 11004186624 37461 33554432000 4194304 4196468 140730177726496 140247792863712 140248309229269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
[pid=17950/tid=17965] ppid=17947 vsize=10746276 memory=8030883985213620294 CPUtime=0 cores=4-7
/proc/17950/task/17965/stat : 17965 (java) S 17947 17950 17242 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 16 0 414256063 11004186624 37461 33554432000 4194304 4196468 140730177726496 140247791811504 140248309230210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 36110336 140730177733643 140730177733746 140730177733746 140730177736655 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 149844 KiB

Child status: 0
Real time (s): 2.65092
CPU time (s): 4.09359
CPU user time (s): 3.97909
CPU system time (s): 0.114498
CPU usage (%): 154.421
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 149844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.97909
system time used= 0.114498
maximum resident set size= 150488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2122
involuntary context switches= 12


# summary of solver processes directly reported to runsolver:
#   pid: 17950
#   total CPU time (s): 4.09359
#   total CPU user time (s): 3.97909
#   total CPU system time (s): 0.114498

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043123 second user time and 0.071544 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-13 15:58:23
IDJOB=4390469
IDBENCH=131444
IDSOLVER=2832
FILE ID=node116/4390469-1568383144
RUNJOBID= node116-1568380476-17274
PBS_JOBID= 21701846
Free space on /tmp= 56876 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-m4D/Subisomorphism-si2-m4Dr6-m256-00.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390469-1568383144/watcher-4390469-1568383144 -o /tmp/evaluation-result-4390469-1568383144/solver-4390469-1568383144 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568380476-17274 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390469-1568383144.xml -cm

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 73ef0e8387fdebf21bbae2b4acf5d521
RANDOM SEED=1327417434

node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        29586688 kB
MemAvailable:   31645692 kB
Buffers:          119676 kB
Cached:          2216236 kB
SwapCached:        46632 kB
Active:          1053260 kB
Inactive:        1534676 kB
Active(anon):     206076 kB
Inactive(anon):    86692 kB
Active(file):     847184 kB
Inactive(file):  1447984 kB
Unevictable:      110508 kB
Mlocked:          110508 kB
SwapTotal:      67108860 kB
SwapFree:       66961076 kB
Dirty:              8912 kB
Writeback:             0 kB
AnonPages:        192060 kB
Mapped:            55880 kB
Shmem:             31980 kB
Slab:             187900 kB
SReclaimable:     159344 kB
SUnreclaim:        28556 kB
KernelStack:        4048 kB
PageTables:         6084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    1170288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 56868 MiB
End job on node116 at 2019-09-13 15:58:26