Trace number 4387316

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.10? (TO) 2528.08 1492.16

General information on the benchmark

NameQuasiGroups/QuasiGroups-elt-qg3/
QuasiGroup-3-40.xml
MD5SUMe27695e2b8dc2930e1e97c4ddd0ab1f7
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables3200
Number of constraints3122
Number of domains2
Minimum domain size40
Maximum domain size1600
Distribution of domain sizes[{"size":40,"count":1600},{"size":1600,"count":1560}]
Minimum variable degree0
Maximum variable degree1563
Distribution of variable degrees[{"degree":0,"count":40},{"degree":2,"count":1560},{"degree":1562,"count":40},{"degree":1563,"count":1560}]
Minimum constraint arity3
Maximum constraint arity1601
Distribution of constraint arities[{"arity":3,"count":1560},{"arity":40,"count":1},{"arity":1600,"count":1},{"arity":1601,"count":1560}]
Number of extensional constraints0
Number of intensional constraints1560
Distribution of constraint types[{"type":"intension","count":1560},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":1560}]
Optimization problemNO
Type of objective

Solver Data 

0.72/0.54	c Concrete v3.10.1560635388952 running

Verifier Data 

One s line expected

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387316-1568298437/watcher-4387316-1568298437 -o /tmp/evaluation-result-4387316-1568298437/solver-4387316-1568298437 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568285902-5057 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1810395407 HOME/instance-4387316-1568298437.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
solver pid=9344, runsolver pid=9341
Current StackSize limit: 8192 KiB


[startup+0.100119 s]*
/proc/loadavg: 1.26 1.46 1.56 3/224 9401
/proc/meminfo: memFree=29877116/32770624 swapFree=67008332/67108860
[pid=9344] ppid=9341 vsize=9972712 memory=19120 CPUtime=0.09 cores=1,3,5,7
/proc/9344/stat : 9344 (java) S 9341 9344 3137 0 -1 1077944320 4493 13006 0 0 1 1 5 2 20 0 6 0 405766430 10212057088 4780 33554432000 4194304 4196468 140735411048432 140735411030976 139980151234295 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
/proc/9344/statm: 2493178 4780 1945 1 0 2481616 0
[pid=9344/tid=9397] ppid=9341 vsize=9988792 memory=8514726395714820750 CPUtime=0.08 cores=1,3,5,7
/proc/9344/task/9397/stat : 9397 (java) R 9341 9344 3137 0 -1 4202560 2346 13006 0 0 1 0 5 2 20 0 6 0 405766439 10228523008 4846 33554432000 4194304 4196468 140735411048432 139980123071056 139980136747005 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9398] ppid=9341 vsize=9988792 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9398/stat : 9398 (java) S 9341 9344 3137 0 -1 1077944384 2 13006 0 0 0 0 5 2 20 0 6 0 405766440 10228523008 4846 33554432000 4194304 4196468 140735411048432 139980155477136 139980151244501 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9399] ppid=9341 vsize=9988792 memory=140148674311808 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9399/stat : 9399 (java) S 9341 9344 3137 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 6 0 405766440 10228523008 4846 33554432000 4194304 4196468 140735411048432 139980043750416 139980151244501 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9400] ppid=9341 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9400/stat : 9400 (java) S 9341 9344 3137 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 6 0 405766440 10228523008 4846 33554432000 4194304 4196468 140735411048432 139980042697616 139980151244501 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9401] ppid=9341 vsize=9988792 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9401/stat : 9401 (java) S 9341 9344 3137 0 -1 1077944384 2 13006 0 0 0 0 5 2 20 0 6 0 405766440 10228523008 4846 33554432000 4194304 4196468 140735411048432 139980041644816 139980151244501 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19120 KiB

[startup+0.218789 s]*
/proc/loadavg: 1.26 1.46 1.56 4/233 9410
/proc/meminfo: memFree=29860496/32770624 swapFree=67008332/67108860
[pid=9344] ppid=9341 vsize=10818940 memory=38736 CPUtime=0.27 cores=1,3,5,7
/proc/9344/stat : 9344 (java) S 9341 9344 3137 0 -1 1077944320 7021 13006 0 0 18 2 5 2 20 0 15 0 405766430 11078594560 9684 33554432000 4194304 4196468 140735411048432 140735411030976 139980151234295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
/proc/9344/statm: 2704735 9684 2987 1 0 2667149 0
[pid=9344/tid=9397] ppid=9341 vsize=10818940 memory=8514726395714820750 CPUtime=0.19 cores=1,3,5,7
/proc/9344/task/9397/stat : 9397 (java) R 9341 9344 3137 0 -1 4202560 3503 13006 0 0 12 0 5 2 20 0 15 0 405766439 11078594560 9684 33554432000 4194304 4196468 140735411048432 139980123060448 139980135277925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9398] ppid=9341 vsize=10818940 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9398/stat : 9398 (java) S 9341 9344 3137 0 -1 1077944384 2 13006 0 0 0 0 5 2 20 0 15 0 405766440 11078594560 9684 33554432000 4194304 4196468 140735411048432 139980155477136 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9399] ppid=9341 vsize=10818940 memory=140148674311808 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9399/stat : 9399 (java) S 9341 9344 3137 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 405766440 11078594560 9684 33554432000 4194304 4196468 140735411048432 139980043750416 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9400] ppid=9341 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9400/stat : 9400 (java) S 9341 9344 3137 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 405766440 11078594560 9684 33554432000 4194304 4196468 140735411048432 139980042697616 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9401] ppid=9341 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9401/stat : 9401 (java) S 9341 9344 3137 0 -1 1077944384 2 13006 0 0 0 0 5 2 20 0 15 0 405766440 11078594560 9684 33554432000 4194304 4196468 140735411048432 139980041644816 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9402] ppid=9341 vsize=10818940 memory=140148674311808 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9402/stat : 9402 (java) S 9341 9344 3137 0 -1 1077944384 2 13006 0 0 0 0 5 2 20 0 15 0 405766441 11078594560 9684 33554432000 4194304 4196468 140735411048432 139979153975664 139980151245442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9403] ppid=9341 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9403/stat : 9403 (java) S 9341 9344 3137 0 -1 1077944384 33 13006 0 0 0 0 5 2 20 0 15 0 405766442 11078594560 9684 33554432000 4194304 4196468 140735411048432 139979152921632 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9404] ppid=9341 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9404/stat : 9404 (java) S 9341 9344 3137 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 405766442 11078594560 9684 33554432000 4194304 4196468 140735411048432 139979023967088 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9405] ppid=9341 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9405/stat : 9405 (java) S 9341 9344 3137 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 405766445 11078594560 9684 33554432000 4194304 4196468 140735411048432 139978716567376 139980151252891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9406] ppid=9341 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9344/task/9406/stat : 9406 (java) S 9341 9344 3137 0 -1 1077944384 362 13006 0 0 1 0 5 2 20 0 15 0 405766445 11078594560 9684 33554432000 4194304 4196468 140735411048432 139979119364976 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9407] ppid=9341 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9344/task/9407/stat : 9407 (java) R 9341 9344 3137 0 -1 1077944384 269 13006 0 0 1 0 5 2 20 0 15 0 405766445 11078594560 9684 33554432000 4194304 4196468 140735411048432 139979118312176 139980151246230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9408] ppid=9341 vsize=10818940 memory=140148674311808 CPUtime=0.1 cores=1,3,5,7
/proc/9344/task/9408/stat : 9408 (java) R 9341 9344 3137 0 -1 1077944384 635 13006 0 0 3 0 5 2 20 0 15 0 405766445 11078594560 9684 33554432000 4194304 4196468 140735411048432 139979117259376 139980151245442 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9409] ppid=9341 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9409/stat : 9409 (java) S 9341 9344 3137 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 405766445 11078594560 9684 33554432000 4194304 4196468 140735411048432 139978683009760 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9410] ppid=9341 vsize=10818940 memory=140148674311808 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9410/stat : 9410 (java) S 9341 9344 3137 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 405766445 11078594560 9684 33554432000 4194304 4196468 140735411048432 139979116206768 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38736 KiB

[startup+0.320741 s]*
/proc/loadavg: 1.26 1.46 1.56 4/233 9410
/proc/meminfo: memFree=29848676/32770624 swapFree=67008332/67108860
[pid=9344] ppid=9341 vsize=10820244 memory=48404 CPUtime=0.41 cores=1,3,5,7
/proc/9344/stat : 9344 (java) S 9341 9344 3137 0 -1 1077944320 10846 13006 0 0 30 4 5 2 20 0 15 0 405766430 11079929856 12101 33554432000 4194304 4196468 140735411048432 140735411030976 139980151234295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
/proc/9344/statm: 2705061 12101 3331 1 0 2667149 0
[pid=9344/tid=9397] ppid=9341 vsize=10820244 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/9344/task/9397/stat : 9397 (java) R 9341 9344 3137 0 -1 4202560 7290 13006 0 0 20 2 5 2 20 0 15 0 405766439 11079929856 12101 33554432000 4194304 4196468 140735411048432 139980123054672 139980151246230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9398] ppid=9341 vsize=10820244 memory=7165333013018471012 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9398/stat : 9398 (java) S 9341 9344 3137 0 -1 1077944384 2 13006 0 0 0 0 5 2 20 0 15 0 405766440 11079929856 12101 33554432000 4194304 4196468 140735411048432 139980155477136 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9399] ppid=9341 vsize=10820244 memory=7522514850076451680 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9399/stat : 9399 (java) S 9341 9344 3137 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 405766440 11079929856 12101 33554432000 4194304 4196468 140735411048432 139980043750416 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9400] ppid=9341 vsize=10820244 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9400/stat : 9400 (java) S 9341 9344 3137 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 405766440 11079929856 12101 33554432000 4194304 4196468 140735411048432 139980042697616 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9401] ppid=9341 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9401/stat : 9401 (java) S 9341 9344 3137 0 -1 1077944384 2 13006 0 0 0 0 5 2 20 0 15 0 405766440 11079929856 12101 33554432000 4194304 4196468 140735411048432 139980041644816 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9402] ppid=9341 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9402/stat : 9402 (java) S 9341 9344 3137 0 -1 1077944384 2 13006 0 0 0 0 5 2 20 0 15 0 405766441 11079929856 12101 33554432000 4194304 4196468 140735411048432 139979153975664 139980151245442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9403] ppid=9341 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9403/stat : 9403 (java) S 9341 9344 3137 0 -1 1077944384 33 13006 0 0 0 0 5 2 20 0 15 0 405766442 11079929856 12101 33554432000 4194304 4196468 140735411048432 139979152921632 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9404] ppid=9341 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9404/stat : 9404 (java) S 9341 9344 3137 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 405766442 11079929856 12101 33554432000 4194304 4196468 140735411048432 139979023967088 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9405] ppid=9341 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9405/stat : 9405 (java) S 9341 9344 3137 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 405766445 11079929856 12101 33554432000 4194304 4196468 140735411048432 139978716567376 139980151252891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9406] ppid=9341 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9344/task/9406/stat : 9406 (java) S 9341 9344 3137 0 -1 1077944384 362 13006 0 0 1 0 5 2 20 0 15 0 405766445 11079929856 12101 33554432000 4194304 4196468 140735411048432 139979119364976 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9407] ppid=9341 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9344/task/9407/stat : 9407 (java) S 9341 9344 3137 0 -1 1077944384 280 13006 0 0 2 0 5 2 20 0 15 0 405766445 11079929856 12101 33554432000 4194304 4196468 140735411048432 139979118312176 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9408] ppid=9341 vsize=10820244 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9344/task/9408/stat : 9408 (java) R 9341 9344 3137 0 -1 4202560 658 13006 0 0 5 0 5 2 20 0 15 0 405766445 11079929856 12101 33554432000 4194304 4196468 140735411048432 139979117259376 139980135342385 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9409] ppid=9341 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9409/stat : 9409 (java) S 9341 9344 3137 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 405766445 11079929856 12101 33554432000 4194304 4196468 140735411048432 139978683009760 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9410] ppid=9341 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9410/stat : 9410 (java) S 9341 9344 3137 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 405766445 11079929856 12101 33554432000 4194304 4196468 140735411048432 139979116206768 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 48404 KiB

[startup+0.700659 s]
/proc/loadavg: 1.26 1.46 1.56 5/233 9410
/proc/meminfo: memFree=29835116/32770624 swapFree=67008332/67108860
[pid=9344] ppid=9341 vsize=10825364 memory=78648 CPUtime=1.14 cores=1,3,5,7
/proc/9344/stat : 9344 (java) S 9341 9344 3137 0 -1 1077944320 15036 13006 0 0 101 6 5 2 20 0 15 0 405766430 11085172736 19662 33554432000 4194304 4196468 140735411048432 140735411030976 139980151234295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
/proc/9344/statm: 2706085 19662 3499 1 0 2668173 0
[pid=9344/tid=9397] ppid=9341 vsize=10824340 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/9344/task/9397/stat : 9397 (java) R 9341 9344 3137 0 -1 4202560 10657 13006 0 0 55 4 5 2 20 0 15 0 405766439 11084124160 19662 33554432000 4194304 4196468 140735411048432 139980123052256 139980151246230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9398] ppid=9341 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9398/stat : 9398 (java) S 9341 9344 3137 0 -1 1077944384 2 13006 0 0 0 0 5 2 20 0 15 0 405766440 11084124160 19662 33554432000 4194304 4196468 140735411048432 139980155477136 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9399] ppid=9341 vsize=10824340 memory=8751464017575295285 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9399/stat : 9399 (java) S 9341 9344 3137 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 405766440 11084124160 19662 33554432000 4194304 4196468 140735411048432 139980043750416 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9400] ppid=9341 vsize=10824340 memory=4638797021879231313 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9400/stat : 9400 (java) S 9341 9344 3137 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 405766440 11084124160 19662 33554432000 4194304 4196468 140735411048432 139980042697616 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9401] ppid=9341 vsize=10824340 memory=7223879631928058176 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9401/stat : 9401 (java) S 9341 9344 3137 0 -1 1077944384 2 13006 0 0 0 0 5 2 20 0 15 0 405766440 11084124160 19662 33554432000 4194304 4196468 140735411048432 139980041644816 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9402] ppid=9341 vsize=10824340 memory=3484 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9402/stat : 9402 (java) S 9341 9344 3137 0 -1 1077944384 5 13006 0 0 0 0 5 2 20 0 15 0 405766441 11084124160 19662 33554432000 4194304 4196468 140735411048432 139979153975664 139980151245442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9403] ppid=9341 vsize=10824340 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9403/stat : 9403 (java) S 9341 9344 3137 0 -1 1077944384 33 13006 0 0 0 0 5 2 20 0 15 0 405766442 11084124160 19662 33554432000 4194304 4196468 140735411048432 139979152921632 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9404] ppid=9341 vsize=10824340 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9404/stat : 9404 (java) S 9341 9344 3137 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 405766442 11084124160 19662 33554432000 4194304 4196468 140735411048432 139979023967088 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9405] ppid=9341 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9405/stat : 9405 (java) S 9341 9344 3137 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 405766445 11084124160 19662 33554432000 4194304 4196468 140735411048432 139978716567376 139980151252891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9406] ppid=9341 vsize=10824340 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/9344/task/9406/stat : 9406 (java) S 9341 9344 3137 0 -1 1077944384 717 13006 0 0 14 0 5 2 20 0 15 0 405766445 11084124160 19662 33554432000 4194304 4196468 140735411048432 139979119364976 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9407] ppid=9341 vsize=10824340 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/9344/task/9407/stat : 9407 (java) S 9341 9344 3137 0 -1 1077944384 541 13006 0 0 12 0 5 2 20 0 15 0 405766445 11084124160 19662 33554432000 4194304 4196468 140735411048432 139979118312176 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9408] ppid=9341 vsize=10824340 memory=19265 CPUtime=0.24 cores=1,3,5,7
/proc/9344/task/9408/stat : 9408 (java) R 9341 9344 3137 0 -1 4202560 859 13006 0 0 17 0 5 2 20 0 15 0 405766445 11084124160 19662 33554432000 4194304 4196468 140735411048432 139979117259376 139980151255642 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9409] ppid=9341 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9409/stat : 9409 (java) S 9341 9344 3137 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 405766445 11084124160 19662 33554432000 4194304 4196468 140735411048432 139978683009760 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9410] ppid=9341 vsize=10824340 memory=664970774370811551 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9410/stat : 9410 (java) S 9341 9344 3137 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 405766445 11084124160 19662 33554432000 4194304 4196468 140735411048432 139979116206768 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10825364 KiB
Current children cumulated memory: 78648 KiB

[startup+1.50071 s]
/proc/loadavg: 1.26 1.46 1.56 6/233 9410
/proc/meminfo: memFree=29771556/32770624 swapFree=67008332/67108860
[pid=9344] ppid=9341 vsize=10826464 memory=229964 CPUtime=3.28 cores=1,3,5,7
/proc/9344/stat : 9344 (java) S 9341 9344 3137 0 -1 1077944320 24919 13006 0 0 308 13 5 2 20 0 15 0 405766430 11086299136 57491 33554432000 4194304 4196468 140735411048432 140735411030976 139980151234295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
/proc/9344/statm: 2706616 57491 3575 1 0 2668685 0
[pid=9344/tid=9397] ppid=9341 vsize=10826464 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/9344/task/9397/stat : 9397 (java) R 9341 9344 3137 0 -1 4202560 11676 13006 0 0 130 6 5 2 20 0 15 0 405766439 11086299136 57491 33554432000 4194304 4196468 140735411048432 139980123070576 139980130311783 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9398] ppid=9341 vsize=10826464 memory=2986067541234002793 CPUtime=0.08 cores=1,3,5,7
/proc/9344/task/9398/stat : 9398 (java) S 9341 9344 3137 0 -1 1077944384 44 13006 0 0 1 0 5 2 20 0 15 0 405766440 11086299136 57491 33554432000 4194304 4196468 140735411048432 139980155477136 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9399] ppid=9341 vsize=10826464 memory=8693534566144516105 CPUtime=0.08 cores=1,3,5,7
/proc/9344/task/9399/stat : 9399 (java) S 9341 9344 3137 0 -1 1077944384 70 13006 0 0 1 0 5 2 20 0 15 0 405766440 11086299136 57491 33554432000 4194304 4196468 140735411048432 139980043750416 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9400] ppid=9341 vsize=10826464 memory=-2746958450906831519 CPUtime=0.08 cores=1,3,5,7
/proc/9344/task/9400/stat : 9400 (java) S 9341 9344 3137 0 -1 1077944384 80 13006 0 0 1 0 5 2 20 0 15 0 405766440 11086299136 57491 33554432000 4194304 4196468 140735411048432 139980042697616 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9401] ppid=9341 vsize=10826464 memory=7019467088040899328 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9401/stat : 9401 (java) S 9341 9344 3137 0 -1 1077944384 266 13006 0 0 0 0 5 2 20 0 15 0 405766440 11086299136 57491 33554432000 4194304 4196468 140735411048432 139980041644816 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9402] ppid=9341 vsize=10826464 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9402/stat : 9402 (java) S 9341 9344 3137 0 -1 1077944384 98 13006 0 0 0 0 5 2 20 0 15 0 405766441 11086299136 57491 33554432000 4194304 4196468 140735411048432 139979153975664 139980151245442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9403] ppid=9341 vsize=10826464 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9403/stat : 9403 (java) S 9341 9344 3137 0 -1 1077944384 35 13006 0 0 0 0 5 2 20 0 15 0 405766442 11086299136 57491 33554432000 4194304 4196468 140735411048432 139979152921696 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9404] ppid=9341 vsize=10826464 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9404/stat : 9404 (java) S 9341 9344 3137 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 405766442 11086299136 57491 33554432000 4194304 4196468 140735411048432 139979023967088 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9405] ppid=9341 vsize=10826464 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9405/stat : 9405 (java) S 9341 9344 3137 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 405766445 11086299136 57491 33554432000 4194304 4196468 140735411048432 139978716567376 139980151252891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9406] ppid=9341 vsize=10826464 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/9344/task/9406/stat : 9406 (java) S 9341 9344 3137 0 -1 1077944384 3759 13006 0 0 65 1 5 2 20 0 15 0 405766445 11086299136 57491 33554432000 4194304 4196468 140735411048432 139979119364976 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9407] ppid=9341 vsize=10826464 memory=28 CPUtime=0.74 cores=1,3,5,7
/proc/9344/task/9407/stat : 9407 (java) S 9341 9344 3137 0 -1 1077944384 4537 13006 0 0 66 1 5 2 20 0 15 0 405766445 11086299136 57491 33554432000 4194304 4196468 140735411048432 139979118312176 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9408] ppid=9341 vsize=10826464 memory=27 CPUtime=0.47 cores=1,3,5,7
/proc/9344/task/9408/stat : 9408 (java) S 9341 9344 3137 0 -1 1077944384 2134 13006 0 0 40 0 5 2 20 0 15 0 405766445 11086299136 57491 33554432000 4194304 4196468 140735411048432 139979117259376 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9409] ppid=9341 vsize=10826464 memory=31 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9409/stat : 9409 (java) S 9341 9344 3137 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 405766445 11086299136 57491 33554432000 4194304 4196468 140735411048432 139978683009760 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9410] ppid=9341 vsize=10826464 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9410/stat : 9410 (java) S 9341 9344 3137 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 405766445 11086299136 57491 33554432000 4194304 4196468 140735411048432 139979116206768 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
Current children cumulated CPU time: 3.28 s
Current children cumulated vsize: 10826464 KiB

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


[startup+1492.16 s]
# the end of solver process 9344 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2508.77 s, system=19.311 s

Solver just ended.
Dumping a history of the last processes samples

[startup+1491.2 s]
/proc/loadavg: 1.99 1.89 1.83 6/232 9676
/proc/meminfo: memFree=21322016/32770624 swapFree=67008344/67108860
[pid=9344] ppid=9341 vsize=10842868 memory=8266992 CPUtime=2524.35 cores=1,3,5,7
/proc/9344/stat : 9344 (java) S 9341 9344 3137 0 -1 1077944320 749917 13006 0 0 250504 1924 5 2 20 0 15 0 405766430 11103096832 2066748 33554432000 4194304 4196468 140735411048432 140735411030976 139980151234295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
/proc/9344/statm: 2710717 2066748 3622 1 0 2672781 0
[pid=9344/tid=9397] ppid=9341 vsize=10842868 memory=1764 CPUtime=1144.27 cores=1,3,5,7
/proc/9344/task/9397/stat : 9397 (java) S 9341 9344 3137 0 -1 1077944384 113705 13006 0 0 114394 26 5 2 20 0 15 0 405766439 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980123068704 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9398] ppid=9341 vsize=10842868 memory=111632 CPUtime=342.28 cores=1,3,5,7
/proc/9344/task/9398/stat : 9398 (java) R 9341 9344 3137 0 -1 4202560 81824 13006 0 0 33762 459 5 2 20 0 15 0 405766440 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980155477024 139980135934983 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9399] ppid=9341 vsize=10842868 memory=8266992 CPUtime=342.36 cores=1,3,5,7
/proc/9344/task/9399/stat : 9399 (java) R 9341 9344 3137 0 -1 4202560 78444 13006 0 0 33774 455 5 2 20 0 15 0 405766440 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980043750416 139980136223891 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9400] ppid=9341 vsize=10842868 memory=8112282956445269571 CPUtime=342.06 cores=1,3,5,7
/proc/9344/task/9400/stat : 9400 (java) R 9341 9344 3137 0 -1 4202560 79507 13006 0 0 33738 461 5 2 20 0 15 0 405766440 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980042697816 139980136230781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9401] ppid=9341 vsize=10842868 memory=1560 CPUtime=342.41 cores=1,3,5,7
/proc/9344/task/9401/stat : 9401 (java) R 9341 9344 3137 0 -1 4202560 73894 13006 0 0 33774 460 5 2 20 0 15 0 405766440 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980041644816 139980136232336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9402] ppid=9341 vsize=10842868 memory=928 CPUtime=2.53 cores=1,3,5,7
/proc/9344/task/9402/stat : 9402 (java) S 9341 9344 3137 0 -1 1077944384 254840 13006 0 0 226 20 5 2 20 0 15 0 405766441 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979153974208 139980151244501 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9403] ppid=9341 vsize=10842868 memory=1680 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9403/stat : 9403 (java) S 9341 9344 3137 0 -1 1077944384 47 13006 0 0 0 0 5 2 20 0 15 0 405766442 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979152921696 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9404] ppid=9341 vsize=10842868 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9404/stat : 9404 (java) S 9341 9344 3137 0 -1 1077944384 14 13006 0 0 0 0 5 2 20 0 15 0 405766442 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979023967104 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9405] ppid=9341 vsize=10842868 memory=1196 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9405/stat : 9405 (java) S 9341 9344 3137 0 -1 1077944384 15 13006 0 0 0 0 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139978716567024 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9406] ppid=9341 vsize=10842868 memory=8266992 CPUtime=3.15 cores=1,3,5,7
/proc/9344/task/9406/stat : 9406 (java) S 9341 9344 3137 0 -1 1077944384 18868 13006 0 0 305 3 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979119364976 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9407] ppid=9341 vsize=10842868 memory=3484 CPUtime=3.11 cores=1,3,5,7
/proc/9344/task/9407/stat : 9407 (java) S 9341 9344 3137 0 -1 1077944384 16282 13006 0 0 300 4 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979118312176 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9408] ppid=9341 vsize=10842868 memory=8112282956445269571 CPUtime=1.62 cores=1,3,5,7
/proc/9344/task/9408/stat : 9408 (java) S 9341 9344 3137 0 -1 1077944384 29230 13006 0 0 151 4 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979117259376 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9409] ppid=9341 vsize=10842868 memory=8266992 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9409/stat : 9409 (java) S 9341 9344 3137 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139978683009760 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9410] ppid=9341 vsize=10842868 memory=8266976 CPUtime=1.08 cores=1,3,5,7
/proc/9344/task/9410/stat : 9410 (java) S 9341 9344 3137 0 -1 1077944384 1032 13006 0 0 45 56 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979116206768 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
Current children cumulated CPU time: 2524.35 s
Current children cumulated vsize: 10842868 KiB
Current children cumulated memory: 8266992 KiB

[startup+1491.6 s]
/proc/loadavg: 1.99 1.89 1.83 6/232 9676
/proc/meminfo: memFree=21322016/32770624 swapFree=67008344/67108860
[pid=9344] ppid=9341 vsize=10842868 memory=8266992 CPUtime=2525.95 cores=1,3,5,7
/proc/9344/stat : 9344 (java) S 9341 9344 3137 0 -1 1077944320 749917 13006 0 0 250664 1924 5 2 20 0 15 0 405766430 11103096832 2066748 33554432000 4194304 4196468 140735411048432 140735411030976 139980151234295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
/proc/9344/statm: 2710717 2066748 3622 1 0 2672781 0
[pid=9344/tid=9397] ppid=9341 vsize=10842868 memory=8266992 CPUtime=1144.27 cores=1,3,5,7
/proc/9344/task/9397/stat : 9397 (java) S 9341 9344 3137 0 -1 1077944384 113705 13006 0 0 114394 26 5 2 20 0 15 0 405766439 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980123068704 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9398] ppid=9341 vsize=10842868 memory=6791534058613427641 CPUtime=342.68 cores=1,3,5,7
/proc/9344/task/9398/stat : 9398 (java) R 9341 9344 3137 0 -1 4202560 81824 13006 0 0 33802 459 5 2 20 0 15 0 405766440 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980155477024 139980135934928 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9399] ppid=9341 vsize=10842868 memory=288291056355911191 CPUtime=342.76 cores=1,3,5,7
/proc/9344/task/9399/stat : 9399 (java) R 9341 9344 3137 0 -1 4202560 78444 13006 0 0 33814 455 5 2 20 0 15 0 405766440 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980043750416 139980135934991 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9400] ppid=9341 vsize=10842868 memory=6944656592455359580 CPUtime=342.46 cores=1,3,5,7
/proc/9344/task/9400/stat : 9400 (java) R 9341 9344 3137 0 -1 4202560 79507 13006 0 0 33778 461 5 2 20 0 15 0 405766440 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980042697816 139980136223940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9401] ppid=9341 vsize=10842868 memory=0 CPUtime=342.81 cores=1,3,5,7
/proc/9344/task/9401/stat : 9401 (java) R 9341 9344 3137 0 -1 4202560 73894 13006 0 0 33814 460 5 2 20 0 15 0 405766440 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980041644816 139980135934942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9402] ppid=9341 vsize=10842868 memory=0 CPUtime=2.53 cores=1,3,5,7
/proc/9344/task/9402/stat : 9402 (java) S 9341 9344 3137 0 -1 1077944384 254840 13006 0 0 226 20 5 2 20 0 15 0 405766441 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979153974208 139980151244501 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9403] ppid=9341 vsize=10842868 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9403/stat : 9403 (java) S 9341 9344 3137 0 -1 1077944384 47 13006 0 0 0 0 5 2 20 0 15 0 405766442 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979152921696 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9404] ppid=9341 vsize=10842868 memory=4100 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9404/stat : 9404 (java) S 9341 9344 3137 0 -1 1077944384 14 13006 0 0 0 0 5 2 20 0 15 0 405766442 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979023967104 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9405] ppid=9341 vsize=10842868 memory=8266984 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9405/stat : 9405 (java) S 9341 9344 3137 0 -1 1077944384 15 13006 0 0 0 0 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139978716567024 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9406] ppid=9341 vsize=10842868 memory=7233427945592218465 CPUtime=3.15 cores=1,3,5,7
/proc/9344/task/9406/stat : 9406 (java) S 9341 9344 3137 0 -1 1077944384 18868 13006 0 0 305 3 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979119364976 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9407] ppid=9341 vsize=10842868 memory=280297082878192 CPUtime=3.11 cores=1,3,5,7
/proc/9344/task/9407/stat : 9407 (java) S 9341 9344 3137 0 -1 1077944384 16282 13006 0 0 300 4 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979118312176 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9408] ppid=9341 vsize=10842868 memory=-7241597079701628969 CPUtime=1.62 cores=1,3,5,7
/proc/9344/task/9408/stat : 9408 (java) S 9341 9344 3137 0 -1 1077944384 29230 13006 0 0 151 4 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979117259376 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9409] ppid=9341 vsize=10842868 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9409/stat : 9409 (java) S 9341 9344 3137 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139978683009760 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9410] ppid=9341 vsize=10842868 memory=7892 CPUtime=1.08 cores=1,3,5,7
/proc/9344/task/9410/stat : 9410 (java) S 9341 9344 3137 0 -1 1077944384 1032 13006 0 0 45 56 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979116206768 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
Current children cumulated CPU time: 2525.95 s
Current children cumulated vsize: 10842868 KiB
Current children cumulated memory: 8266992 KiB

[startup+1492 s]*
/proc/loadavg: 1.99 1.89 1.83 6/232 9676
/proc/meminfo: memFree=21321984/32770624 swapFree=67008344/67108860
[pid=9344] ppid=9341 vsize=10842868 memory=8266992 CPUtime=2527.57 cores=1,3,5,7
/proc/9344/stat : 9344 (java) S 9341 9344 3137 0 -1 1077944320 749917 13006 0 0 250826 1924 5 2 20 0 15 0 405766430 11103096832 2066748 33554432000 4194304 4196468 140735411048432 140735411030976 139980151234295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
/proc/9344/statm: 2710717 2066748 3622 1 0 2672781 0
[pid=9344/tid=9397] ppid=9341 vsize=10842868 memory=1398722017469774279 CPUtime=1144.27 cores=1,3,5,7
/proc/9344/task/9397/stat : 9397 (java) S 9341 9344 3137 0 -1 1077944384 113705 13006 0 0 114394 26 5 2 20 0 15 0 405766439 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980123068704 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9398] ppid=9341 vsize=10842868 memory=4872558044660077418 CPUtime=343.08 cores=1,3,5,7
/proc/9344/task/9398/stat : 9398 (java) R 9341 9344 3137 0 -1 4202560 81824 13006 0 0 33842 459 5 2 20 0 15 0 405766440 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980155477024 139980135934899 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9399] ppid=9341 vsize=10842868 memory=111632 CPUtime=343.17 cores=1,3,5,7
/proc/9344/task/9399/stat : 9399 (java) R 9341 9344 3137 0 -1 4202560 78444 13006 0 0 33855 455 5 2 20 0 15 0 405766440 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980043750616 139980135934899 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9400] ppid=9341 vsize=10842868 memory=1808 CPUtime=342.87 cores=1,3,5,7
/proc/9344/task/9400/stat : 9400 (java) R 9341 9344 3137 0 -1 4202560 79507 13006 0 0 33819 461 5 2 20 0 15 0 405766440 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980042697816 139980135935034 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9401] ppid=9341 vsize=10842868 memory=924 CPUtime=343.22 cores=1,3,5,7
/proc/9344/task/9401/stat : 9401 (java) R 9341 9344 3137 0 -1 4202560 73894 13006 0 0 33855 460 5 2 20 0 15 0 405766440 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980041645016 139980135934939 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9402] ppid=9341 vsize=10842868 memory=3848 CPUtime=2.53 cores=1,3,5,7
/proc/9344/task/9402/stat : 9402 (java) S 9341 9344 3137 0 -1 1077944384 254840 13006 0 0 226 20 5 2 20 0 15 0 405766441 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979153974208 139980151244501 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9403] ppid=9341 vsize=10842868 memory=2600 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9403/stat : 9403 (java) S 9341 9344 3137 0 -1 1077944384 47 13006 0 0 0 0 5 2 20 0 15 0 405766442 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979152921696 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9404] ppid=9341 vsize=10842868 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9404/stat : 9404 (java) S 9341 9344 3137 0 -1 1077944384 14 13006 0 0 0 0 5 2 20 0 15 0 405766442 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979023967104 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9405] ppid=9341 vsize=10842868 memory=288230596050944315 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9405/stat : 9405 (java) S 9341 9344 3137 0 -1 1077944384 15 13006 0 0 0 0 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139978716567024 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9406] ppid=9341 vsize=10842868 memory=15262532197681725 CPUtime=3.15 cores=1,3,5,7
/proc/9344/task/9406/stat : 9406 (java) S 9341 9344 3137 0 -1 1077944384 18868 13006 0 0 305 3 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979119364976 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9407] ppid=9341 vsize=10842868 memory=3212 CPUtime=3.11 cores=1,3,5,7
/proc/9344/task/9407/stat : 9407 (java) S 9341 9344 3137 0 -1 1077944384 16282 13006 0 0 300 4 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979118312176 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9408] ppid=9341 vsize=10842868 memory=8266992 CPUtime=1.62 cores=1,3,5,7
/proc/9344/task/9408/stat : 9408 (java) S 9341 9344 3137 0 -1 1077944384 29230 13006 0 0 151 4 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979117259376 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9409] ppid=9341 vsize=10842868 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9409/stat : 9409 (java) S 9341 9344 3137 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139978683009760 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9410] ppid=9341 vsize=10842868 memory=3216 CPUtime=1.08 cores=1,3,5,7
/proc/9344/task/9410/stat : 9410 (java) S 9341 9344 3137 0 -1 1077944384 1032 13006 0 0 45 56 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979116206768 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
Current children cumulated CPU time: 2527.57 s
Current children cumulated vsize: 10842868 KiB
Current children cumulated memory: 8266992 KiB

[startup+1492.11 s]
/proc/loadavg: 1.99 1.89 1.83 6/232 9676
/proc/meminfo: memFree=21321984/32770624 swapFree=67008344/67108860
[pid=9344] ppid=9341 vsize=10842868 memory=8266992 CPUtime=2527.98 cores=1,3,5,7
/proc/9344/stat : 9344 (java) S 9341 9344 3137 0 -1 1077944320 749917 13006 0 0 250867 1924 5 2 20 0 15 0 405766430 11103096832 2066748 33554432000 4194304 4196468 140735411048432 140735411030976 139980151234295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
/proc/9344/statm: 2710717 2066748 3622 1 0 2672781 0
[pid=9344/tid=9397] ppid=9341 vsize=10842868 memory=8266992 CPUtime=1144.27 cores=1,3,5,7
/proc/9344/task/9397/stat : 9397 (java) S 9341 9344 3137 0 -1 1077944384 113705 13006 0 0 114394 26 5 2 20 0 15 0 405766439 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980123068704 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9398] ppid=9341 vsize=10842868 memory=8266992 CPUtime=343.18 cores=1,3,5,7
/proc/9344/task/9398/stat : 9398 (java) R 9341 9344 3137 0 -1 4202560 81824 13006 0 0 33852 459 5 2 20 0 15 0 405766440 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980155477024 139980135691898 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9399] ppid=9341 vsize=10842868 memory=924 CPUtime=343.27 cores=1,3,5,7
/proc/9344/task/9399/stat : 9399 (java) R 9341 9344 3137 0 -1 4202560 78444 13006 0 0 33865 455 5 2 20 0 15 0 405766440 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980043750616 139980135935026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9400] ppid=9341 vsize=10842868 memory=8266992 CPUtime=342.97 cores=1,3,5,7
/proc/9344/task/9400/stat : 9400 (java) R 9341 9344 3137 0 -1 4202560 79507 13006 0 0 33829 461 5 2 20 0 15 0 405766440 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980042697816 139980136230702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9401] ppid=9341 vsize=10842868 memory=8266992 CPUtime=343.32 cores=1,3,5,7
/proc/9344/task/9401/stat : 9401 (java) R 9341 9344 3137 0 -1 4202560 73894 13006 0 0 33865 460 5 2 20 0 15 0 405766440 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139980041645016 139980136230735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9402] ppid=9341 vsize=10842868 memory=8266976 CPUtime=2.53 cores=1,3,5,7
/proc/9344/task/9402/stat : 9402 (java) S 9341 9344 3137 0 -1 1077944384 254840 13006 0 0 226 20 5 2 20 0 15 0 405766441 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979153974208 139980151244501 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9403] ppid=9341 vsize=10842868 memory=140148541046481 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9403/stat : 9403 (java) S 9341 9344 3137 0 -1 1077944384 47 13006 0 0 0 0 5 2 20 0 15 0 405766442 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979152921696 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9404] ppid=9341 vsize=10842868 memory=8266992 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9404/stat : 9404 (java) S 9341 9344 3137 0 -1 1077944384 14 13006 0 0 0 0 5 2 20 0 15 0 405766442 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979023967104 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9405] ppid=9341 vsize=10842868 memory=8266992 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9405/stat : 9405 (java) S 9341 9344 3137 0 -1 1077944384 15 13006 0 0 0 0 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139978716567024 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9406] ppid=9341 vsize=10842868 memory=8266992 CPUtime=3.15 cores=1,3,5,7
/proc/9344/task/9406/stat : 9406 (java) S 9341 9344 3137 0 -1 1077944384 18868 13006 0 0 305 3 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979119364976 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9407] ppid=9341 vsize=10842868 memory=8266992 CPUtime=3.11 cores=1,3,5,7
/proc/9344/task/9407/stat : 9407 (java) S 9341 9344 3137 0 -1 1077944384 16282 13006 0 0 300 4 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979118312176 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9408] ppid=9341 vsize=10842868 memory=164 CPUtime=1.62 cores=1,3,5,7
/proc/9344/task/9408/stat : 9408 (java) S 9341 9344 3137 0 -1 1077944384 29230 13006 0 0 151 4 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979117259376 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9409] ppid=9341 vsize=10842868 memory=8266992 CPUtime=0.07 cores=1,3,5,7
/proc/9344/task/9409/stat : 9409 (java) S 9341 9344 3137 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139978683009760 139980151244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
[pid=9344/tid=9410] ppid=9341 vsize=10842868 memory=3484 CPUtime=1.08 cores=1,3,5,7
/proc/9344/task/9410/stat : 9410 (java) S 9341 9344 3137 0 -1 1077944384 1032 13006 0 0 45 56 5 2 20 0 15 0 405766445 11103096832 2066748 33554432000 4194304 4196468 140735411048432 139979116206768 139980151245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 34779136 140735411051253 140735411053765 140735411053765 140735411056591 0
Current children cumulated CPU time: 2527.98 s
Current children cumulated vsize: 10842868 KiB
Current children cumulated memory: 8266992 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1492.16
CPU time (s): 2528.08
CPU user time (s): 2508.77
CPU system time (s): 19.311
CPU usage (%): 169.424
Max. virtual memory (cumulated for all children) (KiB): 10842868
Max. memory (cumulated for all children) (KiB): 8293096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.77
system time used= 19.311
maximum resident set size= 8293096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 762926
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47852
involuntary context switches= 14957


# summary of solver processes directly reported to runsolver:
#   pid: 9344
#   total CPU time (s): 2528.08
#   total CPU user time (s): 2508.77
#   total CPU system time (s): 19.311

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9726 second user time and 12.2387 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-12 16:26:27
IDJOB=4387316
IDBENCH=133801
IDSOLVER=2823
FILE ID=node132/4387316-1568298437
RUNJOBID= node132-1568285902-5057
PBS_JOBID= 21701076
Free space on /tmp= 57952 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg3/QuasiGroup-3-40.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387316-1568298437/watcher-4387316-1568298437 -o /tmp/evaluation-result-4387316-1568298437/solver-4387316-1568298437 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568285902-5057 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1810395407 HOME/instance-4387316-1568298437.xml

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

MD5SUM BENCH= e27695e2b8dc2930e1e97c4ddd0ab1f7
RANDOM SEED=1810395407

node132.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.95
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.95
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.95
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.95
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:        29885708 kB
MemAvailable:   31272856 kB
Buffers:          104924 kB
Cached:          1550544 kB
SwapCached:         8960 kB
Active:          1006216 kB
Inactive:        1293628 kB
Active(anon):     643412 kB
Inactive(anon):    27660 kB
Active(file):     362804 kB
Inactive(file):  1265968 kB
Unevictable:      109512 kB
Mlocked:          109512 kB
SwapTotal:      67108860 kB
SwapFree:       67008332 kB
Dirty:             35032 kB
Writeback:             0 kB
AnonPages:        810576 kB
Mapped:            43284 kB
Shmem:             18204 kB
Slab:             177416 kB
SReclaimable:     148424 kB
SUnreclaim:        28992 kB
KernelStack:        4080 kB
PageTables:         6928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1912876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    661504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 57920 MiB
End job on node132 at 2019-09-12 16:51:20