Trace number 4395914

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.12.2? (TO) 2528.3 852.162

General information on the benchmark

NameRoomMate/
RoomMate-int-s1/RoomMate-sr1000c-int.xml
MD5SUM2ff4403728a82746813109e0b9ab6660
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 benchmark495.64
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints1998000
Number of domains1
Minimum domain size999
Maximum domain size999
Distribution of domain sizes[{"size":999,"count":1000}]
Minimum variable degree3996
Maximum variable degree3996
Distribution of variable degrees[{"degree":3996,"count":1000}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1998000}]
Number of extensional constraints0
Number of intensional constraints1998000
Distribution of constraint types[{"type":"intension","count":1998000}]
Optimization problemNO
Type of objective

Solver Data 

0.78/0.57	c Concrete v3.12.2.1568380929293 running

Verifier Data 

One s line expected

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395914-1568399761/watcher-4395914-1568399761 -o /tmp/evaluation-result-4395914-1568399761/solver-4395914-1568399761 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568399721-12058 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=935620869 HOME/instance-4395914-1568399761.xml 

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

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=12153, runsolver pid=12150
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 0.82 0.84 1.06 3/218 12210
/proc/meminfo: memFree=28576812/32770624 swapFree=66959224/67108860
[pid=12153] ppid=12150 vsize=9972712 memory=14912 CPUtime=0.09 cores=0,2,4,6
/proc/12153/stat : 12153 (java) S 12150 12153 12027 0 -1 1077944320 4509 13147 0 0 1 0 5 3 20 0 6 0 415916408 10212057088 3728 33554432000 4194304 4196468 140732061598608 140732061581152 140148133453559 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
/proc/12153/statm: 2493178 3728 1935 1 0 2481616 0
[pid=12153/tid=12206] ppid=12150 vsize=9972712 memory=4628411388058700198 CPUtime=0.09 cores=0,2,4,6
/proc/12153/task/12206/stat : 12206 (java) R 12150 12153 12027 0 -1 4202560 2316 13147 0 0 1 0 5 3 20 0 6 0 415916417 10212057088 3794 33554432000 4194304 4196468 140732061598608 140148105290320 140148117534046 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12207] ppid=12150 vsize=9972712 memory=5793855280912275897 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12207/stat : 12207 (java) S 12150 12153 12027 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 6 0 415916418 10212057088 3794 33554432000 4194304 4196468 140732061598608 140148137696272 140148133463765 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12208] ppid=12150 vsize=9972712 memory=140029902382720 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12208/stat : 12208 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 6 0 415916418 10212057088 3794 33554432000 4194304 4196468 140732061598608 140147706662032 140148133463765 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12209] ppid=12150 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12209/stat : 12209 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 6 0 415916418 10212057088 3794 33554432000 4194304 4196468 140732061598608 140147705608976 140148133463765 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12210] ppid=12150 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12210/stat : 12210 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 6 0 415916418 10212057088 3794 33554432000 4194304 4196468 140732061598608 140147704556432 140148133463765 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14912 KiB

[startup+0.21122 s]*
/proc/loadavg: 0.82 0.84 1.06 6/227 12219
/proc/meminfo: memFree=28443136/32770624 swapFree=66959224/67108860
[pid=12153] ppid=12150 vsize=10819664 memory=40608 CPUtime=0.26 cores=0,2,4,6
/proc/12153/stat : 12153 (java) S 12150 12153 12027 0 -1 1077944320 7488 13147 0 0 16 2 5 3 20 0 15 0 415916408 11079335936 10152 33554432000 4194304 4196468 140732061598608 140732061581152 140148133453559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
/proc/12153/statm: 2704916 10152 3167 1 0 2667149 0
[pid=12153/tid=12206] ppid=12150 vsize=10819664 memory=-8540663193526752614 CPUtime=0.19 cores=0,2,4,6
/proc/12153/task/12206/stat : 12206 (java) R 12150 12153 12027 0 -1 4202560 3898 13147 0 0 10 1 5 3 20 0 15 0 415916417 11079335936 10152 33554432000 4194304 4196468 140732061598608 140148105238440 140148117534046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12207] ppid=12150 vsize=10819664 memory=8103645671034264246 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12207/stat : 12207 (java) S 12150 12153 12027 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415916418 11079335936 10152 33554432000 4194304 4196468 140732061598608 140148137696272 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12208] ppid=12150 vsize=10819664 memory=140029902382720 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12208/stat : 12208 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916418 11079335936 10152 33554432000 4194304 4196468 140732061598608 140147706662032 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12209] ppid=12150 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12209/stat : 12209 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916418 11079335936 10152 33554432000 4194304 4196468 140732061598608 140147705608976 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12210] ppid=12150 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12210/stat : 12210 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916418 11079335936 10152 33554432000 4194304 4196468 140732061598608 140147704556432 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12211] ppid=12150 vsize=10819664 memory=140029902382720 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12211/stat : 12211 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916420 11079335936 10152 33554432000 4194304 4196468 140732061598608 140147592878320 140148133464706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12212] ppid=12150 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12212/stat : 12212 (java) S 12150 12153 12027 0 -1 1077944384 33 13147 0 0 0 0 5 3 20 0 15 0 415916420 11079335936 10152 33554432000 4194304 4196468 140732061598608 140147591824544 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12213] ppid=12150 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12213/stat : 12213 (java) S 12150 12153 12027 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415916420 11079335936 10152 33554432000 4194304 4196468 140732061598608 140147467215600 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12214] ppid=12150 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12214/stat : 12214 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916423 11079335936 10152 33554432000 4194304 4196468 140732061598608 140146863237072 140148133472155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12215] ppid=12150 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12153/task/12215/stat : 12215 (java) S 12150 12153 12027 0 -1 1077944384 606 13147 0 0 1 0 5 3 20 0 15 0 415916423 11079335936 10152 33554432000 4194304 4196468 140732061598608 140147558267632 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12216] ppid=12150 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12216/stat : 12216 (java) S 12150 12153 12027 0 -1 1077944384 62 13147 0 0 0 0 5 3 20 0 15 0 415916423 11079335936 10152 33554432000 4194304 4196468 140732061598608 140147557215088 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12217] ppid=12150 vsize=10819664 memory=140029902382720 CPUtime=0.11 cores=0,2,4,6
/proc/12153/task/12217/stat : 12217 (java) S 12150 12153 12027 0 -1 1077944384 676 13147 0 0 3 0 5 3 20 0 15 0 415916423 11079335936 10152 33554432000 4194304 4196468 140732061598608 140147556162032 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12218] ppid=12150 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12218/stat : 12218 (java) S 12150 12153 12027 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 415916423 11079335936 10152 33554432000 4194304 4196468 140732061598608 140146393475936 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12219] ppid=12150 vsize=10819664 memory=140029902382720 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12219/stat : 12219 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916424 11079335936 10152 33554432000 4194304 4196468 140732061598608 140147555109424 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 40608 KiB

[startup+0.311196 s]*
/proc/loadavg: 0.82 0.84 1.06 3/227 12219
/proc/meminfo: memFree=28373104/32770624 swapFree=66959224/67108860
[pid=12153] ppid=12150 vsize=10820148 memory=51988 CPUtime=0.4 cores=0,2,4,6
/proc/12153/stat : 12153 (java) S 12150 12153 12027 0 -1 1077944320 11224 13147 0 0 28 4 5 3 20 0 15 0 415916408 11079831552 12997 33554432000 4194304 4196468 140732061598608 140732061581152 140148133453559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
/proc/12153/statm: 2705037 12997 3322 1 0 2667149 0
[pid=12153/tid=12206] ppid=12150 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/12153/task/12206/stat : 12206 (java) R 12150 12153 12027 0 -1 4202560 7557 13147 0 0 18 3 5 3 20 0 15 0 415916417 11079831552 12997 33554432000 4194304 4196468 140732061598608 140148105249888 140148117497189 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12207] ppid=12150 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12207/stat : 12207 (java) S 12150 12153 12027 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415916418 11079831552 12997 33554432000 4194304 4196468 140732061598608 140148137696272 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12208] ppid=12150 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12208/stat : 12208 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916418 11079831552 12997 33554432000 4194304 4196468 140732061598608 140147706662032 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12209] ppid=12150 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12209/stat : 12209 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916418 11079831552 12997 33554432000 4194304 4196468 140732061598608 140147705608976 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12210] ppid=12150 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12210/stat : 12210 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916418 11079831552 12997 33554432000 4194304 4196468 140732061598608 140147704556432 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12211] ppid=12150 vsize=10820148 memory=140029902382719 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12211/stat : 12211 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916420 11079831552 12997 33554432000 4194304 4196468 140732061598608 140147592878320 140148133464706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12212] ppid=12150 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12212/stat : 12212 (java) S 12150 12153 12027 0 -1 1077944384 33 13147 0 0 0 0 5 3 20 0 15 0 415916420 11079831552 12997 33554432000 4194304 4196468 140732061598608 140147591824544 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12213] ppid=12150 vsize=10820148 memory=140029902382720 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12213/stat : 12213 (java) S 12150 12153 12027 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415916420 11079831552 12997 33554432000 4194304 4196468 140732061598608 140147467215600 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12214] ppid=12150 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12214/stat : 12214 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916423 11079831552 12997 33554432000 4194304 4196468 140732061598608 140146863237072 140148133472155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12215] ppid=12150 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/12153/task/12215/stat : 12215 (java) S 12150 12153 12027 0 -1 1077944384 612 13147 0 0 2 0 5 3 20 0 15 0 415916423 11079831552 12997 33554432000 4194304 4196468 140732061598608 140147558267632 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12216] ppid=12150 vsize=10820148 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/12153/task/12216/stat : 12216 (java) S 12150 12153 12027 0 -1 1077944384 80 13147 0 0 1 0 5 3 20 0 15 0 415916423 11079831552 12997 33554432000 4194304 4196468 140732061598608 140147557215088 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12217] ppid=12150 vsize=10820148 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/12153/task/12217/stat : 12217 (java) S 12150 12153 12027 0 -1 1077944384 716 13147 0 0 5 0 5 3 20 0 15 0 415916423 11079831552 12997 33554432000 4194304 4196468 140732061598608 140147556162032 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12218] ppid=12150 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12218/stat : 12218 (java) S 12150 12153 12027 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 415916423 11079831552 12997 33554432000 4194304 4196468 140732061598608 140146393475936 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12219] ppid=12150 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12219/stat : 12219 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916424 11079831552 12997 33554432000 4194304 4196468 140732061598608 140147555109424 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 51988 KiB

[startup+0.701253 s]
/proc/loadavg: 0.82 0.84 1.06 4/227 12219
/proc/meminfo: memFree=28356484/32770624 swapFree=66959224/67108860
[pid=12153] ppid=12150 vsize=10824360 memory=84516 CPUtime=1.11 cores=0,2,4,6
/proc/12153/stat : 12153 (java) S 12150 12153 12027 0 -1 1077944320 15355 13147 0 0 97 6 5 3 20 0 15 0 415916408 11084144640 21129 33554432000 4194304 4196468 140732061598608 140732061581152 140148133453559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
/proc/12153/statm: 2706090 21129 3512 1 0 2668173 0
[pid=12153/tid=12206] ppid=12150 vsize=10824360 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/12153/task/12206/stat : 12206 (java) R 12150 12153 12027 0 -1 4202560 10344 13147 0 0 54 4 5 3 20 0 15 0 415916417 11084144640 21129 33554432000 4194304 4196468 140732061598608 140148105285504 140148117534046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12207] ppid=12150 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12207/stat : 12207 (java) S 12150 12153 12027 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415916418 11084144640 21129 33554432000 4194304 4196468 140732061598608 140148137696272 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12208] ppid=12150 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12208/stat : 12208 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916418 11084144640 21129 33554432000 4194304 4196468 140732061598608 140147706662032 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12209] ppid=12150 vsize=10824360 memory=280059516554672 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12209/stat : 12209 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916418 11084144640 21129 33554432000 4194304 4196468 140732061598608 140147705608976 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12210] ppid=12150 vsize=10824360 memory=2440480949761 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12210/stat : 12210 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916418 11084144640 21129 33554432000 4194304 4196468 140732061598608 140147704556432 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12211] ppid=12150 vsize=10824360 memory=31557361 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12211/stat : 12211 (java) S 12150 12153 12027 0 -1 1077944384 5 13147 0 0 0 0 5 3 20 0 15 0 415916420 11084144640 21129 33554432000 4194304 4196468 140732061598608 140147592878320 140148133464706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12212] ppid=12150 vsize=10824360 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12212/stat : 12212 (java) S 12150 12153 12027 0 -1 1077944384 33 13147 0 0 0 0 5 3 20 0 15 0 415916420 11084144640 21129 33554432000 4194304 4196468 140732061598608 140147591824544 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12213] ppid=12150 vsize=10824360 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12213/stat : 12213 (java) S 12150 12153 12027 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 415916420 11084144640 21129 33554432000 4194304 4196468 140732061598608 140147467215600 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12214] ppid=12150 vsize=10824360 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12214/stat : 12214 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916423 11084144640 21129 33554432000 4194304 4196468 140732061598608 140146863237072 140148133472155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12215] ppid=12150 vsize=10824360 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/12153/task/12215/stat : 12215 (java) S 12150 12153 12027 0 -1 1077944384 1123 13147 0 0 13 0 5 3 20 0 15 0 415916423 11084144640 21129 33554432000 4194304 4196468 140732061598608 140147558267632 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12216] ppid=12150 vsize=10824360 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/12153/task/12216/stat : 12216 (java) R 12150 12153 12027 0 -1 4202560 609 13147 0 0 11 0 5 3 20 0 15 0 415916423 11084144640 21129 33554432000 4194304 4196468 140732061598608 140147557201592 140148111048496 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12217] ppid=12150 vsize=10824360 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/12153/task/12217/stat : 12217 (java) S 12150 12153 12027 0 -1 1077944384 1017 13147 0 0 16 0 5 3 20 0 15 0 415916423 11084144640 21129 33554432000 4194304 4196468 140732061598608 140147556162032 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12218] ppid=12150 vsize=10824360 memory=30305 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12218/stat : 12218 (java) S 12150 12153 12027 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 415916423 11084144640 21129 33554432000 4194304 4196468 140732061598608 140146393475936 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12219] ppid=12150 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12219/stat : 12219 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916424 11084144640 21129 33554432000 4194304 4196468 140732061598608 140147555109424 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 84516 KiB

[startup+1.50125 s]
/proc/loadavg: 0.82 0.84 1.06 7/227 12219
/proc/meminfo: memFree=28100832/32770624 swapFree=66959224/67108860
[pid=12153] ppid=12150 vsize=10824360 memory=338704 CPUtime=2.82 cores=0,2,4,6
/proc/12153/stat : 12153 (java) S 12150 12153 12027 0 -1 1077944320 18808 13147 0 0 245 29 5 3 20 0 15 0 415916408 11084144640 84676 33554432000 4194304 4196468 140732061598608 140732061581152 140148133453559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
/proc/12153/statm: 2706090 84676 3546 1 0 2668173 0
[pid=12153/tid=12206] ppid=12150 vsize=10824360 memory=3620 CPUtime=1.33 cores=0,2,4,6
/proc/12153/task/12206/stat : 12206 (java) S 12150 12153 12027 0 -1 1077944384 11105 13147 0 0 118 7 5 3 20 0 15 0 415916417 11084144640 84676 33554432000 4194304 4196468 140732061598608 140148105289824 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12207] ppid=12150 vsize=10824360 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/12153/task/12207/stat : 12207 (java) R 12150 12153 12027 0 -1 4202560 136 13147 0 0 6 4 5 3 20 0 15 0 415916418 11084144640 85188 33554432000 4194304 4196468 140732061598608 140148137696160 140148126550260 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12208] ppid=12150 vsize=10824360 memory=56 CPUtime=0.19 cores=0,2,4,6
/proc/12153/task/12208/stat : 12208 (java) R 12150 12153 12027 0 -1 4202560 335 13147 0 0 6 5 5 3 20 0 15 0 415916418 11084144640 85188 33554432000 4194304 4196468 140732061598608 140147706662032 140148126550260 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12209] ppid=12150 vsize=10824360 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/12153/task/12209/stat : 12209 (java) R 12150 12153 12027 0 -1 4202560 166 13147 0 0 7 4 5 3 20 0 15 0 415916418 11084144640 85188 33554432000 4194304 4196468 140732061598608 140147705608976 140148126550260 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12210] ppid=12150 vsize=10824360 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/12153/task/12210/stat : 12210 (java) R 12150 12153 12027 0 -1 4202560 437 13147 0 0 7 4 5 3 20 0 15 0 415916418 11084144640 85188 33554432000 4194304 4196468 140732061598608 140147704556632 140148126550260 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12211] ppid=12150 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12211/stat : 12211 (java) S 12150 12153 12027 0 -1 1077944384 100 13147 0 0 0 0 5 3 20 0 15 0 415916420 11084144640 85188 33554432000 4194304 4196468 140732061598608 140147592876832 140148133463765 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12212] ppid=12150 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12212/stat : 12212 (java) S 12150 12153 12027 0 -1 1077944384 57 13147 0 0 0 0 5 3 20 0 15 0 415916420 11084144640 85188 33554432000 4194304 4196468 140732061598608 140147591824608 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12213] ppid=12150 vsize=10824360 memory=37 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12213/stat : 12213 (java) S 12150 12153 12027 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 415916420 11084144640 85188 33554432000 4194304 4196468 140732061598608 140147467215600 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12214] ppid=12150 vsize=10824360 memory=34 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12214/stat : 12214 (java) S 12150 12153 12027 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 415916423 11084144640 85188 33554432000 4194304 4196468 140732061598608 140146863237072 140148133472155 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12215] ppid=12150 vsize=10824360 memory=27 CPUtime=0.45 cores=0,2,4,6
/proc/12153/task/12215/stat : 12215 (java) S 12150 12153 12027 0 -1 1077944384 1538 13147 0 0 37 0 5 3 20 0 15 0 415916423 11084144640 85188 33554432000 4194304 4196468 140732061598608 140147558267632 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12216] ppid=12150 vsize=10824360 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/12153/task/12216/stat : 12216 (java) S 12150 12153 12027 0 -1 1077944384 887 13147 0 0 34 1 5 3 20 0 15 0 415916423 11084144640 85188 33554432000 4194304 4196468 140732061598608 140147557215088 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12217] ppid=12150 vsize=10824360 memory=56 CPUtime=0.35 cores=0,2,4,6
/proc/12153/task/12217/stat : 12217 (java) S 12150 12153 12027 0 -1 1077944384 1828 13147 0 0 27 0 5 3 20 0 15 0 415916423 11084144640 85188 33554432000 4194304 4196468 140732061598608 140147556162032 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12218] ppid=12150 vsize=10824360 memory=1966185 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12218/stat : 12218 (java) S 12150 12153 12027 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 415916423 11084144640 85188 33554432000 4194304 4196468 140732061598608 140146393475936 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12219] ppid=12150 vsize=10824360 memory=1967570 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12219/stat : 12219 (java) S 12150 12153 12027 0 -1 1077944384 4 13147 0 0 0 0 5 3 20 0 15 0 415916424 11084144640 85188 33554432000 4194304 4196468 140732061598608 140147555109424 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 10824360 KiB

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


[startup+852.162 s]
# the end of solver process 12153 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2521.82 s, system=6.48492 s

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

[startup+851.201 s]
/proc/loadavg: 7.15 6.29 3.96 9/227 12295
/proc/meminfo: memFree=11948744/32770624 swapFree=66959224/67108860
[pid=12153] ppid=12150 vsize=10840840 memory=8396344 CPUtime=2524.65 cores=0,2,4,6
/proc/12153/stat : 12153 (java) S 12150 12153 12027 0 -1 1077944320 482874 13147 0 0 251816 641 5 3 20 0 15 0 415916408 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140732061581152 140148133453559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
/proc/12153/statm: 2710210 2099086 3633 1 0 2672269 0
[pid=12153/tid=12206] ppid=12150 vsize=10840840 memory=40080 CPUtime=225.25 cores=0,2,4,6
/proc/12153/task/12206/stat : 12206 (java) S 12150 12153 12027 0 -1 1077944384 57641 13147 0 0 22493 24 5 3 20 0 15 0 415916417 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140148105286496 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12207] ppid=12150 vsize=10840840 memory=8396340 CPUtime=556.5 cores=0,2,4,6
/proc/12153/task/12207/stat : 12207 (java) R 12150 12153 12027 0 -1 4202560 39863 13147 0 0 55495 147 5 3 20 0 15 0 415916418 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140148137696472 140148118404585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12208] ppid=12150 vsize=10840840 memory=8396340 CPUtime=555.52 cores=0,2,4,6
/proc/12153/task/12208/stat : 12208 (java) R 12150 12153 12027 0 -1 4202560 42483 13147 0 0 55392 152 5 3 20 0 15 0 415916418 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147706662232 140148113479743 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12209] ppid=12150 vsize=10840840 memory=14048 CPUtime=557.03 cores=0,2,4,6
/proc/12153/task/12209/stat : 12209 (java) R 12150 12153 12027 0 -1 4202560 36235 13147 0 0 55557 138 5 3 20 0 15 0 415916418 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147705608864 140148118404164 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12210] ppid=12150 vsize=10840840 memory=3196 CPUtime=555.75 cores=0,2,4,6
/proc/12153/task/12210/stat : 12210 (java) R 12150 12153 12027 0 -1 4202560 37587 13147 0 0 55419 148 5 3 20 0 15 0 415916418 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147704556632 140148118438855 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12211] ppid=12150 vsize=10840840 memory=3620 CPUtime=65.6 cores=0,2,4,6
/proc/12153/task/12211/stat : 12211 (java) S 12150 12153 12027 0 -1 1077944384 202311 13147 0 0 6540 12 5 3 20 0 15 0 415916420 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147592876640 140148133463765 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12212] ppid=12150 vsize=10840840 memory=1660 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12212/stat : 12212 (java) S 12150 12153 12027 0 -1 1077944384 100 13147 0 0 0 0 5 3 20 0 15 0 415916420 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147591824608 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12213] ppid=12150 vsize=10840840 memory=54740 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12213/stat : 12213 (java) S 12150 12153 12027 0 -1 1077944384 31 13147 0 0 0 0 5 3 20 0 15 0 415916420 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147467215616 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12214] ppid=12150 vsize=10840840 memory=54642 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12214/stat : 12214 (java) S 12150 12153 12027 0 -1 1077944384 5 13147 0 0 0 0 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140146863236720 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12215] ppid=12150 vsize=10840840 memory=54794 CPUtime=3.89 cores=0,2,4,6
/proc/12153/task/12215/stat : 12215 (java) S 12150 12153 12027 0 -1 1077944384 21026 13147 0 0 378 3 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147558267632 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12216] ppid=12150 vsize=10840840 memory=0 CPUtime=3.76 cores=0,2,4,6
/proc/12153/task/12216/stat : 12216 (java) S 12150 12153 12027 0 -1 1077944384 21933 13147 0 0 364 4 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147557215088 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12217] ppid=12150 vsize=10840840 memory=7594878048049194841 CPUtime=1.46 cores=0,2,4,6
/proc/12153/task/12217/stat : 12217 (java) S 12150 12153 12027 0 -1 1077944384 20389 13147 0 0 135 3 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147556162032 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12218] ppid=12150 vsize=10840840 memory=11516936578 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12218/stat : 12218 (java) S 12150 12153 12027 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140146393475936 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12219] ppid=12150 vsize=10840840 memory=8396344 CPUtime=0.5 cores=0,2,4,6
/proc/12153/task/12219/stat : 12219 (java) S 12150 12153 12027 0 -1 1077944384 1056 13147 0 0 22 20 5 3 20 0 15 0 415916424 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147555109424 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
Current children cumulated CPU time: 2524.65 s
Current children cumulated vsize: 10840840 KiB
Current children cumulated memory: 8396344 KiB

[startup+851.601 s]
/proc/loadavg: 7.15 6.29 3.96 9/227 12295
/proc/meminfo: memFree=11948744/32770624 swapFree=66959224/67108860
[pid=12153] ppid=12150 vsize=10840840 memory=8396344 CPUtime=2526.24 cores=0,2,4,6
/proc/12153/stat : 12153 (java) S 12150 12153 12027 0 -1 1077944320 482879 13147 0 0 251975 641 5 3 20 0 15 0 415916408 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140732061581152 140148133453559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
/proc/12153/statm: 2710210 2099086 3633 1 0 2672269 0
[pid=12153/tid=12206] ppid=12150 vsize=10840840 memory=984 CPUtime=225.25 cores=0,2,4,6
/proc/12153/task/12206/stat : 12206 (java) S 12150 12153 12027 0 -1 1077944384 57641 13147 0 0 22493 24 5 3 20 0 15 0 415916417 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140148105286496 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12207] ppid=12150 vsize=10840840 memory=14004 CPUtime=556.9 cores=0,2,4,6
/proc/12153/task/12207/stat : 12207 (java) R 12150 12153 12027 0 -1 4202560 39863 13147 0 0 55535 147 5 3 20 0 15 0 415916418 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140148137696472 140148113479729 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12208] ppid=12150 vsize=10840840 memory=21488 CPUtime=555.92 cores=0,2,4,6
/proc/12153/task/12208/stat : 12208 (java) R 12150 12153 12027 0 -1 4202560 42483 13147 0 0 55432 152 5 3 20 0 15 0 415916418 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147706661616 140148126081767 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12209] ppid=12150 vsize=10840840 memory=14048 CPUtime=557.43 cores=0,2,4,6
/proc/12153/task/12209/stat : 12209 (java) R 12150 12153 12027 0 -1 4202560 36235 13147 0 0 55597 138 5 3 20 0 15 0 415916418 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147705608864 140148118151334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12210] ppid=12150 vsize=10840840 memory=1436 CPUtime=556.14 cores=0,2,4,6
/proc/12153/task/12210/stat : 12210 (java) R 12150 12153 12027 0 -1 4202560 37592 13147 0 0 55458 148 5 3 20 0 15 0 415916418 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147704556632 140148118151334 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12211] ppid=12150 vsize=10840840 memory=6791534058613427641 CPUtime=65.6 cores=0,2,4,6
/proc/12153/task/12211/stat : 12211 (java) S 12150 12153 12027 0 -1 1077944384 202311 13147 0 0 6540 12 5 3 20 0 15 0 415916420 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147592876640 140148133463765 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12212] ppid=12150 vsize=10840840 memory=2580 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12212/stat : 12212 (java) S 12150 12153 12027 0 -1 1077944384 100 13147 0 0 0 0 5 3 20 0 15 0 415916420 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147591824608 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12213] ppid=12150 vsize=10840840 memory=1760 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12213/stat : 12213 (java) S 12150 12153 12027 0 -1 1077944384 31 13147 0 0 0 0 5 3 20 0 15 0 415916420 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147467215616 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12214] ppid=12150 vsize=10840840 memory=111636 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12214/stat : 12214 (java) S 12150 12153 12027 0 -1 1077944384 5 13147 0 0 0 0 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140146863236720 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12215] ppid=12150 vsize=10840840 memory=40080 CPUtime=3.89 cores=0,2,4,6
/proc/12153/task/12215/stat : 12215 (java) S 12150 12153 12027 0 -1 1077944384 21026 13147 0 0 378 3 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147558267632 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12216] ppid=12150 vsize=10840840 memory=1804 CPUtime=3.76 cores=0,2,4,6
/proc/12153/task/12216/stat : 12216 (java) S 12150 12153 12027 0 -1 1077944384 21933 13147 0 0 364 4 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147557215088 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12217] ppid=12150 vsize=10840840 memory=920 CPUtime=1.46 cores=0,2,4,6
/proc/12153/task/12217/stat : 12217 (java) S 12150 12153 12027 0 -1 1077944384 20389 13147 0 0 135 3 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147556162032 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12218] ppid=12150 vsize=10840840 memory=3816 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12218/stat : 12218 (java) S 12150 12153 12027 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140146393475936 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12219] ppid=12150 vsize=10840840 memory=6791534058613427641 CPUtime=0.5 cores=0,2,4,6
/proc/12153/task/12219/stat : 12219 (java) S 12150 12153 12027 0 -1 1077944384 1056 13147 0 0 22 20 5 3 20 0 15 0 415916424 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147555109424 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
Current children cumulated CPU time: 2526.24 s
Current children cumulated vsize: 10840840 KiB
Current children cumulated memory: 8396344 KiB

[startup+852.001 s]*
/proc/loadavg: 7.15 6.29 3.96 9/227 12295
/proc/meminfo: memFree=11948728/32770624 swapFree=66959224/67108860
[pid=12153] ppid=12150 vsize=10840840 memory=8396344 CPUtime=2527.81 cores=0,2,4,6
/proc/12153/stat : 12153 (java) S 12150 12153 12027 0 -1 1077944320 482879 13147 0 0 252132 641 5 3 20 0 15 0 415916408 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140732061581152 140148133453559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
/proc/12153/statm: 2710210 2099086 3633 1 0 2672269 0
[pid=12153/tid=12206] ppid=12150 vsize=10840840 memory=0 CPUtime=225.25 cores=0,2,4,6
/proc/12153/task/12206/stat : 12206 (java) S 12150 12153 12027 0 -1 1077944384 57641 13147 0 0 22493 24 5 3 20 0 15 0 415916417 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140148105286496 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12207] ppid=12150 vsize=10840840 memory=0 CPUtime=557.29 cores=0,2,4,6
/proc/12153/task/12207/stat : 12207 (java) R 12150 12153 12027 0 -1 4202560 39863 13147 0 0 55574 147 5 3 20 0 15 0 415916418 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140148137696160 140148118443186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12208] ppid=12150 vsize=10840840 memory=-7003737579269690708 CPUtime=556.3 cores=0,2,4,6
/proc/12153/task/12208/stat : 12208 (java) R 12150 12153 12027 0 -1 4202560 42483 13147 0 0 55470 152 5 3 20 0 15 0 415916418 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147706662232 140148118443189 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12209] ppid=12150 vsize=10840840 memory=800 CPUtime=557.83 cores=0,2,4,6
/proc/12153/task/12209/stat : 12209 (java) R 12150 12153 12027 0 -1 4202560 36235 13147 0 0 55637 138 5 3 20 0 15 0 415916418 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147705608976 140148118443024 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12210] ppid=12150 vsize=10840840 memory=4104 CPUtime=556.53 cores=0,2,4,6
/proc/12153/task/12210/stat : 12210 (java) R 12150 12153 12027 0 -1 4202560 37592 13147 0 0 55497 148 5 3 20 0 15 0 415916418 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147704556632 140148118443048 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12211] ppid=12150 vsize=10840840 memory=1804 CPUtime=65.61 cores=0,2,4,6
/proc/12153/task/12211/stat : 12211 (java) S 12150 12153 12027 0 -1 1077944384 202311 13147 0 0 6541 12 5 3 20 0 15 0 415916420 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147592876864 140148133463765 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12212] ppid=12150 vsize=10840840 memory=920 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12212/stat : 12212 (java) S 12150 12153 12027 0 -1 1077944384 100 13147 0 0 0 0 5 3 20 0 15 0 415916420 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147591824608 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12213] ppid=12150 vsize=10840840 memory=3816 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12213/stat : 12213 (java) S 12150 12153 12027 0 -1 1077944384 31 13147 0 0 0 0 5 3 20 0 15 0 415916420 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147467215616 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12214] ppid=12150 vsize=10840840 memory=2312 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12214/stat : 12214 (java) S 12150 12153 12027 0 -1 1077944384 5 13147 0 0 0 0 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140146863236720 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12215] ppid=12150 vsize=10840840 memory=2312 CPUtime=3.89 cores=0,2,4,6
/proc/12153/task/12215/stat : 12215 (java) S 12150 12153 12027 0 -1 1077944384 21026 13147 0 0 378 3 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147558267632 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12216] ppid=12150 vsize=10840840 memory=1408 CPUtime=3.76 cores=0,2,4,6
/proc/12153/task/12216/stat : 12216 (java) S 12150 12153 12027 0 -1 1077944384 21933 13147 0 0 364 4 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147557215088 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12217] ppid=12150 vsize=10840840 memory=3236 CPUtime=1.46 cores=0,2,4,6
/proc/12153/task/12217/stat : 12217 (java) S 12150 12153 12027 0 -1 1077944384 20389 13147 0 0 135 3 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147556162032 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12218] ppid=12150 vsize=10840840 memory=8359616 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12218/stat : 12218 (java) S 12150 12153 12027 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140146393475936 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12219] ppid=12150 vsize=10840840 memory=1408 CPUtime=0.5 cores=0,2,4,6
/proc/12153/task/12219/stat : 12219 (java) S 12150 12153 12027 0 -1 1077944384 1056 13147 0 0 22 20 5 3 20 0 15 0 415916424 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147555109424 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
Current children cumulated CPU time: 2527.81 s
Current children cumulated vsize: 10840840 KiB
Current children cumulated memory: 8396344 KiB

[startup+852.111 s]
/proc/loadavg: 7.15 6.29 3.96 9/227 12295
/proc/meminfo: memFree=11948728/32770624 swapFree=66959224/67108860
[pid=12153] ppid=12150 vsize=10840840 memory=8396344 CPUtime=2528.21 cores=0,2,4,6
/proc/12153/stat : 12153 (java) S 12150 12153 12027 0 -1 1077944320 482879 13147 0 0 252172 641 5 3 20 0 15 0 415916408 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140732061581152 140148133453559 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
/proc/12153/statm: 2710210 2099086 3633 1 0 2672269 0
[pid=12153/tid=12206] ppid=12150 vsize=10840840 memory=8396344 CPUtime=225.25 cores=0,2,4,6
/proc/12153/task/12206/stat : 12206 (java) S 12150 12153 12027 0 -1 1077944384 57641 13147 0 0 22493 24 5 3 20 0 15 0 415916417 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140148105286496 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12207] ppid=12150 vsize=10840840 memory=8396340 CPUtime=557.39 cores=0,2,4,6
/proc/12153/task/12207/stat : 12207 (java) R 12150 12153 12027 0 -1 4202560 39863 13147 0 0 55584 147 5 3 20 0 15 0 415916418 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140148137696160 140148118443192 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12208] ppid=12150 vsize=10840840 memory=8396340 CPUtime=556.4 cores=0,2,4,6
/proc/12153/task/12208/stat : 12208 (java) R 12150 12153 12027 0 -1 4202560 42483 13147 0 0 55480 152 5 3 20 0 15 0 415916418 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147706662232 140148118153507 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12209] ppid=12150 vsize=10840840 memory=8396340 CPUtime=557.93 cores=0,2,4,6
/proc/12153/task/12209/stat : 12209 (java) R 12150 12153 12027 0 -1 4202560 36235 13147 0 0 55647 138 5 3 20 0 15 0 415916418 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147705609176 140148118153442 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12210] ppid=12150 vsize=10840840 memory=8396340 CPUtime=556.63 cores=0,2,4,6
/proc/12153/task/12210/stat : 12210 (java) R 12150 12153 12027 0 -1 4202560 37592 13147 0 0 55507 148 5 3 20 0 15 0 415916418 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147704556632 140148118443063 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12211] ppid=12150 vsize=10840840 memory=8396344 CPUtime=65.61 cores=0,2,4,6
/proc/12153/task/12211/stat : 12211 (java) S 12150 12153 12027 0 -1 1077944384 202311 13147 0 0 6541 12 5 3 20 0 15 0 415916420 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147592876864 140148133463765 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12212] ppid=12150 vsize=10840840 memory=8396344 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12212/stat : 12212 (java) S 12150 12153 12027 0 -1 1077944384 100 13147 0 0 0 0 5 3 20 0 15 0 415916420 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147591824608 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12213] ppid=12150 vsize=10840840 memory=8396344 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12213/stat : 12213 (java) S 12150 12153 12027 0 -1 1077944384 31 13147 0 0 0 0 5 3 20 0 15 0 415916420 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147467215616 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12214] ppid=12150 vsize=10840840 memory=984 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12214/stat : 12214 (java) S 12150 12153 12027 0 -1 1077944384 5 13147 0 0 0 0 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140146863236720 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12215] ppid=12150 vsize=10840840 memory=8396344 CPUtime=3.89 cores=0,2,4,6
/proc/12153/task/12215/stat : 12215 (java) S 12150 12153 12027 0 -1 1077944384 21026 13147 0 0 378 3 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147558267632 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12216] ppid=12150 vsize=10840840 memory=8396344 CPUtime=3.76 cores=0,2,4,6
/proc/12153/task/12216/stat : 12216 (java) S 12150 12153 12027 0 -1 1077944384 21933 13147 0 0 364 4 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147557215088 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12217] ppid=12150 vsize=10840840 memory=8396344 CPUtime=1.46 cores=0,2,4,6
/proc/12153/task/12217/stat : 12217 (java) S 12150 12153 12027 0 -1 1077944384 20389 13147 0 0 135 3 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147556162032 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12218] ppid=12150 vsize=10840840 memory=2828 CPUtime=0.08 cores=0,2,4,6
/proc/12153/task/12218/stat : 12218 (java) S 12150 12153 12027 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 415916423 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140146393475936 140148133463765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
[pid=12153/tid=12219] ppid=12150 vsize=10840840 memory=1216 CPUtime=0.5 cores=0,2,4,6
/proc/12153/task/12219/stat : 12219 (java) S 12150 12153 12027 0 -1 1077944384 1056 13147 0 0 22 20 5 3 20 0 15 0 415916424 11101020160 2099086 33554432000 4194304 4196468 140732061598608 140147555109424 140148133464706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32628736 140732061600496 140732061603013 140732061603013 140732061605839 0
Current children cumulated CPU time: 2528.21 s
Current children cumulated vsize: 10840840 KiB
Current children cumulated memory: 8396344 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 852.162
CPU time (s): 2528.3
CPU user time (s): 2521.82
CPU system time (s): 6.48492
CPU usage (%): 296.693
Max. virtual memory (cumulated for all children) (KiB): 10840840
Max. memory (cumulated for all children) (KiB): 8399660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2521.82
system time used= 6.48492
maximum resident set size= 8399660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 496029
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34805
involuntary context switches= 38014


# summary of solver processes directly reported to runsolver:
#   pid: 12153
#   total CPU time (s): 2528.3
#   total CPU user time (s): 2521.82
#   total CPU system time (s): 6.48492

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.03872 second user time and 8.40447 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-13 20:35:22
IDJOB=4395914
IDBENCH=126912
IDSOLVER=2846
FILE ID=node124/4395914-1568399761
RUNJOBID= node124-1568399721-12058
PBS_JOBID= 21701876
Free space on /tmp= 61668 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr1000c-int.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395914-1568399761/watcher-4395914-1568399761 -o /tmp/evaluation-result-4395914-1568399761/solver-4395914-1568399761 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568399721-12058 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=935620869 HOME/instance-4395914-1568399761.xml

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

MD5SUM BENCH= 2ff4403728a82746813109e0b9ab6660
RANDOM SEED=935620869

node124.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.47
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.47
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.47
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.47
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:        28626408 kB
MemAvailable:   31778216 kB
Buffers:          176068 kB
Cached:          3267864 kB
SwapCached:        45888 kB
Active:          1183924 kB
Inactive:        2396700 kB
Active(anon):      89968 kB
Inactive(anon):    87896 kB
Active(file):    1093956 kB
Inactive(file):  2308804 kB
Unevictable:      108744 kB
Mlocked:          108744 kB
SwapTotal:      67108860 kB
SwapFree:       66959224 kB
Dirty:            183484 kB
Writeback:             0 kB
AnonPages:        180804 kB
Mapped:            56752 kB
Shmem:             32744 kB
Slab:             158704 kB
SReclaimable:     129768 kB
SUnreclaim:        28936 kB
KernelStack:        3712 kB
PageTables:         5880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1517540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61632 MiB
End job on node124 at 2019-09-13 20:49:35