Trace number 4387181

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.10? (TO) 2528.3 860.057

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.74/0.54	c Concrete v3.10.1560635388952 running

Verifier Data 

One s line expected

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387181-1568293293/watcher-4387181-1568293293 -o /tmp/evaluation-result-4387181-1568293293/solver-4387181-1568293293 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568286041-32307 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=530484493 HOME/instance-4387181-1568293293.xml 

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

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

solver pid=2656, runsolver pid=2653

[startup+0.109224 s]*
/proc/loadavg: 1.41 1.39 1.48 4/219 2713
/proc/meminfo: memFree=16857124/32770624 swapFree=66939688/67108860
[pid=2656] ppid=2653 vsize=10153664 memory=20532 CPUtime=0.09 cores=1,3,5,7
/proc/2656/stat : 2656 (java) S 2653 2656 31346 0 -1 1077944320 4865 13001 0 0 2 0 5 2 20 0 8 0 405596330 10397351936 5133 33554432000 4194304 4196468 140727494569728 140727494552272 139651742772983 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
/proc/2656/statm: 2538416 5133 2077 1 0 2526854 0
[pid=2656/tid=2709] ppid=2653 vsize=10355560 memory=-8171376296011865461 CPUtime=0.08 cores=1,3,5,7
/proc/2656/task/2709/stat : 2709 (java) R 2653 2656 31346 0 -1 4202560 2697 13001 0 0 1 0 5 2 20 0 9 0 405596339 10604093440 5693 33554432000 4194304 4196468 140727494569728 139651714609008 139651726853470 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2710] ppid=2653 vsize=10355560 memory=5792869726567804975 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2710/stat : 2710 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 9 0 405596340 10604093440 5693 33554432000 4194304 4196468 140727494569728 139651747015824 139651742783189 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2711] ppid=2653 vsize=10355560 memory=139655455659648 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2711/stat : 2711 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 9 0 405596340 10604093440 5693 33554432000 4194304 4196468 140727494569728 139651315477520 139651742783189 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2712] ppid=2653 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2712/stat : 2712 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 9 0 405596340 10604093440 5693 33554432000 4194304 4196468 140727494569728 139651314424720 139651742783189 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2713] ppid=2653 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2713/stat : 2713 (java) S 2653 2656 31346 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 9 0 405596340 10604093440 5693 33554432000 4194304 4196468 140727494569728 139651313371920 139651742783189 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2714] ppid=2653 vsize=10355560 memory=139655455659648 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2714/stat : 2714 (java) S 2653 2656 31346 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 9 0 405596341 10604093440 5693 33554432000 4194304 4196468 140727494569728 139651269413232 139651742784130 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2715] ppid=2653 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2715/stat : 2715 (java) S 2653 2656 31346 0 -1 1077944384 13 13001 0 0 0 0 5 2 20 0 9 0 405596342 10604093440 5693 33554432000 4194304 4196468 140727494569728 139651197166624 139651742783189 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2716] ppid=2653 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2716/stat : 2716 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 9 0 405596342 10604093440 5693 33554432000 4194304 4196468 140727494569728 139650727404464 139651742783189 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10153664 KiB
Current children cumulated memory: 20532 KiB

[startup+0.21029 s]*
/proc/loadavg: 1.41 1.39 1.48 3/228 2722
/proc/meminfo: memFree=16835948/32770624 swapFree=66939688/67108860
[pid=2656] ppid=2653 vsize=10818940 memory=43316 CPUtime=0.25 cores=1,3,5,7
/proc/2656/stat : 2656 (java) S 2653 2656 31346 0 -1 1077944320 7100 13001 0 0 17 1 5 2 20 0 15 0 405596330 11078594560 10829 33554432000 4194304 4196468 140727494569728 140727494552272 139651742772983 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
/proc/2656/statm: 2704735 10829 2985 1 0 2667149 0
[pid=2656/tid=2709] ppid=2653 vsize=10818940 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/2656/task/2709/stat : 2709 (java) R 2653 2656 31346 0 -1 4202560 3637 13001 0 0 11 1 5 2 20 0 15 0 405596339 11078594560 10829 33554432000 4194304 4196468 140727494569728 139651714605616 139651726853470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2710] ppid=2653 vsize=10818940 memory=4294967639 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2710/stat : 2710 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 405596340 11078594560 10829 33554432000 4194304 4196468 140727494569728 139651747015824 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2711] ppid=2653 vsize=10818940 memory=3907355595414918816 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2711/stat : 2711 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 405596340 11078594560 10829 33554432000 4194304 4196468 140727494569728 139651315477520 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2712] ppid=2653 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2712/stat : 2712 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 405596340 11078594560 10829 33554432000 4194304 4196468 140727494569728 139651314424720 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2713] ppid=2653 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2713/stat : 2713 (java) S 2653 2656 31346 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 15 0 405596340 11078594560 10829 33554432000 4194304 4196468 140727494569728 139651313371920 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2714] ppid=2653 vsize=10818940 memory=139655455659648 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2714/stat : 2714 (java) S 2653 2656 31346 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 15 0 405596341 11078594560 10829 33554432000 4194304 4196468 140727494569728 139651269413232 139651742784130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2715] ppid=2653 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2715/stat : 2715 (java) S 2653 2656 31346 0 -1 1077944384 13 13001 0 0 0 0 5 2 20 0 15 0 405596342 11078594560 10829 33554432000 4194304 4196468 140727494569728 139651197166624 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2716] ppid=2653 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2716/stat : 2716 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 405596342 11078594560 10829 33554432000 4194304 4196468 140727494569728 139650727404400 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2717] ppid=2653 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2717/stat : 2717 (java) S 2653 2656 31346 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 15 0 405596345 11078594560 10829 33554432000 4194304 4196468 140727494569728 139650458969936 139651742791579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2718] ppid=2653 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2656/task/2718/stat : 2718 (java) R 2653 2656 31346 0 -1 1077944384 471 13001 0 0 1 0 5 2 20 0 15 0 405596345 11078594560 10829 33554432000 4194304 4196468 140727494569728 139651268361072 139651742784130 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2719] ppid=2653 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2656/task/2719/stat : 2719 (java) S 2653 2656 31346 0 -1 1077944384 144 13001 0 0 1 0 5 2 20 0 15 0 405596345 11078594560 10829 33554432000 4194304 4196468 140727494569728 139651267308272 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2720] ppid=2653 vsize=10818940 memory=139655455659648 CPUtime=0.1 cores=1,3,5,7
/proc/2656/task/2720/stat : 2720 (java) R 2653 2656 31346 0 -1 4202560 629 13001 0 0 3 0 5 2 20 0 15 0 405596345 11078594560 10829 33554432000 4194304 4196468 140727494569728 139651266255472 139651722961581 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2721] ppid=2653 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2721/stat : 2721 (java) S 2653 2656 31346 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 405596345 11078594560 10829 33554432000 4194304 4196468 140727494569728 139649989208800 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2722] ppid=2653 vsize=10818940 memory=139655455659648 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2722/stat : 2722 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 405596345 11078594560 10829 33554432000 4194304 4196468 140727494569728 139651163609776 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 43316 KiB

[startup+0.310607 s]*
/proc/loadavg: 1.41 1.39 1.48 3/228 2722
/proc/meminfo: memFree=16825324/32770624 swapFree=66939688/67108860
[pid=2656] ppid=2653 vsize=10820096 memory=54680 CPUtime=0.39 cores=1,3,5,7
/proc/2656/stat : 2656 (java) S 2653 2656 31346 0 -1 1077944320 10856 13001 0 0 29 3 5 2 20 0 15 0 405596330 11079778304 13670 33554432000 4194304 4196468 140727494569728 140727494552272 139651742772983 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
/proc/2656/statm: 2705024 13670 3239 1 0 2667149 0
[pid=2656/tid=2709] ppid=2653 vsize=10820096 memory=-6957061461084680038 CPUtime=0.28 cores=1,3,5,7
/proc/2656/task/2709/stat : 2709 (java) R 2653 2656 31346 0 -1 4202560 7364 13001 0 0 19 2 5 2 20 0 15 0 405596339 11079778304 13670 33554432000 4194304 4196468 140727494569728 139651714592528 139651345992960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2710] ppid=2653 vsize=10820096 memory=4122819175002409273 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2710/stat : 2710 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 405596340 11079778304 13670 33554432000 4194304 4196468 140727494569728 139651747015824 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2711] ppid=2653 vsize=10820096 memory=279310813682768 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2711/stat : 2711 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 405596340 11079778304 13670 33554432000 4194304 4196468 140727494569728 139651315477520 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2712] ppid=2653 vsize=10820096 memory=2273 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2712/stat : 2712 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 405596340 11079778304 13670 33554432000 4194304 4196468 140727494569728 139651314424720 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2713] ppid=2653 vsize=10820096 memory=67 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2713/stat : 2713 (java) S 2653 2656 31346 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 15 0 405596340 11079778304 13670 33554432000 4194304 4196468 140727494569728 139651313371920 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2714] ppid=2653 vsize=10820096 memory=139655455659648 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2714/stat : 2714 (java) S 2653 2656 31346 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 15 0 405596341 11079778304 13670 33554432000 4194304 4196468 140727494569728 139651269413232 139651742784130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2715] ppid=2653 vsize=10820096 memory=67 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2715/stat : 2715 (java) S 2653 2656 31346 0 -1 1077944384 13 13001 0 0 0 0 5 2 20 0 15 0 405596342 11079778304 13670 33554432000 4194304 4196468 140727494569728 139651197166624 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2716] ppid=2653 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2716/stat : 2716 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 405596342 11079778304 13670 33554432000 4194304 4196468 140727494569728 139650727404400 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2717] ppid=2653 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2717/stat : 2717 (java) S 2653 2656 31346 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 15 0 405596345 11079778304 13670 33554432000 4194304 4196468 140727494569728 139650458969936 139651742791579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2718] ppid=2653 vsize=10820096 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2656/task/2718/stat : 2718 (java) S 2653 2656 31346 0 -1 1077944384 473 13001 0 0 2 0 5 2 20 0 15 0 405596345 11079778304 13670 33554432000 4194304 4196468 140727494569728 139651268361072 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2719] ppid=2653 vsize=10820096 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2656/task/2719/stat : 2719 (java) S 2653 2656 31346 0 -1 1077944384 144 13001 0 0 1 0 5 2 20 0 15 0 405596345 11079778304 13670 33554432000 4194304 4196468 140727494569728 139651267308272 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2720] ppid=2653 vsize=10820096 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/2656/task/2720/stat : 2720 (java) S 2653 2656 31346 0 -1 1077944384 642 13001 0 0 5 0 5 2 20 0 15 0 405596345 11079778304 13670 33554432000 4194304 4196468 140727494569728 139651266255472 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2721] ppid=2653 vsize=10820096 memory=139655455659648 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2721/stat : 2721 (java) S 2653 2656 31346 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 405596345 11079778304 13670 33554432000 4194304 4196468 140727494569728 139649989208800 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2722] ppid=2653 vsize=10820096 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2722/stat : 2722 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 405596345 11079778304 13670 33554432000 4194304 4196468 140727494569728 139651163609776 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 54680 KiB

[startup+0.700692 s]
/proc/loadavg: 1.41 1.39 1.48 5/228 2722
/proc/meminfo: memFree=16810576/32770624 swapFree=66939688/67108860
[pid=2656] ppid=2653 vsize=10824340 memory=84656 CPUtime=1.14 cores=1,3,5,7
/proc/2656/stat : 2656 (java) S 2653 2656 31346 0 -1 1077944320 14873 13001 0 0 102 5 5 2 20 0 15 0 405596330 11084124160 21164 33554432000 4194304 4196468 140727494569728 140727494552272 139651742772983 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
/proc/2656/statm: 2706085 21164 3496 1 0 2668173 0
[pid=2656/tid=2709] ppid=2653 vsize=10824340 memory=139659451564577 CPUtime=0.67 cores=1,3,5,7
/proc/2656/task/2709/stat : 2709 (java) R 2653 2656 31346 0 -1 4202560 10582 13001 0 0 56 4 5 2 20 0 15 0 405596339 11084124160 21164 33554432000 4194304 4196468 140727494569728 139651714600016 139651724179272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2710] ppid=2653 vsize=10824340 memory=139659451564598 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2710/stat : 2710 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 405596340 11084124160 21164 33554432000 4194304 4196468 140727494569728 139651747015824 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2711] ppid=2653 vsize=10824340 memory=139659451564599 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2711/stat : 2711 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 405596340 11084124160 21164 33554432000 4194304 4196468 140727494569728 139651315477520 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2712] ppid=2653 vsize=10824340 memory=139659451564602 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2712/stat : 2712 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 405596340 11084124160 21164 33554432000 4194304 4196468 140727494569728 139651314424720 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2713] ppid=2653 vsize=10824340 memory=5956 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2713/stat : 2713 (java) S 2653 2656 31346 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 15 0 405596340 11084124160 21164 33554432000 4194304 4196468 140727494569728 139651313371920 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2714] ppid=2653 vsize=10824340 memory=180 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2714/stat : 2714 (java) S 2653 2656 31346 0 -1 1077944384 5 13001 0 0 0 0 5 2 20 0 15 0 405596341 11084124160 21164 33554432000 4194304 4196468 140727494569728 139651269413232 139651742784130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2715] ppid=2653 vsize=10824340 memory=288230604624110383 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2715/stat : 2715 (java) S 2653 2656 31346 0 -1 1077944384 13 13001 0 0 0 0 5 2 20 0 15 0 405596342 11084124160 21164 33554432000 4194304 4196468 140727494569728 139651197166624 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2716] ppid=2653 vsize=10824340 memory=14131143308764767 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2716/stat : 2716 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 405596342 11084124160 21164 33554432000 4194304 4196468 140727494569728 139650727404400 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2717] ppid=2653 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2717/stat : 2717 (java) S 2653 2656 31346 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 15 0 405596345 11084124160 21164 33554432000 4194304 4196468 140727494569728 139650458969936 139651742791579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2718] ppid=2653 vsize=10824340 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/2656/task/2718/stat : 2718 (java) S 2653 2656 31346 0 -1 1077944384 705 13001 0 0 12 0 5 2 20 0 15 0 405596345 11084124160 21164 33554432000 4194304 4196468 140727494569728 139651268361072 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2719] ppid=2653 vsize=10824340 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/2656/task/2719/stat : 2719 (java) S 2653 2656 31346 0 -1 1077944384 529 13001 0 0 16 0 5 2 20 0 15 0 405596345 11084124160 21164 33554432000 4194304 4196468 140727494569728 139651267308272 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2720] ppid=2653 vsize=10824340 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/2656/task/2720/stat : 2720 (java) R 2653 2656 31346 0 -1 4202560 818 13001 0 0 17 0 5 2 20 0 15 0 405596345 11084124160 21164 33554432000 4194304 4196468 140727494569728 139651266255472 139651735010110 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2721] ppid=2653 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2721/stat : 2721 (java) S 2653 2656 31346 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 405596345 11084124160 21164 33554432000 4194304 4196468 140727494569728 139649989208800 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2722] ppid=2653 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2722/stat : 2722 (java) S 2653 2656 31346 0 -1 1077944384 1 13001 0 0 0 0 5 2 20 0 15 0 405596345 11084124160 21164 33554432000 4194304 4196468 140727494569728 139651163609776 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 84656 KiB

[startup+1.50125 s]
/proc/loadavg: 1.41 1.39 1.48 3/228 2722
/proc/meminfo: memFree=16722276/32770624 swapFree=66939688/67108860
[pid=2656] ppid=2653 vsize=10824340 memory=432428 CPUtime=3.01 cores=1,3,5,7
/proc/2656/stat : 2656 (java) S 2653 2656 31346 0 -1 1077944320 17479 13001 0 0 254 40 5 2 20 0 15 0 405596330 11084124160 108107 33554432000 4194304 4196468 140727494569728 140727494552272 139651742772983 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
/proc/2656/statm: 2706085 108107 3543 1 0 2668173 0
[pid=2656/tid=2709] ppid=2653 vsize=10824340 memory=7445947050617103700 CPUtime=1.26 cores=1,3,5,7
/proc/2656/task/2709/stat : 2709 (java) S 2653 2656 31346 0 -1 1077944384 11196 13001 0 0 113 6 5 2 20 0 15 0 405596339 11084124160 108107 33554432000 4194304 4196468 140727494569728 139651714609280 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2710] ppid=2653 vsize=10824340 memory=7373889456579175764 CPUtime=0.25 cores=1,3,5,7
/proc/2656/task/2710/stat : 2710 (java) R 2653 2656 31346 0 -1 4202560 203 13001 0 0 10 8 5 2 20 0 15 0 405596340 11084124160 108107 33554432000 4194304 4196468 140727494569728 139651747016024 139651727800857 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2711] ppid=2653 vsize=10824340 memory=7810763844726514514 CPUtime=0.25 cores=1,3,5,7
/proc/2656/task/2711/stat : 2711 (java) R 2653 2656 31346 0 -1 4202560 161 13001 0 0 11 7 5 2 20 0 15 0 405596340 11084124160 108107 33554432000 4194304 4196468 140727494569728 139651315477720 139651727800866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2712] ppid=2653 vsize=10824340 memory=7 CPUtime=0.25 cores=1,3,5,7
/proc/2656/task/2712/stat : 2712 (java) R 2653 2656 31346 0 -1 4202560 210 13001 0 0 11 7 5 2 20 0 15 0 405596340 11084124160 108107 33554432000 4194304 4196468 140727494569728 139651314424920 139651727800866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2713] ppid=2653 vsize=10824340 memory=8945 CPUtime=0.24 cores=1,3,5,7
/proc/2656/task/2713/stat : 2713 (java) R 2653 2656 31346 0 -1 4202560 220 13001 0 0 10 7 5 2 20 0 15 0 405596340 11084124160 108107 33554432000 4194304 4196468 140727494569728 139651313371808 139651727800866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2714] ppid=2653 vsize=10824340 memory=14690799039052678 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2714/stat : 2714 (java) S 2653 2656 31346 0 -1 1077944384 87 13001 0 0 0 0 5 2 20 0 15 0 405596341 11084124160 108107 33554432000 4194304 4196468 140727494569728 139651269411744 139651742783189 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2715] ppid=2653 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2715/stat : 2715 (java) S 2653 2656 31346 0 -1 1077944384 14 13001 0 0 0 0 5 2 20 0 15 0 405596342 11084124160 108107 33554432000 4194304 4196468 140727494569728 139651197166688 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2716] ppid=2653 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2716/stat : 2716 (java) S 2653 2656 31346 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 405596342 11084124160 108107 33554432000 4194304 4196468 140727494569728 139650727404416 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2717] ppid=2653 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2717/stat : 2717 (java) S 2653 2656 31346 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 15 0 405596345 11084124160 108107 33554432000 4194304 4196468 140727494569728 139650458969936 139651742791579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2718] ppid=2653 vsize=10824340 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/2656/task/2718/stat : 2718 (java) S 2653 2656 31346 0 -1 1077944384 1359 13001 0 0 33 0 5 2 20 0 15 0 405596345 11084124160 108107 33554432000 4194304 4196468 140727494569728 139651268361072 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2719] ppid=2653 vsize=10824340 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/2656/task/2719/stat : 2719 (java) S 2653 2656 31346 0 -1 1077944384 724 13001 0 0 36 0 5 2 20 0 15 0 405596345 11084124160 108107 33554432000 4194304 4196468 140727494569728 139651267308272 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2720] ppid=2653 vsize=10824340 memory=142142144080965 CPUtime=0.32 cores=1,3,5,7
/proc/2656/task/2720/stat : 2720 (java) S 2653 2656 31346 0 -1 1077944384 1084 13001 0 0 25 0 5 2 20 0 15 0 405596345 11084124160 108107 33554432000 4194304 4196468 140727494569728 139651266255472 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0

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

/proc/2656/statm: 2710205 2096144 3620 1 0 2672269 0
[pid=2656/tid=2709] ppid=2653 vsize=10840820 memory=8384576 CPUtime=234.34 cores=1,3,5,7
/proc/2656/task/2709/stat : 2709 (java) S 2653 2656 31346 0 -1 1077944384 58752 13001 0 0 23409 18 5 2 20 0 15 0 405596339 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651714605776 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2710] ppid=2653 vsize=10840820 memory=8384576 CPUtime=553.01 cores=1,3,5,7
/proc/2656/task/2710/stat : 2710 (java) R 2653 2656 31346 0 -1 4202560 40563 13001 0 0 55151 143 5 2 20 0 15 0 405596340 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651747016024 139651727470735 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2711] ppid=2653 vsize=10840820 memory=8384572 CPUtime=552.09 cores=1,3,5,7
/proc/2656/task/2711/stat : 2711 (java) R 2653 2656 31346 0 -1 4202560 35162 13001 0 0 55058 144 5 2 20 0 15 0 405596340 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651315477720 139651727470622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2712] ppid=2653 vsize=10840820 memory=4872558044660077418 CPUtime=552.63 cores=1,3,5,7
/proc/2656/task/2712/stat : 2712 (java) R 2653 2656 31346 0 -1 4202560 38456 13001 0 0 55119 137 5 2 20 0 15 0 405596340 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651314424720 139651727470645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2713] ppid=2653 vsize=10840820 memory=13571500477253441 CPUtime=552.18 cores=1,3,5,7
/proc/2656/task/2713/stat : 2713 (java) R 2653 2656 31346 0 -1 4202560 37437 13001 0 0 55067 144 5 2 20 0 15 0 405596340 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651313372120 139651727758279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2714] ppid=2653 vsize=10840820 memory=111632 CPUtime=67.13 cores=1,3,5,7
/proc/2656/task/2714/stat : 2714 (java) S 2653 2656 31346 0 -1 1077944384 189547 13001 0 0 6695 11 5 2 20 0 15 0 405596341 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651269411552 139651742783189 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2715] ppid=2653 vsize=10840820 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2715/stat : 2715 (java) S 2653 2656 31346 0 -1 1077944384 53 13001 0 0 0 0 5 2 20 0 15 0 405596342 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651197166688 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2716] ppid=2653 vsize=10840820 memory=3300 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2716/stat : 2716 (java) S 2653 2656 31346 0 -1 1077944384 22 13001 0 0 0 0 5 2 20 0 15 0 405596342 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139650727404416 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2717] ppid=2653 vsize=10840820 memory=1460296 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2717/stat : 2717 (java) S 2653 2656 31346 0 -1 1077944384 2 13001 0 0 0 0 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139650458969936 139651742791579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2718] ppid=2653 vsize=10840820 memory=5787477641288517003 CPUtime=3.71 cores=1,3,5,7
/proc/2656/task/2718/stat : 2718 (java) S 2653 2656 31346 0 -1 1077944384 19382 13001 0 0 361 3 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651268361072 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2719] ppid=2653 vsize=10840820 memory=-8961168018402230209 CPUtime=3.52 cores=1,3,5,7
/proc/2656/task/2719/stat : 2719 (java) S 2653 2656 31346 0 -1 1077944384 17459 13001 0 0 342 3 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651267308272 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2720] ppid=2653 vsize=10840820 memory=-8253362762722141311 CPUtime=1.4 cores=1,3,5,7
/proc/2656/task/2720/stat : 2720 (java) S 2653 2656 31346 0 -1 1077944384 20268 13001 0 0 130 3 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651266255472 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2721] ppid=2653 vsize=10840820 memory=7100839861465685612 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2721/stat : 2721 (java) S 2653 2656 31346 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139649989208800 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2722] ppid=2653 vsize=10840820 memory=-7175204567652784766 CPUtime=0.76 cores=1,3,5,7
/proc/2656/task/2722/stat : 2722 (java) S 2653 2656 31346 0 -1 1077944384 802 13001 0 0 30 39 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651163609776 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
Current children cumulated CPU time: 2520.23 s
Current children cumulated vsize: 10840820 KiB
Current children cumulated memory: 8384576 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+860.057 s]
# the end of solver process 2656 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2522.07 s, system=6.22577 s

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

[startup+859.201 s]
/proc/loadavg: 4.20 3.66 2.69 6/227 2820
/proc/meminfo: memFree=8462156/32770624 swapFree=66939688/67108860
[pid=2656] ppid=2653 vsize=10840820 memory=8384576 CPUtime=2524.98 cores=1,3,5,7
/proc/2656/stat : 2656 (java) S 2653 2656 31346 0 -1 1077944320 460148 13001 0 0 251875 616 5 2 20 0 15 0 405596330 11100999680 2096144 33554432000 4194304 4196468 140727494569728 140727494552272 139651742772983 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
/proc/2656/statm: 2710205 2096144 3620 1 0 2672269 0
[pid=2656/tid=2709] ppid=2653 vsize=10840820 memory=-3472574513799858009 CPUtime=234.34 cores=1,3,5,7
/proc/2656/task/2709/stat : 2709 (java) S 2653 2656 31346 0 -1 1077944384 58752 13001 0 0 23409 18 5 2 20 0 15 0 405596339 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651714605776 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2710] ppid=2653 vsize=10840820 memory=4948214206377532800 CPUtime=554.18 cores=1,3,5,7
/proc/2656/task/2710/stat : 2710 (java) R 2653 2656 31346 0 -1 4202560 40568 13001 0 0 55268 143 5 2 20 0 15 0 405596340 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651747016024 139651727470622 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2711] ppid=2653 vsize=10840820 memory=8112282956445269571 CPUtime=553.28 cores=1,3,5,7
/proc/2656/task/2711/stat : 2711 (java) R 2653 2656 31346 0 -1 4202560 35162 13001 0 0 55177 144 5 2 20 0 15 0 405596340 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651315477720 139651727470725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2712] ppid=2653 vsize=10840820 memory=1548 CPUtime=553.82 cores=1,3,5,7
/proc/2656/task/2712/stat : 2712 (java) R 2653 2656 31346 0 -1 4202560 38463 13001 0 0 55238 137 5 2 20 0 15 0 405596340 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651314424608 139651727724158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2713] ppid=2653 vsize=10840820 memory=8112282956445269571 CPUtime=553.37 cores=1,3,5,7
/proc/2656/task/2713/stat : 2713 (java) R 2653 2656 31346 0 -1 4202560 37451 13001 0 0 55186 144 5 2 20 0 15 0 405596340 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651313372120 139651727724024 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2714] ppid=2653 vsize=10840820 memory=7897517683652307531 CPUtime=67.13 cores=1,3,5,7
/proc/2656/task/2714/stat : 2714 (java) S 2653 2656 31346 0 -1 1077944384 189547 13001 0 0 6695 11 5 2 20 0 15 0 405596341 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651269411552 139651742783189 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2715] ppid=2653 vsize=10840820 memory=8514726395715349656 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2715/stat : 2715 (java) S 2653 2656 31346 0 -1 1077944384 53 13001 0 0 0 0 5 2 20 0 15 0 405596342 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651197166688 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2716] ppid=2653 vsize=10840820 memory=-8634980985311628903 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2716/stat : 2716 (java) S 2653 2656 31346 0 -1 1077944384 22 13001 0 0 0 0 5 2 20 0 15 0 405596342 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139650727404416 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2717] ppid=2653 vsize=10840820 memory=5956 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2717/stat : 2717 (java) S 2653 2656 31346 0 -1 1077944384 5 13001 0 0 0 0 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139650458969584 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2718] ppid=2653 vsize=10840820 memory=10604 CPUtime=3.71 cores=1,3,5,7
/proc/2656/task/2718/stat : 2718 (java) S 2653 2656 31346 0 -1 1077944384 19382 13001 0 0 361 3 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651268361072 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2719] ppid=2653 vsize=10840820 memory=728 CPUtime=3.52 cores=1,3,5,7
/proc/2656/task/2719/stat : 2719 (java) S 2653 2656 31346 0 -1 1077944384 17459 13001 0 0 342 3 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651267308272 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2720] ppid=2653 vsize=10840820 memory=780 CPUtime=1.4 cores=1,3,5,7
/proc/2656/task/2720/stat : 2720 (java) S 2653 2656 31346 0 -1 1077944384 20268 13001 0 0 130 3 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651266255472 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2721] ppid=2653 vsize=10840820 memory=1552 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2721/stat : 2721 (java) S 2653 2656 31346 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139649989208800 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2722] ppid=2653 vsize=10840820 memory=2832 CPUtime=0.76 cores=1,3,5,7
/proc/2656/task/2722/stat : 2722 (java) S 2653 2656 31346 0 -1 1077944384 802 13001 0 0 30 39 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651163609776 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
Current children cumulated CPU time: 2524.98 s
Current children cumulated vsize: 10840820 KiB
Current children cumulated memory: 8384576 KiB

[startup+859.601 s]
/proc/loadavg: 4.20 3.66 2.69 6/227 2820
/proc/meminfo: memFree=8462156/32770624 swapFree=66939688/67108860
[pid=2656] ppid=2653 vsize=10840820 memory=8384576 CPUtime=2526.58 cores=1,3,5,7
/proc/2656/stat : 2656 (java) S 2653 2656 31346 0 -1 1077944320 460167 13001 0 0 252035 616 5 2 20 0 15 0 405596330 11100999680 2096144 33554432000 4194304 4196468 140727494569728 140727494552272 139651742772983 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
/proc/2656/statm: 2710205 2096144 3620 1 0 2672269 0
[pid=2656/tid=2709] ppid=2653 vsize=10840820 memory=111632 CPUtime=234.34 cores=1,3,5,7
/proc/2656/task/2709/stat : 2709 (java) S 2653 2656 31346 0 -1 1077944384 58752 13001 0 0 23409 18 5 2 20 0 15 0 405596339 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651714605776 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2710] ppid=2653 vsize=10840820 memory=1408 CPUtime=554.58 cores=1,3,5,7
/proc/2656/task/2710/stat : 2710 (java) R 2653 2656 31346 0 -1 4202560 40570 13001 0 0 55308 143 5 2 20 0 15 0 405596340 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651747016024 139651727757994 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2711] ppid=2653 vsize=10840820 memory=3300 CPUtime=553.68 cores=1,3,5,7
/proc/2656/task/2711/stat : 2711 (java) R 2653 2656 31346 0 -1 4202560 35166 13001 0 0 55217 144 5 2 20 0 15 0 405596340 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651315477720 139651727723588 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2712] ppid=2653 vsize=10840820 memory=1460296 CPUtime=554.22 cores=1,3,5,7
/proc/2656/task/2712/stat : 2712 (java) R 2653 2656 31346 0 -1 4202560 38468 13001 0 0 55278 137 5 2 20 0 15 0 405596340 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651314424608 139651727470622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2713] ppid=2653 vsize=10840820 memory=4872558044660077418 CPUtime=553.77 cores=1,3,5,7
/proc/2656/task/2713/stat : 2713 (java) R 2653 2656 31346 0 -1 4202560 37459 13001 0 0 55226 144 5 2 20 0 15 0 405596340 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651313372120 139651727470622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2714] ppid=2653 vsize=10840820 memory=13571500477253441 CPUtime=67.13 cores=1,3,5,7
/proc/2656/task/2714/stat : 2714 (java) S 2653 2656 31346 0 -1 1077944384 189547 13001 0 0 6695 11 5 2 20 0 15 0 405596341 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651269411552 139651742783189 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2715] ppid=2653 vsize=10840820 memory=111632 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2715/stat : 2715 (java) S 2653 2656 31346 0 -1 1077944384 53 13001 0 0 0 0 5 2 20 0 15 0 405596342 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651197166688 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2716] ppid=2653 vsize=10840820 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2716/stat : 2716 (java) S 2653 2656 31346 0 -1 1077944384 22 13001 0 0 0 0 5 2 20 0 15 0 405596342 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139650727404416 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2717] ppid=2653 vsize=10840820 memory=3300 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2717/stat : 2717 (java) S 2653 2656 31346 0 -1 1077944384 5 13001 0 0 0 0 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139650458969584 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2718] ppid=2653 vsize=10840820 memory=1460296 CPUtime=3.71 cores=1,3,5,7
/proc/2656/task/2718/stat : 2718 (java) S 2653 2656 31346 0 -1 1077944384 19382 13001 0 0 361 3 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651268361072 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2719] ppid=2653 vsize=10840820 memory=5787477641288517003 CPUtime=3.52 cores=1,3,5,7
/proc/2656/task/2719/stat : 2719 (java) S 2653 2656 31346 0 -1 1077944384 17459 13001 0 0 342 3 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651267308272 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2720] ppid=2653 vsize=10840820 memory=-8961168018402230209 CPUtime=1.4 cores=1,3,5,7
/proc/2656/task/2720/stat : 2720 (java) S 2653 2656 31346 0 -1 1077944384 20268 13001 0 0 130 3 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651266255472 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2721] ppid=2653 vsize=10840820 memory=-8253362762722141311 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2721/stat : 2721 (java) S 2653 2656 31346 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139649989208800 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2722] ppid=2653 vsize=10840820 memory=7100839861465685612 CPUtime=0.76 cores=1,3,5,7
/proc/2656/task/2722/stat : 2722 (java) S 2653 2656 31346 0 -1 1077944384 802 13001 0 0 30 39 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651163609776 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
Current children cumulated CPU time: 2526.58 s
Current children cumulated vsize: 10840820 KiB
Current children cumulated memory: 8384576 KiB

[startup+860.001 s]*
/proc/loadavg: 4.20 3.66 2.69 6/227 2820
/proc/meminfo: memFree=8462156/32770624 swapFree=66939688/67108860
[pid=2656] ppid=2653 vsize=10840820 memory=8384576 CPUtime=2528.2 cores=1,3,5,7
/proc/2656/stat : 2656 (java) S 2653 2656 31346 0 -1 1077944320 460198 13001 0 0 252197 616 5 2 20 0 15 0 405596330 11100999680 2096144 33554432000 4194304 4196468 140727494569728 140727494552272 139651742772983 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
/proc/2656/statm: 2710205 2096144 3620 1 0 2672269 0
[pid=2656/tid=2709] ppid=2653 vsize=10840820 memory=6935054825532540783 CPUtime=234.34 cores=1,3,5,7
/proc/2656/task/2709/stat : 2709 (java) S 2653 2656 31346 0 -1 1077944384 58752 13001 0 0 23409 18 5 2 20 0 15 0 405596339 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651714605776 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2710] ppid=2653 vsize=10840820 memory=4872558044660077418 CPUtime=554.98 cores=1,3,5,7
/proc/2656/task/2710/stat : 2710 (java) R 2653 2656 31346 0 -1 4202560 40579 13001 0 0 55348 143 5 2 20 0 15 0 405596340 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651747016024 139651727758279 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2711] ppid=2653 vsize=10840820 memory=6944656592455359580 CPUtime=554.09 cores=1,3,5,7
/proc/2656/task/2711/stat : 2711 (java) R 2653 2656 31346 0 -1 4202560 35179 13001 0 0 55258 144 5 2 20 0 15 0 405596340 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651315477720 139651727723588 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2712] ppid=2653 vsize=10840820 memory=1376 CPUtime=554.63 cores=1,3,5,7
/proc/2656/task/2712/stat : 2712 (java) R 2653 2656 31346 0 -1 4202560 38470 13001 0 0 55319 137 5 2 20 0 15 0 405596340 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651314424608 139651727470622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2713] ppid=2653 vsize=10840820 memory=1060 CPUtime=554.18 cores=1,3,5,7
/proc/2656/task/2713/stat : 2713 (java) R 2653 2656 31346 0 -1 4202560 37466 13001 0 0 55267 144 5 2 20 0 15 0 405596340 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651313372120 139651727723976 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2714] ppid=2653 vsize=10840820 memory=3248 CPUtime=67.13 cores=1,3,5,7
/proc/2656/task/2714/stat : 2714 (java) S 2653 2656 31346 0 -1 1077944384 189547 13001 0 0 6695 11 5 2 20 0 15 0 405596341 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651269411552 139651742783189 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2715] ppid=2653 vsize=10840820 memory=1724 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2715/stat : 2715 (java) S 2653 2656 31346 0 -1 1077944384 53 13001 0 0 0 0 5 2 20 0 15 0 405596342 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651197166688 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2716] ppid=2653 vsize=10840820 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2716/stat : 2716 (java) S 2653 2656 31346 0 -1 1077944384 22 13001 0 0 0 0 5 2 20 0 15 0 405596342 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139650727404416 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2717] ppid=2653 vsize=10840820 memory=288230621803970871 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2717/stat : 2717 (java) S 2653 2656 31346 0 -1 1077944384 5 13001 0 0 0 0 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139650458969584 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2718] ppid=2653 vsize=10840820 memory=13571500477253441 CPUtime=3.71 cores=1,3,5,7
/proc/2656/task/2718/stat : 2718 (java) S 2653 2656 31346 0 -1 1077944384 19382 13001 0 0 361 3 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651268361072 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2719] ppid=2653 vsize=10840820 memory=1772 CPUtime=3.52 cores=1,3,5,7
/proc/2656/task/2719/stat : 2719 (java) S 2653 2656 31346 0 -1 1077944384 17459 13001 0 0 342 3 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651267308272 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2720] ppid=2653 vsize=10840820 memory=1804 CPUtime=1.4 cores=1,3,5,7
/proc/2656/task/2720/stat : 2720 (java) S 2653 2656 31346 0 -1 1077944384 20268 13001 0 0 130 3 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651266255472 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2721] ppid=2653 vsize=10840820 memory=920 CPUtime=0.07 cores=1,3,5,7
/proc/2656/task/2721/stat : 2721 (java) S 2653 2656 31346 0 -1 1077944384 3 13001 0 0 0 0 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139649989208800 139651742783189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
[pid=2656/tid=2722] ppid=2653 vsize=10840820 memory=3852 CPUtime=0.76 cores=1,3,5,7
/proc/2656/task/2722/stat : 2722 (java) S 2653 2656 31346 0 -1 1077944384 802 13001 0 0 30 39 5 2 20 0 15 0 405596345 11100999680 2096144 33554432000 4194304 4196468 140727494569728 139651163609776 139651742784130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28680192 140727494572790 140727494575301 140727494575301 140727494578127 0
Current children cumulated CPU time: 2528.2 s
Current children cumulated vsize: 10840820 KiB
Current children cumulated memory: 8384576 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 860.057
CPU time (s): 2528.3
CPU user time (s): 2522.07
CPU system time (s): 6.22577
CPU usage (%): 293.969
Max. virtual memory (cumulated for all children) (KiB): 10840820
Max. memory (cumulated for all children) (KiB): 8390732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2522.07
system time used= 6.22577
maximum resident set size= 8390732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 473201
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34711
involuntary context switches= 20468


# summary of solver processes directly reported to runsolver:
#   pid: 2656
#   total CPU time (s): 2528.3
#   total CPU user time (s): 2522.07
#   total CPU system time (s): 6.22577

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.21235 second user time and 8.55867 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-12 15:00:52
IDJOB=4387181
IDBENCH=126912
IDSOLVER=2823
FILE ID=node125/4387181-1568293293
RUNJOBID= node125-1568286041-32307
PBS_JOBID= 21701079
Free space on /tmp= 54980 MiB

SOLVER NAME= Concrete 3.10
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-4387181-1568293293/watcher-4387181-1568293293 -o /tmp/evaluation-result-4387181-1568293293/solver-4387181-1568293293 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568286041-32307 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=530484493 HOME/instance-4387181-1568293293.xml

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

MD5SUM BENCH= 2ff4403728a82746813109e0b9ab6660
RANDOM SEED=530484493

node125.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.29
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.29
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.29
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.29
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:        16867032 kB
MemAvailable:   30364416 kB
Buffers:          165848 kB
Cached:         13456100 kB
SwapCached:        66696 kB
Active:          2661644 kB
Inactive:       12460224 kB
Active(anon):    1437712 kB
Inactive(anon):   103148 kB
Active(file):    1223932 kB
Inactive(file): 12357076 kB
Unevictable:      108980 kB
Mlocked:          108980 kB
SwapTotal:      67108860 kB
SwapFree:       66939688 kB
Dirty:            118048 kB
Writeback:             0 kB
AnonPages:       1543972 kB
Mapped:            55328 kB
Shmem:             32108 kB
Slab:             373172 kB
SReclaimable:     344836 kB
SUnreclaim:        28336 kB
KernelStack:        3728 kB
PageTables:         8576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2583520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1353728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 54948 MiB
End job on node125 at 2019-09-12 15:15:13