Trace number 4273695

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
OscaR - Conflict Ordering 2017-07-26? (TO) 2520.0601 2512.9099

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-030-20-6.xml
MD5SUM38bce9c8c5d0642f93f0794d9598dc6e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables630
Number of constraints650
Number of domains1
Minimum domain size2047
Maximum domain size2047
Distribution of domain sizes[{"size":2047,"count":630}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":600}]
Minimum constraint arity1
Maximum constraint arity30
Distribution of constraint arities[{"arity":1,"count":30},{"arity":2,"count":600},{"arity":30,"count":20}]
Number of extensional constraints0
Number of intensional constraints630
Distribution of constraint types[{"type":"intension","count":630},{"type":"noOverlap","count":20}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data

0.23/0.40	c version: 2017-07-26
0.23/0.40	c seed: 282945171
0.23/0.40	c timeout: 2520
0.23/0.40	c memlimit: 11000
0.23/0.40	c nbcore: 4
0.41/0.42	c Parsing instance...
2.98/1.43	c Parsing done, starting search...
2520.05/2512.90	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 (15123 MiB free)
  memory of node 1: 16384 MiB (15409 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273695-1502673456/watcher-4273695-1502673456 -o /tmp/evaluation-result-4273695-1502673456/solver-4273695-1502673456 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 282945171 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273695-1502673456.xml 

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

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


[startup+0.100014 s]*
/proc/loadavg: 1.52 1.41 1.42 3/187 9403
/proc/meminfo: memFree=31286276/32770624 swapFree=67108860/67108860
[pid=9396] ppid=9391 vsize=13358552 memory=16448 CPUtime=0.01 cores=1,3,5,7
/proc/9396/stat : 9396 (java) S 9391 9396 8289 0 -1 1077944320 3441 0 0 0 1 0 0 0 20 0 6 0 115160798 13679157248 4112 18446744073709551615 4194304 4196468 140730215971920 140730215954464 140612708302583 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
/proc/9396/statm: 3339638 4112 1913 1 0 3329135 0
[pid=9396/tid=9398] ppid=9391 vsize=13358552 memory=-7101461154772925597 CPUtime=0.01 cores=1,3,5,7
/proc/9396/task/9398/stat : 9398 (java) R 9391 9396 8289 0 -1 4202560 2142 0 0 0 1 0 0 0 20 0 6 0 115160807 13679157248 4112 18446744073709551615 4194304 4196468 140730215971920 140612712538704 140612692739468 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9400] ppid=9391 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9400/stat : 9400 (java) S 9391 9396 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 115160807 13679157248 4112 18446744073709551615 4194304 4196468 140730215971920 140612669201040 140612708312789 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9401] ppid=9391 vsize=13358552 memory=139743349794432 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9401/stat : 9401 (java) S 9391 9396 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 115160807 13679157248 4112 18446744073709551615 4194304 4196468 140730215971920 140612668148240 140612708312789 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9402] ppid=9391 vsize=13364720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9402/stat : 9402 (java) S 9391 9396 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 115160807 13685473280 4112 18446744073709551615 4194304 4196468 140730215971920 140612667095440 140612708312789 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9403] ppid=9391 vsize=13368832 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9403/stat : 9403 (java) S 9391 9396 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 115160807 13689683968 4178 18446744073709551615 4194304 4196468 140730215971920 140612305611024 140612708312789 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 16448 KiB

[startup+0.209862 s]*
/proc/loadavg: 1.52 1.41 1.42 2/195 9413
/proc/meminfo: memFree=31297040/32770624 swapFree=67108860/67108860
[pid=9396] ppid=9391 vsize=13975920 memory=26376 CPUtime=0.07 cores=1,3,5,7
/proc/9396/stat : 9396 (java) S 9391 9396 8289 0 -1 1077944320 6418 0 0 0 6 1 0 0 20 0 15 0 115160798 14311342080 6594 18446744073709551615 4194304 4196468 140730215971920 140730215954464 140612708302583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
/proc/9396/statm: 3493980 6594 3260 1 0 3482759 0
[pid=9396/tid=9398] ppid=9391 vsize=13975920 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/9396/task/9398/stat : 9398 (java) R 9391 9396 8289 0 -1 4202560 4537 0 0 0 5 1 0 0 20 0 15 0 115160807 14311342080 6660 18446744073709551615 4194304 4196468 140730215971920 140612712544864 140612708314518 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9400] ppid=9391 vsize=13975920 memory=139743349801425 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9400/stat : 9400 (java) S 9391 9396 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115160807 14311342080 6660 18446744073709551615 4194304 4196468 140730215971920 140612669201040 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9401] ppid=9391 vsize=13975920 memory=139743349794432 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9401/stat : 9401 (java) S 9391 9396 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115160807 14311342080 6660 18446744073709551615 4194304 4196468 140730215971920 140612668148240 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9402] ppid=9391 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9402/stat : 9402 (java) S 9391 9396 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115160807 14311342080 6660 18446744073709551615 4194304 4196468 140730215971920 140612667095440 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9403] ppid=9391 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9403/stat : 9403 (java) S 9391 9396 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115160807 14311342080 6660 18446744073709551615 4194304 4196468 140730215971920 140612305611024 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9405] ppid=9391 vsize=13975920 memory=139743349794432 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9405/stat : 9405 (java) S 9391 9396 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115160809 14311342080 6660 18446744073709551615 4194304 4196468 140730215971920 140612186626928 140612708313730 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9406] ppid=9391 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9406/stat : 9406 (java) S 9391 9396 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115160809 14311342080 6660 18446744073709551615 4194304 4196468 140730215971920 140612185572896 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9407] ppid=9391 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9407/stat : 9407 (java) S 9391 9396 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115160809 14311342080 6660 18446744073709551615 4194304 4196468 140730215971920 140612184520048 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9408] ppid=9391 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9408/stat : 9408 (java) S 9391 9396 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115160812 14311342080 6660 18446744073709551615 4194304 4196468 140730215971920 140612183468368 140612708321179 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9409] ppid=9391 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9409/stat : 9409 (java) S 9391 9396 8289 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 115160812 14311342080 6660 18446744073709551615 4194304 4196468 140730215971920 140612182415728 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9410] ppid=9391 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9410/stat : 9410 (java) S 9391 9396 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115160812 14311342080 6660 18446744073709551615 4194304 4196468 140730215971920 140612181362928 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9411] ppid=9391 vsize=13975920 memory=139743349794432 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9411/stat : 9411 (java) R 9391 9396 8289 0 -1 4202560 240 0 0 0 0 0 0 0 20 0 15 0 115160812 14311342080 6660 18446744073709551615 4194304 4196468 140730215971920 140612180310128 140612688638096 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9412] ppid=9391 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9412/stat : 9412 (java) S 9391 9396 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115160812 14311342080 6660 18446744073709551615 4194304 4196468 140730215971920 140612179257568 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9413] ppid=9391 vsize=13975920 memory=139743349794432 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9413/stat : 9413 (java) S 9391 9396 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115160818 14311342080 6660 18446744073709551615 4194304 4196468 140730215971920 140612178205872 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 26376 KiB

[startup+0.312037 s]*
/proc/loadavg: 1.52 1.41 1.42 2/196 9414
/proc/meminfo: memFree=31282708/32770624 swapFree=67108860/67108860
[pid=9396] ppid=9391 vsize=13975920 memory=39144 CPUtime=0.23 cores=1,3,5,7
/proc/9396/stat : 9396 (java) S 9391 9396 8289 0 -1 1077944320 9960 0 0 0 20 3 0 0 20 0 15 0 115160798 14311342080 9786 18446744073709551615 4194304 4196468 140730215971920 140730215954464 140612708302583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
/proc/9396/statm: 3493980 9786 3555 1 0 3482759 0
[pid=9396/tid=9398] ppid=9391 vsize=13975920 memory=-8412656575859357338 CPUtime=0.15 cores=1,3,5,7
/proc/9396/task/9398/stat : 9398 (java) R 9391 9396 8289 0 -1 4202560 7673 0 0 0 13 2 0 0 20 0 15 0 115160807 14311342080 9786 18446744073709551615 4194304 4196468 140730215971920 140612712522960 140612692383070 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9400] ppid=9391 vsize=13975920 memory=7681649517364344339 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9400/stat : 9400 (java) S 9391 9396 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115160807 14311342080 9786 18446744073709551615 4194304 4196468 140730215971920 140612669201040 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9401] ppid=9391 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9401/stat : 9401 (java) S 9391 9396 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115160807 14311342080 9786 18446744073709551615 4194304 4196468 140730215971920 140612668148240 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9402] ppid=9391 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9402/stat : 9402 (java) S 9391 9396 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115160807 14311342080 9786 18446744073709551615 4194304 4196468 140730215971920 140612667095440 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9403] ppid=9391 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9403/stat : 9403 (java) S 9391 9396 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115160807 14311342080 9786 18446744073709551615 4194304 4196468 140730215971920 140612305611024 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9405] ppid=9391 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9405/stat : 9405 (java) S 9391 9396 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 115160809 14311342080 9786 18446744073709551615 4194304 4196468 140730215971920 140612186626928 140612708313730 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9406] ppid=9391 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9406/stat : 9406 (java) S 9391 9396 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115160809 14311342080 9786 18446744073709551615 4194304 4196468 140730215971920 140612185572896 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9407] ppid=9391 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9407/stat : 9407 (java) S 9391 9396 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115160809 14311342080 9786 18446744073709551615 4194304 4196468 140730215971920 140612184520048 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9408] ppid=9391 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9408/stat : 9408 (java) S 9391 9396 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115160812 14311342080 9786 18446744073709551615 4194304 4196468 140730215971920 140612183468368 140612708321179 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9409] ppid=9391 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9396/task/9409/stat : 9409 (java) S 9391 9396 8289 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 15 0 115160812 14311342080 9786 18446744073709551615 4194304 4196468 140730215971920 140612182415728 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9410] ppid=9391 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9410/stat : 9410 (java) S 9391 9396 8289 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 115160812 14311342080 9786 18446744073709551615 4194304 4196468 140730215971920 140612181362928 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9411] ppid=9391 vsize=13975920 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9396/task/9411/stat : 9411 (java) R 9391 9396 8289 0 -1 4202560 410 0 0 0 4 0 0 0 20 0 15 0 115160812 14311342080 9786 18446744073709551615 4194304 4196468 140730215971920 140612180310128 140612686894705 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9412] ppid=9391 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9412/stat : 9412 (java) S 9391 9396 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115160812 14311342080 9786 18446744073709551615 4194304 4196468 140730215971920 140612179257568 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9413] ppid=9391 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9413/stat : 9413 (java) S 9391 9396 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115160818 14311342080 9786 18446744073709551615 4194304 4196468 140730215971920 140612178205872 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39144 KiB

[startup+0.702725 s]
/proc/loadavg: 1.52 1.41 1.42 3/195 9418
/proc/meminfo: memFree=31227592/32770624 swapFree=67108860/67108860
[pid=9396] ppid=9391 vsize=13977988 memory=66624 CPUtime=1.01 cores=1,3,5,7
/proc/9396/stat : 9396 (java) S 9391 9396 8289 0 -1 1077944320 13863 0 0 0 96 5 0 0 20 0 15 0 115160798 14313459712 16656 18446744073709551615 4194304 4196468 140730215971920 140730215954464 140612708302583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
/proc/9396/statm: 3494497 16656 3724 1 0 3483271 0
[pid=9396/tid=9398] ppid=9391 vsize=13977988 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/9396/task/9398/stat : 9398 (java) R 9391 9396 8289 0 -1 4202560 10311 0 0 0 50 4 0 0 20 0 15 0 115160807 14313459712 16656 18446744073709551615 4194304 4196468 140730215971920 140612712538096 140612347178443 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9400] ppid=9391 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9400/stat : 9400 (java) S 9391 9396 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115160807 14313459712 16656 18446744073709551615 4194304 4196468 140730215971920 140612669201040 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9401] ppid=9391 vsize=13977988 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9401/stat : 9401 (java) S 9391 9396 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115160807 14313459712 16656 18446744073709551615 4194304 4196468 140730215971920 140612668148240 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9402] ppid=9391 vsize=13977988 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9402/stat : 9402 (java) S 9391 9396 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115160807 14313459712 16656 18446744073709551615 4194304 4196468 140730215971920 140612667095440 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9403] ppid=9391 vsize=13977988 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9403/stat : 9403 (java) S 9391 9396 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115160807 14313459712 16656 18446744073709551615 4194304 4196468 140730215971920 140612305611024 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9405] ppid=9391 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9405/stat : 9405 (java) S 9391 9396 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 115160809 14313459712 16656 18446744073709551615 4194304 4196468 140730215971920 140612186626928 140612708313730 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9406] ppid=9391 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9406/stat : 9406 (java) S 9391 9396 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115160809 14313459712 16656 18446744073709551615 4194304 4196468 140730215971920 140612185572896 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9407] ppid=9391 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9407/stat : 9407 (java) S 9391 9396 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115160809 14313459712 16656 18446744073709551615 4194304 4196468 140730215971920 140612184520048 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9408] ppid=9391 vsize=13977988 memory=19265 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9408/stat : 9408 (java) S 9391 9396 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115160812 14313459712 16656 18446744073709551615 4194304 4196468 140730215971920 140612183468368 140612708321179 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9409] ppid=9391 vsize=13977988 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9396/task/9409/stat : 9409 (java) R 9391 9396 8289 0 -1 4202560 712 0 0 0 12 0 0 0 20 0 15 0 115160812 14313459712 16656 18446744073709551615 4194304 4196468 140730215971920 140612182406560 140612694324762 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9410] ppid=9391 vsize=13977988 memory=7524860340579717849 CPUtime=0.11 cores=1,3,5,7
/proc/9396/task/9410/stat : 9410 (java) R 9391 9396 8289 0 -1 4202560 625 0 0 0 11 0 0 0 20 0 15 0 115160812 14313459712 16656 18446744073709551615 4194304 4196468 140730215971920 140612181362928 140612693090368 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9411] ppid=9391 vsize=13977988 memory=6944656592387989600 CPUtime=0.22 cores=1,3,5,7
/proc/9396/task/9411/stat : 9411 (java) R 9391 9396 8289 0 -1 1077944384 833 0 0 0 22 0 0 0 20 0 15 0 115160812 14313459712 16656 18446744073709551615 4194304 4196468 140730215971920 140612180305008 140612708312789 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9412] ppid=9391 vsize=13977988 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9412/stat : 9412 (java) S 9391 9396 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115160812 14313459712 16656 18446744073709551615 4194304 4196468 140730215971920 140612179257568 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9413] ppid=9391 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9413/stat : 9413 (java) S 9391 9396 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115160818 14313459712 16656 18446744073709551615 4194304 4196468 140730215971920 140612178205872 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 66624 KiB

[startup+1.50088 s]
/proc/loadavg: 1.52 1.41 1.42 6/215 9442
/proc/meminfo: memFree=31149124/32770624 swapFree=67108860/67108860
[pid=9396] ppid=9391 vsize=13982084 memory=142736 CPUtime=3.3 cores=1,3,5,7
/proc/9396/stat : 9396 (java) S 9391 9396 8289 0 -1 1077944320 30600 0 0 0 320 10 0 0 20 0 15 0 115160798 14317654016 35684 18446744073709551615 4194304 4196468 140730215971920 140730215954464 140612708302583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
/proc/9396/statm: 3495521 35684 3775 1 0 3484295 0
[pid=9396/tid=9398] ppid=9391 vsize=13982084 memory=6720696446780543624 CPUtime=1.32 cores=1,3,5,7
/proc/9396/task/9398/stat : 9398 (java) R 9391 9396 8289 0 -1 4202560 15578 0 0 0 126 6 0 0 20 0 15 0 115160807 14317654016 35684 18446744073709551615 4194304 4196468 140730215971920 140612712540536 140612354720554 0 4 1 16800974 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9400] ppid=9391 vsize=13982084 memory=7452725458113881450 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9400/stat : 9400 (java) S 9391 9396 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115160807 14317654016 35684 18446744073709551615 4194304 4196468 140730215971920 140612669201040 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9401] ppid=9391 vsize=13982084 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9401/stat : 9401 (java) S 9391 9396 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115160807 14317654016 35684 18446744073709551615 4194304 4196468 140730215971920 140612668148240 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9402] ppid=9391 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9402/stat : 9402 (java) S 9391 9396 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115160807 14317654016 35684 18446744073709551615 4194304 4196468 140730215971920 140612667095440 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9403] ppid=9391 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9403/stat : 9403 (java) S 9391 9396 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115160807 14317654016 35684 18446744073709551615 4194304 4196468 140730215971920 140612305611024 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9405] ppid=9391 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9405/stat : 9405 (java) S 9391 9396 8289 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 115160809 14317654016 35684 18446744073709551615 4194304 4196468 140730215971920 140612186626928 140612708313730 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9406] ppid=9391 vsize=13982084 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9406/stat : 9406 (java) S 9391 9396 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115160809 14317654016 35684 18446744073709551615 4194304 4196468 140730215971920 140612185572896 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9407] ppid=9391 vsize=13982084 memory=3912 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9407/stat : 9407 (java) S 9391 9396 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115160809 14317654016 35684 18446744073709551615 4194304 4196468 140730215971920 140612184520048 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9408] ppid=9391 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9408/stat : 9408 (java) S 9391 9396 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115160812 14317654016 35684 18446744073709551615 4194304 4196468 140730215971920 140612183468368 140612708321179 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9409] ppid=9391 vsize=13982084 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/9396/task/9409/stat : 9409 (java) R 9391 9396 8289 0 -1 4202560 3358 0 0 0 60 0 0 0 20 0 15 0 115160812 14317654016 35684 18446744073709551615 4194304 4196468 140730215971920 140612182415728 140612687535185 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9410] ppid=9391 vsize=13982084 memory=279486407390016 CPUtime=0.62 cores=1,3,5,7
/proc/9396/task/9410/stat : 9410 (java) R 9391 9396 8289 0 -1 4202560 2614 0 0 0 61 1 0 0 20 0 15 0 115160812 14317654016 35684 18446744073709551615 4194304 4196468 140730215971920 140612181362928 140612686279159 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9411] ppid=9391 vsize=13982084 memory=7302135314614015847 CPUtime=0.71 cores=1,3,5,7
/proc/9396/task/9411/stat : 9411 (java) S 9391 9396 8289 0 -1 1077944384 7583 0 0 0 70 1 0 0 20 0 15 0 115160812 14317654016 35684 18446744073709551615 4194304 4196468 140730215971920 140612180310128 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9412] ppid=9391 vsize=13982084 memory=4639098309541127527 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9412/stat : 9412 (java) S 9391 9396 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115160812 14317654016 35684 18446744073709551615 4194304 4196468 140730215971920 140612179257568 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9413] ppid=9391 vsize=13982084 memory=7014751519633397329 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9413/stat : 9413 (java) S 9391 9396 8289 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 115160818 14317654016 35684 18446744073709551615 4194304 4196468 140730215971920 140612178205872 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
Current children cumulated CPU time: 3.3 s
Current children cumulated vsize: 13982084 KiB

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

/proc/9396/task/9398/stat : 9398 (java) R 9391 9396 8289 0 -1 4202560 24847 0 0 0 244087 11 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612712540960 140612357604182 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9400] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.4 cores=1,3,5,7
/proc/9396/task/9400/stat : 9400 (java) S 9391 9396 8289 0 -1 1077944384 2151 0 0 0 36 4 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612669201040 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9401] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.4 cores=1,3,5,7
/proc/9396/task/9401/stat : 9401 (java) S 9391 9396 8289 0 -1 1077944384 2081 0 0 0 36 4 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612668148240 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9402] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.4 cores=1,3,5,7
/proc/9396/task/9402/stat : 9402 (java) S 9391 9396 8289 0 -1 1077944384 2619 0 0 0 35 5 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612667095440 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9403] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.4 cores=1,3,5,7
/proc/9396/task/9403/stat : 9403 (java) S 9391 9396 8289 0 -1 1077944384 2217 0 0 0 36 4 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612305611024 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9405] ppid=9391 vsize=13982084 memory=55 CPUtime=0.51 cores=1,3,5,7
/proc/9396/task/9405/stat : 9405 (java) S 9391 9396 8289 0 -1 1077944384 5488 0 0 0 46 5 0 0 20 0 15 0 115160809 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612186626928 140612708313730 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9406] ppid=9391 vsize=13982084 memory=193708 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9406/stat : 9406 (java) S 9391 9396 8289 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 115160809 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612185572960 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9407] ppid=9391 vsize=13982084 memory=193708 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9407/stat : 9407 (java) S 9391 9396 8289 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 115160809 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612184520064 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9408] ppid=9391 vsize=13982084 memory=193708 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9408/stat : 9408 (java) S 9391 9396 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612183468368 140612708321179 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9409] ppid=9391 vsize=13982084 memory=193708 CPUtime=2.44 cores=1,3,5,7
/proc/9396/task/9409/stat : 9409 (java) S 9391 9396 8289 0 -1 1077944384 10591 0 0 0 242 2 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612182415728 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9410] ppid=9391 vsize=13982084 memory=193708 CPUtime=2.46 cores=1,3,5,7
/proc/9396/task/9410/stat : 9410 (java) S 9391 9396 8289 0 -1 1077944384 11040 0 0 0 244 2 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612181362928 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9411] ppid=9391 vsize=13982084 memory=15880 CPUtime=0.83 cores=1,3,5,7
/proc/9396/task/9411/stat : 9411 (java) S 9391 9396 8289 0 -1 1077944384 10806 0 0 0 81 2 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612180310128 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9412] ppid=9391 vsize=13982084 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9412/stat : 9412 (java) S 9391 9396 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612179257568 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9413] ppid=9391 vsize=13982084 memory=288230617509003574 CPUtime=0.48 cores=1,3,5,7
/proc/9396/task/9413/stat : 9413 (java) S 9391 9396 8289 0 -1 1077944384 719 0 0 0 18 30 0 0 20 0 15 0 115160818 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612178205872 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
Current children cumulated CPU time: 2449.4 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 193708 KiB

[startup+2502.3 s]
/proc/loadavg: 1.02 1.38 1.49 3/213 9650
/proc/meminfo: memFree=30879432/32770624 swapFree=67108860/67108860
[pid=9396] ppid=9391 vsize=13982084 memory=193708 CPUtime=2509.43 cores=1,3,5,7
/proc/9396/stat : 9396 (java) S 9391 9396 8289 0 -1 1077944320 74049 0 0 0 250886 57 0 0 20 0 15 0 115160798 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140730215954464 140612708302583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
/proc/9396/statm: 3495521 48427 3801 1 0 3484295 0
[pid=9396/tid=9398] ppid=9391 vsize=13982084 memory=193708 CPUtime=2500.96 cores=1,3,5,7
/proc/9396/task/9398/stat : 9398 (java) R 9391 9396 8289 0 -1 4202560 24872 0 0 0 250085 11 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612712541152 140612356956891 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9400] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.41 cores=1,3,5,7
/proc/9396/task/9400/stat : 9400 (java) S 9391 9396 8289 0 -1 1077944384 2151 0 0 0 37 4 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612669201040 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9401] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.41 cores=1,3,5,7
/proc/9396/task/9401/stat : 9401 (java) S 9391 9396 8289 0 -1 1077944384 2081 0 0 0 37 4 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612668148240 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9402] ppid=9391 vsize=13982084 memory=1620 CPUtime=0.41 cores=1,3,5,7
/proc/9396/task/9402/stat : 9402 (java) S 9391 9396 8289 0 -1 1077944384 2619 0 0 0 36 5 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612667095440 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9403] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.41 cores=1,3,5,7
/proc/9396/task/9403/stat : 9403 (java) S 9391 9396 8289 0 -1 1077944384 2222 0 0 0 37 4 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612305611024 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9405] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.52 cores=1,3,5,7
/proc/9396/task/9405/stat : 9405 (java) S 9391 9396 8289 0 -1 1077944384 5493 0 0 0 47 5 0 0 20 0 15 0 115160809 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612186626928 140612708313730 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9406] ppid=9391 vsize=13982084 memory=193708 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9406/stat : 9406 (java) S 9391 9396 8289 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 115160809 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612185572960 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9407] ppid=9391 vsize=13982084 memory=193708 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9407/stat : 9407 (java) S 9391 9396 8289 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 115160809 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612184520064 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9408] ppid=9391 vsize=13982084 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9408/stat : 9408 (java) S 9391 9396 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612183468368 140612708321179 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9409] ppid=9391 vsize=13982084 memory=193708 CPUtime=2.44 cores=1,3,5,7
/proc/9396/task/9409/stat : 9409 (java) S 9391 9396 8289 0 -1 1077944384 10591 0 0 0 242 2 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612182415728 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9410] ppid=9391 vsize=13982084 memory=193708 CPUtime=2.46 cores=1,3,5,7
/proc/9396/task/9410/stat : 9410 (java) S 9391 9396 8289 0 -1 1077944384 11040 0 0 0 244 2 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612181362928 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9411] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.83 cores=1,3,5,7
/proc/9396/task/9411/stat : 9411 (java) S 9391 9396 8289 0 -1 1077944384 10806 0 0 0 81 2 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612180310128 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9412] ppid=9391 vsize=13982084 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9412/stat : 9412 (java) S 9391 9396 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612179257568 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9413] ppid=9391 vsize=13982084 memory=288230574492221466 CPUtime=0.49 cores=1,3,5,7
/proc/9396/task/9413/stat : 9413 (java) S 9391 9396 8289 0 -1 1077944384 723 0 0 0 19 30 0 0 20 0 15 0 115160818 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612178205872 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
Current children cumulated CPU time: 2509.43 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 193708 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2512.9 s]
/proc/loadavg: 1.17 1.40 1.50 3/213 9650
/proc/meminfo: memFree=30879628/32770624 swapFree=67108860/67108860
[pid=9396] ppid=9391 vsize=13982084 memory=193708 CPUtime=2520.05 cores=1,3,5,7
/proc/9396/stat : 9396 (java) S 9391 9396 8289 0 -1 1077944320 74055 0 0 0 251947 58 0 0 20 0 15 0 115160798 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140730215954464 140612708302583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
/proc/9396/statm: 3495521 48427 3801 1 0 3484295 0
[pid=9396/tid=9398] ppid=9391 vsize=13982084 memory=193708 CPUtime=2511.55 cores=1,3,5,7
/proc/9396/task/9398/stat : 9398 (java) R 9391 9396 8289 0 -1 4202560 24878 0 0 0 251144 11 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612712540800 140612355481510 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9400] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.41 cores=1,3,5,7
/proc/9396/task/9400/stat : 9400 (java) S 9391 9396 8289 0 -1 1077944384 2151 0 0 0 37 4 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612669201040 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9401] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.41 cores=1,3,5,7
/proc/9396/task/9401/stat : 9401 (java) S 9391 9396 8289 0 -1 1077944384 2081 0 0 0 37 4 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612668148240 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9402] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.42 cores=1,3,5,7
/proc/9396/task/9402/stat : 9402 (java) S 9391 9396 8289 0 -1 1077944384 2619 0 0 0 37 5 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612667095440 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9403] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.41 cores=1,3,5,7
/proc/9396/task/9403/stat : 9403 (java) S 9391 9396 8289 0 -1 1077944384 2222 0 0 0 37 4 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612305611024 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9405] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.52 cores=1,3,5,7
/proc/9396/task/9405/stat : 9405 (java) S 9391 9396 8289 0 -1 1077944384 5493 0 0 0 47 5 0 0 20 0 15 0 115160809 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612186626928 140612708313730 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9406] ppid=9391 vsize=13982084 memory=193708 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9406/stat : 9406 (java) S 9391 9396 8289 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 115160809 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612185572960 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9407] ppid=9391 vsize=13982084 memory=193708 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9407/stat : 9407 (java) S 9391 9396 8289 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 115160809 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612184520064 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9408] ppid=9391 vsize=13982084 memory=193708 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9408/stat : 9408 (java) S 9391 9396 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612183468368 140612708321179 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9409] ppid=9391 vsize=13982084 memory=193708 CPUtime=2.44 cores=1,3,5,7
/proc/9396/task/9409/stat : 9409 (java) S 9391 9396 8289 0 -1 1077944384 10591 0 0 0 242 2 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612182415728 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9410] ppid=9391 vsize=13982084 memory=193708 CPUtime=2.46 cores=1,3,5,7
/proc/9396/task/9410/stat : 9410 (java) S 9391 9396 8289 0 -1 1077944384 11040 0 0 0 244 2 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612181362928 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9411] ppid=9391 vsize=13982084 memory=1228 CPUtime=0.83 cores=1,3,5,7
/proc/9396/task/9411/stat : 9411 (java) S 9391 9396 8289 0 -1 1077944384 10806 0 0 0 81 2 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612180310128 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9412] ppid=9391 vsize=13982084 memory=193708 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9412/stat : 9412 (java) S 9391 9396 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612179257568 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9413] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.5 cores=1,3,5,7
/proc/9396/task/9413/stat : 9413 (java) S 9391 9396 8289 0 -1 1077944384 723 0 0 0 19 31 0 0 20 0 15 0 115160818 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612178205872 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 193708 KiB

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

[startup+2512.91 s]
# the end of solver process 9396 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.48 s, system=0.583176 s

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

[startup+2512.9 s]
/proc/loadavg: 1.17 1.40 1.50 3/213 9650
/proc/meminfo: memFree=30879628/32770624 swapFree=67108860/67108860
[pid=9396] ppid=9391 vsize=13982084 memory=193708 CPUtime=2520.05 cores=1,3,5,7
/proc/9396/stat : 9396 (java) S 9391 9396 8289 0 -1 1077944320 74055 0 0 0 251947 58 0 0 20 0 15 0 115160798 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140730215954464 140612708302583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
/proc/9396/statm: 3495521 48427 3801 1 0 3484295 0
[pid=9396/tid=9398] ppid=9391 vsize=13982084 memory=193708 CPUtime=2511.55 cores=1,3,5,7
/proc/9396/task/9398/stat : 9398 (java) R 9391 9396 8289 0 -1 4202560 24878 0 0 0 251144 11 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612712540800 140612355481510 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9400] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.41 cores=1,3,5,7
/proc/9396/task/9400/stat : 9400 (java) S 9391 9396 8289 0 -1 1077944384 2151 0 0 0 37 4 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612669201040 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9401] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.41 cores=1,3,5,7
/proc/9396/task/9401/stat : 9401 (java) S 9391 9396 8289 0 -1 1077944384 2081 0 0 0 37 4 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612668148240 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9402] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.42 cores=1,3,5,7
/proc/9396/task/9402/stat : 9402 (java) S 9391 9396 8289 0 -1 1077944384 2619 0 0 0 37 5 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612667095440 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9403] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.41 cores=1,3,5,7
/proc/9396/task/9403/stat : 9403 (java) S 9391 9396 8289 0 -1 1077944384 2222 0 0 0 37 4 0 0 20 0 15 0 115160807 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612305611024 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9405] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.52 cores=1,3,5,7
/proc/9396/task/9405/stat : 9405 (java) S 9391 9396 8289 0 -1 1077944384 5493 0 0 0 47 5 0 0 20 0 15 0 115160809 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612186626928 140612708313730 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9406] ppid=9391 vsize=13982084 memory=193708 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9406/stat : 9406 (java) S 9391 9396 8289 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 115160809 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612185572960 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9407] ppid=9391 vsize=13982084 memory=193708 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9407/stat : 9407 (java) S 9391 9396 8289 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 115160809 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612184520064 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9408] ppid=9391 vsize=13982084 memory=193708 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9408/stat : 9408 (java) S 9391 9396 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612183468368 140612708321179 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9409] ppid=9391 vsize=13982084 memory=193708 CPUtime=2.44 cores=1,3,5,7
/proc/9396/task/9409/stat : 9409 (java) S 9391 9396 8289 0 -1 1077944384 10591 0 0 0 242 2 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612182415728 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9410] ppid=9391 vsize=13982084 memory=193708 CPUtime=2.46 cores=1,3,5,7
/proc/9396/task/9410/stat : 9410 (java) S 9391 9396 8289 0 -1 1077944384 11040 0 0 0 244 2 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612181362928 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9411] ppid=9391 vsize=13982084 memory=1228 CPUtime=0.83 cores=1,3,5,7
/proc/9396/task/9411/stat : 9411 (java) S 9391 9396 8289 0 -1 1077944384 10806 0 0 0 81 2 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612180310128 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9412] ppid=9391 vsize=13982084 memory=193708 CPUtime=0 cores=1,3,5,7
/proc/9396/task/9412/stat : 9412 (java) S 9391 9396 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115160812 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612179257568 140612708312789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
[pid=9396/tid=9413] ppid=9391 vsize=13982084 memory=193708 CPUtime=0.5 cores=1,3,5,7
/proc/9396/task/9413/stat : 9413 (java) S 9391 9396 8289 0 -1 1077944384 723 0 0 0 19 31 0 0 20 0 15 0 115160818 14317654016 48427 18446744073709551615 4194304 4196468 140730215971920 140612178205872 140612708313730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8933376 140730215973231 140730215973417 140730215973417 140730215976911 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 193708 KiB

Child status: 143
Real time (s): 2512.91
CPU time (s): 2520.06
CPU user time (s): 2519.48
CPU system time (s): 0.583176
CPU usage (%): 100.285
Max. virtual memory (cumulated for all children) (KiB): 13984272
Max. memory (cumulated for all children) (KiB): 244488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.48
system time used= 0.583176
maximum resident set size= 244488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74247
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70662
involuntary context switches= 3146


# summary of solver processes directly reported to runsolver:
#   pid: 9396
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2519.48
#   total CPU system time (s): 0.583176

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7692 second user time and 21.5454 second system time

The end

Launcher Data

Begin job on node133 at 2017-08-14 03:03:28
IDJOB=4273695
IDBENCH=115754
IDSOLVER=2666
FILE ID=node133/4273695-1502673456
RUNJOBID= node133-1502652501-6259
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-030-20-6.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4273695-1502673456/watcher-4273695-1502673456 -o /tmp/evaluation-result-4273695-1502673456/solver-4273695-1502673456 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6259 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 282945171 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273695-1502673456.xml

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

MD5SUM BENCH= 38bce9c8c5d0642f93f0794d9598dc6e
RANDOM SEED=282945171

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:        31265696 kB
MemAvailable:   31962136 kB
Buffers:          247260 kB
Cached:           744192 kB
SwapCached:            0 kB
Active:           853144 kB
Inactive:         201160 kB
Active(anon):       3904 kB
Inactive(anon):   100812 kB
Active(file):     849240 kB
Inactive(file):   100348 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42348 kB
Writeback:             4 kB
AnonPages:         63144 kB
Mapped:            57408 kB
Shmem:             41692 kB
Slab:             152368 kB
SReclaimable:     125376 kB
SUnreclaim:        26992 kB
KernelStack:        3296 kB
PageTables:         4896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     316024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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= 61948 MiB
End job on node133 at 2017-08-14 03:45:21