Trace number 4307662

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
OscaR - Conflict Ordering 2018-08-14? (TO) 2520.07 2468.61

General information on the benchmark

NameSocialGolfers/
SocialGolfers-5-5-7-cp_c18.xml
MD5SUM3c85bec313e0e9ed0b53ce41ef97f039
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark4.553
Satisfiable
(Un)Satisfiability was proved
Number of variables175
Number of constraints6309
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":175}]
Minimum variable degree146
Maximum variable degree147
Distribution of variable degrees[{"degree":146,"count":150},{"degree":147,"count":25}]
Minimum constraint arity4
Maximum constraint arity175
Distribution of constraint arities[{"arity":4,"count":6300},{"arity":25,"count":8},{"arity":175,"count":1}]
Number of extensional constraints0
Number of intensional constraints6300
Distribution of constraint types[{"type":"intension","count":6300},{"type":"lex","count":1},{"type":"cardinality","count":7},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.69/0.55	c version: 2018-08-14
0.69/0.55	c seed: 782521504
0.69/0.55	c timeout: 2520
0.69/0.56	c memlimit: 11000
0.69/0.56	c nbcore: 4
0.69/0.58	c Parsing instance...
4.98/2.10	c Parsing done, starting search...
2520.05/2468.60	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12140 MiB free)
  memory of node 1: 16384 MiB (11641 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307662-1534260575/watcher-4307662-1534260575 -o /tmp/evaluation-result-4307662-1534260575/solver-4307662-1534260575 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534258056-17862 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 782521504 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307662-1534260575.xml 

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

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

solver pid=18466, runsolver pid=18463

[startup+0.100093 s]*
/proc/loadavg: 1.21 1.40 1.33 5/215 18481
/proc/meminfo: memFree=24299012/32770624 swapFree=67108372/67108860
[pid=18466] ppid=18463 vsize=14082736 memory=30980 CPUtime=0.11 cores=1,3,5,7
/proc/18466/stat : 18466 (java) S 18463 18466 17830 0 -1 1077944320 6705 0 0 0 10 1 0 0 20 0 15 0 243620680 14420721664 7745 33554432000 4194304 4196468 140723224712992 140723224695536 139858856783607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
/proc/18466/statm: 3520684 7745 3133 1 0 3482761 0
[pid=18466/tid=18468] ppid=18463 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=1,3,5,7
/proc/18466/task/18468/stat : 18468 (java) R 18463 18466 17830 0 -1 4202560 4757 0 0 0 8 1 0 0 20 0 15 0 243620680 14420721664 7745 33554432000 4194304 4196468 140723224712992 139858860960864 139858840864094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18469] ppid=18463 vsize=14082736 memory=5793855766676576697 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18469/stat : 18469 (java) S 18463 18466 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620681 14420721664 7745 33554432000 4194304 4196468 140723224712992 139858771852176 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18470] ppid=18463 vsize=14082736 memory=140515666683520 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18470/stat : 18470 (java) S 18463 18466 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243620681 14420721664 7745 33554432000 4194304 4196468 140723224712992 139858770799376 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18471] ppid=18463 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18471/stat : 18471 (java) S 18463 18466 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243620681 14420721664 7745 33554432000 4194304 4196468 140723224712992 139858769747088 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18472] ppid=18463 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18472/stat : 18472 (java) S 18463 18466 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620681 14420721664 7745 33554432000 4194304 4196468 140723224712992 139858768694288 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18473] ppid=18463 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18473/stat : 18473 (java) S 18463 18466 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243620683 14420721664 7745 33554432000 4194304 4196468 140723224712992 139858038077552 139858856794754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18474] ppid=18463 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18474/stat : 18474 (java) S 18463 18466 17830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243620683 14420721664 7745 33554432000 4194304 4196468 140723224712992 139858037023520 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18475] ppid=18463 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18475/stat : 18475 (java) S 18463 18466 17830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243620683 14420721664 7745 33554432000 4194304 4196468 140723224712992 139858035971184 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18476] ppid=18463 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18476/stat : 18476 (java) S 18463 18466 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620686 14420721664 7745 33554432000 4194304 4196468 140723224712992 139858034919504 139858856802203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18477] ppid=18463 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18477/stat : 18477 (java) S 18463 18466 17830 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 243620686 14420721664 7745 33554432000 4194304 4196468 140723224712992 139858033867376 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18478] ppid=18463 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18478/stat : 18478 (java) S 18463 18466 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620686 14420721664 7745 33554432000 4194304 4196468 140723224712992 139858032814576 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18479] ppid=18463 vsize=14082736 memory=140515666683520 CPUtime=0.01 cores=1,3,5,7
/proc/18466/task/18479/stat : 18479 (java) S 18463 18466 17830 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 15 0 243620686 14420721664 7745 33554432000 4194304 4196468 140723224712992 139858031762288 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18480] ppid=18463 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18480/stat : 18480 (java) S 18463 18466 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620686 14420721664 7745 33554432000 4194304 4196468 140723224712992 139858030709728 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18481] ppid=18463 vsize=14082736 memory=140515666683520 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18481/stat : 18481 (java) S 18463 18466 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620686 14420721664 7745 33554432000 4194304 4196468 140723224712992 139858029656496 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30980 KiB

[startup+0.213409 s]*
/proc/loadavg: 1.21 1.40 1.33 9/215 18481
/proc/meminfo: memFree=24249748/32770624 swapFree=67108372/67108860
[pid=18466] ppid=18463 vsize=14082736 memory=47016 CPUtime=0.31 cores=1,3,5,7
/proc/18466/stat : 18466 (java) S 18463 18466 17830 0 -1 1077944320 10392 0 0 0 29 2 0 0 20 0 15 0 243620680 14420721664 11754 33554432000 4194304 4196468 140723224712992 140723224695536 139858856783607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
/proc/18466/statm: 3520684 11754 3371 1 0 3482761 0
[pid=18466/tid=18468] ppid=18463 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/18466/task/18468/stat : 18468 (java) R 18463 18466 17830 0 -1 4202560 8103 0 0 0 18 2 0 0 20 0 15 0 243620680 14420721664 11754 33554432000 4194304 4196468 140723224712992 139858861009424 139858856804954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18469] ppid=18463 vsize=14082736 memory=4211974241871474058 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18469/stat : 18469 (java) S 18463 18466 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620681 14420721664 11754 33554432000 4194304 4196468 140723224712992 139858771852176 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18470] ppid=18463 vsize=14082736 memory=140515666683520 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18470/stat : 18470 (java) S 18463 18466 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243620681 14420721664 11754 33554432000 4194304 4196468 140723224712992 139858770799376 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18471] ppid=18463 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18471/stat : 18471 (java) S 18463 18466 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243620681 14420721664 11754 33554432000 4194304 4196468 140723224712992 139858769747088 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18472] ppid=18463 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18472/stat : 18472 (java) S 18463 18466 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620681 14420721664 11754 33554432000 4194304 4196468 140723224712992 139858768694288 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18473] ppid=18463 vsize=14082736 memory=140515666683520 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18473/stat : 18473 (java) S 18463 18466 17830 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243620683 14420721664 11754 33554432000 4194304 4196468 140723224712992 139858038077552 139858856794754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18474] ppid=18463 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18474/stat : 18474 (java) S 18463 18466 17830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243620683 14420721664 11754 33554432000 4194304 4196468 140723224712992 139858037023520 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18475] ppid=18463 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18475/stat : 18475 (java) S 18463 18466 17830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243620683 14420721664 11754 33554432000 4194304 4196468 140723224712992 139858035971184 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18476] ppid=18463 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18476/stat : 18476 (java) S 18463 18466 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620686 14420721664 11754 33554432000 4194304 4196468 140723224712992 139858034919504 139858856802203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18477] ppid=18463 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18466/task/18477/stat : 18477 (java) S 18463 18466 17830 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 15 0 243620686 14420721664 11754 33554432000 4194304 4196468 140723224712992 139858033867376 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18478] ppid=18463 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18466/task/18478/stat : 18478 (java) R 18463 18466 17830 0 -1 4202560 253 0 0 0 2 0 0 0 20 0 15 0 243620686 14420721664 11754 33554432000 4194304 4196468 140723224712992 139858032814576 139858849768649 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18479] ppid=18463 vsize=14082736 memory=140515666683520 CPUtime=0.06 cores=1,3,5,7
/proc/18466/task/18479/stat : 18479 (java) R 18463 18466 17830 0 -1 4202560 291 0 0 0 6 0 0 0 20 0 15 0 243620686 14420721664 11754 33554432000 4194304 4196468 140723224712992 139858031757328 139858835303710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18480] ppid=18463 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18480/stat : 18480 (java) S 18463 18466 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620686 14420721664 11754 33554432000 4194304 4196468 140723224712992 139858030709728 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18481] ppid=18463 vsize=14082736 memory=140515666683520 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18481/stat : 18481 (java) S 18463 18466 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620686 14420721664 11754 33554432000 4194304 4196468 140723224712992 139858029656496 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47016 KiB

[startup+0.310604 s]*
/proc/loadavg: 1.21 1.40 1.33 4/215 18481
/proc/meminfo: memFree=24222692/32770624 swapFree=67108372/67108860
[pid=18466] ppid=18463 vsize=14082736 memory=50504 CPUtime=0.45 cores=1,3,5,7
/proc/18466/stat : 18466 (java) S 18463 18466 17830 0 -1 1077944320 10782 0 0 0 42 3 0 0 20 0 15 0 243620680 14420721664 12626 33554432000 4194304 4196468 140723224712992 140723224695536 139858856783607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
/proc/18466/statm: 3520684 12626 3374 1 0 3482761 0
[pid=18466/tid=18468] ppid=18463 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/18466/task/18468/stat : 18468 (java) R 18463 18466 17830 0 -1 4202560 8454 0 0 0 28 2 0 0 20 0 15 0 243620680 14420721664 12626 33554432000 4194304 4196468 140723224712992 139858860995120 139858838347136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18469] ppid=18463 vsize=14082736 memory=4211974241871474058 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18469/stat : 18469 (java) S 18463 18466 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620681 14420721664 12626 33554432000 4194304 4196468 140723224712992 139858771852176 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18470] ppid=18463 vsize=14082736 memory=140515666685877 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18470/stat : 18470 (java) S 18463 18466 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243620681 14420721664 12626 33554432000 4194304 4196468 140723224712992 139858770799376 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18471] ppid=18463 vsize=14082736 memory=140515559468957 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18471/stat : 18471 (java) S 18463 18466 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243620681 14420721664 12626 33554432000 4194304 4196468 140723224712992 139858769747088 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18472] ppid=18463 vsize=14082736 memory=140515559460303 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18472/stat : 18472 (java) S 18463 18466 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620681 14420721664 12626 33554432000 4194304 4196468 140723224712992 139858768694288 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18473] ppid=18463 vsize=14082736 memory=140515666701376 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18473/stat : 18473 (java) S 18463 18466 17830 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243620683 14420721664 12626 33554432000 4194304 4196468 140723224712992 139858038077552 139858856794754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18474] ppid=18463 vsize=14082736 memory=140515559469487 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18474/stat : 18474 (java) S 18463 18466 17830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243620683 14420721664 12626 33554432000 4194304 4196468 140723224712992 139858037023520 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18475] ppid=18463 vsize=14082736 memory=281031118929808 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18475/stat : 18475 (java) S 18463 18466 17830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243620683 14420721664 12626 33554432000 4194304 4196468 140723224712992 139858035971184 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18476] ppid=18463 vsize=14082736 memory=281031118927504 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18476/stat : 18476 (java) S 18463 18466 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620686 14420721664 12626 33554432000 4194304 4196468 140723224712992 139858034919504 139858856802203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18477] ppid=18463 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18466/task/18477/stat : 18477 (java) S 18463 18466 17830 0 -1 1077944384 377 0 0 0 2 0 0 0 20 0 15 0 243620686 14420721664 12626 33554432000 4194304 4196468 140723224712992 139858033867376 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18478] ppid=18463 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18466/task/18478/stat : 18478 (java) S 18463 18466 17830 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 243620686 14420721664 12626 33554432000 4194304 4196468 140723224712992 139858032814576 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18479] ppid=18463 vsize=14082736 memory=140515666683520 CPUtime=0.08 cores=1,3,5,7
/proc/18466/task/18479/stat : 18479 (java) S 18463 18466 17830 0 -1 1077944384 310 0 0 0 8 0 0 0 20 0 15 0 243620686 14420721664 12626 33554432000 4194304 4196468 140723224712992 139858031762288 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18480] ppid=18463 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18480/stat : 18480 (java) S 18463 18466 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620686 14420721664 12626 33554432000 4194304 4196468 140723224712992 139858030709728 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18481] ppid=18463 vsize=14082736 memory=140515666683520 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18481/stat : 18481 (java) S 18463 18466 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620686 14420721664 12626 33554432000 4194304 4196468 140723224712992 139858029656496 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50504 KiB

[startup+0.700769 s]
/proc/loadavg: 1.27 1.41 1.33 5/215 18481
/proc/meminfo: memFree=24195036/32770624 swapFree=67108372/67108860
[pid=18466] ppid=18463 vsize=14084804 memory=89444 CPUtime=1 cores=1,3,5,7
/proc/18466/stat : 18466 (java) S 18463 18466 17830 0 -1 1077944320 17652 0 0 0 95 5 0 0 20 0 15 0 243620680 14422839296 22361 33554432000 4194304 4196468 140723224712992 140723224695536 139858856783607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
/proc/18466/statm: 3521201 22361 3505 1 0 3483273 0
[pid=18466/tid=18468] ppid=18463 vsize=14084804 memory=1220 CPUtime=0.67 cores=1,3,5,7
/proc/18466/task/18468/stat : 18468 (java) R 18463 18466 17830 0 -1 4202560 14916 0 0 0 64 3 0 0 20 0 15 0 243620680 14422839296 22361 33554432000 4194304 4196468 140723224712992 139858861007824 139858840864094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18469] ppid=18463 vsize=14084804 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18469/stat : 18469 (java) S 18463 18466 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620681 14422839296 22361 33554432000 4194304 4196468 140723224712992 139858771852176 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18470] ppid=18463 vsize=14084804 memory=868 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18470/stat : 18470 (java) S 18463 18466 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243620681 14422839296 22361 33554432000 4194304 4196468 140723224712992 139858770799376 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18471] ppid=18463 vsize=14084804 memory=7307747153392788800 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18471/stat : 18471 (java) S 18463 18466 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243620681 14422839296 22361 33554432000 4194304 4196468 140723224712992 139858769747088 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18472] ppid=18463 vsize=14084804 memory=8025788831224522324 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18472/stat : 18472 (java) S 18463 18466 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620681 14422839296 22361 33554432000 4194304 4196468 140723224712992 139858768694288 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18473] ppid=18463 vsize=14084804 memory=6370994028255662166 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18473/stat : 18473 (java) S 18463 18466 17830 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243620683 14422839296 22361 33554432000 4194304 4196468 140723224712992 139858038077552 139858856794754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18474] ppid=18463 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18474/stat : 18474 (java) S 18463 18466 17830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243620683 14422839296 22361 33554432000 4194304 4196468 140723224712992 139858037023520 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18475] ppid=18463 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18475/stat : 18475 (java) S 18463 18466 17830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243620683 14422839296 22361 33554432000 4194304 4196468 140723224712992 139858035971184 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18476] ppid=18463 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18476/stat : 18476 (java) S 18463 18466 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620686 14422839296 22361 33554432000 4194304 4196468 140723224712992 139858034919504 139858856802203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18477] ppid=18463 vsize=14084804 memory=223 CPUtime=0.07 cores=1,3,5,7
/proc/18466/task/18477/stat : 18477 (java) S 18463 18466 17830 0 -1 1077944384 529 0 0 0 7 0 0 0 20 0 15 0 243620686 14422839296 22361 33554432000 4194304 4196468 140723224712992 139858033867376 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18478] ppid=18463 vsize=14084804 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/18466/task/18478/stat : 18478 (java) S 18463 18466 17830 0 -1 1077944384 412 0 0 0 7 0 0 0 20 0 15 0 243620686 14422839296 22361 33554432000 4194304 4196468 140723224712992 139858032814576 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18479] ppid=18463 vsize=14084804 memory=694 CPUtime=0.15 cores=1,3,5,7
/proc/18466/task/18479/stat : 18479 (java) S 18463 18466 17830 0 -1 1077944384 412 0 0 0 15 0 0 0 20 0 15 0 243620686 14422839296 22361 33554432000 4194304 4196468 140723224712992 139858031762288 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18480] ppid=18463 vsize=14084804 memory=281031119113712 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18480/stat : 18480 (java) S 18463 18466 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620686 14422839296 22361 33554432000 4194304 4196468 140723224712992 139858030709728 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18481] ppid=18463 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18481/stat : 18481 (java) S 18463 18466 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620686 14422839296 22361 33554432000 4194304 4196468 140723224712992 139858029656496 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89444 KiB

[startup+1.50162 s]
/proc/loadavg: 1.27 1.41 1.33 7/215 18481
/proc/meminfo: memFree=24099912/32770624 swapFree=67108372/67108860
[pid=18466] ppid=18463 vsize=14086852 memory=226520 CPUtime=3.51 cores=1,3,5,7
/proc/18466/stat : 18466 (java) S 18463 18466 17830 0 -1 1077944320 24137 0 0 0 342 9 0 0 20 0 15 0 243620680 14424936448 56630 33554432000 4194304 4196468 140723224712992 140723224695536 139858856783607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
/proc/18466/statm: 3521713 56630 3550 1 0 3483785 0
[pid=18466/tid=18468] ppid=18463 vsize=14086852 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/18466/task/18468/stat : 18468 (java) R 18463 18466 17830 0 -1 4202560 16912 0 0 0 140 5 0 0 20 0 15 0 243620680 14424936448 56630 33554432000 4194304 4196468 140723224712992 139858861017712 139858451697639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18469] ppid=18463 vsize=14086852 memory=4947369790020557696 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18469/stat : 18469 (java) S 18463 18466 17830 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 15 0 243620681 14424936448 56630 33554432000 4194304 4196468 140723224712992 139858771852176 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18470] ppid=18463 vsize=14086852 memory=-6223234201447262562 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18470/stat : 18470 (java) S 18463 18466 17830 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 243620681 14424936448 56630 33554432000 4194304 4196468 140723224712992 139858770799376 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18471] ppid=18463 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18471/stat : 18471 (java) S 18463 18466 17830 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 243620681 14424936448 56630 33554432000 4194304 4196468 140723224712992 139858769747088 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18472] ppid=18463 vsize=14086852 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18472/stat : 18472 (java) S 18463 18466 17830 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 243620681 14424936448 56630 33554432000 4194304 4196468 140723224712992 139858768694288 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18473] ppid=18463 vsize=14086852 memory=-7160835945854358062 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18473/stat : 18473 (java) S 18463 18466 17830 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 243620683 14424936448 56630 33554432000 4194304 4196468 140723224712992 139858038077552 139858856794754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0

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

/proc/18466/task/18468/stat : 18468 (java) R 18463 18466 17830 0 -1 4202560 139865 0 0 0 235514 77 0 0 20 0 15 0 243620680 14429130752 83397 33554432000 4194304 4196468 140723224712992 139858861021648 139858456957143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18469] ppid=18463 vsize=14090948 memory=321008 CPUtime=14.98 cores=1,3,5,7
/proc/18466/task/18469/stat : 18469 (java) S 18463 18466 17830 0 -1 1077944384 18150 0 0 0 1423 75 0 0 20 0 15 0 243620681 14429130752 83397 33554432000 4194304 4196468 140723224712992 139858771852176 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18470] ppid=18463 vsize=14090948 memory=4100 CPUtime=15.03 cores=1,3,5,7
/proc/18466/task/18470/stat : 18470 (java) S 18463 18466 17830 0 -1 1077944384 21183 0 0 0 1434 69 0 0 20 0 15 0 243620681 14429130752 83397 33554432000 4194304 4196468 140723224712992 139858770799376 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18471] ppid=18463 vsize=14090948 memory=314860 CPUtime=15.04 cores=1,3,5,7
/proc/18466/task/18471/stat : 18471 (java) S 18463 18466 17830 0 -1 1077944384 16296 0 0 0 1434 70 0 0 20 0 15 0 243620681 14429130752 83397 33554432000 4194304 4196468 140723224712992 139858769747088 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18472] ppid=18463 vsize=14090948 memory=-7003737579269690708 CPUtime=15 cores=1,3,5,7
/proc/18466/task/18472/stat : 18472 (java) S 18463 18466 17830 0 -1 1077944384 16185 0 0 0 1430 70 0 0 20 0 15 0 243620681 14429130752 83397 33554432000 4194304 4196468 140723224712992 139858768694288 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18473] ppid=18463 vsize=14090948 memory=821 CPUtime=8.37 cores=1,3,5,7
/proc/18466/task/18473/stat : 18473 (java) S 18463 18466 17830 0 -1 1077944384 12081 0 0 0 741 96 0 0 20 0 15 0 243620683 14429130752 83397 33554432000 4194304 4196468 140723224712992 139858038077552 139858856794754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18474] ppid=18463 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18474/stat : 18474 (java) S 18463 18466 17830 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 243620683 14429130752 83397 33554432000 4194304 4196468 140723224712992 139858037023584 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18475] ppid=18463 vsize=14090948 memory=1497 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18475/stat : 18475 (java) S 18463 18466 17830 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 243620683 14429130752 83397 33554432000 4194304 4196468 140723224712992 139858035971200 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18476] ppid=18463 vsize=14090948 memory=1502 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18476/stat : 18476 (java) S 18463 18466 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620686 14429130752 83397 33554432000 4194304 4196468 140723224712992 139858034919504 139858856802203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18477] ppid=18463 vsize=14090948 memory=1502 CPUtime=2.86 cores=1,3,5,7
/proc/18466/task/18477/stat : 18477 (java) S 18463 18466 17830 0 -1 1077944384 8082 0 0 0 285 1 0 0 20 0 15 0 243620686 14429130752 83397 33554432000 4194304 4196468 140723224712992 139858033867376 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18478] ppid=18463 vsize=14090948 memory=1499 CPUtime=2.72 cores=1,3,5,7
/proc/18466/task/18478/stat : 18478 (java) S 18463 18466 17830 0 -1 1077944384 7353 0 0 0 270 2 0 0 20 0 15 0 243620686 14429130752 83397 33554432000 4194304 4196468 140723224712992 139858032814576 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18479] ppid=18463 vsize=14090948 memory=837 CPUtime=0.9 cores=1,3,5,7
/proc/18466/task/18479/stat : 18479 (java) S 18463 18466 17830 0 -1 1077944384 8943 0 0 0 89 1 0 0 20 0 15 0 243620686 14429130752 83397 33554432000 4194304 4196468 140723224712992 139858031762288 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18480] ppid=18463 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18480/stat : 18480 (java) S 18463 18466 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620686 14429130752 83397 33554432000 4194304 4196468 140723224712992 139858030709728 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18481] ppid=18463 vsize=14090948 memory=0 CPUtime=1.31 cores=1,3,5,7
/proc/18466/task/18481/stat : 18481 (java) S 18463 18466 17830 0 -1 1077944384 1129 0 0 0 54 77 0 0 20 0 15 0 243620686 14429130752 83397 33554432000 4194304 4196468 140723224712992 139858029656496 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
Current children cumulated CPU time: 2432.21 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 333588 KiB

[startup+2442.3 s]*
/proc/loadavg: 1.47 1.35 1.33 3/216 18584
/proc/meminfo: memFree=23807516/32770624 swapFree=67108372/67108860
[pid=18466] ppid=18463 vsize=14090948 memory=338528 CPUtime=2493.26 cores=1,3,5,7
/proc/18466/stat : 18466 (java) S 18463 18466 17830 0 -1 1077944320 258312 0 0 0 248843 483 0 0 20 0 15 0 243620680 14429130752 84632 33554432000 4194304 4196468 140723224712992 140723224695536 139858856783607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
/proc/18466/statm: 3522737 84632 3604 1 0 3484809 0
[pid=18466/tid=18468] ppid=18463 vsize=14090948 memory=347764 CPUtime=2415.24 cores=1,3,5,7
/proc/18466/task/18468/stat : 18468 (java) R 18463 18466 17830 0 -1 4202560 144877 0 0 0 241446 78 0 0 20 0 15 0 243620680 14429130752 84632 33554432000 4194304 4196468 140723224712992 139858861021648 139858456025331 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18469] ppid=18463 vsize=14090948 memory=-7003737579269690708 CPUtime=15.33 cores=1,3,5,7
/proc/18466/task/18469/stat : 18469 (java) S 18463 18466 17830 0 -1 1077944384 18654 0 0 0 1456 77 0 0 20 0 15 0 243620681 14429130752 84632 33554432000 4194304 4196468 140723224712992 139858771852176 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18470] ppid=18463 vsize=14090948 memory=5540 CPUtime=15.39 cores=1,3,5,7
/proc/18466/task/18470/stat : 18470 (java) S 18463 18466 17830 0 -1 1077944384 21826 0 0 0 1469 70 0 0 20 0 15 0 243620681 14429130752 84632 33554432000 4194304 4196468 140723224712992 139858770799376 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18471] ppid=18463 vsize=14090948 memory=4400 CPUtime=15.4 cores=1,3,5,7
/proc/18466/task/18471/stat : 18471 (java) S 18463 18466 17830 0 -1 1077944384 16901 0 0 0 1467 73 0 0 20 0 15 0 243620681 14429130752 84632 33554432000 4194304 4196468 140723224712992 139858769747088 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18472] ppid=18463 vsize=14090948 memory=1620 CPUtime=15.37 cores=1,3,5,7
/proc/18466/task/18472/stat : 18472 (java) S 18463 18466 17830 0 -1 1077944384 16804 0 0 0 1465 72 0 0 20 0 15 0 243620681 14429130752 84632 33554432000 4194304 4196468 140723224712992 139858768694288 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18473] ppid=18463 vsize=14090948 memory=1220 CPUtime=8.62 cores=1,3,5,7
/proc/18466/task/18473/stat : 18473 (java) S 18463 18466 17830 0 -1 1077944384 12300 0 0 0 763 99 0 0 20 0 15 0 243620683 14429130752 84632 33554432000 4194304 4196468 140723224712992 139858038077552 139858856794754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18474] ppid=18463 vsize=14090948 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18474/stat : 18474 (java) S 18463 18466 17830 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 243620683 14429130752 84632 33554432000 4194304 4196468 140723224712992 139858037023584 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18475] ppid=18463 vsize=14090948 memory=868 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18475/stat : 18475 (java) S 18463 18466 17830 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 243620683 14429130752 84632 33554432000 4194304 4196468 140723224712992 139858035971200 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18476] ppid=18463 vsize=14090948 memory=6540 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18476/stat : 18476 (java) S 18463 18466 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620686 14429130752 84632 33554432000 4194304 4196468 140723224712992 139858034919504 139858856802203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18477] ppid=18463 vsize=14090948 memory=11628 CPUtime=2.86 cores=1,3,5,7
/proc/18466/task/18477/stat : 18477 (java) S 18463 18466 17830 0 -1 1077944384 8084 0 0 0 285 1 0 0 20 0 15 0 243620686 14429130752 84632 33554432000 4194304 4196468 140723224712992 139858033867376 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18478] ppid=18463 vsize=14090948 memory=752 CPUtime=2.72 cores=1,3,5,7
/proc/18466/task/18478/stat : 18478 (java) S 18463 18466 17830 0 -1 1077944384 7355 0 0 0 270 2 0 0 20 0 15 0 243620686 14429130752 84632 33554432000 4194304 4196468 140723224712992 139858032814576 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18479] ppid=18463 vsize=14090948 memory=1276 CPUtime=0.9 cores=1,3,5,7
/proc/18466/task/18479/stat : 18479 (java) S 18463 18466 17830 0 -1 1077944384 8945 0 0 0 89 1 0 0 20 0 15 0 243620686 14429130752 84632 33554432000 4194304 4196468 140723224712992 139858031762288 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18480] ppid=18463 vsize=14090948 memory=1068 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18480/stat : 18480 (java) S 18463 18466 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620686 14429130752 84632 33554432000 4194304 4196468 140723224712992 139858030709728 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18481] ppid=18463 vsize=14090948 memory=14884 CPUtime=1.33 cores=1,3,5,7
/proc/18466/task/18481/stat : 18481 (java) S 18463 18466 17830 0 -1 1077944384 1144 0 0 0 55 78 0 0 20 0 15 0 243620686 14429130752 84632 33554432000 4194304 4196468 140723224712992 139858029656496 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 49 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
Current children cumulated CPU time: 2493.26 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 338528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2468.6 s]
/proc/loadavg: 1.17 1.29 1.31 3/216 18585
/proc/meminfo: memFree=23820140/32770624 swapFree=67108372/67108860
[pid=18466] ppid=18463 vsize=14090948 memory=324436 CPUtime=2520.05 cores=1,3,5,7
/proc/18466/stat : 18466 (java) S 18463 18466 17830 0 -1 1077944320 261590 0 0 0 251518 487 0 0 20 0 15 0 243620680 14429130752 81109 33554432000 4194304 4196468 140723224712992 140723224695536 139858856783607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
/proc/18466/statm: 3522737 81109 3604 1 0 3484809 0
[pid=18466/tid=18468] ppid=18463 vsize=14090948 memory=3812 CPUtime=2441.23 cores=1,3,5,7
/proc/18466/task/18468/stat : 18468 (java) R 18463 18466 17830 0 -1 4202560 147373 0 0 0 244045 78 0 0 20 0 15 0 243620680 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858861021904 139858456368452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18469] ppid=18463 vsize=14090948 memory=1220 CPUtime=15.49 cores=1,3,5,7
/proc/18466/task/18469/stat : 18469 (java) S 18463 18466 17830 0 -1 1077944384 18829 0 0 0 1472 77 0 0 20 0 15 0 243620681 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858771852176 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18470] ppid=18463 vsize=14090948 memory=281031120168544 CPUtime=15.56 cores=1,3,5,7
/proc/18466/task/18470/stat : 18470 (java) S 18463 18466 17830 0 -1 1077944384 22021 0 0 0 1485 71 0 0 20 0 15 0 243620681 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858770799376 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18471] ppid=18463 vsize=14090948 memory=319552 CPUtime=15.57 cores=1,3,5,7
/proc/18466/task/18471/stat : 18471 (java) S 18463 18466 17830 0 -1 1077944384 17080 0 0 0 1484 73 0 0 20 0 15 0 243620681 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858769747088 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18472] ppid=18463 vsize=14090948 memory=313396 CPUtime=15.53 cores=1,3,5,7
/proc/18466/task/18472/stat : 18472 (java) S 18463 18466 17830 0 -1 1077944384 17022 0 0 0 1481 72 0 0 20 0 15 0 243620681 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858768694288 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18473] ppid=18463 vsize=14090948 memory=3316 CPUtime=8.73 cores=1,3,5,7
/proc/18466/task/18473/stat : 18473 (java) S 18463 18466 17830 0 -1 1077944384 12313 0 0 0 773 100 0 0 20 0 15 0 243620683 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858038077552 139858856794754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18474] ppid=18463 vsize=14090948 memory=327516 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18474/stat : 18474 (java) S 18463 18466 17830 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 243620683 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858037023584 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18475] ppid=18463 vsize=14090948 memory=325464 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18475/stat : 18475 (java) S 18463 18466 17830 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 243620683 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858035971200 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18476] ppid=18463 vsize=14090948 memory=324436 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18476/stat : 18476 (java) S 18463 18466 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620686 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858034919504 139858856802203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18477] ppid=18463 vsize=14090948 memory=325464 CPUtime=2.86 cores=1,3,5,7
/proc/18466/task/18477/stat : 18477 (java) S 18463 18466 17830 0 -1 1077944384 8084 0 0 0 285 1 0 0 20 0 15 0 243620686 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858033867376 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18478] ppid=18463 vsize=14090948 memory=1752 CPUtime=2.72 cores=1,3,5,7
/proc/18466/task/18478/stat : 18478 (java) S 18463 18466 17830 0 -1 1077944384 7355 0 0 0 270 2 0 0 20 0 15 0 243620686 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858032814576 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18479] ppid=18463 vsize=14090948 memory=324952 CPUtime=0.9 cores=1,3,5,7
/proc/18466/task/18479/stat : 18479 (java) S 18463 18466 17830 0 -1 1077944384 8945 0 0 0 89 1 0 0 20 0 15 0 243620686 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858031762288 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18480] ppid=18463 vsize=14090948 memory=324952 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18480/stat : 18480 (java) S 18463 18466 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620686 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858030709728 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18481] ppid=18463 vsize=14090948 memory=6791534058613427641 CPUtime=1.35 cores=1,3,5,7
/proc/18466/task/18481/stat : 18481 (java) S 18463 18466 17830 0 -1 1077944384 1146 0 0 0 56 79 0 0 20 0 15 0 243620686 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858029656496 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 49 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 324436 KiB

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

[startup+2468.61 s]
# the end of solver process 18466 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.19 s, system=4.88066 s

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

[startup+2468.6 s]
/proc/loadavg: 1.17 1.29 1.31 3/216 18585
/proc/meminfo: memFree=23820140/32770624 swapFree=67108372/67108860
[pid=18466] ppid=18463 vsize=14090948 memory=324436 CPUtime=2520.05 cores=1,3,5,7
/proc/18466/stat : 18466 (java) S 18463 18466 17830 0 -1 1077944320 261590 0 0 0 251518 487 0 0 20 0 15 0 243620680 14429130752 81109 33554432000 4194304 4196468 140723224712992 140723224695536 139858856783607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
/proc/18466/statm: 3522737 81109 3604 1 0 3484809 0
[pid=18466/tid=18468] ppid=18463 vsize=14090948 memory=3812 CPUtime=2441.23 cores=1,3,5,7
/proc/18466/task/18468/stat : 18468 (java) R 18463 18466 17830 0 -1 4202560 147373 0 0 0 244045 78 0 0 20 0 15 0 243620680 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858861021904 139858456368452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18469] ppid=18463 vsize=14090948 memory=1220 CPUtime=15.49 cores=1,3,5,7
/proc/18466/task/18469/stat : 18469 (java) S 18463 18466 17830 0 -1 1077944384 18829 0 0 0 1472 77 0 0 20 0 15 0 243620681 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858771852176 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18470] ppid=18463 vsize=14090948 memory=281031120168544 CPUtime=15.56 cores=1,3,5,7
/proc/18466/task/18470/stat : 18470 (java) S 18463 18466 17830 0 -1 1077944384 22021 0 0 0 1485 71 0 0 20 0 15 0 243620681 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858770799376 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18471] ppid=18463 vsize=14090948 memory=319552 CPUtime=15.57 cores=1,3,5,7
/proc/18466/task/18471/stat : 18471 (java) S 18463 18466 17830 0 -1 1077944384 17080 0 0 0 1484 73 0 0 20 0 15 0 243620681 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858769747088 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18472] ppid=18463 vsize=14090948 memory=313396 CPUtime=15.53 cores=1,3,5,7
/proc/18466/task/18472/stat : 18472 (java) S 18463 18466 17830 0 -1 1077944384 17022 0 0 0 1481 72 0 0 20 0 15 0 243620681 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858768694288 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18473] ppid=18463 vsize=14090948 memory=3316 CPUtime=8.73 cores=1,3,5,7
/proc/18466/task/18473/stat : 18473 (java) S 18463 18466 17830 0 -1 1077944384 12313 0 0 0 773 100 0 0 20 0 15 0 243620683 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858038077552 139858856794754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18474] ppid=18463 vsize=14090948 memory=327516 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18474/stat : 18474 (java) S 18463 18466 17830 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 243620683 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858037023584 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18475] ppid=18463 vsize=14090948 memory=325464 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18475/stat : 18475 (java) S 18463 18466 17830 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 243620683 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858035971200 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18476] ppid=18463 vsize=14090948 memory=324436 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18476/stat : 18476 (java) S 18463 18466 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620686 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858034919504 139858856802203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18477] ppid=18463 vsize=14090948 memory=325464 CPUtime=2.86 cores=1,3,5,7
/proc/18466/task/18477/stat : 18477 (java) S 18463 18466 17830 0 -1 1077944384 8084 0 0 0 285 1 0 0 20 0 15 0 243620686 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858033867376 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18478] ppid=18463 vsize=14090948 memory=1752 CPUtime=2.72 cores=1,3,5,7
/proc/18466/task/18478/stat : 18478 (java) S 18463 18466 17830 0 -1 1077944384 7355 0 0 0 270 2 0 0 20 0 15 0 243620686 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858032814576 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18479] ppid=18463 vsize=14090948 memory=324952 CPUtime=0.9 cores=1,3,5,7
/proc/18466/task/18479/stat : 18479 (java) S 18463 18466 17830 0 -1 1077944384 8945 0 0 0 89 1 0 0 20 0 15 0 243620686 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858031762288 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18480] ppid=18463 vsize=14090948 memory=324952 CPUtime=0 cores=1,3,5,7
/proc/18466/task/18480/stat : 18480 (java) S 18463 18466 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620686 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858030709728 139858856793813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
[pid=18466/tid=18481] ppid=18463 vsize=14090948 memory=6791534058613427641 CPUtime=1.35 cores=1,3,5,7
/proc/18466/task/18481/stat : 18481 (java) S 18463 18466 17830 0 -1 1077944384 1146 0 0 0 56 79 0 0 20 0 15 0 243620686 14429130752 81109 33554432000 4194304 4196468 140723224712992 139858029656496 139858856794754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 49 0 0 6293624 6294260 19701760 140723224716369 140723224716553 140723224716553 140723224719311 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 324436 KiB

Child status: 143
Real time (s): 2468.61
CPU time (s): 2520.07
CPU user time (s): 2515.19
CPU system time (s): 4.88066
CPU usage (%): 102.085
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 1147524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.19
system time used= 4.88066
maximum resident set size= 1149572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261840
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 271712
involuntary context switches= 6742


# summary of solver processes directly reported to runsolver:
#   pid: 18466
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2515.19
#   total CPU system time (s): 4.88066

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3771 second user time and 23.8954 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-14 17:29:35
IDJOB=4307662
IDBENCH=141384
IDSOLVER=2790
FILE ID=node137/4307662-1534260575
RUNJOBID= node137-1534258056-17862
PBS_JOBID= 21038120
Free space on /tmp= 29252 MiB

SOLVER NAME= OscaR - Conflict Ordering 2018-08-14
BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-5-5-7-cp_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307662-1534260575/watcher-4307662-1534260575 -o /tmp/evaluation-result-4307662-1534260575/solver-4307662-1534260575 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534258056-17862 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 782521504 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307662-1534260575.xml

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

MD5SUM BENCH= 3c85bec313e0e9ed0b53ce41ef97f039
RANDOM SEED=782521504

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24359504 kB
MemAvailable:   31787444 kB
Buffers:          135940 kB
Cached:          7501572 kB
SwapCached:            8 kB
Active:          4070372 kB
Inactive:        3739372 kB
Active(anon):     119392 kB
Inactive(anon):   105164 kB
Active(file):    3950980 kB
Inactive(file):  3634208 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:             72816 kB
Writeback:             0 kB
AnonPages:        165220 kB
Mapped:            68244 kB
Shmem:             49624 kB
Slab:             299900 kB
SReclaimable:     271212 kB
SUnreclaim:        28688 kB
KernelStack:        3504 kB
PageTables:         5684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1316404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 29216 MiB
End job on node137 at 2018-08-14 18:10:44