Trace number 4257518

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 NameAnswerobjective functionCPU timeWall clock time
AbsCon-basic 2017-06-11? (TO) 252.04201 208.733

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-23-a4.xml
MD5SUM85d0173ff868c492d6a47734653fba18
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark554
Best CPU time to get the best result obtained on this benchmark249.02
Satisfiable
(Un)Satisfiability was proved
Number of variables23
Number of constraints30109
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":23}]
Minimum variable degree5083
Maximum variable degree5084
Distribution of variable degrees[{"degree":5083,"count":21},{"degree":5084,"count":2}]
Minimum constraint arity1
Maximum constraint arity23
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":3542},{"arity":4,"count":26565},{"arity":23,"count":1}]
Number of extensional constraints0
Number of intensional constraints30108
Distribution of constraint types[{"type":"intension","count":30108},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

0.31/0.34	
0.31/0.34	AbsCon 2 
0.31/0.34	
2.88/1.25	  Solving XCSP3-instance-4257518-1502643979 as a COP in -infty..+infty
2.88/1.25	  Loading variables...
3.24/1.31	  Loading constraints...
63.81/21.48	  Solver SolverBacktrack being built...
63.81/21.48	
64.12/21.54	  Preprocessing : gac=false, ccks=1001, filters=44, revisions=1 (useless=0), AC=1484, removals=1484, inconsistent=false
64.12/21.54	
252.00/208.70	
252.00/208.70	s UNKNOWN

Verifier Data


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: 16374 MiB (15300 MiB free)
  memory of node 1: 16384 MiB (7198 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257518-1502643979/watcher-4257518-1502643979 -o /tmp/evaluation-result-4257518-1502643979/solver-4257518-1502643979 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502642888-24552 --watchdog 312 java -jar HOME/AbsCon-basic.jar HOME/instance-4257518-1502643979.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=24862, runsolver pid=24859

[startup+0.1002 s]*
/proc/loadavg: 3.67 2.51 1.85 6/205 24869
/proc/meminfo: memFree=23027812/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=10151672 memory=19800 CPUtime=0.02 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24862 7968 0 -1 1077944320 3783 0 0 0 2 0 0 0 20 0 9 0 18280602 10395312128 4950 18446744073709551615 4194304 4196468 140727673103776 140727673086320 139679464627959 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
/proc/24862/statm: 2537918 4950 2110 1 0 2527415 0
[pid=24862/tid=24864] ppid=24859 vsize=10151672 memory=-6439968830534014599 CPUtime=0.02 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (java) R 24859 24862 7968 0 -1 4202560 2423 0 0 0 2 0 0 0 20 0 9 0 18280610 10395312128 4950 18446744073709551615 4194304 4196468 140727673103776 139679468863944 139679464649885 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24865] ppid=24859 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (java) S 24859 24862 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 18280611 10395312128 4950 18446744073709551615 4194304 4196468 140727673103776 139679395047824 139679464638165 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24866] ppid=24859 vsize=10151672 memory=140466207102592 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24866/stat : 24866 (java) S 24859 24862 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 18280611 10395312128 4950 18446744073709551615 4194304 4196468 140727673103776 139679393995024 139679464638165 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24867] ppid=24859 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24867/stat : 24867 (java) S 24859 24862 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 18280611 10395312128 4950 18446744073709551615 4194304 4196468 140727673103776 139679392942736 139679464638165 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24868] ppid=24859 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24868/stat : 24868 (java) S 24859 24862 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 18280611 10395312128 4950 18446744073709551615 4194304 4196468 140727673103776 139679391889936 139679464638165 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24869] ppid=24859 vsize=10151672 memory=140466207102592 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24869/stat : 24869 (java) S 24859 24862 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 18280612 10395312128 4950 18446744073709551615 4194304 4196468 140727673103776 139678960269936 139679464639106 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24870] ppid=24859 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24870/stat : 24870 (java) S 24859 24862 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 18280612 10395312128 4950 18446744073709551615 4194304 4196468 140727673103776 139678959215904 139679464638165 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24871] ppid=24859 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24871/stat : 24871 (java) S 24859 24862 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 18280613 10395312128 4950 18446744073709551615 4194304 4196468 140727673103776 139678958163632 139679464638165 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 19800 KiB

[startup+0.21084 s]*
/proc/loadavg: 3.67 2.51 1.85 6/213 24877
/proc/meminfo: memFree=23021208/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=10551180 memory=28696 CPUtime=0.12 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24862 7968 0 -1 1077944320 5157 0 0 0 11 1 0 0 20 0 15 0 18280602 10804408320 7174 18446744073709551615 4194304 4196468 140727673103776 140727673086320 139679464627959 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
/proc/24862/statm: 2637795 7174 2777 1 0 2627261 0
[pid=24862/tid=24864] ppid=24859 vsize=10551180 memory=8318255677412212789 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (java) R 24859 24862 7968 0 -1 4202560 3028 0 0 0 8 0 0 0 20 0 15 0 18280610 10804408320 7174 18446744073709551615 4194304 4196468 140727673103776 139679468859344 139679464639894 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24865] ppid=24859 vsize=10551180 memory=326 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (java) S 24859 24862 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18280611 10804408320 7174 18446744073709551615 4194304 4196468 140727673103776 139679395047824 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24866] ppid=24859 vsize=10551180 memory=288370842358814336 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24866/stat : 24866 (java) S 24859 24862 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18280611 10804408320 7174 18446744073709551615 4194304 4196468 140727673103776 139679393995024 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24867] ppid=24859 vsize=10551180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24867/stat : 24867 (java) S 24859 24862 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18280611 10804408320 7174 18446744073709551615 4194304 4196468 140727673103776 139679392942736 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24868] ppid=24859 vsize=10551180 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24868/stat : 24868 (java) S 24859 24862 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18280611 10804408320 7174 18446744073709551615 4194304 4196468 140727673103776 139679391889936 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24869] ppid=24859 vsize=10551180 memory=140466207102592 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24869/stat : 24869 (java) S 24859 24862 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18280612 10804408320 7174 18446744073709551615 4194304 4196468 140727673103776 139678960269936 139679464639106 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24870] ppid=24859 vsize=10551180 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24870/stat : 24870 (java) S 24859 24862 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18280612 10804408320 7174 18446744073709551615 4194304 4196468 140727673103776 139678959215904 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24871] ppid=24859 vsize=10551180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24871/stat : 24871 (java) S 24859 24862 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18280613 10804408320 7174 18446744073709551615 4194304 4196468 140727673103776 139678958163568 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24872] ppid=24859 vsize=10551180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24872/stat : 24872 (java) S 24859 24862 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18280615 10804408320 7174 18446744073709551615 4194304 4196468 140727673103776 139678957111888 139679464646555 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24873] ppid=24859 vsize=10551180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24873/stat : 24873 (java) S 24859 24862 7968 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 18280615 10804408320 7174 18446744073709551615 4194304 4196468 140727673103776 139678956058736 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24874] ppid=24859 vsize=10551180 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24874/stat : 24874 (java) S 24859 24862 7968 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 18280615 10804408320 7174 18446744073709551615 4194304 4196468 140727673103776 139678955005936 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24875] ppid=24859 vsize=10551180 memory=140466207102592 CPUtime=0.01 cores=0,2,4,6
/proc/24862/task/24875/stat : 24875 (java) R 24859 24862 7968 0 -1 4202560 331 0 0 0 1 0 0 0 20 0 15 0 18280615 10804408320 7174 18446744073709551615 4194304 4196468 140727673103776 139678953952832 139679464639894 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24876] ppid=24859 vsize=10551180 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24876/stat : 24876 (java) S 24859 24862 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18280615 10804408320 7174 18446744073709551615 4194304 4196468 140727673103776 139678952901088 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24877] ppid=24859 vsize=10551180 memory=140466207102592 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24877/stat : 24877 (java) S 24859 24862 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18280620 10804408320 7174 18446744073709551615 4194304 4196468 140727673103776 139678951848880 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10551180 KiB
Current children cumulated memory: 28696 KiB

[startup+0.310606 s]*
/proc/loadavg: 3.67 2.51 1.85 8/213 24877
/proc/meminfo: memFree=23009224/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=10553264 memory=41876 CPUtime=0.31 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24862 7968 0 -1 1077944320 8620 0 0 0 29 2 0 0 20 0 15 0 18280602 10806542336 10469 18446744073709551615 4194304 4196468 140727673103776 140727673086320 139679464627959 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
/proc/24862/statm: 2638316 10469 2946 1 0 2627261 0
[pid=24862/tid=24864] ppid=24859 vsize=10553264 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (java) R 24859 24862 7968 0 -1 4202560 5697 0 0 0 17 1 0 0 20 0 15 0 18280610 10806542336 10490 18446744073709551615 4194304 4196468 140727673103776 139679468860096 139679457344922 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24865] ppid=24859 vsize=10553264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (java) S 24859 24862 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18280611 10806542336 10490 18446744073709551615 4194304 4196468 140727673103776 139679395047824 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24866] ppid=24859 vsize=10553264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24866/stat : 24866 (java) S 24859 24862 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18280611 10806542336 10490 18446744073709551615 4194304 4196468 140727673103776 139679393995024 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24867] ppid=24859 vsize=10553264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24867/stat : 24867 (java) S 24859 24862 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18280611 10806542336 10490 18446744073709551615 4194304 4196468 140727673103776 139679392942736 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24868] ppid=24859 vsize=10553264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24868/stat : 24868 (java) S 24859 24862 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18280611 10806542336 10490 18446744073709551615 4194304 4196468 140727673103776 139679391889936 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24869] ppid=24859 vsize=10553264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24869/stat : 24869 (java) S 24859 24862 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18280612 10806542336 10490 18446744073709551615 4194304 4196468 140727673103776 139678960269936 139679464639106 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24870] ppid=24859 vsize=10553264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24870/stat : 24870 (java) S 24859 24862 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18280612 10806542336 10490 18446744073709551615 4194304 4196468 140727673103776 139678959215904 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24871] ppid=24859 vsize=10553264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24871/stat : 24871 (java) S 24859 24862 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18280613 10806542336 10490 18446744073709551615 4194304 4196468 140727673103776 139678958163568 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24872] ppid=24859 vsize=10553264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24872/stat : 24872 (java) S 24859 24862 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18280615 10806542336 10490 18446744073709551615 4194304 4196468 140727673103776 139678957111888 139679464646555 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24873] ppid=24859 vsize=10553264 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24862/task/24873/stat : 24873 (java) S 24859 24862 7968 0 -1 1077944384 392 0 0 0 2 0 0 0 20 0 15 0 18280615 10806542336 10490 18446744073709551615 4194304 4196468 140727673103776 139678956058736 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24874] ppid=24859 vsize=10553264 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24862/task/24874/stat : 24874 (java) R 24859 24862 7968 0 -1 4202560 468 0 0 0 3 0 0 0 20 0 15 0 18280615 10806542336 10490 18446744073709551615 4194304 4196468 140727673103776 139678955006232 139679448531852 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24875] ppid=24859 vsize=10553264 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/24862/task/24875/stat : 24875 (java) R 24859 24862 7968 0 -1 4202560 696 0 0 0 6 0 0 0 20 0 15 0 18280615 10806542336 10490 18446744073709551615 4194304 4196468 140727673103776 139678953953648 139679443588965 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24876] ppid=24859 vsize=10553264 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24876/stat : 24876 (java) S 24859 24862 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18280615 10806542336 10490 18446744073709551615 4194304 4196468 140727673103776 139678952901088 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24877] ppid=24859 vsize=10553264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24877/stat : 24877 (java) S 24859 24862 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18280620 10806542336 10490 18446744073709551615 4194304 4196468 140727673103776 139678951848880 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10553264 KiB
Current children cumulated memory: 41876 KiB

[startup+0.706052 s]
/proc/loadavg: 3.67 2.51 1.85 8/214 24878
/proc/meminfo: memFree=22987520/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=10621952 memory=91420 CPUtime=1.32 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24862 7968 0 -1 1077944320 13650 0 0 0 128 4 0 0 20 0 16 0 18280602 10876878848 22855 18446744073709551615 4194304 4196468 140727673103776 140727673086320 139679464627959 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
/proc/24862/statm: 2655488 22855 3071 1 0 2644414 0
[pid=24862/tid=24864] ppid=24859 vsize=10621952 memory=2276 CPUtime=0.21 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (java) S 24859 24862 7968 0 -1 1077944384 5748 0 0 0 19 2 0 0 20 0 16 0 18280610 10876878848 22855 18446744073709551615 4194304 4196468 140727673103776 139679468870832 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24865] ppid=24859 vsize=10621952 memory=4484 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (java) S 24859 24862 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18280611 10876878848 22855 18446744073709551615 4194304 4196468 140727673103776 139679395047824 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24866] ppid=24859 vsize=10621952 memory=6692 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24866/stat : 24866 (java) S 24859 24862 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18280611 10876878848 22855 18446744073709551615 4194304 4196468 140727673103776 139679393995024 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24867] ppid=24859 vsize=10621952 memory=8900 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24867/stat : 24867 (java) S 24859 24862 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18280611 10876878848 22855 18446744073709551615 4194304 4196468 140727673103776 139679392942736 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24868] ppid=24859 vsize=10621952 memory=11108 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24868/stat : 24868 (java) S 24859 24862 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 18280611 10876878848 22855 18446744073709551615 4194304 4196468 140727673103776 139679391889936 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24869] ppid=24859 vsize=10621952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24869/stat : 24869 (java) S 24859 24862 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 18280612 10876878848 22855 18446744073709551615 4194304 4196468 140727673103776 139678960269936 139679464639106 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24870] ppid=24859 vsize=10621952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24870/stat : 24870 (java) S 24859 24862 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 18280612 10876878848 22855 18446744073709551615 4194304 4196468 140727673103776 139678959215904 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24871] ppid=24859 vsize=10621952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24871/stat : 24871 (java) S 24859 24862 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 18280613 10876878848 22855 18446744073709551615 4194304 4196468 140727673103776 139678958163568 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24872] ppid=24859 vsize=10621952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24872/stat : 24872 (java) S 24859 24862 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18280615 10876878848 22855 18446744073709551615 4194304 4196468 140727673103776 139678957111888 139679464646555 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24873] ppid=24859 vsize=10621952 memory=4 CPUtime=0.25 cores=0,2,4,6
/proc/24862/task/24873/stat : 24873 (java) R 24859 24862 7968 0 -1 4202560 1559 0 0 0 25 0 0 0 20 0 16 0 18280615 10876878848 22855 18446744073709551615 4194304 4196468 140727673103776 139678956050240 139679446155032 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24874] ppid=24859 vsize=10621952 memory=36 CPUtime=0.25 cores=0,2,4,6
/proc/24862/task/24874/stat : 24874 (java) R 24859 24862 7968 0 -1 1077944384 1309 0 0 0 25 0 0 0 20 0 16 0 18280615 10876878848 22855 18446744073709551615 4194304 4196468 140727673103776 139678954998960 139679464638165 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24875] ppid=24859 vsize=10621952 memory=2 CPUtime=0.23 cores=0,2,4,6
/proc/24862/task/24875/stat : 24875 (java) R 24859 24862 7968 0 -1 4202560 1601 0 0 0 23 0 0 0 20 0 16 0 18280615 10876878848 22855 18446744073709551615 4194304 4196468 140727673103776 139678953948688 139679443484434 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24876] ppid=24859 vsize=10621952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24876/stat : 24876 (java) S 24859 24862 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18280615 10876878848 22855 18446744073709551615 4194304 4196468 140727673103776 139678952901088 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24877] ppid=24859 vsize=10621952 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24877/stat : 24877 (java) S 24859 24862 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18280620 10876878848 22855 18446744073709551615 4194304 4196468 140727673103776 139678951848880 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24878] ppid=24859 vsize=10621952 memory=640 CPUtime=0.35 cores=0,2,4,6
/proc/24862/task/24878/stat : 24878 (java) R 24859 24862 7968 0 -1 4202560 2064 0 0 0 34 1 0 0 20 0 16 0 18280637 10876878848 22855 18446744073709551615 4194304 4196468 140727673103776 139678948653088 139679066992855 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 10621952 KiB
Current children cumulated memory: 91420 KiB

[startup+1.50141 s]
/proc/loadavg: 4.10 2.61 1.89 8/214 24878
/proc/meminfo: memFree=22850396/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=10621952 memory=226668 CPUtime=3.83 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24862 7968 0 -1 1077944320 15918 0 0 0 370 13 0 0 20 0 16 0 18280602 10876878848 56667 18446744073709551615 4194304 4196468 140727673103776 140727673086320 139679464627959 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
/proc/24862/statm: 2655488 56667 3118 1 0 2644414 0
[pid=24862/tid=24864] ppid=24859 vsize=10621952 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (java) S 24859 24862 7968 0 -1 1077944384 5748 0 0 0 19 2 0 0 20 0 16 0 18280610 10876878848 56667 18446744073709551615 4194304 4196468 140727673103776 139679468870832 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24865] ppid=24859 vsize=10621952 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (java) S 24859 24862 7968 0 -1 1077944384 114 0 0 0 2 1 0 0 20 0 16 0 18280611 10876878848 56667 18446744073709551615 4194304 4196468 140727673103776 139679395047824 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24866] ppid=24859 vsize=10621952 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24862/task/24866/stat : 24866 (java) S 24859 24862 7968 0 -1 1077944384 53 0 0 0 1 1 0 0 20 0 16 0 18280611 10876878848 56667 18446744073709551615 4194304 4196468 140727673103776 139679393995024 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24867] ppid=24859 vsize=10621952 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24862/task/24867/stat : 24867 (java) S 24859 24862 7968 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 16 0 18280611 10876878848 56667 18446744073709551615 4194304 4196468 140727673103776 139679392942736 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24868] ppid=24859 vsize=10621952 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24862/task/24868/stat : 24868 (java) S 24859 24862 7968 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 16 0 18280611 10876878848 56667 18446744073709551615 4194304 4196468 140727673103776 139679391889936 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24869] ppid=24859 vsize=10621952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24869/stat : 24869 (java) S 24859 24862 7968 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 16 0 18280612 10876878848 56667 18446744073709551615 4194304 4196468 140727673103776 139678960269936 139679464639106 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24870] ppid=24859 vsize=10621952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24870/stat : 24870 (java) S 24859 24862 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 18280612 10876878848 56667 18446744073709551615 4194304 4196468 140727673103776 139678959215968 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24871] ppid=24859 vsize=10621952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24871/stat : 24871 (java) S 24859 24862 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 18280613 10876878848 56667 18446744073709551615 4194304 4196468 140727673103776 139678958163584 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24872] ppid=24859 vsize=10621952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24872/stat : 24872 (java) S 24859 24862 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18280615 10876878848 56667 18446744073709551615 4194304 4196468 140727673103776 139678957111888 139679464646555 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24873] ppid=24859 vsize=10621952 memory=-6439968830534014599 CPUtime=0.89 cores=0,2,4,6
/proc/24862/task/24873/stat : 24873 (java) S 24859 24862 7968 0 -1 1077944384 1748 0 0 0 89 0 0 0 20 0 16 0 18280615 10876878848 56667 18446744073709551615 4194304 4196468 140727673103776 139678956058736 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24874] ppid=24859 vsize=10621952 memory=7524503900901105746 CPUtime=0.94 cores=0,2,4,6
/proc/24862/task/24874/stat : 24874 (java) R 24859 24862 7968 0 -1 4202560 1574 0 0 0 94 0 0 0 20 0 16 0 18280615 10876878848 56667 18446744073709551615 4194304 4196468 140727673103776 139678954992032 139679446150749 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0

################
# More data... #
################

/proc/24862/task/24868/stat : 24868 (java) S 24859 24862 7968 0 -1 1077944384 4467 0 0 0 1120 119 0 0 20 0 16 0 18280611 10878976000 1399391 18446744073709551615 4194304 4196468 140727673103776 139679391889936 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24869] ppid=24859 vsize=10624000 memory=280932200971328 CPUtime=0.18 cores=0,2,4,6
/proc/24862/task/24869/stat : 24869 (java) S 24859 24862 7968 0 -1 1077944384 12547 0 0 0 17 1 0 0 20 0 16 0 18280612 10878976000 1399391 18446744073709551615 4194304 4196468 140727673103776 139678960269936 139679464639106 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24870] ppid=24859 vsize=10624000 memory=5597556 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24870/stat : 24870 (java) S 24859 24862 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 18280612 10878976000 1399391 18446744073709551615 4194304 4196468 140727673103776 139678959215968 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24871] ppid=24859 vsize=10624000 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24871/stat : 24871 (java) S 24859 24862 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 18280613 10878976000 1399391 18446744073709551615 4194304 4196468 140727673103776 139678958163584 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24872] ppid=24859 vsize=10624000 memory=13524 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24872/stat : 24872 (java) S 24859 24862 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18280615 10878976000 1399391 18446744073709551615 4194304 4196468 140727673103776 139678957111888 139679464646555 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24873] ppid=24859 vsize=10624000 memory=5597556 CPUtime=2.73 cores=0,2,4,6
/proc/24862/task/24873/stat : 24873 (java) S 24859 24862 7968 0 -1 1077944384 9584 0 0 0 271 2 0 0 20 0 16 0 18280615 10878976000 1399391 18446744073709551615 4194304 4196468 140727673103776 139678956058736 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24874] ppid=24859 vsize=10624000 memory=2193 CPUtime=2.7 cores=0,2,4,6
/proc/24862/task/24874/stat : 24874 (java) S 24859 24862 7968 0 -1 1077944384 8276 0 0 0 269 1 0 0 20 0 16 0 18280615 10878976000 1399391 18446744073709551615 4194304 4196468 140727673103776 139678955005936 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24875] ppid=24859 vsize=10624000 memory=4124 CPUtime=0.73 cores=0,2,4,6
/proc/24862/task/24875/stat : 24875 (java) S 24859 24862 7968 0 -1 1077944384 4914 0 0 0 72 1 0 0 20 0 16 0 18280615 10878976000 1399391 18446744073709551615 4194304 4196468 140727673103776 139678953953648 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24876] ppid=24859 vsize=10624000 memory=5597556 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24876/stat : 24876 (java) S 24859 24862 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18280615 10878976000 1399391 18446744073709551615 4194304 4196468 140727673103776 139678952901088 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24877] ppid=24859 vsize=10624000 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/24862/task/24877/stat : 24877 (java) S 24859 24862 7968 0 -1 1077944384 564 0 0 0 2 3 0 0 20 0 16 0 18280620 10878976000 1399391 18446744073709551615 4194304 4196468 140727673103776 139678951848880 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24878] ppid=24859 vsize=10624000 memory=6944656592387989600 CPUtime=89.22 cores=0,2,4,6
/proc/24862/task/24878/stat : 24878 (java) R 24859 24862 7968 0 -1 4202560 13179 0 0 0 8913 9 0 0 20 0 16 0 18280637 10878976000 1399391 18446744073709551615 4194304 4196468 140727673103776 139678948658088 139679072426116 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
Current children cumulated CPU time: 145.44 s
Current children cumulated vsize: 10624000 KiB
Current children cumulated memory: 5597564 KiB

[startup+162.301 s]
/proc/loadavg: 2.29 2.57 2.01 3/213 24966
/proc/meminfo: memFree=21440208/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=10624000 memory=5597652 CPUtime=205.54 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24862 7968 0 -1 1077944320 81802 0 0 0 20025 529 0 0 20 0 16 0 18280602 10878976000 1399413 18446744073709551615 4194304 4196468 140727673103776 140727673086320 139679464627959 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
/proc/24862/statm: 2656000 1399413 3163 1 0 2644926 0
[pid=24862/tid=24864] ppid=24859 vsize=10624000 memory=5597652 CPUtime=0.21 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (java) S 24859 24862 7968 0 -1 1077944384 5748 0 0 0 19 2 0 0 20 0 16 0 18280610 10878976000 1399413 18446744073709551615 4194304 4196468 140727673103776 139679468870832 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24865] ppid=24859 vsize=10624000 memory=5597652 CPUtime=12.38 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (java) S 24859 24862 7968 0 -1 1077944384 4551 0 0 0 1109 129 0 0 20 0 16 0 18280611 10878976000 1399413 18446744073709551615 4194304 4196468 140727673103776 139679395047824 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24866] ppid=24859 vsize=10624000 memory=5597652 CPUtime=12.42 cores=0,2,4,6
/proc/24862/task/24866/stat : 24866 (java) S 24859 24862 7968 0 -1 1077944384 4270 0 0 0 1119 123 0 0 20 0 16 0 18280611 10878976000 1399413 18446744073709551615 4194304 4196468 140727673103776 139679393995024 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24867] ppid=24859 vsize=10624000 memory=5597652 CPUtime=12.32 cores=0,2,4,6
/proc/24862/task/24867/stat : 24867 (java) S 24859 24862 7968 0 -1 1077944384 4709 0 0 0 1099 133 0 0 20 0 16 0 18280611 10878976000 1399413 18446744073709551615 4194304 4196468 140727673103776 139679392942736 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24868] ppid=24859 vsize=10624000 memory=5597652 CPUtime=12.39 cores=0,2,4,6
/proc/24862/task/24868/stat : 24868 (java) S 24859 24862 7968 0 -1 1077944384 4467 0 0 0 1120 119 0 0 20 0 16 0 18280611 10878976000 1399413 18446744073709551615 4194304 4196468 140727673103776 139679391889936 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24869] ppid=24859 vsize=10624000 memory=5597652 CPUtime=0.18 cores=0,2,4,6
/proc/24862/task/24869/stat : 24869 (java) S 24859 24862 7968 0 -1 1077944384 12634 0 0 0 17 1 0 0 20 0 16 0 18280612 10878976000 1399413 18446744073709551615 4194304 4196468 140727673103776 139678960269936 139679464639106 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24870] ppid=24859 vsize=10624000 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24870/stat : 24870 (java) S 24859 24862 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 18280612 10878976000 1399413 18446744073709551615 4194304 4196468 140727673103776 139678959215968 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24871] ppid=24859 vsize=10624000 memory=9916 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24871/stat : 24871 (java) S 24859 24862 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 18280613 10878976000 1399413 18446744073709551615 4194304 4196468 140727673103776 139678958163584 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24872] ppid=24859 vsize=10624000 memory=5597652 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24872/stat : 24872 (java) S 24859 24862 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18280615 10878976000 1399413 18446744073709551615 4194304 4196468 140727673103776 139678957111888 139679464646555 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24873] ppid=24859 vsize=10624000 memory=5597652 CPUtime=2.75 cores=0,2,4,6
/proc/24862/task/24873/stat : 24873 (java) S 24859 24862 7968 0 -1 1077944384 9945 0 0 0 273 2 0 0 20 0 16 0 18280615 10878976000 1399413 18446744073709551615 4194304 4196468 140727673103776 139678956058736 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24874] ppid=24859 vsize=10624000 memory=1000 CPUtime=2.74 cores=0,2,4,6
/proc/24862/task/24874/stat : 24874 (java) S 24859 24862 7968 0 -1 1077944384 9102 0 0 0 273 1 0 0 20 0 16 0 18280615 10878976000 1399413 18446744073709551615 4194304 4196468 140727673103776 139678955005936 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24875] ppid=24859 vsize=10624000 memory=2012 CPUtime=0.75 cores=0,2,4,6
/proc/24862/task/24875/stat : 24875 (java) S 24859 24862 7968 0 -1 1077944384 5932 0 0 0 74 1 0 0 20 0 16 0 18280615 10878976000 1399413 18446744073709551615 4194304 4196468 140727673103776 139678953953648 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24876] ppid=24859 vsize=10624000 memory=5597652 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24876/stat : 24876 (java) S 24859 24862 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18280615 10878976000 1399413 18446744073709551615 4194304 4196468 140727673103776 139678952901088 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24877] ppid=24859 vsize=10624000 memory=1700 CPUtime=0.09 cores=0,2,4,6
/proc/24862/task/24877/stat : 24877 (java) S 24859 24862 7968 0 -1 1077944384 621 0 0 0 4 5 0 0 20 0 16 0 18280620 10878976000 1399413 18446744073709551615 4194304 4196468 140727673103776 139678951848880 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24878] ppid=24859 vsize=10624000 memory=5597652 CPUtime=149.2 cores=0,2,4,6
/proc/24862/task/24878/stat : 24878 (java) R 24859 24862 7968 0 -1 4202560 18464 0 0 0 14911 9 0 0 20 0 16 0 18280637 10878976000 1399413 18446744073709551615 4194304 4196468 140727673103776 139678948655376 139679072242752 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
Current children cumulated CPU time: 205.54 s
Current children cumulated vsize: 10624000 KiB
Current children cumulated memory: 5597652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+208.701 s]
/proc/loadavg: 2.18 2.51 2.01 3/213 24970
/proc/meminfo: memFree=21439960/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=10624000 memory=5597664 CPUtime=252 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24862 7968 0 -1 1077944320 87614 0 0 0 24668 532 0 0 20 0 16 0 18280602 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 140727673086320 139679464627959 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
/proc/24862/statm: 2656000 1399416 3163 1 0 2644926 0
[pid=24862/tid=24864] ppid=24859 vsize=10624000 memory=5597664 CPUtime=0.21 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (java) S 24859 24862 7968 0 -1 1077944384 5748 0 0 0 19 2 0 0 20 0 16 0 18280610 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139679468870832 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24865] ppid=24859 vsize=10624000 memory=5597664 CPUtime=12.38 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (java) S 24859 24862 7968 0 -1 1077944384 4551 0 0 0 1109 129 0 0 20 0 16 0 18280611 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139679395047824 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24866] ppid=24859 vsize=10624000 memory=280932201743728 CPUtime=12.42 cores=0,2,4,6
/proc/24862/task/24866/stat : 24866 (java) S 24859 24862 7968 0 -1 1077944384 4270 0 0 0 1119 123 0 0 20 0 16 0 18280611 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139679393995024 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24867] ppid=24859 vsize=10624000 memory=5597664 CPUtime=12.32 cores=0,2,4,6
/proc/24862/task/24867/stat : 24867 (java) S 24859 24862 7968 0 -1 1077944384 4709 0 0 0 1099 133 0 0 20 0 16 0 18280611 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139679392942736 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24868] ppid=24859 vsize=10624000 memory=5597664 CPUtime=12.39 cores=0,2,4,6
/proc/24862/task/24868/stat : 24868 (java) S 24859 24862 7968 0 -1 1077944384 4467 0 0 0 1120 119 0 0 20 0 16 0 18280611 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139679391889936 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24869] ppid=24859 vsize=10624000 memory=4304 CPUtime=0.18 cores=0,2,4,6
/proc/24862/task/24869/stat : 24869 (java) S 24859 24862 7968 0 -1 1077944384 12642 0 0 0 17 1 0 0 20 0 16 0 18280612 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678960269936 139679464639106 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24870] ppid=24859 vsize=10624000 memory=1588 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24870/stat : 24870 (java) S 24859 24862 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 18280612 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678959215968 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24871] ppid=24859 vsize=10624000 memory=5597664 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24871/stat : 24871 (java) S 24859 24862 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 18280613 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678958163584 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24872] ppid=24859 vsize=10624000 memory=13524 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24872/stat : 24872 (java) S 24859 24862 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18280615 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678957111888 139679464646555 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24873] ppid=24859 vsize=10624000 memory=5597664 CPUtime=2.75 cores=0,2,4,6
/proc/24862/task/24873/stat : 24873 (java) S 24859 24862 7968 0 -1 1077944384 10214 0 0 0 273 2 0 0 20 0 16 0 18280615 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678956058736 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24874] ppid=24859 vsize=10624000 memory=13524 CPUtime=2.75 cores=0,2,4,6
/proc/24862/task/24874/stat : 24874 (java) S 24859 24862 7968 0 -1 1077944384 9520 0 0 0 274 1 0 0 20 0 16 0 18280615 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678955005936 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24875] ppid=24859 vsize=10624000 memory=5597664 CPUtime=0.76 cores=0,2,4,6
/proc/24862/task/24875/stat : 24875 (java) S 24859 24862 7968 0 -1 1077944384 6508 0 0 0 75 1 0 0 20 0 16 0 18280615 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678953953648 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24876] ppid=24859 vsize=10624000 memory=5597664 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24876/stat : 24876 (java) S 24859 24862 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18280615 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678952901088 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24877] ppid=24859 vsize=10624000 memory=928 CPUtime=0.12 cores=0,2,4,6
/proc/24862/task/24877/stat : 24877 (java) S 24859 24862 7968 0 -1 1077944384 677 0 0 0 5 7 0 0 20 0 16 0 18280620 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678951848880 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24878] ppid=24859 vsize=10624000 memory=2164 CPUtime=195.6 cores=0,2,4,6
/proc/24862/task/24878/stat : 24878 (java) R 24859 24862 7968 0 -1 4202560 22949 0 0 0 19550 10 0 0 20 0 16 0 18280637 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678948655928 139679072242841 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 10624000 KiB
Current children cumulated memory: 5597664 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+208.733 s]
# the end of solver process 24862 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=246.694 s, system=5.34782 s

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

[startup+208.701 s]
/proc/loadavg: 2.18 2.51 2.01 3/213 24970
/proc/meminfo: memFree=21439960/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=10624000 memory=5597664 CPUtime=252 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24862 7968 0 -1 1077944320 87614 0 0 0 24668 532 0 0 20 0 16 0 18280602 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 140727673086320 139679464627959 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
/proc/24862/statm: 2656000 1399416 3163 1 0 2644926 0
[pid=24862/tid=24864] ppid=24859 vsize=10624000 memory=5597664 CPUtime=0.21 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (java) S 24859 24862 7968 0 -1 1077944384 5748 0 0 0 19 2 0 0 20 0 16 0 18280610 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139679468870832 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24865] ppid=24859 vsize=10624000 memory=5597664 CPUtime=12.38 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (java) S 24859 24862 7968 0 -1 1077944384 4551 0 0 0 1109 129 0 0 20 0 16 0 18280611 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139679395047824 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24866] ppid=24859 vsize=10624000 memory=280932201743728 CPUtime=12.42 cores=0,2,4,6
/proc/24862/task/24866/stat : 24866 (java) S 24859 24862 7968 0 -1 1077944384 4270 0 0 0 1119 123 0 0 20 0 16 0 18280611 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139679393995024 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24867] ppid=24859 vsize=10624000 memory=5597664 CPUtime=12.32 cores=0,2,4,6
/proc/24862/task/24867/stat : 24867 (java) S 24859 24862 7968 0 -1 1077944384 4709 0 0 0 1099 133 0 0 20 0 16 0 18280611 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139679392942736 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24868] ppid=24859 vsize=10624000 memory=5597664 CPUtime=12.39 cores=0,2,4,6
/proc/24862/task/24868/stat : 24868 (java) S 24859 24862 7968 0 -1 1077944384 4467 0 0 0 1120 119 0 0 20 0 16 0 18280611 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139679391889936 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24869] ppid=24859 vsize=10624000 memory=4304 CPUtime=0.18 cores=0,2,4,6
/proc/24862/task/24869/stat : 24869 (java) S 24859 24862 7968 0 -1 1077944384 12642 0 0 0 17 1 0 0 20 0 16 0 18280612 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678960269936 139679464639106 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24870] ppid=24859 vsize=10624000 memory=1588 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24870/stat : 24870 (java) S 24859 24862 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 18280612 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678959215968 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24871] ppid=24859 vsize=10624000 memory=5597664 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24871/stat : 24871 (java) S 24859 24862 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 18280613 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678958163584 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24872] ppid=24859 vsize=10624000 memory=13524 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24872/stat : 24872 (java) S 24859 24862 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18280615 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678957111888 139679464646555 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24873] ppid=24859 vsize=10624000 memory=5597664 CPUtime=2.75 cores=0,2,4,6
/proc/24862/task/24873/stat : 24873 (java) S 24859 24862 7968 0 -1 1077944384 10214 0 0 0 273 2 0 0 20 0 16 0 18280615 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678956058736 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24874] ppid=24859 vsize=10624000 memory=13524 CPUtime=2.75 cores=0,2,4,6
/proc/24862/task/24874/stat : 24874 (java) S 24859 24862 7968 0 -1 1077944384 9520 0 0 0 274 1 0 0 20 0 16 0 18280615 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678955005936 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24875] ppid=24859 vsize=10624000 memory=5597664 CPUtime=0.76 cores=0,2,4,6
/proc/24862/task/24875/stat : 24875 (java) S 24859 24862 7968 0 -1 1077944384 6508 0 0 0 75 1 0 0 20 0 16 0 18280615 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678953953648 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24876] ppid=24859 vsize=10624000 memory=5597664 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24876/stat : 24876 (java) S 24859 24862 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18280615 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678952901088 139679464638165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24877] ppid=24859 vsize=10624000 memory=928 CPUtime=0.12 cores=0,2,4,6
/proc/24862/task/24877/stat : 24877 (java) S 24859 24862 7968 0 -1 1077944384 677 0 0 0 5 7 0 0 20 0 16 0 18280620 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678951848880 139679464639106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
[pid=24862/tid=24878] ppid=24859 vsize=10624000 memory=2164 CPUtime=195.6 cores=0,2,4,6
/proc/24862/task/24878/stat : 24878 (java) R 24859 24862 7968 0 -1 4202560 22949 0 0 0 19550 10 0 0 20 0 16 0 18280637 10878976000 1399416 18446744073709551615 4194304 4196468 140727673103776 139678948655928 139679072242841 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33914880 140727673106862 140727673106991 140727673106991 140727673110479 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 10624000 KiB
Current children cumulated memory: 5597664 KiB

Child status: 143
Real time (s): 208.733
CPU time (s): 252.042
CPU user time (s): 246.694
CPU system time (s): 5.34782
CPU usage (%): 120.748
Max. virtual memory (cumulated for all children) (KiB): 10624000
Max. memory (cumulated for all children) (KiB): 5598304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.694
system time used= 5.34782
maximum resident set size= 5598304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88082
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8016
involuntary context switches= 1085


# summary of solver processes directly reported to runsolver:
#   pid: 24862
#   total CPU time (s): 252.042
#   total CPU user time (s): 246.694
#   total CPU system time (s): 5.34782

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.59593 second user time and 1.74482 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-13 18:52:22
IDJOB=4257518
IDBENCH=126248
IDSOLVER=2642
FILE ID=node128/4257518-1502643979
RUNJOBID= node128-1502642888-24552
PBS_JOBID= 
Free space on /tmp= 62020 MiB

SOLVER NAME= AbsCon-basic 2017-06-11
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-23-a4.xml
COMMAND LINE= java -jar HOME/AbsCon-basic.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4257518-1502643979/watcher-4257518-1502643979 -o /tmp/evaluation-result-4257518-1502643979/solver-4257518-1502643979 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502642888-24552 --watchdog 312  java -jar HOME/AbsCon-basic.jar HOME/instance-4257518-1502643979.xml

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

MD5SUM BENCH= 85d0173ff868c492d6a47734653fba18
RANDOM SEED=840280574

node128.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		: 2668.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.94
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		: 2668.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	: 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		: 2668.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.94
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		: 2668.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	: 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		: 2668.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.94
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		: 2668.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	: 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		: 2668.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.94
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		: 2668.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:       32770624 kB
MemFree:        23039024 kB
MemAvailable:   23677368 kB
Buffers:          151220 kB
Cached:           774700 kB
SwapCached:            0 kB
Active:          8598308 kB
Inactive:         706084 kB
Active(anon):    8379312 kB
Inactive(anon):    16764 kB
Active(file):     218996 kB
Inactive(file):   689320 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8924 kB
Writeback:             0 kB
AnonPages:       8387608 kB
Mapped:            45084 kB
Shmem:             17116 kB
Slab:             117004 kB
SReclaimable:      91724 kB
SUnreclaim:        25280 kB
KernelStack:        3760 kB
PageTables:        21180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8624832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8196096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62012 MiB
End job on node128 at 2017-08-13 18:55:51