Trace number 4294216

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
Concrete 3.8 2018-06-13SAT 11.3883 5.56415

General information on the benchmark

NameLangford/
LangfordBin-07_c18.xml
MD5SUM3bc0c2fe6daffe5cd6c78f401afaf84f
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.007355
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints21
Number of domains2
Minimum domain size7
Maximum domain size14
Distribution of domain sizes[{"size":7,"count":14},{"size":14,"count":14}]
Minimum variable degree2
Maximum variable degree14
Distribution of variable degrees[{"degree":2,"count":14},{"degree":14,"count":14}]
Minimum constraint arity2
Maximum constraint arity15
Distribution of constraint arities[{"arity":2,"count":7},{"arity":15,"count":14}]
Number of extensional constraints0
Number of intensional constraints7
Distribution of constraint types[{"type":"intension","count":7},{"type":"element","count":14}]
Optimization problemNO
Type of objective

Solver Data 

0.98/0.74	c Concrete v3.8.1528841891564 running
11.23/5.38	v <instantiation>
11.23/5.38	v       <list>
11.23/5.38	v         v[0] v[1] v[2] v[3] v[4] v[5] v[6] v[7] v[8] v[9] v[10] v[11] v[12] v[13] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13]
11.23/5.38	v       </list>
11.23/5.38	v       <values>
11.23/5.38	v         2 3 6 2 7 3 4 5 1 6 1 4 7 5 10 8 3 0 5 1 11 6 13 7 9 2 12 4
11.23/5.38	v       </values>
11.23/5.38	v     </instantiation>
11.36/5.47	s SATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294216-1532441469/watcher-4294216-1532441469 -o /tmp/evaluation-result-4294216-1532441469/solver-4294216-1532441469 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532414812-13981 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1504807166 HOME/instance-4294216-1532441469.xml 

running on 4 cores: 1,3,5,7

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

solver pid=18805, runsolver pid=18802

[startup+0.100092 s]*
/proc/loadavg: 1.39 1.27 1.32 2/207 18862
/proc/meminfo: memFree=14255332/32770624 swapFree=67108852/67108860
[pid=18805] ppid=18802 vsize=9972712 memory=17076 CPUtime=0.08 cores=1,3,5,7
/proc/18805/stat : 18805 (java) S 18802 18805 13949 0 -1 1077944320 4448 13143 0 0 1 0 4 3 20 0 6 0 61710067 10212057088 4269 33554432000 4194304 4196468 140736608959264 140736608941808 140315412766455 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
/proc/18805/statm: 2493178 4269 1934 1 0 2481616 0
[pid=18805/tid=18858] ppid=18802 vsize=9972712 memory=4279135704013962638 CPUtime=0.08 cores=1,3,5,7
/proc/18805/task/18858/stat : 18858 (java) R 18802 18805 13949 0 -1 4202560 2253 13143 0 0 1 0 4 3 20 0 6 0 61710076 10212057088 4269 33554432000 4194304 4196468 140736608959264 140315384603216 140315396112933 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18859] ppid=18802 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18859/stat : 18859 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 6 0 61710077 10212057088 4269 33554432000 4194304 4196468 140736608959264 140315417008656 140315412776661 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18860] ppid=18802 vsize=9972712 memory=139872690071168 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18860/stat : 18860 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 6 0 61710077 10212057088 4269 33554432000 4194304 4196468 140736608959264 140315315899024 140315412776661 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18861] ppid=18802 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18861/stat : 18861 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 6 0 61710077 10212057088 4335 33554432000 4194304 4196468 140736608959264 140315314845968 140315412776661 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18862] ppid=18802 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18862/stat : 18862 (java) S 18802 18805 13949 0 -1 1077944384 2 13143 0 0 0 0 4 3 20 0 6 0 61710077 10212057088 4335 33554432000 4194304 4196468 140736608959264 140315313793424 140315412776661 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB

[startup+0.209903 s]*
/proc/loadavg: 1.39 1.27 1.32 3/216 18871
/proc/meminfo: memFree=14235432/32770624 swapFree=67108852/67108860
[pid=18805] ppid=18802 vsize=10821524 memory=44964 CPUtime=0.25 cores=1,3,5,7
/proc/18805/stat : 18805 (java) S 18802 18805 13949 0 -1 1077944320 8443 13143 0 0 17 1 4 3 20 0 15 0 61710067 11081240576 11241 33554432000 4194304 4196468 140736608959264 140736608941808 140315412766455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
/proc/18805/statm: 2705381 11241 2947 1 0 2667804 0
[pid=18805/tid=18858] ppid=18802 vsize=10821524 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/18805/task/18858/stat : 18858 (java) R 18802 18805 13949 0 -1 4202560 5096 13143 0 0 11 1 4 3 20 0 15 0 61710076 11081240576 11307 33554432000 4194304 4196468 140736608959264 140315384591264 140315405446173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18859] ppid=18802 vsize=10821524 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18859/stat : 18859 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710077 11081240576 11307 33554432000 4194304 4196468 140736608959264 140315417008656 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18860] ppid=18802 vsize=10821524 memory=139872690402301 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18860/stat : 18860 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710077 11081240576 11373 33554432000 4194304 4196468 140736608959264 140315315899024 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18861] ppid=18802 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18861/stat : 18861 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710077 11081240576 11373 33554432000 4194304 4196468 140736608959264 140315314845968 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18862] ppid=18802 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18862/stat : 18862 (java) S 18802 18805 13949 0 -1 1077944384 2 13143 0 0 0 0 4 3 20 0 15 0 61710077 11081240576 11373 33554432000 4194304 4196468 140736608959264 140315313793424 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18863] ppid=18802 vsize=10821524 memory=139872690071168 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18863/stat : 18863 (java) S 18802 18805 13949 0 -1 1077944384 2 13143 0 0 0 0 4 3 20 0 15 0 61710079 11081240576 11373 33554432000 4194304 4196468 140736608959264 140314871098096 140315412777602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18864] ppid=18802 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18864/stat : 18864 (java) S 18802 18805 13949 0 -1 1077944384 13 13143 0 0 0 0 4 3 20 0 15 0 61710079 11081240576 11439 33554432000 4194304 4196468 140736608959264 140314299852448 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18865] ppid=18802 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18865/stat : 18865 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710079 11081240576 11439 33554432000 4194304 4196468 140736608959264 140314165634288 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18866] ppid=18802 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18866/stat : 18866 (java) S 18802 18805 13949 0 -1 1077944384 3 13143 0 0 0 0 4 3 20 0 15 0 61710082 11081240576 11439 33554432000 4194304 4196468 140736608959264 140313925343696 140315412785051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18867] ppid=18802 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18805/task/18867/stat : 18867 (java) S 18802 18805 13949 0 -1 1077944384 366 13143 0 0 1 0 4 3 20 0 15 0 61710082 11081240576 11439 33554432000 4194304 4196468 140736608959264 140314870044912 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18868] ppid=18802 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18868/stat : 18868 (java) S 18802 18805 13949 0 -1 1077944384 245 13143 0 0 0 0 4 3 20 0 15 0 61710082 11081240576 11439 33554432000 4194304 4196468 140736608959264 140314868992368 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18869] ppid=18802 vsize=10821524 memory=139872690071168 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18869/stat : 18869 (java) S 18802 18805 13949 0 -1 1077944384 614 13143 0 0 3 0 4 3 20 0 15 0 61710082 11081240576 11505 33554432000 4194304 4196468 140736608959264 140314867939312 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18870] ppid=18802 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18870/stat : 18870 (java) S 18802 18805 13949 0 -1 1077944384 3 13143 0 0 0 0 4 3 20 0 15 0 61710082 11081240576 11505 33554432000 4194304 4196468 140736608959264 140313891785056 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18871] ppid=18802 vsize=10821524 memory=139872690071168 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18871/stat : 18871 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710082 11081240576 11505 33554432000 4194304 4196468 140736608959264 140314866887728 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 44964 KiB

[startup+0.310295 s]*
/proc/loadavg: 1.39 1.27 1.32 6/216 18871
/proc/meminfo: memFree=14222904/32770624 swapFree=67108852/67108860
[pid=18805] ppid=18802 vsize=10819352 memory=54096 CPUtime=0.37 cores=1,3,5,7
/proc/18805/stat : 18805 (java) S 18802 18805 13949 0 -1 1077944320 10612 13143 0 0 28 2 4 3 20 0 15 0 61710067 11079016448 13524 33554432000 4194304 4196468 140736608959264 140736608941808 140315412766455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
/proc/18805/statm: 2704838 13524 3066 1 0 2667149 0
[pid=18805/tid=18858] ppid=18802 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/18805/task/18858/stat : 18858 (java) R 18802 18805 13949 0 -1 4202560 7157 13143 0 0 20 1 4 3 20 0 15 0 61710076 11079016448 13524 33554432000 4194304 4196468 140736608959264 140315384578464 140315412788381 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18859] ppid=18802 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18859/stat : 18859 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710077 11079016448 13524 33554432000 4194304 4196468 140736608959264 140315417008656 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18860] ppid=18802 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18860/stat : 18860 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710077 11079016448 13524 33554432000 4194304 4196468 140736608959264 140315315899024 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18861] ppid=18802 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18861/stat : 18861 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710077 11079016448 13524 33554432000 4194304 4196468 140736608959264 140315314845968 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18862] ppid=18802 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18862/stat : 18862 (java) S 18802 18805 13949 0 -1 1077944384 2 13143 0 0 0 0 4 3 20 0 15 0 61710077 11079016448 13524 33554432000 4194304 4196468 140736608959264 140315313793424 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18863] ppid=18802 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18863/stat : 18863 (java) S 18802 18805 13949 0 -1 1077944384 2 13143 0 0 0 0 4 3 20 0 15 0 61710079 11079016448 13524 33554432000 4194304 4196468 140736608959264 140314871098096 140315412777602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18864] ppid=18802 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18864/stat : 18864 (java) S 18802 18805 13949 0 -1 1077944384 13 13143 0 0 0 0 4 3 20 0 15 0 61710079 11079016448 13524 33554432000 4194304 4196468 140736608959264 140314299852448 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18865] ppid=18802 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18865/stat : 18865 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710079 11079016448 13524 33554432000 4194304 4196468 140736608959264 140314165634288 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18866] ppid=18802 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18866/stat : 18866 (java) S 18802 18805 13949 0 -1 1077944384 3 13143 0 0 0 0 4 3 20 0 15 0 61710082 11079016448 13524 33554432000 4194304 4196468 140736608959264 140313925343696 140315412785051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18867] ppid=18802 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18805/task/18867/stat : 18867 (java) S 18802 18805 13949 0 -1 1077944384 366 13143 0 0 1 0 4 3 20 0 15 0 61710082 11079016448 13524 33554432000 4194304 4196468 140736608959264 140314870044912 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18868] ppid=18802 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18805/task/18868/stat : 18868 (java) S 18802 18805 13949 0 -1 1077944384 248 13143 0 0 1 0 4 3 20 0 15 0 61710082 11079016448 13524 33554432000 4194304 4196468 140736608959264 140314868992368 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18869] ppid=18802 vsize=10819352 memory=139872690071168 CPUtime=0.12 cores=1,3,5,7
/proc/18805/task/18869/stat : 18869 (java) R 18802 18805 13949 0 -1 4202560 620 13143 0 0 5 0 4 3 20 0 15 0 61710082 11079016448 13524 33554432000 4194304 4196468 140736608959264 140314867939312 140315396135176 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18870] ppid=18802 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18870/stat : 18870 (java) S 18802 18805 13949 0 -1 1077944384 3 13143 0 0 0 0 4 3 20 0 15 0 61710082 11079016448 13524 33554432000 4194304 4196468 140736608959264 140313891785056 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18871] ppid=18802 vsize=10819352 memory=139872690071168 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18871/stat : 18871 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710082 11079016448 13524 33554432000 4194304 4196468 140736608959264 140314866887728 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54096 KiB

[startup+0.700765 s]
/proc/loadavg: 1.39 1.27 1.32 3/216 18871
/proc/meminfo: memFree=14212608/32770624 swapFree=67108852/67108860
[pid=18805] ppid=18802 vsize=10819352 memory=86720 CPUtime=0.98 cores=1,3,5,7
/proc/18805/stat : 18805 (java) S 18802 18805 13949 0 -1 1077944320 16763 13143 0 0 88 3 4 3 20 0 15 0 61710067 11079016448 21680 33554432000 4194304 4196468 140736608959264 140736608941808 140315412766455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
/proc/18805/statm: 2704838 21680 3240 1 0 2667149 0
[pid=18805/tid=18858] ppid=18802 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/18805/task/18858/stat : 18858 (java) R 18802 18805 13949 0 -1 4202560 12217 13143 0 0 56 2 4 3 20 0 15 0 61710076 11079016448 21680 33554432000 4194304 4196468 140736608959264 140315384587280 140315393041667 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18859] ppid=18802 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18859/stat : 18859 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710077 11079016448 21680 33554432000 4194304 4196468 140736608959264 140315417008656 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18860] ppid=18802 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18860/stat : 18860 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710077 11079016448 21680 33554432000 4194304 4196468 140736608959264 140315315899024 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18861] ppid=18802 vsize=10819352 memory=139872589460272 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18861/stat : 18861 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710077 11079016448 21680 33554432000 4194304 4196468 140736608959264 140315314845968 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18862] ppid=18802 vsize=10819352 memory=139874199929420 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18862/stat : 18862 (java) S 18802 18805 13949 0 -1 1077944384 2 13143 0 0 0 0 4 3 20 0 15 0 61710077 11079016448 21680 33554432000 4194304 4196468 140736608959264 140315313793424 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18863] ppid=18802 vsize=10819352 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18863/stat : 18863 (java) S 18802 18805 13949 0 -1 1077944384 5 13143 0 0 0 0 4 3 20 0 15 0 61710079 11079016448 21680 33554432000 4194304 4196468 140736608959264 140314871098096 140315412777602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18864] ppid=18802 vsize=10819352 memory=4639098309541128813 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18864/stat : 18864 (java) S 18802 18805 13949 0 -1 1077944384 13 13143 0 0 0 0 4 3 20 0 15 0 61710079 11079016448 21680 33554432000 4194304 4196468 140736608959264 140314299852448 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18865] ppid=18802 vsize=10819352 memory=7885635084775281010 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18865/stat : 18865 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710079 11079016448 21680 33554432000 4194304 4196468 140736608959264 140314165634288 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18866] ppid=18802 vsize=10819352 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18866/stat : 18866 (java) S 18802 18805 13949 0 -1 1077944384 3 13143 0 0 0 0 4 3 20 0 15 0 61710082 11079016448 21680 33554432000 4194304 4196468 140736608959264 140313925343696 140315412785051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18867] ppid=18802 vsize=10819352 memory=11472 CPUtime=0.15 cores=1,3,5,7
/proc/18805/task/18867/stat : 18867 (java) S 18802 18805 13949 0 -1 1077944384 768 13143 0 0 8 0 4 3 20 0 15 0 61710082 11079016448 21680 33554432000 4194304 4196468 140736608959264 140314870044912 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18868] ppid=18802 vsize=10819352 memory=16432 CPUtime=0.16 cores=1,3,5,7
/proc/18805/task/18868/stat : 18868 (java) S 18802 18805 13949 0 -1 1077944384 861 13143 0 0 9 0 4 3 20 0 15 0 61710082 11079016448 21680 33554432000 4194304 4196468 140736608959264 140314868992368 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18869] ppid=18802 vsize=10819352 memory=1792 CPUtime=0.2 cores=1,3,5,7
/proc/18805/task/18869/stat : 18869 (java) S 18802 18805 13949 0 -1 1077944384 693 13143 0 0 13 0 4 3 20 0 15 0 61710082 11079016448 21680 33554432000 4194304 4196468 140736608959264 140314867939312 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18870] ppid=18802 vsize=10819352 memory=644 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18870/stat : 18870 (java) S 18802 18805 13949 0 -1 1077944384 3 13143 0 0 0 0 4 3 20 0 15 0 61710082 11079016448 21680 33554432000 4194304 4196468 140736608959264 140313891785056 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18871] ppid=18802 vsize=10819352 memory=956 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18871/stat : 18871 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710082 11079016448 21680 33554432000 4194304 4196468 140736608959264 140314866887728 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86720 KiB

[startup+1.50074 s]
/proc/loadavg: 1.39 1.27 1.32 3/216 18871
/proc/meminfo: memFree=14165532/32770624 swapFree=67108852/67108860
[pid=18805] ppid=18802 vsize=10836300 memory=178580 CPUtime=2.21 cores=1,3,5,7
/proc/18805/stat : 18805 (java) S 18802 18805 13949 0 -1 1077944320 24132 13143 0 0 205 9 4 3 20 0 15 0 61710067 11096371200 44645 33554432000 4194304 4196468 140736608959264 140736608941808 140315412766455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
/proc/18805/statm: 2709075 44645 3468 1 0 2670733 0
[pid=18805/tid=18858] ppid=18802 vsize=10836300 memory=63204 CPUtime=1.43 cores=1,3,5,7
/proc/18805/task/18858/stat : 18858 (java) R 18802 18805 13949 0 -1 4202560 17934 13143 0 0 130 6 4 3 20 0 15 0 61710076 11096371200 44645 33554432000 4194304 4196468 140736608959264 140315384596112 140315412788381 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18859] ppid=18802 vsize=10836300 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/18805/task/18859/stat : 18859 (java) S 18802 18805 13949 0 -1 1077944384 47 13143 0 0 1 0 4 3 20 0 15 0 61710077 11096371200 44645 33554432000 4194304 4196468 140736608959264 140315417008656 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18860] ppid=18802 vsize=10836300 memory=279745178951840 CPUtime=0.08 cores=1,3,5,7
/proc/18805/task/18860/stat : 18860 (java) S 18802 18805 13949 0 -1 1077944384 276 13143 0 0 1 0 4 3 20 0 15 0 61710077 11096371200 44645 33554432000 4194304 4196468 140736608959264 140315315899024 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18861] ppid=18802 vsize=10836300 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18805/task/18861/stat : 18861 (java) S 18802 18805 13949 0 -1 1077944384 18 13143 0 0 1 0 4 3 20 0 15 0 61710077 11096371200 44645 33554432000 4194304 4196468 140736608959264 140315314845968 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18862] ppid=18802 vsize=10836300 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18862/stat : 18862 (java) S 18802 18805 13949 0 -1 1077944384 97 13143 0 0 0 0 4 3 20 0 15 0 61710077 11096371200 44645 33554432000 4194304 4196468 140736608959264 140315313793424 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18863] ppid=18802 vsize=10836300 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18805/task/18863/stat : 18863 (java) S 18802 18805 13949 0 -1 1077944384 52 13143 0 0 1 0 4 3 20 0 15 0 61710079 11096371200 44645 33554432000 4194304 4196468 140736608959264 140314871098096 140315412777602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18864] ppid=18802 vsize=10836300 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18864/stat : 18864 (java) S 18802 18805 13949 0 -1 1077944384 14 13143 0 0 0 0 4 3 20 0 15 0 61710079 11096371200 44645 33554432000 4194304 4196468 140736608959264 140314299852512 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18865] ppid=18802 vsize=10836300 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18865/stat : 18865 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710079 11096371200 44645 33554432000 4194304 4196468 140736608959264 140314165634304 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18866] ppid=18802 vsize=10836300 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18866/stat : 18866 (java) S 18802 18805 13949 0 -1 1077944384 3 13143 0 0 0 0 4 3 20 0 15 0 61710082 11096371200 44645 33554432000 4194304 4196468 140736608959264 140313925343696 140315412785051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18867] ppid=18802 vsize=10836300 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/18805/task/18867/stat : 18867 (java) S 18802 18805 13949 0 -1 1077944384 1306 13143 0 0 22 0 4 3 20 0 15 0 61710082 11096371200 44645 33554432000 4194304 4196468 140736608959264 140314870044912 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18868] ppid=18802 vsize=10836300 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/18805/task/18868/stat : 18868 (java) S 18802 18805 13949 0 -1 1077944384 1031 13143 0 0 17 0 4 3 20 0 15 0 61710082 11096371200 44645 33554432000 4194304 4196468 140736608959264 140314868992368 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18869] ppid=18802 vsize=10836300 memory=6791534058613427641 CPUtime=0.36 cores=1,3,5,7
/proc/18805/task/18869/stat : 18869 (java) S 18802 18805 13949 0 -1 1077944384 1156 13143 0 0 29 0 4 3 20 0 15 0 61710082 11096371200 44645 33554432000 4194304 4196468 140736608959264 140314867939312 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18870] ppid=18802 vsize=10836300 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18870/stat : 18870 (java) S 18802 18805 13949 0 -1 1077944384 3 13143 0 0 0 0 4 3 20 0 15 0 61710082 11096371200 44645 33554432000 4194304 4196468 140736608959264 140313891785056 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18871] ppid=18802 vsize=10836300 memory=279745179196288 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18871/stat : 18871 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710082 11096371200 44645 33554432000 4194304 4196468 140736608959264 140314866887728 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
Current children cumulated CPU time: 2.21 s
Current children cumulated vsize: 10836300 KiB

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


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

[startup+3.20091 s]
/proc/loadavg: 1.44 1.28 1.32 5/216 18871
/proc/meminfo: memFree=14008036/32770624 swapFree=67108852/67108860
[pid=18805] ppid=18802 vsize=10912096 memory=300408 CPUtime=6 cores=1,3,5,7
/proc/18805/stat : 18805 (java) S 18802 18805 13949 0 -1 1077944320 53486 13143 0 0 575 18 4 3 20 0 15 0 61710067 11173986304 75102 33554432000 4194304 4196468 140736608959264 140736608941808 140315412766455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
/proc/18805/statm: 2728024 75102 3496 1 0 2689677 0
[pid=18805/tid=18858] ppid=18802 vsize=10912096 memory=-9123011406873206402 CPUtime=3.08 cores=1,3,5,7
/proc/18805/task/18858/stat : 18858 (java) R 18802 18805 13949 0 -1 4202560 36964 13143 0 0 291 10 4 3 20 0 15 0 61710076 11173986304 75102 33554432000 4194304 4196468 140736608959264 140315384594768 140315335818966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18859] ppid=18802 vsize=10912096 memory=6935649255759568960 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18859/stat : 18859 (java) S 18802 18805 13949 0 -1 1077944384 72 13143 0 0 3 0 4 3 20 0 15 0 61710077 11173986304 75102 33554432000 4194304 4196468 140736608959264 140315417008656 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18860] ppid=18802 vsize=10912096 memory=4132775673715122240 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18860/stat : 18860 (java) S 18802 18805 13949 0 -1 1077944384 285 13143 0 0 3 0 4 3 20 0 15 0 61710077 11173986304 75102 33554432000 4194304 4196468 140736608959264 140315315899024 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18861] ppid=18802 vsize=10912096 memory=2867664571609120 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18861/stat : 18861 (java) S 18802 18805 13949 0 -1 1077944384 40 13143 0 0 3 0 4 3 20 0 15 0 61710077 11173986304 75102 33554432000 4194304 4196468 140736608959264 140315314845968 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18862] ppid=18802 vsize=10912096 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18862/stat : 18862 (java) S 18802 18805 13949 0 -1 1077944384 114 13143 0 0 3 0 4 3 20 0 15 0 61710077 11173986304 75102 33554432000 4194304 4196468 140736608959264 140315313793424 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18863] ppid=18802 vsize=10912096 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18863/stat : 18863 (java) S 18802 18805 13949 0 -1 1077944384 280 13143 0 0 3 0 4 3 20 0 15 0 61710079 11173986304 75102 33554432000 4194304 4196468 140736608959264 140314871098096 140315412777602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18864] ppid=18802 vsize=10912096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18864/stat : 18864 (java) S 18802 18805 13949 0 -1 1077944384 14 13143 0 0 0 0 4 3 20 0 15 0 61710079 11173986304 75102 33554432000 4194304 4196468 140736608959264 140314299852512 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18865] ppid=18802 vsize=10912096 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18865/stat : 18865 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710079 11173986304 75102 33554432000 4194304 4196468 140736608959264 140314165634304 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18866] ppid=18802 vsize=10912096 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18866/stat : 18866 (java) S 18802 18805 13949 0 -1 1077944384 3 13143 0 0 0 0 4 3 20 0 15 0 61710082 11173986304 75102 33554432000 4194304 4196468 140736608959264 140313925343696 140315412785051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18867] ppid=18802 vsize=10912096 memory=0 CPUtime=1.03 cores=1,3,5,7
/proc/18805/task/18867/stat : 18867 (java) R 18802 18805 13949 0 -1 4202560 5405 13143 0 0 95 1 4 3 20 0 15 0 61710082 11173986304 75102 33554432000 4194304 4196468 140736608959264 140314870030792 140315392459559 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18868] ppid=18802 vsize=10912096 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/18805/task/18868/stat : 18868 (java) R 18802 18805 13949 0 -1 4202560 4237 13143 0 0 73 1 4 3 20 0 15 0 61710082 11173986304 75102 33554432000 4194304 4196468 140736608959264 140314868978528 140315396322750 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18869] ppid=18802 vsize=10912096 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/18805/task/18869/stat : 18869 (java) S 18802 18805 13949 0 -1 1077944384 3944 13143 0 0 98 1 4 3 20 0 15 0 61710082 11173986304 75102 33554432000 4194304 4196468 140736608959264 140314867939312 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18870] ppid=18802 vsize=10912096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18870/stat : 18870 (java) S 18802 18805 13949 0 -1 1077944384 3 13143 0 0 0 0 4 3 20 0 15 0 61710082 11173986304 75102 33554432000 4194304 4196468 140736608959264 140313891785056 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18871] ppid=18802 vsize=10912096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18871/stat : 18871 (java) S 18802 18805 13949 0 -1 1077944384 1 13143 0 0 0 0 4 3 20 0 15 0 61710082 11173986304 75102 33554432000 4194304 4196468 140736608959264 140314866887728 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 300408 KiB

[startup+4.80072 s]
/proc/loadavg: 1.44 1.28 1.32 5/216 18871
/proc/meminfo: memFree=13912668/32770624 swapFree=67108852/67108860
[pid=18805] ppid=18802 vsize=10914144 memory=383468 CPUtime=10.61 cores=1,3,5,7
/proc/18805/stat : 18805 (java) S 18802 18805 13949 0 -1 1077944320 64391 13143 0 0 1033 21 4 3 20 0 15 0 61710067 11176083456 95867 33554432000 4194304 4196468 140736608959264 140736608941808 140315412766455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
/proc/18805/statm: 2728536 95867 3516 1 0 2690189 0
[pid=18805/tid=18858] ppid=18802 vsize=10914144 memory=279745178771744 CPUtime=4.66 cores=1,3,5,7
/proc/18805/task/18858/stat : 18858 (java) R 18802 18805 13949 0 -1 4202560 38540 13143 0 0 448 11 4 3 20 0 15 0 61710076 11176083456 95867 33554432000 4194304 4196468 140736608959264 140315384598832 140314998198874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18859] ppid=18802 vsize=10914144 memory=227108 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18859/stat : 18859 (java) S 18802 18805 13949 0 -1 1077944384 286 13143 0 0 3 0 4 3 20 0 15 0 61710077 11176083456 95867 33554432000 4194304 4196468 140736608959264 140315417008656 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18860] ppid=18802 vsize=10914144 memory=309732 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18860/stat : 18860 (java) S 18802 18805 13949 0 -1 1077944384 302 13143 0 0 3 0 4 3 20 0 15 0 61710077 11176083456 95867 33554432000 4194304 4196468 140736608959264 140315315899024 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18861] ppid=18802 vsize=10914144 memory=162040526181214 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18861/stat : 18861 (java) S 18802 18805 13949 0 -1 1077944384 82 13143 0 0 3 0 4 3 20 0 15 0 61710077 11176083456 95867 33554432000 4194304 4196468 140736608959264 140315314845968 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18862] ppid=18802 vsize=10914144 memory=6943526294502006880 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18862/stat : 18862 (java) S 18802 18805 13949 0 -1 1077944384 135 13143 0 0 3 0 4 3 20 0 15 0 61710077 11176083456 95867 33554432000 4194304 4196468 140736608959264 140315313793424 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18863] ppid=18802 vsize=10914144 memory=6944656592455359580 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18863/stat : 18863 (java) S 18802 18805 13949 0 -1 1077944384 358 13143 0 0 3 0 4 3 20 0 15 0 61710079 11176083456 95867 33554432000 4194304 4196468 140736608959264 140314871098096 140315412777602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18864] ppid=18802 vsize=10914144 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18864/stat : 18864 (java) S 18802 18805 13949 0 -1 1077944384 20 13143 0 0 0 0 4 3 20 0 15 0 61710079 11176083456 95867 33554432000 4194304 4196468 140736608959264 140314299852512 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18865] ppid=18802 vsize=10914144 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18865/stat : 18865 (java) S 18802 18805 13949 0 -1 1077944384 8 13143 0 0 0 0 4 3 20 0 15 0 61710079 11176083456 95867 33554432000 4194304 4196468 140736608959264 140314165634304 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18866] ppid=18802 vsize=10914144 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18866/stat : 18866 (java) S 18802 18805 13949 0 -1 1077944384 3 13143 0 0 0 0 4 3 20 0 15 0 61710082 11176083456 95867 33554432000 4194304 4196468 140736608959264 140313925343696 140315412785051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18867] ppid=18802 vsize=10914144 memory=6944656592455360569 CPUtime=2.42 cores=1,3,5,7
/proc/18805/task/18867/stat : 18867 (java) S 18802 18805 13949 0 -1 1077944384 9703 13143 0 0 233 2 4 3 20 0 15 0 61710082 11176083456 95867 33554432000 4194304 4196468 140736608959264 140314870044912 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18868] ppid=18802 vsize=10914144 memory=-3704326594973231466 CPUtime=2.19 cores=1,3,5,7
/proc/18805/task/18868/stat : 18868 (java) S 18802 18805 13949 0 -1 1077944384 6656 13143 0 0 211 1 4 3 20 0 15 0 61710082 11176083456 95867 33554432000 4194304 4196468 140736608959264 140314868992368 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18869] ppid=18802 vsize=10914144 memory=-3123010188551861097 CPUtime=1.29 cores=1,3,5,7
/proc/18805/task/18869/stat : 18869 (java) S 18802 18805 13949 0 -1 1077944384 6094 13143 0 0 121 1 4 3 20 0 15 0 61710082 11176083456 95867 33554432000 4194304 4196468 140736608959264 140314867939312 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18870] ppid=18802 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18870/stat : 18870 (java) S 18802 18805 13949 0 -1 1077944384 3 13143 0 0 0 0 4 3 20 0 15 0 61710082 11176083456 95867 33554432000 4194304 4196468 140736608959264 140313891785056 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18871] ppid=18802 vsize=10914144 memory=7751995073768813331 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18871/stat : 18871 (java) S 18802 18805 13949 0 -1 1077944384 8 13143 0 0 0 0 4 3 20 0 15 0 61710082 11176083456 95867 33554432000 4194304 4196468 140736608959264 140314866887728 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
Current children cumulated CPU time: 10.61 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 383468 KiB

[startup+5.20072 s]
/proc/loadavg: 1.44 1.28 1.32 3/216 18871
/proc/meminfo: memFree=13893136/32770624 swapFree=67108852/67108860
[pid=18805] ppid=18802 vsize=10914144 memory=379772 CPUtime=11.11 cores=1,3,5,7
/proc/18805/stat : 18805 (java) S 18802 18805 13949 0 -1 1077944320 65446 13143 0 0 1083 21 4 3 20 0 15 0 61710067 11176083456 94943 33554432000 4194304 4196468 140736608959264 140736608941808 140315412766455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
/proc/18805/statm: 2728536 94943 3516 1 0 2690189 0
[pid=18805/tid=18858] ppid=18802 vsize=10914144 memory=279745178859368 CPUtime=5.06 cores=1,3,5,7
/proc/18805/task/18858/stat : 18858 (java) R 18802 18805 13949 0 -1 4202560 38541 13143 0 0 488 11 4 3 20 0 15 0 61710076 11176083456 94943 33554432000 4194304 4196468 140736608959264 140315384598832 140314988061818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18859] ppid=18802 vsize=10914144 memory=7590962583882018457 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18859/stat : 18859 (java) S 18802 18805 13949 0 -1 1077944384 287 13143 0 0 3 0 4 3 20 0 15 0 61710077 11176083456 94943 33554432000 4194304 4196468 140736608959264 140315417008656 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18860] ppid=18802 vsize=10914144 memory=11151789826 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18860/stat : 18860 (java) S 18802 18805 13949 0 -1 1077944384 303 13143 0 0 3 0 4 3 20 0 15 0 61710077 11176083456 94943 33554432000 4194304 4196468 140736608959264 140315315899024 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18861] ppid=18802 vsize=10914144 memory=279745179110128 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18861/stat : 18861 (java) S 18802 18805 13949 0 -1 1077944384 83 13143 0 0 3 0 4 3 20 0 15 0 61710077 11176083456 94943 33554432000 4194304 4196468 140736608959264 140315314845968 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18862] ppid=18802 vsize=10914144 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18862/stat : 18862 (java) S 18802 18805 13949 0 -1 1077944384 136 13143 0 0 3 0 4 3 20 0 15 0 61710077 11176083456 94943 33554432000 4194304 4196468 140736608959264 140315313793424 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18863] ppid=18802 vsize=10914144 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18863/stat : 18863 (java) S 18802 18805 13949 0 -1 1077944384 361 13143 0 0 3 0 4 3 20 0 15 0 61710079 11176083456 94943 33554432000 4194304 4196468 140736608959264 140314871098096 140315412777602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18864] ppid=18802 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18864/stat : 18864 (java) S 18802 18805 13949 0 -1 1077944384 20 13143 0 0 0 0 4 3 20 0 15 0 61710079 11176083456 94943 33554432000 4194304 4196468 140736608959264 140314299852512 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18865] ppid=18802 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18865/stat : 18865 (java) S 18802 18805 13949 0 -1 1077944384 8 13143 0 0 0 0 4 3 20 0 15 0 61710079 11176083456 94943 33554432000 4194304 4196468 140736608959264 140314165634304 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18866] ppid=18802 vsize=10914144 memory=8068 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18866/stat : 18866 (java) S 18802 18805 13949 0 -1 1077944384 3 13143 0 0 0 0 4 3 20 0 15 0 61710082 11176083456 94943 33554432000 4194304 4196468 140736608959264 140313925343696 140315412785051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18867] ppid=18802 vsize=10914144 memory=7234303152781525078 CPUtime=2.47 cores=1,3,5,7
/proc/18805/task/18867/stat : 18867 (java) S 18802 18805 13949 0 -1 1077944384 9719 13143 0 0 238 2 4 3 20 0 15 0 61710082 11176083456 94943 33554432000 4194304 4196468 140736608959264 140314870044912 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18868] ppid=18802 vsize=10914144 memory=288288891675607909 CPUtime=2.22 cores=1,3,5,7
/proc/18805/task/18868/stat : 18868 (java) S 18802 18805 13949 0 -1 1077944384 6667 13143 0 0 214 1 4 3 20 0 15 0 61710082 11176083456 94943 33554432000 4194304 4196468 140736608959264 140314868992368 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18869] ppid=18802 vsize=10914144 memory=0 CPUtime=1.3 cores=1,3,5,7
/proc/18805/task/18869/stat : 18869 (java) S 18802 18805 13949 0 -1 1077944384 6099 13143 0 0 122 1 4 3 20 0 15 0 61710082 11176083456 94943 33554432000 4194304 4196468 140736608959264 140314867939312 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18870] ppid=18802 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18870/stat : 18870 (java) S 18802 18805 13949 0 -1 1077944384 3 13143 0 0 0 0 4 3 20 0 15 0 61710082 11176083456 94943 33554432000 4194304 4196468 140736608959264 140313891785056 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18871] ppid=18802 vsize=10914144 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18871/stat : 18871 (java) S 18802 18805 13949 0 -1 1077944384 1023 13143 0 0 0 0 4 3 20 0 15 0 61710082 11176083456 94943 33554432000 4194304 4196468 140736608959264 140314866887728 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
Current children cumulated CPU time: 11.11 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 379772 KiB

[startup+5.40088 s]
/proc/loadavg: 1.44 1.28 1.32 3/216 18871
/proc/meminfo: memFree=13893136/32770624 swapFree=67108852/67108860
[pid=18805] ppid=18802 vsize=11012452 memory=396836 CPUtime=11.36 cores=1,3,5,7
/proc/18805/stat : 18805 (java) S 18802 18805 13949 0 -1 1077944320 66633 13143 0 0 1107 22 4 3 20 0 13 0 61710067 11276750848 99209 33554432000 4194304 4196468 140736608959264 140736608941808 140315412766455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
/proc/18805/statm: 2753113 99209 3518 1 0 2714766 0
[pid=18805/tid=18858] ppid=18802 vsize=11012452 memory=13847469322668609 CPUtime=5.25 cores=1,3,5,7
/proc/18805/task/18858/stat : 18858 (java) D 18802 18805 13949 0 -1 4202560 39624 13143 0 0 506 12 4 3 20 0 13 0 61710076 11276750848 99209 33554432000 4194304 4196468 140736608959264 140315384610104 140315405452087 0 0 0 16800975 18446744072099941509 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18859] ppid=18802 vsize=11012452 memory=35172 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18859/stat : 18859 (java) S 18802 18805 13949 0 -1 1077944384 287 13143 0 0 3 0 4 3 20 0 13 0 61710077 11276750848 99209 33554432000 4194304 4196468 140736608959264 140315417008656 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18860] ppid=18802 vsize=11012452 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18860/stat : 18860 (java) S 18802 18805 13949 0 -1 1077944384 303 13143 0 0 3 0 4 3 20 0 13 0 61710077 11276750848 99209 33554432000 4194304 4196468 140736608959264 140315315899024 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18861] ppid=18802 vsize=11012452 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18861/stat : 18861 (java) S 18802 18805 13949 0 -1 1077944384 83 13143 0 0 3 0 4 3 20 0 13 0 61710077 11276750848 99209 33554432000 4194304 4196468 140736608959264 140315314845968 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18862] ppid=18802 vsize=11012452 memory=576714378752720383 CPUtime=0.1 cores=1,3,5,7
/proc/18805/task/18862/stat : 18862 (java) S 18802 18805 13949 0 -1 1077944384 136 13143 0 0 3 0 4 3 20 0 13 0 61710077 11276750848 99209 33554432000 4194304 4196468 140736608959264 140315313793424 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18864] ppid=18802 vsize=11012452 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18864/stat : 18864 (java) S 18802 18805 13949 0 -1 1077944384 20 13143 0 0 0 0 4 3 20 0 13 0 61710079 11276750848 99209 33554432000 4194304 4196468 140736608959264 140314299852512 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18865] ppid=18802 vsize=11012452 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18865/stat : 18865 (java) S 18802 18805 13949 0 -1 1077944384 8 13143 0 0 0 0 4 3 20 0 13 0 61710079 11276750848 99209 33554432000 4194304 4196468 140736608959264 140314165634304 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18866] ppid=18802 vsize=11012452 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18866/stat : 18866 (java) S 18802 18805 13949 0 -1 1077944384 5 13143 0 0 0 0 4 3 20 0 13 0 61710082 11276750848 99209 33554432000 4194304 4196468 140736608959264 140313925342752 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18867] ppid=18802 vsize=11012452 memory=-7604262568725289114 CPUtime=2.5 cores=1,3,5,7
/proc/18805/task/18867/stat : 18867 (java) S 18802 18805 13949 0 -1 1077944384 9727 13143 0 0 241 2 4 3 20 0 13 0 61710082 11276750848 99209 33554432000 4194304 4196468 140736608959264 140314870044912 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18868] ppid=18802 vsize=11012452 memory=6944656592455097440 CPUtime=2.24 cores=1,3,5,7
/proc/18805/task/18868/stat : 18868 (java) S 18802 18805 13949 0 -1 1077944384 6675 13143 0 0 215 2 4 3 20 0 13 0 61710082 11276750848 99209 33554432000 4194304 4196468 140736608959264 140314868992368 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18869] ppid=18802 vsize=11012452 memory=6655300316396806240 CPUtime=1.31 cores=1,3,5,7
/proc/18805/task/18869/stat : 18869 (java) S 18802 18805 13949 0 -1 1077944384 6152 13143 0 0 123 1 4 3 20 0 13 0 61710082 11276750848 99209 33554432000 4194304 4196468 140736608959264 140314867939312 140315412777602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
[pid=18805/tid=18870] ppid=18802 vsize=11012452 memory=139872589829951 CPUtime=0.07 cores=1,3,5,7
/proc/18805/task/18870/stat : 18870 (java) S 18802 18805 13949 0 -1 1077944384 3 13143 0 0 0 0 4 3 20 0 13 0 61710082 11276750848 99209 33554432000 4194304 4196468 140736608959264 140313891785056 140315412776661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30855168 140736608967278 140736608970076 140736608970076 140736608972751 0
Current children cumulated CPU time: 11.36 s
Current children cumulated vsize: 11012452 KiB
Current children cumulated memory: 396836 KiB

[startup+5.50064 s]*
/proc/loadavg: 1.44 1.28 1.32 2/203 18872
/proc/meminfo: memFree=14259404/32770624 swapFree=67108852/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 5.56415
CPU time (s): 11.3883
CPU user time (s): 11.1201
CPU system time (s): 0.268264
CPU usage (%): 204.673
Max. virtual memory (cumulated for all children) (KiB): 11012452
Max. memory (cumulated for all children) (KiB): 396836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1201
system time used= 0.268264
maximum resident set size= 398808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79802
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6450
involuntary context switches= 44


# summary of solver processes directly reported to runsolver:
#   pid: 18805
#   total CPU time (s): 11.3883
#   total CPU user time (s): 11.1201
#   total CPU system time (s): 0.268264

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045743 second user time and 0.106351 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-24 16:11:09
IDJOB=4294216
IDBENCH=141343
IDSOLVER=2750
FILE ID=node148/4294216-1532441469
RUNJOBID= node148-1532414812-13981
PBS_JOBID= 21021576
Free space on /tmp= 43728 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/Langford/LangfordBin-07_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294216-1532441469/watcher-4294216-1532441469 -o /tmp/evaluation-result-4294216-1532441469/solver-4294216-1532441469 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532414812-13981 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1504807166 HOME/instance-4294216-1532441469.xml

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

MD5SUM BENCH= 3bc0c2fe6daffe5cd6c78f401afaf84f
RANDOM SEED=1504807166

node148.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.50
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.50
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.50
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.50
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:        14263308 kB
MemAvailable:   30890500 kB
Buffers:          202636 kB
Cached:         16371028 kB
SwapCached:            8 kB
Active:          3090912 kB
Inactive:       14581252 kB
Active(anon):    1052392 kB
Inactive(anon):    66092 kB
Active(file):    2038520 kB
Inactive(file): 14515160 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:             26788 kB
Writeback:             0 kB
AnonPages:       1105808 kB
Mapped:            51492 kB
Shmem:             17024 kB
Slab:             530324 kB
SReclaimable:     501972 kB
SUnreclaim:        28352 kB
KernelStack:        3568 kB
PageTables:         7392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2061744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1009664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 43700 MiB
End job on node148 at 2018-07-24 16:11:15