Trace number 4304453

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2OPT13871 9.94778 4.47656

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-ex2_c18.xml
MD5SUMbecbd2d91dde2be36fb4b4a471bae430
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark13871
Best CPU time to get the best result obtained on this benchmark2.40972
Satisfiable
(Un)Satisfiability was proved
Number of variables61
Number of constraints34
Number of domains13
Minimum domain size1
Maximum domain size100
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":21},{"size":6,"count":2},{"size":8,"count":1},{"size":11,"count":14},{"size":12,"count":1},{"size":16,"count":2},{"size":26,"count":1},{"size":65,"count":1},{"size":76,"count":4},{"size":100,"count":12}]
Minimum variable degree2
Maximum variable degree15
Distribution of variable degrees[{"degree":2,"count":45},{"degree":3,"count":4},{"degree":4,"count":6},{"degree":5,"count":4},{"degree":6,"count":1},{"degree":15,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":6},{"arity":3,"count":14},{"arity":6,"count":14}]
Number of extensional constraints14
Number of intensional constraints20
Distribution of constraint types[{"type":"extension","count":14},{"type":"intension","count":20}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.97/0.74	c Concrete v3.9.2.1532736233296 running
9.55/4.33	o 13871
9.55/4.38	v <instantiation cost="13871">
9.55/4.38	v       <list>
9.55/4.38	v         f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13]
9.55/4.38	v       </list>
9.55/4.38	v       <values>
9.55/4.38	v         31 31 67 65 100 1 55 48 75 0 0 1 1 1 1 0 0 0 7 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 3 6 0 0 0 0 0 0 0 0 0 36 44 34 69 30 33 66 35 10 99 25 47 74 27
9.55/4.38	v       </values>
9.55/4.38	v     </instantiation>
9.55/4.38	s OPTIMUM FOUND

Verifier Data 

OK	13871

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304453-1534091178/watcher-4304453-1534091178 -o /tmp/evaluation-result-4304453-1534091178/solver-4304453-1534091178 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534063810-20601 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=841312944 HOME/instance-4304453-1534091178.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=25203, runsolver pid=25200


[startup+0.100063 s]*
/proc/loadavg: 2.30 1.86 1.72 2/206 25260
/proc/meminfo: memFree=7822724/32770624 swapFree=67108496/67108860
[pid=25203] ppid=25200 vsize=10005480 memory=19120 CPUtime=0.08 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25200 25203 20569 0 -1 1077944320 4405 13154 0 0 1 0 5 2 20 0 6 0 226681006 10245611520 4780 33554432000 4194304 4196468 140727736800192 140727736782736 140517822504695 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
/proc/25203/statm: 2501370 4780 1934 1 0 2489808 0
[pid=25203/tid=25256] ppid=25200 vsize=10005480 memory=4279135703912971920 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25256/stat : 25256 (java) R 25200 25203 20569 0 -1 4202560 2211 13154 0 0 1 0 5 2 20 0 6 0 226681015 10245611520 4780 33554432000 4194304 4196468 140727736800192 140517794341456 140517807627632 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25257] ppid=25200 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25257/stat : 25257 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 6 0 226681015 10245611520 4780 33554432000 4194304 4196468 140727736800192 140517826747152 140517822514901 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25258] ppid=25200 vsize=10005480 memory=139690260575872 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25258/stat : 25258 (java) S 25200 25203 20569 0 -1 1077944384 2 13154 0 0 0 0 5 2 20 0 6 0 226681016 10245611520 4780 33554432000 4194304 4196468 140727736800192 140517708012432 140517822514901 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25259] ppid=25200 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25259/stat : 25259 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 6 0 226681016 10245611520 4780 33554432000 4194304 4196468 140727736800192 140517361507344 140517822514901 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25260] ppid=25200 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25260/stat : 25260 (java) S 25200 25203 20569 0 -1 1077944384 2 13154 0 0 0 0 5 2 20 0 6 0 226681016 10245611520 4780 33554432000 4194304 4196468 140727736800192 140517360454800 140517822514901 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 19120 KiB

[startup+0.210047 s]*
/proc/loadavg: 2.30 1.86 1.72 2/215 25269
/proc/meminfo: memFree=7798156/32770624 swapFree=67108496/67108860
[pid=25203] ppid=25200 vsize=10982696 memory=43916 CPUtime=0.25 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25200 25203 20569 0 -1 1077944320 8364 13154 0 0 17 1 5 2 20 0 15 0 226681006 11246280704 10979 33554432000 4194304 4196468 140727736800192 140727736782736 140517822504695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
/proc/25203/statm: 2745674 10979 2934 1 0 2708109 0
[pid=25203/tid=25256] ppid=25200 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/25203/task/25256/stat : 25256 (java) R 25200 25203 20569 0 -1 4202560 4907 13154 0 0 11 1 5 2 20 0 15 0 226681015 11246280704 10979 33554432000 4194304 4196468 140727736800192 140517794302352 140517804068224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25257] ppid=25200 vsize=10982696 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25257/stat : 25257 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 15 0 226681015 11246280704 10979 33554432000 4194304 4196468 140727736800192 140517826747152 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25258] ppid=25200 vsize=10982696 memory=288370066412287616 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25258/stat : 25258 (java) S 25200 25203 20569 0 -1 1077944384 2 13154 0 0 0 0 5 2 20 0 15 0 226681016 11246280704 10979 33554432000 4194304 4196468 140727736800192 140517708012432 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25259] ppid=25200 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25259/stat : 25259 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 15 0 226681016 11246280704 10979 33554432000 4194304 4196468 140727736800192 140517361507344 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25260] ppid=25200 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25260/stat : 25260 (java) S 25200 25203 20569 0 -1 1077944384 2 13154 0 0 0 0 5 2 20 0 15 0 226681016 11246280704 10979 33554432000 4194304 4196468 140727736800192 140517360454800 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25261] ppid=25200 vsize=10982696 memory=139690260575872 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25261/stat : 25261 (java) S 25200 25203 20569 0 -1 1077944384 2 13154 0 0 0 0 5 2 20 0 15 0 226681017 11246280704 10979 33554432000 4194304 4196468 140727736800192 140517315639280 140517822515842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25262] ppid=25200 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25262/stat : 25262 (java) S 25200 25203 20569 0 -1 1077944384 13 13154 0 0 0 0 5 2 20 0 15 0 226681017 11246280704 10979 33554432000 4194304 4196468 140727736800192 140516633076640 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25263] ppid=25200 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25263/stat : 25263 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 15 0 226681018 11246280704 10979 33554432000 4194304 4196468 140727736800192 140516431750128 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25264] ppid=25200 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25264/stat : 25264 (java) S 25200 25203 20569 0 -1 1077944384 3 13154 0 0 0 0 5 2 20 0 15 0 226681020 11246280704 10979 33554432000 4194304 4196468 140727736800192 140516124350672 140517822523291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25265] ppid=25200 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25265/stat : 25265 (java) S 25200 25203 20569 0 -1 1077944384 357 13154 0 0 1 0 5 2 20 0 15 0 226681020 11246280704 10979 33554432000 4194304 4196468 140727736800192 140517314587120 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25266] ppid=25200 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25266/stat : 25266 (java) S 25200 25203 20569 0 -1 1077944384 255 13154 0 0 0 0 5 2 20 0 15 0 226681020 11246280704 10979 33554432000 4194304 4196468 140727736800192 140517313534576 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25267] ppid=25200 vsize=10982696 memory=139690260575872 CPUtime=0.1 cores=1,3,5,7
/proc/25203/task/25267/stat : 25267 (java) S 25200 25203 20569 0 -1 1077944384 628 13154 0 0 3 0 5 2 20 0 15 0 226681020 11246280704 10979 33554432000 4194304 4196468 140727736800192 140517312482032 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25268] ppid=25200 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25268/stat : 25268 (java) S 25200 25203 20569 0 -1 1077944384 3 13154 0 0 0 0 5 2 20 0 15 0 226681020 11246280704 10979 33554432000 4194304 4196468 140727736800192 140515693554784 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25269] ppid=25200 vsize=10982696 memory=139690260575872 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25269/stat : 25269 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 15 0 226681021 11246280704 10979 33554432000 4194304 4196468 140727736800192 140517311428912 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 43916 KiB

[startup+0.310607 s]*
/proc/loadavg: 2.30 1.86 1.72 3/215 25269
/proc/meminfo: memFree=7789100/32770624 swapFree=67108496/67108860
[pid=25203] ppid=25200 vsize=10983192 memory=55260 CPUtime=0.37 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25200 25203 20569 0 -1 1077944320 10397 13154 0 0 28 2 5 2 20 0 15 0 226681006 11246788608 13815 33554432000 4194304 4196468 140727736800192 140727736782736 140517822504695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
/proc/25203/statm: 2745798 13815 3066 1 0 2708109 0
[pid=25203/tid=25256] ppid=25200 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/25203/task/25256/stat : 25256 (java) R 25200 25203 20569 0 -1 4202560 6938 13154 0 0 20 1 5 2 20 0 15 0 226681015 11246788608 13815 33554432000 4194304 4196468 140727736800192 140517794316704 140517806585182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25257] ppid=25200 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25257/stat : 25257 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 15 0 226681015 11246788608 13815 33554432000 4194304 4196468 140727736800192 140517826747152 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25258] ppid=25200 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25258/stat : 25258 (java) S 25200 25203 20569 0 -1 1077944384 2 13154 0 0 0 0 5 2 20 0 15 0 226681016 11246788608 13815 33554432000 4194304 4196468 140727736800192 140517708012432 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25259] ppid=25200 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25259/stat : 25259 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 15 0 226681016 11246788608 13815 33554432000 4194304 4196468 140727736800192 140517361507344 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25260] ppid=25200 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25260/stat : 25260 (java) S 25200 25203 20569 0 -1 1077944384 2 13154 0 0 0 0 5 2 20 0 15 0 226681016 11246788608 13815 33554432000 4194304 4196468 140727736800192 140517360454800 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25261] ppid=25200 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25261/stat : 25261 (java) S 25200 25203 20569 0 -1 1077944384 2 13154 0 0 0 0 5 2 20 0 15 0 226681017 11246788608 13815 33554432000 4194304 4196468 140727736800192 140517315639280 140517822515842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25262] ppid=25200 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25262/stat : 25262 (java) S 25200 25203 20569 0 -1 1077944384 13 13154 0 0 0 0 5 2 20 0 15 0 226681017 11246788608 13815 33554432000 4194304 4196468 140727736800192 140516633076640 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25263] ppid=25200 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25263/stat : 25263 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 15 0 226681018 11246788608 13815 33554432000 4194304 4196468 140727736800192 140516431750128 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25264] ppid=25200 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25264/stat : 25264 (java) S 25200 25203 20569 0 -1 1077944384 3 13154 0 0 0 0 5 2 20 0 15 0 226681020 11246788608 13815 33554432000 4194304 4196468 140727736800192 140516124350672 140517822523291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25265] ppid=25200 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25265/stat : 25265 (java) S 25200 25203 20569 0 -1 1077944384 358 13154 0 0 1 0 5 2 20 0 15 0 226681020 11246788608 13815 33554432000 4194304 4196468 140727736800192 140517314587120 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25266] ppid=25200 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25266/stat : 25266 (java) S 25200 25203 20569 0 -1 1077944384 255 13154 0 0 1 0 5 2 20 0 15 0 226681020 11246788608 13815 33554432000 4194304 4196468 140727736800192 140517313534576 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25267] ppid=25200 vsize=10983192 memory=139690260575872 CPUtime=0.12 cores=1,3,5,7
/proc/25203/task/25267/stat : 25267 (java) R 25200 25203 20569 0 -1 4202560 633 13154 0 0 5 0 5 2 20 0 15 0 226681020 11246788608 13815 33554432000 4194304 4196468 140727736800192 140517312482032 140517801160609 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25268] ppid=25200 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25268/stat : 25268 (java) S 25200 25203 20569 0 -1 1077944384 3 13154 0 0 0 0 5 2 20 0 15 0 226681020 11246788608 13815 33554432000 4194304 4196468 140727736800192 140515693554784 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25269] ppid=25200 vsize=10983192 memory=139690260575872 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25269/stat : 25269 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 15 0 226681021 11246788608 13815 33554432000 4194304 4196468 140727736800192 140517311428912 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55260 KiB

[startup+0.700756 s]
/proc/loadavg: 2.30 1.86 1.72 3/215 25269
/proc/meminfo: memFree=7778312/32770624 swapFree=67108496/67108860
[pid=25203] ppid=25200 vsize=10983192 memory=88744 CPUtime=0.97 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25200 25203 20569 0 -1 1077944320 16838 13154 0 0 86 4 5 2 20 0 15 0 226681006 11246788608 22186 33554432000 4194304 4196468 140727736800192 140727736782736 140517822504695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
/proc/25203/statm: 2745798 22186 3237 1 0 2708109 0
[pid=25203/tid=25256] ppid=25200 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/25203/task/25256/stat : 25256 (java) R 25200 25203 20569 0 -1 4202560 12379 13154 0 0 56 2 5 2 20 0 15 0 226681015 11246788608 22186 33554432000 4194304 4196468 140727736800192 140517794325520 140517805691476 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25257] ppid=25200 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25257/stat : 25257 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 15 0 226681015 11246788608 22186 33554432000 4194304 4196468 140727736800192 140517826747152 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25258] ppid=25200 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25258/stat : 25258 (java) S 25200 25203 20569 0 -1 1077944384 2 13154 0 0 0 0 5 2 20 0 15 0 226681016 11246788608 22186 33554432000 4194304 4196468 140727736800192 140517708012432 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25259] ppid=25200 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25259/stat : 25259 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 15 0 226681016 11246788608 22186 33554432000 4194304 4196468 140727736800192 140517361507344 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25260] ppid=25200 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25260/stat : 25260 (java) S 25200 25203 20569 0 -1 1077944384 2 13154 0 0 0 0 5 2 20 0 15 0 226681016 11246788608 22186 33554432000 4194304 4196468 140727736800192 140517360454800 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25261] ppid=25200 vsize=10983192 memory=5788078056070932311 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25261/stat : 25261 (java) S 25200 25203 20569 0 -1 1077944384 6 13154 0 0 0 0 5 2 20 0 15 0 226681017 11246788608 22186 33554432000 4194304 4196468 140727736800192 140517315639280 140517822515842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25262] ppid=25200 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25262/stat : 25262 (java) S 25200 25203 20569 0 -1 1077944384 13 13154 0 0 0 0 5 2 20 0 15 0 226681017 11246788608 22186 33554432000 4194304 4196468 140727736800192 140516633076640 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25263] ppid=25200 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25263/stat : 25263 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 15 0 226681018 11246788608 22186 33554432000 4194304 4196468 140727736800192 140516431750128 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25264] ppid=25200 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25264/stat : 25264 (java) S 25200 25203 20569 0 -1 1077944384 3 13154 0 0 0 0 5 2 20 0 15 0 226681020 11246788608 22186 33554432000 4194304 4196468 140727736800192 140516124350672 140517822523291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25265] ppid=25200 vsize=10983192 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/25203/task/25265/stat : 25265 (java) S 25200 25203 20569 0 -1 1077944384 1032 13154 0 0 10 0 5 2 20 0 15 0 226681020 11246788608 22186 33554432000 4194304 4196468 140727736800192 140517314587120 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25266] ppid=25200 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/25203/task/25266/stat : 25266 (java) S 25200 25203 20569 0 -1 1077944384 494 13154 0 0 6 0 5 2 20 0 15 0 226681020 11246788608 22186 33554432000 4194304 4196468 140727736800192 140517313534576 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25267] ppid=25200 vsize=10983192 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/25203/task/25267/stat : 25267 (java) S 25200 25203 20569 0 -1 1077944384 712 13154 0 0 12 0 5 2 20 0 15 0 226681020 11246788608 22186 33554432000 4194304 4196468 140727736800192 140517312482032 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25268] ppid=25200 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25268/stat : 25268 (java) S 25200 25203 20569 0 -1 1077944384 3 13154 0 0 0 0 5 2 20 0 15 0 226681020 11246788608 22186 33554432000 4194304 4196468 140727736800192 140515693554784 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25269] ppid=25200 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25269/stat : 25269 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 15 0 226681021 11246788608 22186 33554432000 4194304 4196468 140727736800192 140517311428912 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88744 KiB

[startup+1.50737 s]
/proc/loadavg: 2.30 1.86 1.72 3/215 25269
/proc/meminfo: memFree=7731236/32770624 swapFree=67108496/67108860
[pid=25203] ppid=25200 vsize=10996044 memory=228100 CPUtime=2.78 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25200 25203 20569 0 -1 1077944320 24039 13154 0 0 262 9 5 2 20 0 15 0 226681006 11259949056 57025 33554432000 4194304 4196468 140727736800192 140727736782736 140517822504695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
/proc/25203/statm: 2749011 57025 3448 1 0 2710669 0
[pid=25203/tid=25256] ppid=25200 vsize=10996044 memory=4951091520830867572 CPUtime=1.43 cores=1,3,5,7
/proc/25203/task/25256/stat : 25256 (java) S 25200 25203 20569 0 -1 1077944384 17065 13154 0 0 131 5 5 2 20 0 15 0 226681015 11259949056 57025 33554432000 4194304 4196468 140727736800192 140517794309856 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25257] ppid=25200 vsize=10996044 memory=4134606225630022328 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25257/stat : 25257 (java) S 25200 25203 20569 0 -1 1077944384 58 13154 0 0 1 0 5 2 20 0 15 0 226681015 11259949056 57025 33554432000 4194304 4196468 140727736800192 140517826747152 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25258] ppid=25200 vsize=10996044 memory=-5153189914156492143 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25258/stat : 25258 (java) R 25200 25203 20569 0 -1 1077944384 31 13154 0 0 1 0 5 2 20 0 15 0 226681016 11259949056 57025 33554432000 4194304 4196468 140727736800192 140517708012432 140517822514901 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25259] ppid=25200 vsize=10996044 memory=4854977625298922592 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25259/stat : 25259 (java) R 25200 25203 20569 0 -1 1077944384 20 13154 0 0 1 0 5 2 20 0 15 0 226681016 11259949056 57025 33554432000 4194304 4196468 140727736800192 140517361507344 140517822514901 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25260] ppid=25200 vsize=10996044 memory=119596 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25260/stat : 25260 (java) S 25200 25203 20569 0 -1 1077944384 221 13154 0 0 1 0 5 2 20 0 15 0 226681016 11259949056 57025 33554432000 4194304 4196468 140727736800192 140517360454800 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25261] ppid=25200 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25261/stat : 25261 (java) R 25200 25203 20569 0 -1 4202560 62 13154 0 0 1 0 5 2 20 0 15 0 226681017 11259949056 57025 33554432000 4194304 4196468 140727736800192 140517315637792 140517814794144 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25262] ppid=25200 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25262/stat : 25262 (java) S 25200 25203 20569 0 -1 1077944384 13 13154 0 0 0 0 5 2 20 0 15 0 226681017 11259949056 57025 33554432000 4194304 4196468 140727736800192 140516633076640 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25263] ppid=25200 vsize=10996044 memory=279380240695584 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25263/stat : 25263 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 15 0 226681018 11259949056 57025 33554432000 4194304 4196468 140727736800192 140516431750128 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25264] ppid=25200 vsize=10996044 memory=279380241110528 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25264/stat : 25264 (java) S 25200 25203 20569 0 -1 1077944384 3 13154 0 0 0 0 5 2 20 0 15 0 226681020 11259949056 57025 33554432000 4194304 4196468 140727736800192 140516124350672 140517822523291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25265] ppid=25200 vsize=10996044 memory=139690120357504 CPUtime=0.52 cores=1,3,5,7
/proc/25203/task/25265/stat : 25265 (java) S 25200 25203 20569 0 -1 1077944384 1730 13154 0 0 45 0 5 2 20 0 15 0 226681020 11259949056 57025 33554432000 4194304 4196468 140727736800192 140517314587120 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25266] ppid=25200 vsize=10996044 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/25203/task/25266/stat : 25266 (java) S 25200 25203 20569 0 -1 1077944384 1274 13154 0 0 44 0 5 2 20 0 15 0 226681020 11259949056 57025 33554432000 4194304 4196468 140727736800192 140517313534576 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25267] ppid=25200 vsize=10996044 memory=1128 CPUtime=0.41 cores=1,3,5,7
/proc/25203/task/25267/stat : 25267 (java) S 25200 25203 20569 0 -1 1077944384 1374 13154 0 0 34 0 5 2 20 0 15 0 226681020 11259949056 57025 33554432000 4194304 4196468 140727736800192 140517312482032 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25268] ppid=25200 vsize=10996044 memory=15188 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25268/stat : 25268 (java) S 25200 25203 20569 0 -1 1077944384 3 13154 0 0 0 0 5 2 20 0 15 0 226681020 11259949056 57025 33554432000 4194304 4196468 140727736800192 140515693554784 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25269] ppid=25200 vsize=10996044 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25269/stat : 25269 (java) S 25200 25203 20569 0 -1 1077944384 2 13154 0 0 0 0 5 2 20 0 15 0 226681021 11259949056 57025 33554432000 4194304 4196468 140727736800192 140517311428912 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 10996044 KiB
Current children cumulated memory: 228100 KiB

[startup+3.11052 s]
/proc/loadavg: 2.30 1.86 1.72 5/215 25269
/proc/meminfo: memFree=7581780/32770624 swapFree=67108496/67108860
[pid=25203] ppid=25200 vsize=11006304 memory=284928 CPUtime=6.2 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25200 25203 20569 0 -1 1077944320 35590 13154 0 0 599 14 5 2 20 0 15 0 226681006 11270455296 71232 33554432000 4194304 4196468 140727736800192 140727736782736 140517822504695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
/proc/25203/statm: 2751576 71232 3492 1 0 2713229 0
[pid=25203/tid=25256] ppid=25200 vsize=11006304 memory=372 CPUtime=3.02 cores=1,3,5,7
/proc/25203/task/25256/stat : 25256 (java) R 25200 25203 20569 0 -1 4202560 25891 13154 0 0 286 9 5 2 20 0 15 0 226681015 11270455296 71232 33554432000 4194304 4196468 140727736800192 140517794337376 140517397921716 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25257] ppid=25200 vsize=11006304 memory=196 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25257/stat : 25257 (java) S 25200 25203 20569 0 -1 1077944384 58 13154 0 0 1 0 5 2 20 0 15 0 226681015 11270455296 71232 33554432000 4194304 4196468 140727736800192 140517826747152 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25258] ppid=25200 vsize=11006304 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25258/stat : 25258 (java) S 25200 25203 20569 0 -1 1077944384 31 13154 0 0 1 0 5 2 20 0 15 0 226681016 11270455296 71232 33554432000 4194304 4196468 140727736800192 140517708012432 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25259] ppid=25200 vsize=11006304 memory=81 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25259/stat : 25259 (java) S 25200 25203 20569 0 -1 1077944384 20 13154 0 0 1 0 5 2 20 0 15 0 226681016 11270455296 71232 33554432000 4194304 4196468 140727736800192 140517361507344 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25260] ppid=25200 vsize=11006304 memory=93 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25260/stat : 25260 (java) S 25200 25203 20569 0 -1 1077944384 221 13154 0 0 1 0 5 2 20 0 15 0 226681016 11270455296 71232 33554432000 4194304 4196468 140727736800192 140517360454800 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25261] ppid=25200 vsize=11006304 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25261/stat : 25261 (java) S 25200 25203 20569 0 -1 1077944384 63 13154 0 0 1 0 5 2 20 0 15 0 226681017 11270455296 71232 33554432000 4194304 4196468 140727736800192 140517315639280 140517822515842 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25262] ppid=25200 vsize=11006304 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25262/stat : 25262 (java) S 25200 25203 20569 0 -1 1077944384 14 13154 0 0 0 0 5 2 20 0 15 0 226681017 11270455296 71232 33554432000 4194304 4196468 140727736800192 140516633076704 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25263] ppid=25200 vsize=11006304 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25263/stat : 25263 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 15 0 226681018 11270455296 71232 33554432000 4194304 4196468 140727736800192 140516431750144 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25264] ppid=25200 vsize=11006304 memory=-2672971630408907303 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25264/stat : 25264 (java) S 25200 25203 20569 0 -1 1077944384 3 13154 0 0 0 0 5 2 20 0 15 0 226681020 11270455296 71232 33554432000 4194304 4196468 140727736800192 140516124350672 140517822523291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25265] ppid=25200 vsize=11006304 memory=-7022074515825631275 CPUtime=1.12 cores=1,3,5,7
/proc/25203/task/25265/stat : 25265 (java) R 25200 25203 20569 0 -1 4202560 2016 13154 0 0 104 1 5 2 20 0 15 0 226681020 11270455296 71232 33554432000 4194304 4196468 140727736800192 140517314573968 140517807307216 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25266] ppid=25200 vsize=11006304 memory=7649399388593337650 CPUtime=1.08 cores=1,3,5,7
/proc/25203/task/25266/stat : 25266 (java) R 25200 25203 20569 0 -1 4202560 1546 13154 0 0 101 0 5 2 20 0 15 0 226681020 11270455296 71232 33554432000 4194304 4196468 140727736800192 140517313514352 140517803094522 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25267] ppid=25200 vsize=11006304 memory=279380241228992 CPUtime=1.05 cores=1,3,5,7
/proc/25203/task/25267/stat : 25267 (java) S 25200 25203 20569 0 -1 1077944384 3533 13154 0 0 98 0 5 2 20 0 15 0 226681020 11270455296 71232 33554432000 4194304 4196468 140727736800192 140517312482032 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25268] ppid=25200 vsize=11006304 memory=279380240974048 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25268/stat : 25268 (java) S 25200 25203 20569 0 -1 1077944384 3 13154 0 0 0 0 5 2 20 0 15 0 226681020 11270455296 71232 33554432000 4194304 4196468 140727736800192 140515693554784 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25269] ppid=25200 vsize=11006304 memory=9168 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25269/stat : 25269 (java) S 25200 25203 20569 0 -1 1077944384 2 13154 0 0 0 0 5 2 20 0 15 0 226681021 11270455296 71232 33554432000 4194304 4196468 140727736800192 140517311428912 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 11006304 KiB
Current children cumulated memory: 284928 KiB

[startup+4.47651 s]
# the end of solver process 25203 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.70165 s, system=0.246133 s

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

[startup+3.20124 s]
/proc/loadavg: 2.30 1.86 1.72 5/215 25269
/proc/meminfo: memFree=7581780/32770624 swapFree=67108496/67108860
[pid=25203] ppid=25200 vsize=11006304 memory=308080 CPUtime=6.48 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25200 25203 20569 0 -1 1077944320 39215 13154 0 0 626 15 5 2 20 0 15 0 226681006 11270455296 77020 33554432000 4194304 4196468 140727736800192 140727736782736 140517822504695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
/proc/25203/statm: 2751576 77020 3492 1 0 2713229 0
[pid=25203/tid=25256] ppid=25200 vsize=11006304 memory=0 CPUtime=3.1 cores=1,3,5,7
/proc/25203/task/25256/stat : 25256 (java) R 25200 25203 20569 0 -1 4202560 26336 13154 0 0 294 9 5 2 20 0 15 0 226681015 11270455296 77020 33554432000 4194304 4196468 140727736800192 140517794333504 140517398374663 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25257] ppid=25200 vsize=11006304 memory=-9174445032661854264 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25257/stat : 25257 (java) S 25200 25203 20569 0 -1 1077944384 65 13154 0 0 1 0 5 2 20 0 15 0 226681015 11270455296 77020 33554432000 4194304 4196468 140727736800192 140517826747152 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25258] ppid=25200 vsize=11006304 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25258/stat : 25258 (java) S 25200 25203 20569 0 -1 1077944384 37 13154 0 0 1 0 5 2 20 0 15 0 226681016 11270455296 77020 33554432000 4194304 4196468 140727736800192 140517708012432 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25259] ppid=25200 vsize=11006304 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25259/stat : 25259 (java) S 25200 25203 20569 0 -1 1077944384 31 13154 0 0 1 0 5 2 20 0 15 0 226681016 11270455296 77020 33554432000 4194304 4196468 140727736800192 140517361507344 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25260] ppid=25200 vsize=11006304 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25260/stat : 25260 (java) S 25200 25203 20569 0 -1 1077944384 224 13154 0 0 1 0 5 2 20 0 15 0 226681016 11270455296 77020 33554432000 4194304 4196468 140727736800192 140517360454800 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25261] ppid=25200 vsize=11006304 memory=-3756611412707075625 CPUtime=0.08 cores=1,3,5,7
/proc/25203/task/25261/stat : 25261 (java) S 25200 25203 20569 0 -1 1077944384 86 13154 0 0 1 0 5 2 20 0 15 0 226681017 11270455296 77020 33554432000 4194304 4196468 140727736800192 140517315639280 140517822515842 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25262] ppid=25200 vsize=11006304 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25262/stat : 25262 (java) S 25200 25203 20569 0 -1 1077944384 15 13154 0 0 0 0 5 2 20 0 15 0 226681017 11270455296 77020 33554432000 4194304 4196468 140727736800192 140516633076704 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25263] ppid=25200 vsize=11006304 memory=279380241130304 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25263/stat : 25263 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 15 0 226681018 11270455296 77020 33554432000 4194304 4196468 140727736800192 140516431750144 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25264] ppid=25200 vsize=11006304 memory=9148 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25264/stat : 25264 (java) S 25200 25203 20569 0 -1 1077944384 3 13154 0 0 0 0 5 2 20 0 15 0 226681020 11270455296 77020 33554432000 4194304 4196468 140727736800192 140516124350672 140517822523291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25265] ppid=25200 vsize=11006304 memory=25274 CPUtime=1.2 cores=1,3,5,7
/proc/25203/task/25265/stat : 25265 (java) R 25200 25203 20569 0 -1 4202560 3313 13154 0 0 112 1 5 2 20 0 15 0 226681020 11270455296 77020 33554432000 4194304 4196468 140727736800192 140517314576208 140517807402678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25266] ppid=25200 vsize=11006304 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/25203/task/25266/stat : 25266 (java) R 25200 25203 20569 0 -1 4202560 3125 13154 0 0 109 0 5 2 20 0 15 0 226681020 11270455296 77020 33554432000 4194304 4196468 140727736800192 140517313520800 140517807875984 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25267] ppid=25200 vsize=11006304 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/25203/task/25267/stat : 25267 (java) S 25200 25203 20569 0 -1 1077944384 3784 13154 0 0 98 0 5 2 20 0 15 0 226681020 11270455296 77020 33554432000 4194304 4196468 140727736800192 140517312482032 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25268] ppid=25200 vsize=11006304 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25268/stat : 25268 (java) S 25200 25203 20569 0 -1 1077944384 3 13154 0 0 0 0 5 2 20 0 15 0 226681020 11270455296 77020 33554432000 4194304 4196468 140727736800192 140515693554784 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25269] ppid=25200 vsize=11006304 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25269/stat : 25269 (java) S 25200 25203 20569 0 -1 1077944384 11 13154 0 0 0 0 5 2 20 0 15 0 226681021 11270455296 77020 33554432000 4194304 4196468 140727736800192 140517311428912 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
Current children cumulated CPU time: 6.48 s
Current children cumulated vsize: 11006304 KiB
Current children cumulated memory: 308080 KiB

[startup+4.00124 s]*
/proc/loadavg: 2.44 1.90 1.74 5/215 25269
/proc/meminfo: memFree=7495060/32770624 swapFree=67108496/67108860
[pid=25203] ppid=25200 vsize=11077984 memory=349508 CPUtime=8.53 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25200 25203 20569 0 -1 1077944320 64828 13154 0 0 828 18 5 2 20 0 15 0 226681006 11343855616 87377 33554432000 4194304 4196468 140727736800192 140727736782736 140517822504695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
/proc/25203/statm: 2769496 87377 3513 1 0 2731149 0
[pid=25203/tid=25256] ppid=25200 vsize=11077984 memory=590594017108047539 CPUtime=3.86 cores=1,3,5,7
/proc/25203/task/25256/stat : 25256 (java) R 25200 25203 20569 0 -1 4202560 42010 13154 0 0 369 10 5 2 20 0 15 0 226681015 11343855616 87377 33554432000 4194304 4196468 140727736800192 140517794320056 140517807670334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25257] ppid=25200 vsize=11077984 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25203/task/25257/stat : 25257 (java) S 25200 25203 20569 0 -1 1077944384 105 13154 0 0 3 0 5 2 20 0 15 0 226681015 11343855616 87377 33554432000 4194304 4196468 140727736800192 140517826747152 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25258] ppid=25200 vsize=11077984 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25203/task/25258/stat : 25258 (java) S 25200 25203 20569 0 -1 1077944384 172 13154 0 0 3 0 5 2 20 0 15 0 226681016 11343855616 87377 33554432000 4194304 4196468 140727736800192 140517708012432 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25259] ppid=25200 vsize=11077984 memory=5863776245163385426 CPUtime=0.1 cores=1,3,5,7
/proc/25203/task/25259/stat : 25259 (java) S 25200 25203 20569 0 -1 1077944384 157 13154 0 0 3 0 5 2 20 0 15 0 226681016 11343855616 87377 33554432000 4194304 4196468 140727736800192 140517361507344 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25260] ppid=25200 vsize=11077984 memory=6153433744107071078 CPUtime=0.1 cores=1,3,5,7
/proc/25203/task/25260/stat : 25260 (java) S 25200 25203 20569 0 -1 1077944384 255 13154 0 0 3 0 5 2 20 0 15 0 226681016 11343855616 87377 33554432000 4194304 4196468 140727736800192 140517360454800 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25261] ppid=25200 vsize=11077984 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25203/task/25261/stat : 25261 (java) S 25200 25203 20569 0 -1 1077944384 3490 13154 0 0 3 0 5 2 20 0 15 0 226681017 11343855616 87377 33554432000 4194304 4196468 140727736800192 140517315639280 140517822515842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25262] ppid=25200 vsize=11077984 memory=3539887818412142647 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25262/stat : 25262 (java) S 25200 25203 20569 0 -1 1077944384 15 13154 0 0 0 0 5 2 20 0 15 0 226681017 11343855616 87377 33554432000 4194304 4196468 140727736800192 140516633076704 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25263] ppid=25200 vsize=11077984 memory=5787213827096995172 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25263/stat : 25263 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 15 0 226681018 11343855616 87377 33554432000 4194304 4196468 140727736800192 140516431750144 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25264] ppid=25200 vsize=11077984 memory=7084822352179522162 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25264/stat : 25264 (java) S 25200 25203 20569 0 -1 1077944384 3 13154 0 0 0 0 5 2 20 0 15 0 226681020 11343855616 87377 33554432000 4194304 4196468 140727736800192 140516124350672 140517822523291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25265] ppid=25200 vsize=11077984 memory=0 CPUtime=1.63 cores=1,3,5,7
/proc/25203/task/25265/stat : 25265 (java) R 25200 25203 20569 0 -1 4202560 5610 13154 0 0 155 1 5 2 20 0 15 0 226681020 11343855616 87377 33554432000 4194304 4196468 140727736800192 140517314568136 140517806001424 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25266] ppid=25200 vsize=11077984 memory=3533419649928619377 CPUtime=1.66 cores=1,3,5,7
/proc/25203/task/25266/stat : 25266 (java) R 25200 25203 20569 0 -1 4202560 5969 13154 0 0 158 1 5 2 20 0 15 0 226681020 11343855616 87377 33554432000 4194304 4196468 140727736800192 140517313520760 140517803683569 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25267] ppid=25200 vsize=11077984 memory=7236949746570444981 CPUtime=1.32 cores=1,3,5,7
/proc/25203/task/25267/stat : 25267 (java) S 25200 25203 20569 0 -1 1077944384 4839 13154 0 0 124 1 5 2 20 0 15 0 226681020 11343855616 87377 33554432000 4194304 4196468 140727736800192 140517312482032 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25268] ppid=25200 vsize=11077984 memory=7310019855334402847 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25268/stat : 25268 (java) S 25200 25203 20569 0 -1 1077944384 3 13154 0 0 0 0 5 2 20 0 15 0 226681020 11343855616 87377 33554432000 4194304 4196468 140727736800192 140515693554784 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25269] ppid=25200 vsize=11077984 memory=139690260575872 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25269/stat : 25269 (java) S 25200 25203 20569 0 -1 1077944384 11 13154 0 0 0 0 5 2 20 0 15 0 226681021 11343855616 87377 33554432000 4194304 4196468 140727736800192 140517311428912 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
Current children cumulated CPU time: 8.53 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 349508 KiB

[startup+4.4007 s]
/proc/loadavg: 2.44 1.90 1.74 5/215 25269
/proc/meminfo: memFree=7495060/32770624 swapFree=67108496/67108860
[pid=25203] ppid=25200 vsize=11212716 memory=382884 CPUtime=9.85 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25200 25203 20569 0 -1 1077944320 72907 13154 0 0 958 20 5 2 20 0 14 0 226681006 11481821184 95721 33554432000 4194304 4196468 140727736800192 140727736782736 140517822504695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
/proc/25203/statm: 2803179 95721 3518 1 0 2764832 0
[pid=25203/tid=25256] ppid=25200 vsize=11212716 memory=0 CPUtime=4.24 cores=1,3,5,7
/proc/25203/task/25256/stat : 25256 (java) S 25200 25203 20569 0 -1 1077944384 46747 13154 0 0 406 11 5 2 20 0 14 0 226681015 11481821184 95721 33554432000 4194304 4196468 140727736800192 140517794348176 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25257] ppid=25200 vsize=11212716 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25203/task/25257/stat : 25257 (java) S 25200 25203 20569 0 -1 1077944384 105 13154 0 0 3 0 5 2 20 0 14 0 226681015 11481821184 95721 33554432000 4194304 4196468 140727736800192 140517826747152 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25258] ppid=25200 vsize=11212716 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25203/task/25258/stat : 25258 (java) S 25200 25203 20569 0 -1 1077944384 172 13154 0 0 3 0 5 2 20 0 14 0 226681016 11481821184 95721 33554432000 4194304 4196468 140727736800192 140517708012432 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25259] ppid=25200 vsize=11212716 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25203/task/25259/stat : 25259 (java) S 25200 25203 20569 0 -1 1077944384 157 13154 0 0 3 0 5 2 20 0 14 0 226681016 11481821184 95721 33554432000 4194304 4196468 140727736800192 140517361507344 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25260] ppid=25200 vsize=11212716 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25203/task/25260/stat : 25260 (java) S 25200 25203 20569 0 -1 1077944384 255 13154 0 0 3 0 5 2 20 0 14 0 226681016 11481821184 95721 33554432000 4194304 4196468 140727736800192 140517360454800 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25261] ppid=25200 vsize=11212716 memory=7595133173281874768 CPUtime=0.11 cores=1,3,5,7
/proc/25203/task/25261/stat : 25261 (java) S 25200 25203 20569 0 -1 1077944384 3490 13154 0 0 4 0 5 2 20 0 14 0 226681017 11481821184 95721 33554432000 4194304 4196468 140727736800192 140517315639488 140517822515842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25262] ppid=25200 vsize=11212716 memory=8101227393435850347 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25262/stat : 25262 (java) S 25200 25203 20569 0 -1 1077944384 15 13154 0 0 0 0 5 2 20 0 14 0 226681017 11481821184 95721 33554432000 4194304 4196468 140727736800192 140516633076704 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25263] ppid=25200 vsize=11212716 memory=7741807981563897942 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25263/stat : 25263 (java) S 25200 25203 20569 0 -1 1077944384 1 13154 0 0 0 0 5 2 20 0 14 0 226681018 11481821184 95721 33554432000 4194304 4196468 140727736800192 140516431750144 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25264] ppid=25200 vsize=11212716 memory=7741807981563897942 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25264/stat : 25264 (java) S 25200 25203 20569 0 -1 1077944384 26 13154 0 0 0 0 5 2 20 0 14 0 226681020 11481821184 95721 33554432000 4194304 4196468 140727736800192 140516124349440 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25265] ppid=25200 vsize=11212716 memory=7379242978711595114 CPUtime=2.01 cores=1,3,5,7
/proc/25203/task/25265/stat : 25265 (java) S 25200 25203 20569 0 -1 1077944384 6758 13154 0 0 193 1 5 2 20 0 14 0 226681020 11481821184 95721 33554432000 4194304 4196468 140727736800192 140517314572176 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25266] ppid=25200 vsize=11212716 memory=7878876464107906153 CPUtime=2.05 cores=1,3,5,7
/proc/25203/task/25266/stat : 25266 (java) R 25200 25203 20569 0 -1 4202560 7696 13154 0 0 197 1 5 2 20 0 14 0 226681020 11481821184 95721 33554432000 4194304 4196468 140727736800192 140517313520600 140517804048895 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25267] ppid=25200 vsize=11212716 memory=7379242978711595114 CPUtime=1.5 cores=1,3,5,7
/proc/25203/task/25267/stat : 25267 (java) S 25200 25203 20569 0 -1 1077944384 5270 13154 0 0 142 1 5 2 20 0 14 0 226681020 11481821184 95721 33554432000 4194304 4196468 140727736800192 140517312482032 140517822515842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
[pid=25203/tid=25268] ppid=25200 vsize=11212716 memory=7741807981563897942 CPUtime=0.07 cores=1,3,5,7
/proc/25203/task/25268/stat : 25268 (java) S 25200 25203 20569 0 -1 1077944384 3 13154 0 0 0 0 5 2 20 0 14 0 226681020 11481821184 95721 33554432000 4194304 4196468 140727736800192 140515693554784 140517822514901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21966848 140727736805997 140727736808796 140727736808796 140727736811471 0
Current children cumulated CPU time: 9.85 s
Current children cumulated vsize: 11212716 KiB
Current children cumulated memory: 382884 KiB

Child status: 0
Real time (s): 4.47656
CPU time (s): 9.94778
CPU user time (s): 9.70165
CPU system time (s): 0.246133
CPU usage (%): 222.219
Max. virtual memory (cumulated for all children) (KiB): 11212716
Max. memory (cumulated for all children) (KiB): 382884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.70165
system time used= 0.246133
maximum resident set size= 384888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86749
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6662
involuntary context switches= 51


# summary of solver processes directly reported to runsolver:
#   pid: 25203
#   total CPU time (s): 9.94778
#   total CPU user time (s): 9.70165
#   total CPU system time (s): 0.246133

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048963 second user time and 0.086734 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-12 18:26:18
IDJOB=4304453
IDBENCH=141275
IDSOLVER=2780
FILE ID=node149/4304453-1534091178
RUNJOBID= node149-1534063810-20601
PBS_JOBID= 21036989
Free space on /tmp= 38928 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-ex2_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304453-1534091178/watcher-4304453-1534091178 -o /tmp/evaluation-result-4304453-1534091178/solver-4304453-1534091178 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534063810-20601 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=841312944 HOME/instance-4304453-1534091178.xml

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

MD5SUM BENCH= becbd2d91dde2be36fb4b4a471bae430
RANDOM SEED=841312944

node149.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.60
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.60
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.60
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.60
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:         7831424 kB
MemAvailable:   26897928 kB
Buffers:          199332 kB
Cached:         18898728 kB
SwapCached:           28 kB
Active:         12909460 kB
Inactive:       11242512 kB
Active(anon):    5002580 kB
Inactive(anon):   103080 kB
Active(file):    7906880 kB
Inactive(file): 11139432 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108496 kB
Dirty:             26868 kB
Writeback:             0 kB
AnonPages:       5061104 kB
Mapped:            67508 kB
Shmem:             49616 kB
Slab:             476900 kB
SReclaimable:     448652 kB
SUnreclaim:        28248 kB
KernelStack:        3536 kB
PageTables:        15276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5736672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4564992 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 38904 MiB
End job on node149 at 2018-08-12 18:26:23