Trace number 4259825

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4? (TO) 260.20001 92.683296

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n150/
TravellingSalesman-150-50-14.xml
MD5SUMb2c04361dada2322dcbf50e86c385888
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark552
Best CPU time to get the best result obtained on this benchmark251.94299
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints151
Number of domains2
Minimum domain size64
Maximum domain size150
Distribution of domain sizes[{"size":64,"count":150},{"size":150,"count":150}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":150},{"degree":3,"count":150}]
Minimum constraint arity3
Maximum constraint arity150
Distribution of constraint arities[{"arity":3,"count":150},{"arity":150,"count":1}]
Number of extensional constraints150
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":150},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3.36/2.26	c Concrete v3.4 running
132.50/47.64	o 4691
194.93/67.52	o 4662
241.18/84.42	o 4559

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259825-1502648501/watcher-4259825-1502648501 -o /tmp/evaluation-result-4259825-1502648501/solver-4259825-1502648501 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25473 --watchdog 312 bin/concrete HOME/instance-4259825-1502648501.xml 

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

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

solver pid=307, runsolver pid=304

[startup+0.100149 s]*
/proc/loadavg: 1.48 1.60 1.73 2/201 308
/proc/meminfo: memFree=28391672/32770624 swapFree=67108860/67108860
[pid=307] ppid=304 vsize=33976 memory=452 CPUtime=0 cores=0,2,4,6
/proc/307/stat : 307 (runsolver) D 304 307 8289 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 112665278 34791424 113 18446744073709551615 4194304 4346622 140721474734736 140721474731368 139871116366551 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6446216 6449568 21495808 140721474740403 140721474740777 140721474740777 140721474744266 0
/proc/307/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.209764 s]*
/proc/loadavg: 1.48 1.60 1.73 3/217 359
/proc/meminfo: memFree=28377976/32770624 swapFree=67108860/67108860
[pid=307] ppid=304 vsize=9636 memory=1508 CPUtime=0.01 cores=0,2,4,6
/proc/307/stat : 307 (bash) S 304 307 8289 0 -1 4202496 893 6477 0 0 0 0 0 1 20 0 1 0 112665278 9867264 377 18446744073709551615 4194304 5098028 140735365405856 140735365399864 140412814289920 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 10 0 0 7196144 7232144 21864448 140735365411316 140735365411401 140735365411401 140735365414890 0
/proc/307/statm: 2409 377 297 221 0 118 0
[pid=342] ppid=307 vsize=9636 memory=700 CPUtime=0 cores=0,2,4,6
/proc/342/stat : 342 (bash) S 307 307 8289 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 1 0 112665291 9867264 175 18446744073709551615 4194304 5098028 140735365405856 140735365398536 140412814115452 0 65536 1 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21864448 140735365411316 140735365411401 140735365411401 140735365414890 0
/proc/342/statm: 2409 175 95 221 0 118 0
[pid=343] ppid=342 vsize=10485312 memory=22340 CPUtime=0.05 cores=0,2,4,6
/proc/343/stat : 343 (java) S 342 307 8289 0 -1 1077944320 4538 0 0 0 4 1 0 0 20 0 14 0 112665291 10736959488 5585 18446744073709551615 4194304 4196468 140730344824464 140730344807008 140295646416631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26836992 140730344829528 140730344829542 140730344829542 140730344832975 0
/proc/343/statm: 2621328 5585 2568 1 0 2610825 0
[pid=343/tid=345] ppid=342 vsize=10485312 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/343/task/345/stat : 345 (java) D 342 307 8289 0 -1 4202560 2666 0 0 0 4 0 0 0 20 0 14 0 112665291 10736959488 5585 18446744073709551615 4194304 4196468 140730344824464 140295650654112 140295646438653 0 4 1 16800974 18446744071580418449 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140730344829528 140730344829542 140730344829542 140730344832975 0
[pid=343/tid=346] ppid=342 vsize=10485312 memory=7964 CPUtime=0 cores=0,2,4,6
/proc/343/task/346/stat : 346 (java) S 342 307 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112665292 10736959488 5585 18446744073709551615 4194304 4196468 140730344824464 140295257712912 140295646426837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140730344829528 140730344829542 140730344829542 140730344832975 0
[pid=343/tid=347] ppid=342 vsize=10485312 memory=139871119340768 CPUtime=0 cores=0,2,4,6
/proc/343/task/347/stat : 347 (java) S 342 307 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112665292 10736959488 5585 18446744073709551615 4194304 4196468 140730344824464 140295256660368 140295646426837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140730344829528 140730344829542 140730344829542 140730344832975 0
[pid=343/tid=348] ppid=342 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/343/task/348/stat : 348 (java) S 342 307 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112665292 10736959488 5585 18446744073709551615 4194304 4196468 140730344824464 140295255607824 140295646426837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140730344829528 140730344829542 140730344829542 140730344832975 0
[pid=343/tid=349] ppid=342 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/343/task/349/stat : 349 (java) S 342 307 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 112665292 10736959488 5585 18446744073709551615 4194304 4196468 140730344824464 140295254555280 140295646426837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140730344829528 140730344829542 140730344829542 140730344832975 0
[pid=343/tid=350] ppid=342 vsize=10485312 memory=139871119316608 CPUtime=0 cores=0,2,4,6
/proc/343/task/350/stat : 350 (java) S 342 307 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 112665293 10736959488 5585 18446744073709551615 4194304 4196468 140730344824464 140295142758896 140295646427778 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140730344829528 140730344829542 140730344829542 140730344832975 0
[pid=343/tid=353] ppid=342 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/343/task/353/stat : 353 (java) S 342 307 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 112665293 10736959488 5585 18446744073709551615 4194304 4196468 140730344824464 140295141705120 140295646426837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140730344829528 140730344829542 140730344829542 140730344832975 0
[pid=343/tid=354] ppid=342 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/343/task/354/stat : 354 (java) S 342 307 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 112665294 10736959488 5585 18446744073709551615 4194304 4196468 140730344824464 140295140652528 140295646426837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140730344829528 140730344829542 140730344829542 140730344832975 0
[pid=343/tid=355] ppid=342 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/343/task/355/stat : 355 (java) S 342 307 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112665296 10736959488 5585 18446744073709551615 4194304 4196468 140730344824464 140295139601104 140295646435227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140730344829528 140730344829542 140730344829542 140730344832975 0
[pid=343/tid=356] ppid=342 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/343/task/356/stat : 356 (java) S 342 307 8289 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 14 0 112665296 10736959488 5585 18446744073709551615 4194304 4196468 140730344824464 140295138547696 140295646427778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140730344829528 140730344829542 140730344829542 140730344832975 0
[pid=343/tid=357] ppid=342 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/343/task/357/stat : 357 (java) S 342 307 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112665296 10736959488 5585 18446744073709551615 4194304 4196468 140730344824464 140295137495152 140295646427778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140730344829528 140730344829542 140730344829542 140730344832975 0
[pid=343/tid=358] ppid=342 vsize=10485312 memory=139871119316608 CPUtime=0 cores=0,2,4,6
/proc/343/task/358/stat : 358 (java) S 342 307 8289 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 14 0 112665296 10736959488 5585 18446744073709551615 4194304 4196468 140730344824464 140295136442608 140295646427778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140730344829528 140730344829542 140730344829542 140730344832975 0
[pid=343/tid=359] ppid=342 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/343/task/359/stat : 359 (java) S 342 307 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112665296 10736959488 5585 18446744073709551615 4194304 4196468 140730344824464 140295135390304 140295646426837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140730344829528 140730344829542 140730344829542 140730344832975 0
[pid=344] ppid=342 vsize=9872 memory=972 CPUtime=0 cores=0,2,4,6
/proc/344/stat : 344 (awk) S 342 307 8289 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 112665291 10108928 243 18446744073709551615 4194304 4609284 140722415274736 140722415273912 140510295034880 0 0 1 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 30986240 140722415276672 140722415276702 140722415276702 140722415280107 0
/proc/344/statm: 2468 243 203 102 0 88 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10514456 KiB
Current children cumulated memory: 25520 KiB

[startup+0.310722 s]*
/proc/loadavg: 1.48 1.60 1.73 2/214 376
/proc/meminfo: memFree=28378780/32770624 swapFree=67108860/67108860
[pid=307] ppid=304 vsize=13907308 memory=22008 CPUtime=0.14 cores=0,2,4,6
/proc/307/stat : 307 (java) S 304 307 8289 0 -1 1077944320 5819 12372 0 0 5 1 5 3 20 0 14 0 112665278 14241083392 5502 18446744073709551615 4194304 4196468 140732439208416 140732439190960 140357905039095 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
/proc/307/statm: 3476827 5502 2566 1 0 3466324 0
[pid=307/tid=364] ppid=304 vsize=13907308 memory=-8774313645642428999 CPUtime=0.12 cores=0,2,4,6
/proc/307/task/364/stat : 364 (java) D 304 307 8289 0 -1 4202560 3075 12372 0 0 4 0 5 3 20 0 14 0 112665302 14241083392 5502 18446744073709551615 4194304 4196468 140732439208416 140357909276576 140357905061117 0 4 1 16800974 18446744071580418449 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=365] ppid=304 vsize=13907308 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/365/stat : 365 (java) S 304 307 8289 0 -1 1077944384 1 12372 0 0 0 0 5 3 20 0 14 0 112665303 14241083392 5502 18446744073709551615 4194304 4196468 140732439208416 140357862005520 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=366] ppid=304 vsize=13907308 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/366/stat : 366 (java) S 304 307 8289 0 -1 1077944384 1 12372 0 0 0 0 5 3 20 0 14 0 112665303 14241083392 5502 18446744073709551615 4194304 4196468 140732439208416 140357860952976 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=367] ppid=304 vsize=13907308 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/367/stat : 367 (java) S 304 307 8289 0 -1 1077944384 1 12372 0 0 0 0 5 3 20 0 14 0 112665303 14241083392 5502 18446744073709551615 4194304 4196468 140732439208416 140357859900432 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=368] ppid=304 vsize=13907308 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/368/stat : 368 (java) S 304 307 8289 0 -1 1077944384 2 12372 0 0 0 0 5 3 20 0 14 0 112665303 14241083392 5502 18446744073709551615 4194304 4196468 140732439208416 140357858847888 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=369] ppid=304 vsize=13907308 memory=139871119316608 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/369/stat : 369 (java) S 304 307 8289 0 -1 1077944384 2 12372 0 0 0 0 5 3 20 0 14 0 112665304 14241083392 5502 18446744073709551615 4194304 4196468 140732439208416 140357382690800 140357905050242 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=370] ppid=304 vsize=13907308 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/370/stat : 370 (java) S 304 307 8289 0 -1 1077944384 33 12372 0 0 0 0 5 3 20 0 14 0 112665305 14241083392 5502 18446744073709551615 4194304 4196468 140732439208416 140357381637024 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=371] ppid=304 vsize=13907308 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/371/stat : 371 (java) S 304 307 8289 0 -1 1077944384 21 12372 0 0 0 0 5 3 20 0 14 0 112665305 14241083392 5502 18446744073709551615 4194304 4196468 140732439208416 140357380584432 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=372] ppid=304 vsize=13907308 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/372/stat : 372 (java) S 304 307 8289 0 -1 1077944384 3 12372 0 0 0 0 5 3 20 0 14 0 112665308 14241083392 5502 18446744073709551615 4194304 4196468 140732439208416 140357379533008 140357905057691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=373] ppid=304 vsize=13907308 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/373/stat : 373 (java) S 304 307 8289 0 -1 1077944384 300 12372 0 0 0 0 5 3 20 0 14 0 112665308 14241083392 5502 18446744073709551615 4194304 4196468 140732439208416 140357378480624 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=374] ppid=304 vsize=13907308 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/374/stat : 374 (java) S 304 307 8289 0 -1 1077944384 3 12372 0 0 0 0 5 3 20 0 14 0 112665308 14241083392 5502 18446744073709551615 4194304 4196468 140732439208416 140357377428080 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=375] ppid=304 vsize=13907308 memory=139871119316608 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/375/stat : 375 (java) S 304 307 8289 0 -1 1077944384 224 12372 0 0 0 0 5 3 20 0 14 0 112665308 14241083392 5502 18446744073709551615 4194304 4196468 140732439208416 140357376375536 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=376] ppid=304 vsize=13907308 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/376/stat : 376 (java) S 304 307 8289 0 -1 1077944384 3 12372 0 0 0 0 5 3 20 0 14 0 112665308 14241083392 5502 18446744073709551615 4194304 4196468 140732439208416 140357375323232 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13907308 KiB
Current children cumulated memory: 22008 KiB

[startup+0.700718 s]
/proc/loadavg: 1.48 1.60 1.73 4/215 377
/proc/meminfo: memFree=28340192/32770624 swapFree=67108860/67108860
[pid=307] ppid=304 vsize=13974784 memory=56492 CPUtime=0.61 cores=0,2,4,6
/proc/307/stat : 307 (java) S 304 307 8289 0 -1 1077944320 13717 12372 0 0 49 4 5 3 20 0 15 0 112665278 14310178816 14123 18446744073709551615 4194304 4196468 140732439208416 140732439190960 140357905039095 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
/proc/307/statm: 3493696 14123 3057 1 0 3482965 0
[pid=307/tid=364] ppid=304 vsize=13974784 memory=1296 CPUtime=0.47 cores=0,2,4,6
/proc/307/task/364/stat : 364 (java) R 304 307 8289 0 -1 4202560 10184 12372 0 0 37 2 5 3 20 0 15 0 112665302 14310178816 14123 18446744073709551615 4194304 4196468 140732439208416 140357909260848 140357905061021 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=365] ppid=304 vsize=13974784 memory=2440 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/365/stat : 365 (java) S 304 307 8289 0 -1 1077944384 1 12372 0 0 0 0 5 3 20 0 15 0 112665303 14310178816 14123 18446744073709551615 4194304 4196468 140732439208416 140357862005520 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=366] ppid=304 vsize=13974784 memory=1724 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/366/stat : 366 (java) S 304 307 8289 0 -1 1077944384 1 12372 0 0 0 0 5 3 20 0 15 0 112665303 14310178816 14123 18446744073709551615 4194304 4196468 140732439208416 140357860952976 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=367] ppid=304 vsize=13974784 memory=792 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/367/stat : 367 (java) S 304 307 8289 0 -1 1077944384 1 12372 0 0 0 0 5 3 20 0 15 0 112665303 14310178816 14123 18446744073709551615 4194304 4196468 140732439208416 140357859900432 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=368] ppid=304 vsize=13974784 memory=1716 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/368/stat : 368 (java) S 304 307 8289 0 -1 1077944384 2 12372 0 0 0 0 5 3 20 0 15 0 112665303 14310178816 14123 18446744073709551615 4194304 4196468 140732439208416 140357858847888 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=369] ppid=304 vsize=13974784 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/369/stat : 369 (java) S 304 307 8289 0 -1 1077944384 6 12372 0 0 0 0 5 3 20 0 15 0 112665304 14310178816 14123 18446744073709551615 4194304 4196468 140732439208416 140357382690800 140357905050242 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=370] ppid=304 vsize=13974784 memory=14356 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/370/stat : 370 (java) S 304 307 8289 0 -1 1077944384 33 12372 0 0 0 0 5 3 20 0 15 0 112665305 14310178816 14123 18446744073709551615 4194304 4196468 140732439208416 140357381637024 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=371] ppid=304 vsize=13974784 memory=1008 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/371/stat : 371 (java) S 304 307 8289 0 -1 1077944384 21 12372 0 0 0 0 5 3 20 0 15 0 112665305 14310178816 14123 18446744073709551615 4194304 4196468 140732439208416 140357380584432 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=372] ppid=304 vsize=13974784 memory=1449 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/372/stat : 372 (java) S 304 307 8289 0 -1 1077944384 3 12372 0 0 0 0 5 3 20 0 15 0 112665308 14310178816 14123 18446744073709551615 4194304 4196468 140732439208416 140357379533008 140357905057691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=373] ppid=304 vsize=13974784 memory=370 CPUtime=0.1 cores=0,2,4,6
/proc/307/task/373/stat : 373 (java) S 304 307 8289 0 -1 1077944384 508 12372 0 0 2 0 5 3 20 0 15 0 112665308 14310178816 14123 18446744073709551615 4194304 4196468 140732439208416 140357378480624 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=374] ppid=304 vsize=13974784 memory=3 CPUtime=0.09 cores=0,2,4,6
/proc/307/task/374/stat : 374 (java) S 304 307 8289 0 -1 1077944384 276 12372 0 0 1 0 5 3 20 0 15 0 112665308 14310178816 14123 18446744073709551615 4194304 4196468 140732439208416 140357377428080 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=375] ppid=304 vsize=13974784 memory=39 CPUtime=0.15 cores=0,2,4,6
/proc/307/task/375/stat : 375 (java) S 304 307 8289 0 -1 1077944384 527 12372 0 0 7 0 5 3 20 0 15 0 112665308 14310178816 14123 18446744073709551615 4194304 4196468 140732439208416 140357376375536 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=376] ppid=304 vsize=13974784 memory=395 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/376/stat : 376 (java) S 304 307 8289 0 -1 1077944384 3 12372 0 0 0 0 5 3 20 0 15 0 112665308 14310178816 14123 18446744073709551615 4194304 4196468 140732439208416 140357375323232 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=377] ppid=304 vsize=13974784 memory=88 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/377/stat : 377 (java) S 304 307 8289 0 -1 1077944384 2 12372 0 0 0 0 5 3 20 0 15 0 112665313 14310178816 14123 18446744073709551615 4194304 4196468 140732439208416 140357374269744 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 56492 KiB

[startup+1.50079 s]
/proc/loadavg: 1.48 1.60 1.73 4/215 377
/proc/meminfo: memFree=28313896/32770624 swapFree=67108860/67108860
[pid=307] ppid=304 vsize=13985408 memory=134972 CPUtime=1.84 cores=0,2,4,6
/proc/307/stat : 307 (java) S 304 307 8289 0 -1 1077944320 27639 12372 0 0 169 7 5 3 20 0 15 0 112665278 14321057792 33743 18446744073709551615 4194304 4196468 140732439208416 140732439190960 140357905039095 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
/proc/307/statm: 3496352 33743 3341 1 0 3485525 0
[pid=307/tid=364] ppid=304 vsize=13985408 memory=288230600312364799 CPUtime=1.27 cores=0,2,4,6
/proc/307/task/364/stat : 364 (java) R 304 307 8289 0 -1 4202560 22150 12372 0 0 114 5 5 3 20 0 15 0 112665302 14321057792 33743 18446744073709551615 4194304 4196468 140732439208416 140357909263136 140357889119582 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=365] ppid=304 vsize=13985408 memory=14131130420981177 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/365/stat : 365 (java) S 304 307 8289 0 -1 1077944384 1 12372 0 0 0 0 5 3 20 0 15 0 112665303 14321057792 33743 18446744073709551615 4194304 4196468 140732439208416 140357862005520 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=366] ppid=304 vsize=13985408 memory=134224370 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/366/stat : 366 (java) S 304 307 8289 0 -1 1077944384 1 12372 0 0 0 0 5 3 20 0 15 0 112665303 14321057792 33743 18446744073709551615 4194304 4196468 140732439208416 140357860952976 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=367] ppid=304 vsize=13985408 memory=2372 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/367/stat : 367 (java) S 304 307 8289 0 -1 1077944384 1 12372 0 0 0 0 5 3 20 0 15 0 112665303 14321057792 33743 18446744073709551615 4194304 4196468 140732439208416 140357859900432 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=368] ppid=304 vsize=13985408 memory=3617 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/368/stat : 368 (java) S 304 307 8289 0 -1 1077944384 2 12372 0 0 0 0 5 3 20 0 15 0 112665303 14321057792 33743 18446744073709551615 4194304 4196468 140732439208416 140357858847888 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=369] ppid=304 vsize=13985408 memory=2164 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/369/stat : 369 (java) S 304 307 8289 0 -1 1077944384 6 12372 0 0 0 0 5 3 20 0 15 0 112665304 14321057792 33743 18446744073709551615 4194304 4196468 140732439208416 140357382690800 140357905050242 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=370] ppid=304 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/370/stat : 370 (java) S 304 307 8289 0 -1 1077944384 33 12372 0 0 0 0 5 3 20 0 15 0 112665305 14321057792 33743 18446744073709551615 4194304 4196468 140732439208416 140357381637024 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=371] ppid=304 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/371/stat : 371 (java) S 304 307 8289 0 -1 1077944384 21 12372 0 0 0 0 5 3 20 0 15 0 112665305 14321057792 33743 18446744073709551615 4194304 4196468 140732439208416 140357380584432 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=372] ppid=304 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/372/stat : 372 (java) S 304 307 8289 0 -1 1077944384 3 12372 0 0 0 0 5 3 20 0 15 0 112665308 14321057792 33743 18446744073709551615 4194304 4196468 140732439208416 140357379533008 140357905057691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=373] ppid=304 vsize=13985408 memory=18484 CPUtime=0.25 cores=0,2,4,6
/proc/307/task/373/stat : 373 (java) S 304 307 8289 0 -1 1077944384 1330 12372 0 0 17 0 5 3 20 0 15 0 112665308 14321057792 33743 18446744073709551615 4194304 4196468 140732439208416 140357378480624 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=374] ppid=304 vsize=13985408 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/307/task/374/stat : 374 (java) S 304 307 8289 0 -1 1077944384 669 12372 0 0 14 0 5 3 20 0 15 0 112665308 14321057792 33743 18446744073709551615 4194304 4196468 140732439208416 140357377428080 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=375] ppid=304 vsize=13985408 memory=53156 CPUtime=0.29 cores=0,2,4,6
/proc/307/task/375/stat : 375 (java) S 304 307 8289 0 -1 1077944384 1263 12372 0 0 21 0 5 3 20 0 15 0 112665308 14321057792 33743 18446744073709551615 4194304 4196468 140732439208416 140357376375536 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=376] ppid=304 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/376/stat : 376 (java) S 304 307 8289 0 -1 1077944384 3 12372 0 0 0 0 5 3 20 0 15 0 112665308 14321057792 33743 18446744073709551615 4194304 4196468 140732439208416 140357375323232 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=377] ppid=304 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/377/stat : 377 (java) S 304 307 8289 0 -1 1077944384 8 12372 0 0 0 0 5 3 20 0 15 0 112665313 14321057792 33743 18446744073709551615 4194304 4196468 140732439208416 140357374269744 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 134972 KiB

[startup+3.11063 s]
/proc/loadavg: 1.60 1.62 1.74 4/215 377
/proc/meminfo: memFree=27687784/32770624 swapFree=67108860/67108860

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


[startup+92.6833 s]
# the end of solver process 307 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.666 s, system=8.53415 s

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

[startup+91.2008 s]
/proc/loadavg: 4.64 2.66 2.10 6/214 513
/proc/meminfo: memFree=18723940/32770624 swapFree=67108860/67108860
[pid=307] ppid=304 vsize=14069564 memory=9118656 CPUtime=254.49 cores=0,2,4,6
/proc/307/stat : 307 (java) S 304 307 8289 0 -1 1077944320 631896 12372 0 0 24598 843 5 3 20 0 15 0 112665278 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140732439190960 140357905039095 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
/proc/307/statm: 3517391 2279664 3486 1 0 3506005 0
[pid=307/tid=364] ppid=304 vsize=14069564 memory=4288 CPUtime=39.09 cores=0,2,4,6
/proc/307/task/364/stat : 364 (java) S 304 307 8289 0 -1 1077944384 57464 12372 0 0 3864 37 5 3 20 0 15 0 112665302 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357909217616 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=365] ppid=304 vsize=14069564 memory=4134931637327791675 CPUtime=51.13 cores=0,2,4,6
/proc/307/task/365/stat : 365 (java) R 304 307 8289 0 -1 4202560 100339 12372 0 0 4914 191 5 3 20 0 15 0 112665303 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357862005408 140357886636106 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=366] ppid=304 vsize=14069564 memory=4168 CPUtime=50.97 cores=0,2,4,6
/proc/307/task/366/stat : 366 (java) R 304 307 8289 0 -1 4202560 93083 12372 0 0 4895 194 5 3 20 0 15 0 112665303 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357860953176 140357889989792 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=367] ppid=304 vsize=14069564 memory=1160 CPUtime=51.13 cores=0,2,4,6
/proc/307/task/367/stat : 367 (java) R 304 307 8289 0 -1 4202560 178456 12372 0 0 4911 194 5 3 20 0 15 0 112665303 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357859900432 140357886635089 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=368] ppid=304 vsize=14069564 memory=2936 CPUtime=50.91 cores=0,2,4,6
/proc/307/task/368/stat : 368 (java) R 304 307 8289 0 -1 4202560 81495 12372 0 0 4875 208 5 3 20 0 15 0 112665303 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357858847888 140357886636106 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=369] ppid=304 vsize=14069564 memory=9142244 CPUtime=0.54 cores=0,2,4,6
/proc/307/task/369/stat : 369 (java) S 304 307 8289 0 -1 1077944384 68486 12372 0 0 42 4 5 3 20 0 15 0 112665304 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357382689120 140357905049301 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=370] ppid=304 vsize=14069564 memory=54572 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/370/stat : 370 (java) S 304 307 8289 0 -1 1077944384 101 12372 0 0 0 0 5 3 20 0 15 0 112665305 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357381637088 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=371] ppid=304 vsize=14069564 memory=1156 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/371/stat : 371 (java) S 304 307 8289 0 -1 1077944384 91 12372 0 0 0 0 5 3 20 0 15 0 112665305 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357380584448 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=372] ppid=304 vsize=14069564 memory=2724 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/372/stat : 372 (java) S 304 307 8289 0 -1 1077944384 6 12372 0 0 0 0 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357379532656 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=373] ppid=304 vsize=14069564 memory=3457408 CPUtime=4.67 cores=0,2,4,6
/proc/307/task/373/stat : 373 (java) S 304 307 8289 0 -1 1077944384 23373 12372 0 0 456 3 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357378480624 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=374] ppid=304 vsize=14069564 memory=1296 CPUtime=4.59 cores=0,2,4,6
/proc/307/task/374/stat : 374 (java) S 304 307 8289 0 -1 1077944384 15917 12372 0 0 448 3 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357377428080 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=375] ppid=304 vsize=14069564 memory=2440 CPUtime=1.95 cores=0,2,4,6
/proc/307/task/375/stat : 375 (java) S 304 307 8289 0 -1 1077944384 8768 12372 0 0 184 3 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357376375536 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=376] ppid=304 vsize=14069564 memory=1724 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/376/stat : 376 (java) S 304 307 8289 0 -1 1077944384 3 12372 0 0 0 0 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357375323232 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=377] ppid=304 vsize=14069564 memory=792 CPUtime=0.13 cores=0,2,4,6
/proc/307/task/377/stat : 377 (java) S 304 307 8289 0 -1 1077944384 2163 12372 0 0 3 2 5 3 20 0 15 0 112665313 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357374269744 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
Current children cumulated CPU time: 254.49 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 9118656 KiB

[startup+92.0007 s]*
/proc/loadavg: 4.64 2.66 2.10 10/214 513
/proc/meminfo: memFree=18747584/32770624 swapFree=67108860/67108860
[pid=307] ppid=304 vsize=14069564 memory=9118656 CPUtime=257.7 cores=0,2,4,6
/proc/307/stat : 307 (java) S 304 307 8289 0 -1 1077944320 631896 12372 0 0 24919 843 5 3 20 0 15 0 112665278 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140732439190960 140357905039095 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
/proc/307/statm: 3517391 2279664 3486 1 0 3506005 0
[pid=307/tid=364] ppid=304 vsize=14069564 memory=1398720917958146503 CPUtime=39.09 cores=0,2,4,6
/proc/307/task/364/stat : 364 (java) S 304 307 8289 0 -1 1077944384 57464 12372 0 0 3864 37 5 3 20 0 15 0 112665302 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357909217616 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=365] ppid=304 vsize=14069564 memory=4872558044660077418 CPUtime=51.94 cores=0,2,4,6
/proc/307/task/365/stat : 365 (java) R 304 307 8289 0 -1 4202560 100339 12372 0 0 4995 191 5 3 20 0 15 0 112665303 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357862005408 140357886636106 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=366] ppid=304 vsize=14069564 memory=1716 CPUtime=51.77 cores=0,2,4,6
/proc/307/task/366/stat : 366 (java) R 304 307 8289 0 -1 4202560 93083 12372 0 0 4975 194 5 3 20 0 15 0 112665303 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357860953176 140357886636106 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=367] ppid=304 vsize=14069564 memory=1228 CPUtime=51.94 cores=0,2,4,6
/proc/307/task/367/stat : 367 (java) R 304 307 8289 0 -1 4202560 178456 12372 0 0 4992 194 5 3 20 0 15 0 112665303 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357859900632 140357889736870 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=368] ppid=304 vsize=14069564 memory=14356 CPUtime=51.72 cores=0,2,4,6
/proc/307/task/368/stat : 368 (java) R 304 307 8289 0 -1 4202560 81495 12372 0 0 4956 208 5 3 20 0 15 0 112665303 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357858848088 140357886636106 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=369] ppid=304 vsize=14069564 memory=1008 CPUtime=0.54 cores=0,2,4,6
/proc/307/task/369/stat : 369 (java) S 304 307 8289 0 -1 1077944384 68486 12372 0 0 42 4 5 3 20 0 15 0 112665304 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357382689120 140357905049301 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=370] ppid=304 vsize=14069564 memory=2012 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/370/stat : 370 (java) S 304 307 8289 0 -1 1077944384 101 12372 0 0 0 0 5 3 20 0 15 0 112665305 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357381637088 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=371] ppid=304 vsize=14069564 memory=11136 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/371/stat : 371 (java) S 304 307 8289 0 -1 1077944384 91 12372 0 0 0 0 5 3 20 0 15 0 112665305 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357380584448 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=372] ppid=304 vsize=14069564 memory=5788 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/372/stat : 372 (java) S 304 307 8289 0 -1 1077944384 6 12372 0 0 0 0 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357379532656 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=373] ppid=304 vsize=14069564 memory=4612 CPUtime=4.67 cores=0,2,4,6
/proc/307/task/373/stat : 373 (java) S 304 307 8289 0 -1 1077944384 23373 12372 0 0 456 3 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357378480624 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=374] ppid=304 vsize=14069564 memory=1436 CPUtime=4.59 cores=0,2,4,6
/proc/307/task/374/stat : 374 (java) S 304 307 8289 0 -1 1077944384 15917 12372 0 0 448 3 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357377428080 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=375] ppid=304 vsize=14069564 memory=1200 CPUtime=1.95 cores=0,2,4,6
/proc/307/task/375/stat : 375 (java) S 304 307 8289 0 -1 1077944384 8768 12372 0 0 184 3 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357376375536 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=376] ppid=304 vsize=14069564 memory=15876 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/376/stat : 376 (java) S 304 307 8289 0 -1 1077944384 3 12372 0 0 0 0 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357375323232 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=377] ppid=304 vsize=14069564 memory=4040 CPUtime=0.13 cores=0,2,4,6
/proc/307/task/377/stat : 377 (java) S 304 307 8289 0 -1 1077944384 2163 12372 0 0 3 2 5 3 20 0 15 0 112665313 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357374269744 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
Current children cumulated CPU time: 257.7 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 9118656 KiB

[startup+92.4007 s]
/proc/loadavg: 4.64 2.66 2.10 10/214 513
/proc/meminfo: memFree=18747584/32770624 swapFree=67108860/67108860
[pid=307] ppid=304 vsize=14069564 memory=9118656 CPUtime=259.28 cores=0,2,4,6
/proc/307/stat : 307 (java) S 304 307 8289 0 -1 1077944320 631896 12372 0 0 25077 843 5 3 20 0 15 0 112665278 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140732439190960 140357905039095 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
/proc/307/statm: 3517391 2279664 3486 1 0 3506005 0
[pid=307/tid=364] ppid=304 vsize=14069564 memory=7681905605394137914 CPUtime=39.09 cores=0,2,4,6
/proc/307/task/364/stat : 364 (java) S 304 307 8289 0 -1 1077944384 57464 12372 0 0 3864 37 5 3 20 0 15 0 112665302 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357909217616 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=365] ppid=304 vsize=14069564 memory=1399101730491701635 CPUtime=52.33 cores=0,2,4,6
/proc/307/task/365/stat : 365 (java) R 304 307 8289 0 -1 4202560 100339 12372 0 0 5034 191 5 3 20 0 15 0 112665303 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357862005408 140357889989792 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=366] ppid=304 vsize=14069564 memory=6944656591801717918 CPUtime=52.16 cores=0,2,4,6
/proc/307/task/366/stat : 366 (java) R 304 307 8289 0 -1 4202560 93083 12372 0 0 5014 194 5 3 20 0 15 0 112665303 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357860953176 140357886636106 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=367] ppid=304 vsize=14069564 memory=-7384994778349281184 CPUtime=52.33 cores=0,2,4,6
/proc/307/task/367/stat : 367 (java) R 304 307 8289 0 -1 4202560 178456 12372 0 0 5031 194 5 3 20 0 15 0 112665303 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357859900632 140357890024391 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=368] ppid=304 vsize=14069564 memory=-7233780906022726806 CPUtime=52.11 cores=0,2,4,6
/proc/307/task/368/stat : 368 (java) R 304 307 8289 0 -1 4202560 81495 12372 0 0 4995 208 5 3 20 0 15 0 112665303 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357858848088 140357886635553 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=369] ppid=304 vsize=14069564 memory=9118656 CPUtime=0.54 cores=0,2,4,6
/proc/307/task/369/stat : 369 (java) S 304 307 8289 0 -1 1077944384 68486 12372 0 0 42 4 5 3 20 0 15 0 112665304 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357382689120 140357905049301 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=370] ppid=304 vsize=14069564 memory=640 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/370/stat : 370 (java) S 304 307 8289 0 -1 1077944384 101 12372 0 0 0 0 5 3 20 0 15 0 112665305 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357381637088 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=371] ppid=304 vsize=14069564 memory=1792 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/371/stat : 371 (java) S 304 307 8289 0 -1 1077944384 91 12372 0 0 0 0 5 3 20 0 15 0 112665305 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357380584448 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=372] ppid=304 vsize=14069564 memory=956 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/372/stat : 372 (java) S 304 307 8289 0 -1 1077944384 6 12372 0 0 0 0 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357379532656 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=373] ppid=304 vsize=14069564 memory=2248 CPUtime=4.67 cores=0,2,4,6
/proc/307/task/373/stat : 373 (java) S 304 307 8289 0 -1 1077944384 23373 12372 0 0 456 3 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357378480624 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=374] ppid=304 vsize=14069564 memory=4288 CPUtime=4.59 cores=0,2,4,6
/proc/307/task/374/stat : 374 (java) S 304 307 8289 0 -1 1077944384 15917 12372 0 0 448 3 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357377428080 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=375] ppid=304 vsize=14069564 memory=2164 CPUtime=1.95 cores=0,2,4,6
/proc/307/task/375/stat : 375 (java) S 304 307 8289 0 -1 1077944384 8768 12372 0 0 184 3 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357376375536 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=376] ppid=304 vsize=14069564 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/376/stat : 376 (java) S 304 307 8289 0 -1 1077944384 3 12372 0 0 0 0 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357375323232 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=377] ppid=304 vsize=14069564 memory=1620 CPUtime=0.13 cores=0,2,4,6
/proc/307/task/377/stat : 377 (java) S 304 307 8289 0 -1 1077944384 2163 12372 0 0 3 2 5 3 20 0 15 0 112665313 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357374269744 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
Current children cumulated CPU time: 259.28 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 9118656 KiB

[startup+92.6007 s]
/proc/loadavg: 4.64 2.66 2.10 10/214 513
/proc/meminfo: memFree=18747584/32770624 swapFree=67108860/67108860
[pid=307] ppid=304 vsize=14069564 memory=9118656 CPUtime=260.07 cores=0,2,4,6
/proc/307/stat : 307 (java) S 304 307 8289 0 -1 1077944320 631896 12372 0 0 25156 843 5 3 20 0 15 0 112665278 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140732439190960 140357905039095 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 10 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
/proc/307/statm: 3517391 2279664 3486 1 0 3506005 0
[pid=307/tid=364] ppid=304 vsize=14069564 memory=14132229932582198 CPUtime=39.09 cores=0,2,4,6
/proc/307/task/364/stat : 364 (java) S 304 307 8289 0 -1 1077944384 57464 12372 0 0 3864 37 5 3 20 0 15 0 112665302 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357909217616 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=365] ppid=304 vsize=14069564 memory=9142244 CPUtime=52.53 cores=0,2,4,6
/proc/307/task/365/stat : 365 (java) R 304 307 8289 0 -1 4202560 100339 12372 0 0 5054 191 5 3 20 0 15 0 112665303 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357862005408 140357889736663 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=366] ppid=304 vsize=14069564 memory=54572 CPUtime=52.36 cores=0,2,4,6
/proc/307/task/366/stat : 366 (java) R 304 307 8289 0 -1 4202560 93083 12372 0 0 5034 194 5 3 20 0 15 0 112665303 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357860953176 140357886636106 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=367] ppid=304 vsize=14069564 memory=1156 CPUtime=52.53 cores=0,2,4,6
/proc/307/task/367/stat : 367 (java) R 304 307 8289 0 -1 4202560 178456 12372 0 0 5051 194 5 3 20 0 15 0 112665303 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357859900632 140357889736734 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=368] ppid=304 vsize=14069564 memory=14356 CPUtime=52.31 cores=0,2,4,6
/proc/307/task/368/stat : 368 (java) R 304 307 8289 0 -1 4202560 81495 12372 0 0 5015 208 5 3 20 0 15 0 112665303 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357858848088 140357889989789 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=369] ppid=304 vsize=14069564 memory=1008 CPUtime=0.54 cores=0,2,4,6
/proc/307/task/369/stat : 369 (java) S 304 307 8289 0 -1 1077944384 68486 12372 0 0 42 4 5 3 20 0 15 0 112665304 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357382689120 140357905049301 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=370] ppid=304 vsize=14069564 memory=2012 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/370/stat : 370 (java) S 304 307 8289 0 -1 1077944384 101 12372 0 0 0 0 5 3 20 0 15 0 112665305 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357381637088 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=371] ppid=304 vsize=14069564 memory=11136 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/371/stat : 371 (java) S 304 307 8289 0 -1 1077944384 91 12372 0 0 0 0 5 3 20 0 15 0 112665305 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357380584448 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=372] ppid=304 vsize=14069564 memory=5788 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/372/stat : 372 (java) S 304 307 8289 0 -1 1077944384 6 12372 0 0 0 0 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357379532656 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=373] ppid=304 vsize=14069564 memory=4612 CPUtime=4.67 cores=0,2,4,6
/proc/307/task/373/stat : 373 (java) S 304 307 8289 0 -1 1077944384 23373 12372 0 0 456 3 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357378480624 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=374] ppid=304 vsize=14069564 memory=1436 CPUtime=4.59 cores=0,2,4,6
/proc/307/task/374/stat : 374 (java) S 304 307 8289 0 -1 1077944384 15917 12372 0 0 448 3 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357377428080 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=375] ppid=304 vsize=14069564 memory=1200 CPUtime=1.95 cores=0,2,4,6
/proc/307/task/375/stat : 375 (java) S 304 307 8289 0 -1 1077944384 8768 12372 0 0 184 3 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357376375536 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=376] ppid=304 vsize=14069564 memory=15876 CPUtime=0.08 cores=0,2,4,6
/proc/307/task/376/stat : 376 (java) S 304 307 8289 0 -1 1077944384 3 12372 0 0 0 0 5 3 20 0 15 0 112665308 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357375323232 140357905049301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
[pid=307/tid=377] ppid=304 vsize=14069564 memory=7013911565798499943 CPUtime=0.13 cores=0,2,4,6
/proc/307/task/377/stat : 377 (java) S 304 307 8289 0 -1 1077944384 2163 12372 0 0 3 2 5 3 20 0 15 0 112665313 14407233536 2279664 18446744073709551615 4194304 4196468 140732439208416 140357374269744 140357905050242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33484800 140732439214000 140732439216785 140732439216785 140732439220175 0
Current children cumulated CPU time: 260.07 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 9118656 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 92.6833
CPU time (s): 260.2
CPU user time (s): 251.666
CPU system time (s): 8.53415
CPU usage (%): 280.741
Max. virtual memory (cumulated for all children) (KiB): 14072084
Max. memory (cumulated for all children) (KiB): 9172832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.666
system time used= 8.53415
maximum resident set size= 9172832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 644270
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12894
involuntary context switches= 4500


# summary of solver processes directly reported to runsolver:
#   pid: 307
#   total CPU time (s): 260.2
#   total CPU user time (s): 251.666
#   total CPU system time (s): 8.53415

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.668842 second user time and 0.863064 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-13 20:07:33
IDJOB=4259825
IDBENCH=135805
IDSOLVER=2646
FILE ID=node133/4259825-1502648501
RUNJOBID= node133-1502641620-25473
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n150/TravellingSalesman-150-50-14.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259825-1502648501/watcher-4259825-1502648501 -o /tmp/evaluation-result-4259825-1502648501/solver-4259825-1502648501 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25473 --watchdog 312  bin/concrete HOME/instance-4259825-1502648501.xml

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

MD5SUM BENCH= b2c04361dada2322dcbf50e86c385888
RANDOM SEED=359912422

node133.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.17
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.17
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.17
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.17
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:        28395796 kB
MemAvailable:   29038156 kB
Buffers:          239648 kB
Cached:           697848 kB
SwapCached:            0 kB
Active:          3735980 kB
Inactive:         187000 kB
Active(anon):    2926444 kB
Inactive(anon):   100804 kB
Active(file):     809536 kB
Inactive(file):    86196 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24340 kB
Writeback:             0 kB
AnonPages:       2985592 kB
Mapped:            69868 kB
Shmem:             41660 kB
Slab:             152344 kB
SReclaimable:     124928 kB
SUnreclaim:        27416 kB
KernelStack:        3504 kB
PageTables:        10808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4338468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2760704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61984 MiB
End job on node133 at 2017-08-13 20:09:06