Trace number 4400623

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.12.2SAT 10.703 4.69735

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-15-036.xml
MD5SUM5e5c63d89f6605b36f0577fcc9be8ecb
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.60869
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints105
Number of domains15
Minimum domain size22
Maximum domain size36
Distribution of domain sizes[{"size":22,"count":2},{"size":23,"count":2},{"size":24,"count":2},{"size":25,"count":2},{"size":26,"count":2},{"size":27,"count":2},{"size":28,"count":2},{"size":29,"count":2},{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2},{"size":36,"count":2}]
Minimum variable degree14
Maximum variable degree14
Distribution of variable degrees[{"degree":14,"count":30}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":105}]
Number of extensional constraints0
Number of intensional constraints105
Distribution of constraint types[{"type":"intension","count":105}]
Optimization problemNO
Type of objective

Solver Data 

0.74/0.55	c Concrete v3.12.2.1568631193530 running
10.45/4.26	v <instantiation
10.45/4.26	v         >
10.45/4.26	v       <list>
10.45/4.26	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14]
10.45/4.26	v       </list>
10.45/4.26	v       <values>
10.45/4.26	v         35 15 9 31 31 16 15 23 0 12 12 0 23 22 0 13 21 18 13 17 23 29 13 12 11 0 0 0 22 21
10.45/4.26	v       </values>
10.45/4.26	v     </instantiation>
10.45/4.26	s SATISFIABLE

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400623-1568696732/watcher-4400623-1568696732 -o /tmp/evaluation-result-4400623-1568696732/solver-4400623-1568696732 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568673293-13492 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1538733696 HOME/instance-4400623-1568696732.xml 

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

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


[startup+0.10013 s]*
/proc/loadavg: 1.32 1.41 1.47 3/218 19741
/proc/meminfo: memFree=22639700/32770624 swapFree=66941520/67108860
[pid=19684] ppid=19681 vsize=9972712 memory=19124 CPUtime=0.08 cores=1,3,5,7
/proc/19684/stat : 19684 (java) S 19681 19684 13460 0 -1 1077944320 4531 13333 0 0 1 0 5 2 20 0 6 0 445911853 10212057088 4781 33554432000 4194304 4196468 140736988344256 140736988326800 140112762380023 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
/proc/19684/statm: 2493178 4781 1935 1 0 2481616 0
[pid=19684/tid=19737] ppid=19681 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19737/stat : 19737 (java) R 19681 19684 13460 0 -1 4202560 2324 13333 0 0 1 0 5 2 20 0 6 0 445911862 10212057088 4781 33554432000 4194304 4196468 140736988344256 140112734216784 140112762401949 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19738] ppid=19681 vsize=9972712 memory=5793855430350559673 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19738/stat : 19738 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 6 0 445911863 10212057088 4781 33554432000 4194304 4196468 140736988344256 140112766622352 140112762390229 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19739] ppid=19681 vsize=9972712 memory=140179340666496 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19739/stat : 19739 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 6 0 445911863 10212057088 4781 33554432000 4194304 4196468 140736988344256 140112654895632 140112762390229 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19740] ppid=19681 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19740/stat : 19740 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 6 0 445911863 10212057088 4781 33554432000 4194304 4196468 140736988344256 140112653842832 140112762390229 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19741] ppid=19681 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19741/stat : 19741 (java) S 19681 19684 13460 0 -1 1077944384 2 13333 0 0 0 0 5 2 20 0 6 0 445911863 10212057088 4781 33554432000 4194304 4196468 140736988344256 140112652790032 140112762390229 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19124 KiB

[startup+0.210066 s]*
/proc/loadavg: 1.32 1.41 1.47 3/227 19751
/proc/meminfo: memFree=22618056/32770624 swapFree=66941520/67108860
[pid=19684] ppid=19681 vsize=10820196 memory=45888 CPUtime=0.27 cores=1,3,5,7
/proc/19684/stat : 19684 (java) S 19681 19684 13460 0 -1 1077944320 7403 13333 0 0 18 2 5 2 20 0 15 0 445911853 11079880704 11472 33554432000 4194304 4196468 140736988344256 140736988326800 140112762380023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
/proc/19684/statm: 2705049 11472 3314 1 0 2667149 0
[pid=19684/tid=19737] ppid=19681 vsize=10820196 memory=-8540663193526752614 CPUtime=0.18 cores=1,3,5,7
/proc/19684/task/19737/stat : 19737 (java) R 19681 19684 13460 0 -1 4202560 3887 13333 0 0 10 1 5 2 20 0 15 0 445911862 11079880704 11472 33554432000 4194304 4196468 140736988344256 140112734213072 140112743773754 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19738] ppid=19681 vsize=10820196 memory=4211973905545457034 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19738/stat : 19738 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911863 11079880704 11472 33554432000 4194304 4196468 140736988344256 140112766622352 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19739] ppid=19681 vsize=10820196 memory=140179340666496 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19739/stat : 19739 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911863 11079880704 11472 33554432000 4194304 4196468 140736988344256 140112654895632 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19740] ppid=19681 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19740/stat : 19740 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911863 11079880704 11472 33554432000 4194304 4196468 140736988344256 140112653842832 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19741] ppid=19681 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19741/stat : 19741 (java) S 19681 19684 13460 0 -1 1077944384 2 13333 0 0 0 0 5 2 20 0 15 0 445911863 11079880704 11472 33554432000 4194304 4196468 140736988344256 140112652790032 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19743] ppid=19681 vsize=10820196 memory=140179340666496 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19743/stat : 19743 (java) S 19681 19684 13460 0 -1 1077944384 2 13333 0 0 0 0 5 2 20 0 15 0 445911864 11079880704 11472 33554432000 4194304 4196468 140736988344256 140112221379440 140112762391170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19744] ppid=19681 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19744/stat : 19744 (java) S 19681 19684 13460 0 -1 1077944384 33 13333 0 0 0 0 5 2 20 0 15 0 445911864 11079880704 11472 33554432000 4194304 4196468 140736988344256 140112220325408 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19745] ppid=19681 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19745/stat : 19745 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911865 11079880704 11472 33554432000 4194304 4196468 140736988344256 140112100844912 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19746] ppid=19681 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19746/stat : 19746 (java) S 19681 19684 13460 0 -1 1077944384 2 13333 0 0 0 0 5 2 20 0 15 0 445911867 11079880704 11472 33554432000 4194304 4196468 140736988344256 140111496866128 140112762398619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19747] ppid=19681 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19747/stat : 19747 (java) S 19681 19684 13460 0 -1 1077944384 363 13333 0 0 1 0 5 2 20 0 15 0 445911867 11079880704 11472 33554432000 4194304 4196468 140736988344256 140112186767728 140112762391170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19748] ppid=19681 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19748/stat : 19748 (java) R 19681 19684 13460 0 -1 4202560 305 13333 0 0 1 0 5 2 20 0 15 0 445911867 11079880704 11472 33554432000 4194304 4196468 140736988344256 140112185714928 140112743897911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19749] ppid=19681 vsize=10820196 memory=140179340666496 CPUtime=0.1 cores=1,3,5,7
/proc/19684/task/19749/stat : 19749 (java) S 19681 19684 13460 0 -1 1077944384 603 13333 0 0 3 0 5 2 20 0 15 0 445911867 11079880704 11472 33554432000 4194304 4196468 140736988344256 140112184662128 140112762391170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19750] ppid=19681 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19750/stat : 19750 (java) S 19681 19684 13460 0 -1 1077944384 3 13333 0 0 0 0 5 2 20 0 15 0 445911868 11079880704 11472 33554432000 4194304 4196468 140736988344256 140111027103968 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19751] ppid=19681 vsize=10820196 memory=140179340666496 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19751/stat : 19751 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911868 11079880704 11472 33554432000 4194304 4196468 140736988344256 140112183610544 140112762391170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45888 KiB

[startup+0.310829 s]*
/proc/loadavg: 1.32 1.41 1.47 4/227 19751
/proc/meminfo: memFree=22605012/32770624 swapFree=66941520/67108860
[pid=19684] ppid=19681 vsize=10820196 memory=54036 CPUtime=0.39 cores=1,3,5,7
/proc/19684/stat : 19684 (java) S 19681 19684 13460 0 -1 1077944320 10752 13333 0 0 29 3 5 2 20 0 15 0 445911853 11079880704 13509 33554432000 4194304 4196468 140736988344256 140736988326800 140112762380023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
/proc/19684/statm: 2705049 13509 3331 1 0 2667149 0
[pid=19684/tid=19737] ppid=19681 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/19684/task/19737/stat : 19737 (java) R 19681 19684 13460 0 -1 4202560 7209 13333 0 0 19 3 5 2 20 0 15 0 445911862 11079880704 13509 33554432000 4194304 4196468 140736988344256 140112734186128 140112746460510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19738] ppid=19681 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19738/stat : 19738 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911863 11079880704 13509 33554432000 4194304 4196468 140736988344256 140112766622352 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19739] ppid=19681 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19739/stat : 19739 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911863 11079880704 13509 33554432000 4194304 4196468 140736988344256 140112654895632 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19740] ppid=19681 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19740/stat : 19740 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911863 11079880704 13509 33554432000 4194304 4196468 140736988344256 140112653842832 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19741] ppid=19681 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19741/stat : 19741 (java) S 19681 19684 13460 0 -1 1077944384 2 13333 0 0 0 0 5 2 20 0 15 0 445911863 11079880704 13509 33554432000 4194304 4196468 140736988344256 140112652790032 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19743] ppid=19681 vsize=10820196 memory=140179340666495 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19743/stat : 19743 (java) S 19681 19684 13460 0 -1 1077944384 2 13333 0 0 0 0 5 2 20 0 15 0 445911864 11079880704 13509 33554432000 4194304 4196468 140736988344256 140112221379440 140112762391170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19744] ppid=19681 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19744/stat : 19744 (java) S 19681 19684 13460 0 -1 1077944384 33 13333 0 0 0 0 5 2 20 0 15 0 445911864 11079880704 13509 33554432000 4194304 4196468 140736988344256 140112220325408 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19745] ppid=19681 vsize=10820196 memory=140179340666496 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19745/stat : 19745 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911865 11079880704 13509 33554432000 4194304 4196468 140736988344256 140112100844912 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19746] ppid=19681 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19746/stat : 19746 (java) S 19681 19684 13460 0 -1 1077944384 2 13333 0 0 0 0 5 2 20 0 15 0 445911867 11079880704 13509 33554432000 4194304 4196468 140736988344256 140111496866128 140112762398619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19747] ppid=19681 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/19684/task/19747/stat : 19747 (java) S 19681 19684 13460 0 -1 1077944384 363 13333 0 0 2 0 5 2 20 0 15 0 445911867 11079880704 13509 33554432000 4194304 4196468 140736988344256 140112186767728 140112762391170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19748] ppid=19681 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/19684/task/19748/stat : 19748 (java) S 19681 19684 13460 0 -1 1077944384 307 13333 0 0 2 0 5 2 20 0 15 0 445911867 11079880704 13509 33554432000 4194304 4196468 140736988344256 140112185714928 140112762391170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19749] ppid=19681 vsize=10820196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/19684/task/19749/stat : 19749 (java) R 19681 19684 13460 0 -1 4202560 621 13333 0 0 5 0 5 2 20 0 15 0 445911867 11079880704 13509 33554432000 4194304 4196468 140736988344256 140112184662128 140112762401370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19750] ppid=19681 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19750/stat : 19750 (java) S 19681 19684 13460 0 -1 1077944384 3 13333 0 0 0 0 5 2 20 0 15 0 445911868 11079880704 13509 33554432000 4194304 4196468 140736988344256 140111027103968 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19751] ppid=19681 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19751/stat : 19751 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911868 11079880704 13509 33554432000 4194304 4196468 140736988344256 140112183610544 140112762391170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54036 KiB

[startup+0.702785 s]
/proc/loadavg: 1.32 1.41 1.47 3/227 19751
/proc/meminfo: memFree=22590700/32770624 swapFree=66941520/67108860
[pid=19684] ppid=19681 vsize=10824364 memory=87652 CPUtime=1.12 cores=1,3,5,7
/proc/19684/stat : 19684 (java) S 19681 19684 13460 0 -1 1077944320 15147 13333 0 0 99 6 5 2 20 0 15 0 445911853 11084148736 21913 33554432000 4194304 4196468 140736988344256 140736988326800 140112762380023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
/proc/19684/statm: 2706091 21913 3511 1 0 2668173 0
[pid=19684/tid=19737] ppid=19681 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/19684/task/19737/stat : 19737 (java) R 19681 19684 13460 0 -1 4202560 10403 13333 0 0 55 4 5 2 20 0 15 0 445911862 11084148736 21913 33554432000 4194304 4196468 140736988344256 140112734207184 140112762401949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19738] ppid=19681 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19738/stat : 19738 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911863 11084148736 21913 33554432000 4194304 4196468 140736988344256 140112766622352 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19739] ppid=19681 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19739/stat : 19739 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911863 11084148736 21913 33554432000 4194304 4196468 140736988344256 140112654895632 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19740] ppid=19681 vsize=10824364 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19740/stat : 19740 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911863 11084148736 21913 33554432000 4194304 4196468 140736988344256 140112653842832 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19741] ppid=19681 vsize=10824364 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19741/stat : 19741 (java) S 19681 19684 13460 0 -1 1077944384 2 13333 0 0 0 0 5 2 20 0 15 0 445911863 11084148736 21913 33554432000 4194304 4196468 140736988344256 140112652790032 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19743] ppid=19681 vsize=10824364 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19743/stat : 19743 (java) S 19681 19684 13460 0 -1 1077944384 5 13333 0 0 0 0 5 2 20 0 15 0 445911864 11084148736 21913 33554432000 4194304 4196468 140736988344256 140112221379440 140112762391170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19744] ppid=19681 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19744/stat : 19744 (java) S 19681 19684 13460 0 -1 1077944384 33 13333 0 0 0 0 5 2 20 0 15 0 445911864 11084148736 21913 33554432000 4194304 4196468 140736988344256 140112220325408 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19745] ppid=19681 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19745/stat : 19745 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911865 11084148736 21913 33554432000 4194304 4196468 140736988344256 140112100844912 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19746] ppid=19681 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19746/stat : 19746 (java) S 19681 19684 13460 0 -1 1077944384 2 13333 0 0 0 0 5 2 20 0 15 0 445911867 11084148736 21913 33554432000 4194304 4196468 140736988344256 140111496866128 140112762398619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19747] ppid=19681 vsize=10824364 memory=6943526294502006880 CPUtime=0.2 cores=1,3,5,7
/proc/19684/task/19747/stat : 19747 (java) R 19681 19684 13460 0 -1 4202560 851 13333 0 0 13 0 5 2 20 0 15 0 445911867 11084148736 21913 33554432000 4194304 4196468 140736988344256 140112186754272 140112740355383 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19748] ppid=19681 vsize=10824364 memory=6944656592455097440 CPUtime=0.19 cores=1,3,5,7
/proc/19684/task/19748/stat : 19748 (java) R 19681 19684 13460 0 -1 4202560 754 13333 0 0 12 0 5 2 20 0 15 0 445911867 11084148736 21913 33554432000 4194304 4196468 140736988344256 140112185702768 140112743907753 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19749] ppid=19681 vsize=10824364 memory=6655300316396806240 CPUtime=0.24 cores=1,3,5,7
/proc/19684/task/19749/stat : 19749 (java) R 19681 19684 13460 0 -1 4202560 888 13333 0 0 17 0 5 2 20 0 15 0 445911867 11084148736 21913 33554432000 4194304 4196468 140736988344256 140112184662128 140112755484711 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19750] ppid=19681 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19750/stat : 19750 (java) S 19681 19684 13460 0 -1 1077944384 3 13333 0 0 0 0 5 2 20 0 15 0 445911868 11084148736 21913 33554432000 4194304 4196468 140736988344256 140111027103968 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19751] ppid=19681 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19751/stat : 19751 (java) R 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911868 11084148736 21913 33554432000 4194304 4196468 140736988344256 140112183610544 140112762391170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87652 KiB

[startup+1.50424 s]
/proc/loadavg: 1.32 1.41 1.47 5/227 19751
/proc/meminfo: memFree=22545660/32770624 swapFree=66941520/67108860
[pid=19684] ppid=19681 vsize=10834680 memory=175912 CPUtime=2.45 cores=1,3,5,7
/proc/19684/stat : 19684 (java) S 19681 19684 13460 0 -1 1077944320 21948 13333 0 0 227 11 5 2 20 0 15 0 445911853 11094712320 43978 33554432000 4194304 4196468 140736988344256 140736988326800 140112762380023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
/proc/19684/statm: 2708670 43978 3580 1 0 2670733 0
[pid=19684/tid=19737] ppid=19681 vsize=10834680 memory=3620 CPUtime=1.43 cores=1,3,5,7
/proc/19684/task/19737/stat : 19737 (java) R 19681 19684 13460 0 -1 4202560 15333 13333 0 0 130 6 5 2 20 0 15 0 445911862 11094712320 43978 33554432000 4194304 4196468 140736988344256 140112734174528 140112762391958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19738] ppid=19681 vsize=10834680 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19738/stat : 19738 (java) S 19681 19684 13460 0 -1 1077944384 34 13333 0 0 1 0 5 2 20 0 15 0 445911863 11094712320 43978 33554432000 4194304 4196468 140736988344256 140112766622352 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19739] ppid=19681 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19739/stat : 19739 (java) S 19681 19684 13460 0 -1 1077944384 336 13333 0 0 1 0 5 2 20 0 15 0 445911863 11094712320 43978 33554432000 4194304 4196468 140736988344256 140112654895632 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19740] ppid=19681 vsize=10834680 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19740/stat : 19740 (java) S 19681 19684 13460 0 -1 1077944384 49 13333 0 0 1 0 5 2 20 0 15 0 445911863 11094712320 43978 33554432000 4194304 4196468 140736988344256 140112653842832 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19741] ppid=19681 vsize=10834680 memory=47884 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19741/stat : 19741 (java) S 19681 19684 13460 0 -1 1077944384 74 13333 0 0 1 0 5 2 20 0 15 0 445911863 11094712320 43978 33554432000 4194304 4196468 140736988344256 140112652790032 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19743] ppid=19681 vsize=10834680 memory=1988 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19743/stat : 19743 (java) S 19681 19684 13460 0 -1 1077944384 165 13333 0 0 1 0 5 2 20 0 15 0 445911864 11094712320 43978 33554432000 4194304 4196468 140736988344256 140112221379440 140112762391170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19744] ppid=19681 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19744/stat : 19744 (java) S 19681 19684 13460 0 -1 1077944384 34 13333 0 0 0 0 5 2 20 0 15 0 445911864 11094712320 43978 33554432000 4194304 4196468 140736988344256 140112220325472 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19745] ppid=19681 vsize=10834680 memory=-3040564339240289162 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19745/stat : 19745 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911865 11094712320 43978 33554432000 4194304 4196468 140736988344256 140112100844896 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19746] ppid=19681 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19746/stat : 19746 (java) S 19681 19684 13460 0 -1 1077944384 2 13333 0 0 0 0 5 2 20 0 15 0 445911867 11094712320 43978 33554432000 4194304 4196468 140736988344256 140111496866128 140112762398619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19747] ppid=19681 vsize=10834680 memory=280358419431664 CPUtime=0.31 cores=1,3,5,7
/proc/19684/task/19747/stat : 19747 (java) S 19681 19684 13460 0 -1 1077944384 1046 13333 0 0 24 0 5 2 20 0 15 0 445911867 11094712320 43978 33554432000 4194304 4196468 140736988344256 140112186767728 140112762391170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19748] ppid=19681 vsize=10834680 memory=56 CPUtime=0.3 cores=1,3,5,7
/proc/19684/task/19748/stat : 19748 (java) S 19681 19684 13460 0 -1 1077944384 909 13333 0 0 22 1 5 2 20 0 15 0 445911867 11094712320 43978 33554432000 4194304 4196468 140736988344256 140112185714928 140112762391170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19749] ppid=19681 vsize=10834680 memory=1943562 CPUtime=0.49 cores=1,3,5,7
/proc/19684/task/19749/stat : 19749 (java) R 19681 19684 13460 0 -1 4202560 1756 13333 0 0 42 0 5 2 20 0 15 0 445911867 11094712320 43978 33554432000 4194304 4196468 140736988344256 140112184662128 140112742094796 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19750] ppid=19681 vsize=10834680 memory=1944740 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19750/stat : 19750 (java) S 19681 19684 13460 0 -1 1077944384 3 13333 0 0 0 0 5 2 20 0 15 0 445911868 11094712320 43978 33554432000 4194304 4196468 140736988344256 140111027103968 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19751] ppid=19681 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19751/stat : 19751 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911868 11094712320 43978 33554432000 4194304 4196468 140736988344256 140112183610544 140112762391170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 10834680 KiB

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

/proc/loadavg: 1.32 1.41 1.47 5/227 19751
/proc/meminfo: memFree=22417372/32770624 swapFree=66941520/67108860
[pid=19684] ppid=19681 vsize=10842892 memory=249904 CPUtime=7.12 cores=1,3,5,7
/proc/19684/stat : 19684 (java) S 19681 19684 13460 0 -1 1077944320 39418 13333 0 0 688 17 5 2 20 0 15 0 445911853 11103121408 62476 33554432000 4194304 4196468 140736988344256 140736988326800 140112762380023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
/proc/19684/statm: 2710723 62476 3603 1 0 2672781 0
[pid=19684/tid=19737] ppid=19681 vsize=10842892 memory=0 CPUtime=3.02 cores=1,3,5,7
/proc/19684/task/19737/stat : 19737 (java) R 19681 19684 13460 0 -1 4202560 21170 13333 0 0 286 9 5 2 20 0 15 0 445911862 11103121408 62476 33554432000 4194304 4196468 140736988344256 140112734212960 140112318989021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19738] ppid=19681 vsize=10842892 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19738/stat : 19738 (java) S 19681 19684 13460 0 -1 1077944384 34 13333 0 0 1 0 5 2 20 0 15 0 445911863 11103121408 62476 33554432000 4194304 4196468 140736988344256 140112766622352 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19739] ppid=19681 vsize=10842892 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19739/stat : 19739 (java) S 19681 19684 13460 0 -1 1077944384 336 13333 0 0 1 0 5 2 20 0 15 0 445911863 11103121408 62476 33554432000 4194304 4196468 140736988344256 140112654895632 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19740] ppid=19681 vsize=10842892 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19740/stat : 19740 (java) S 19681 19684 13460 0 -1 1077944384 49 13333 0 0 1 0 5 2 20 0 15 0 445911863 11103121408 62476 33554432000 4194304 4196468 140736988344256 140112653842832 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19741] ppid=19681 vsize=10842892 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19741/stat : 19741 (java) S 19681 19684 13460 0 -1 1077944384 74 13333 0 0 1 0 5 2 20 0 15 0 445911863 11103121408 62476 33554432000 4194304 4196468 140736988344256 140112652790032 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19743] ppid=19681 vsize=10842892 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19743/stat : 19743 (java) S 19681 19684 13460 0 -1 1077944384 218 13333 0 0 1 0 5 2 20 0 15 0 445911864 11103121408 62476 33554432000 4194304 4196468 140736988344256 140112221379440 140112762391170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19744] ppid=19681 vsize=10842892 memory=1943562 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19744/stat : 19744 (java) S 19681 19684 13460 0 -1 1077944384 34 13333 0 0 0 0 5 2 20 0 15 0 445911864 11103121408 62476 33554432000 4194304 4196468 140736988344256 140112220325472 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19745] ppid=19681 vsize=10842892 memory=1944740 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19745/stat : 19745 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911865 11103121408 62476 33554432000 4194304 4196468 140736988344256 140112100844896 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19746] ppid=19681 vsize=10842892 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19746/stat : 19746 (java) S 19681 19684 13460 0 -1 1077944384 2 13333 0 0 0 0 5 2 20 0 15 0 445911867 11103121408 62476 33554432000 4194304 4196468 140736988344256 140111496866128 140112762398619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19747] ppid=19681 vsize=10842892 memory=238152 CPUtime=1.48 cores=1,3,5,7
/proc/19684/task/19747/stat : 19747 (java) R 19681 19684 13460 0 -1 4202560 4923 13333 0 0 140 1 5 2 20 0 15 0 445911867 11103121408 62476 33554432000 4194304 4196468 140736988344256 140112186751920 140112745863500 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19748] ppid=19681 vsize=10842892 memory=280358419825152 CPUtime=1.33 cores=1,3,5,7
/proc/19684/task/19748/stat : 19748 (java) R 19681 19684 13460 0 -1 4202560 3356 13333 0 0 124 2 5 2 20 0 15 0 445911867 11103121408 62476 33554432000 4194304 4196468 140736988344256 140112185691216 140112745936412 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19749] ppid=19681 vsize=10842892 memory=13847469322668657 CPUtime=1.37 cores=1,3,5,7
/proc/19684/task/19749/stat : 19749 (java) S 19681 19684 13460 0 -1 1077944384 7004 13333 0 0 128 2 5 2 20 0 15 0 445911867 11103121408 62476 33554432000 4194304 4196468 140736988344256 140112184662128 140112762391170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19750] ppid=19681 vsize=10842892 memory=1056 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19750/stat : 19750 (java) S 19681 19684 13460 0 -1 1077944384 3 13333 0 0 0 0 5 2 20 0 15 0 445911868 11103121408 62476 33554432000 4194304 4196468 140736988344256 140111027103968 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19751] ppid=19681 vsize=10842892 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19751/stat : 19751 (java) S 19681 19684 13460 0 -1 1077944384 8 13333 0 0 0 0 5 2 20 0 15 0 445911868 11103121408 62476 33554432000 4194304 4196468 140736988344256 140112183610544 140112762391170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
Current children cumulated CPU time: 7.12 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 249904 KiB

[startup+4.6973 s]
# the end of solver process 19684 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=10.4599 s, system=0.2431 s

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

[startup+3.20094 s]
/proc/loadavg: 1.32 1.41 1.47 5/227 19751
/proc/meminfo: memFree=22417372/32770624 swapFree=66941520/67108860
[pid=19684] ppid=19681 vsize=10842892 memory=252340 CPUtime=7.4 cores=1,3,5,7
/proc/19684/stat : 19684 (java) S 19681 19684 13460 0 -1 1077944320 39506 13333 0 0 716 17 5 2 20 0 15 0 445911853 11103121408 63085 33554432000 4194304 4196468 140736988344256 140736988326800 140112762380023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
/proc/19684/statm: 2710723 63085 3603 1 0 2672781 0
[pid=19684/tid=19737] ppid=19681 vsize=10842892 memory=6296683625540047200 CPUtime=3.11 cores=1,3,5,7
/proc/19684/task/19737/stat : 19737 (java) R 19681 19684 13460 0 -1 4202560 21195 13333 0 0 295 9 5 2 20 0 15 0 445911862 11103121408 63085 33554432000 4194304 4196468 140736988344256 140112734210304 140112328710525 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19738] ppid=19681 vsize=10842892 memory=280358352357797 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19738/stat : 19738 (java) S 19681 19684 13460 0 -1 1077944384 34 13333 0 0 1 0 5 2 20 0 15 0 445911863 11103121408 63085 33554432000 4194304 4196468 140736988344256 140112766622352 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19739] ppid=19681 vsize=10842892 memory=-7604262568725289114 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19739/stat : 19739 (java) S 19681 19684 13460 0 -1 1077944384 336 13333 0 0 1 0 5 2 20 0 15 0 445911863 11103121408 63085 33554432000 4194304 4196468 140736988344256 140112654895632 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19740] ppid=19681 vsize=10842892 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19740/stat : 19740 (java) S 19681 19684 13460 0 -1 1077944384 49 13333 0 0 1 0 5 2 20 0 15 0 445911863 11103121408 63085 33554432000 4194304 4196468 140736988344256 140112653842832 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19741] ppid=19681 vsize=10842892 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19741/stat : 19741 (java) S 19681 19684 13460 0 -1 1077944384 74 13333 0 0 1 0 5 2 20 0 15 0 445911863 11103121408 63085 33554432000 4194304 4196468 140736988344256 140112652790032 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19743] ppid=19681 vsize=10842892 memory=1428 CPUtime=0.08 cores=1,3,5,7
/proc/19684/task/19743/stat : 19743 (java) S 19681 19684 13460 0 -1 1077944384 218 13333 0 0 1 0 5 2 20 0 15 0 445911864 11103121408 63085 33554432000 4194304 4196468 140736988344256 140112221379440 140112762391170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19744] ppid=19681 vsize=10842892 memory=1752 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19744/stat : 19744 (java) S 19681 19684 13460 0 -1 1077944384 34 13333 0 0 0 0 5 2 20 0 15 0 445911864 11103121408 63085 33554432000 4194304 4196468 140736988344256 140112220325472 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19745] ppid=19681 vsize=10842892 memory=1056 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19745/stat : 19745 (java) S 19681 19684 13460 0 -1 1077944384 1 13333 0 0 0 0 5 2 20 0 15 0 445911865 11103121408 63085 33554432000 4194304 4196468 140736988344256 140112100844896 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19746] ppid=19681 vsize=10842892 memory=1556 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19746/stat : 19746 (java) S 19681 19684 13460 0 -1 1077944384 2 13333 0 0 0 0 5 2 20 0 15 0 445911867 11103121408 63085 33554432000 4194304 4196468 140736988344256 140111496866128 140112762398619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19747] ppid=19681 vsize=10842892 memory=11632 CPUtime=1.57 cores=1,3,5,7
/proc/19684/task/19747/stat : 19747 (java) R 19681 19684 13460 0 -1 4202560 4924 13333 0 0 149 1 5 2 20 0 15 0 445911867 11103121408 63085 33554432000 4194304 4196468 140736988344256 140112186754544 140112743015878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19748] ppid=19681 vsize=10842892 memory=1732 CPUtime=1.42 cores=1,3,5,7
/proc/19684/task/19748/stat : 19748 (java) R 19681 19684 13460 0 -1 4202560 3382 13333 0 0 133 2 5 2 20 0 15 0 445911867 11103121408 63085 33554432000 4194304 4196468 140736988344256 140112185691568 140112745880406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19749] ppid=19681 vsize=10842892 memory=1088 CPUtime=1.38 cores=1,3,5,7
/proc/19684/task/19749/stat : 19749 (java) S 19681 19684 13460 0 -1 1077944384 7040 13333 0 0 129 2 5 2 20 0 15 0 445911867 11103121408 63085 33554432000 4194304 4196468 140736988344256 140112184662128 140112762391170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19750] ppid=19681 vsize=10842892 memory=988 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19750/stat : 19750 (java) S 19681 19684 13460 0 -1 1077944384 3 13333 0 0 0 0 5 2 20 0 15 0 445911868 11103121408 63085 33554432000 4194304 4196468 140736988344256 140111027103968 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19751] ppid=19681 vsize=10842892 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19751/stat : 19751 (java) S 19681 19684 13460 0 -1 1077944384 8 13333 0 0 0 0 5 2 20 0 15 0 445911868 11103121408 63085 33554432000 4194304 4196468 140736988344256 140112183610544 140112762391170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 252340 KiB

[startup+4.00375 s]*
/proc/loadavg: 1.54 1.45 1.49 4/227 19751
/proc/meminfo: memFree=22355200/32770624 swapFree=66941520/67108860
[pid=19684] ppid=19681 vsize=10846988 memory=307076 CPUtime=9.83 cores=1,3,5,7
/proc/19684/stat : 19684 (java) S 19681 19684 13460 0 -1 1077944320 45255 13333 0 0 956 20 5 2 20 0 15 0 445911853 11107315712 76769 33554432000 4194304 4196468 140736988344256 140736988326800 140112762380023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
/proc/19684/statm: 2711747 76769 3619 1 0 2673805 0
[pid=19684/tid=19737] ppid=19681 vsize=10846988 memory=6300370288096406882 CPUtime=3.86 cores=1,3,5,7
/proc/19684/task/19737/stat : 19737 (java) R 19681 19684 13460 0 -1 4202560 22761 13333 0 0 369 10 5 2 20 0 15 0 445911862 11107315712 76769 33554432000 4194304 4196468 140736988344256 140112734213888 140112319245872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19738] ppid=19681 vsize=10846988 memory=5767615474422798473 CPUtime=0.11 cores=1,3,5,7
/proc/19684/task/19738/stat : 19738 (java) S 19681 19684 13460 0 -1 1077944384 70 13333 0 0 4 0 5 2 20 0 15 0 445911863 11107315712 76769 33554432000 4194304 4196468 140736988344256 140112766622352 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19739] ppid=19681 vsize=10846988 memory=4207743924872697784 CPUtime=0.11 cores=1,3,5,7
/proc/19684/task/19739/stat : 19739 (java) S 19681 19684 13460 0 -1 1077944384 366 13333 0 0 4 0 5 2 20 0 15 0 445911863 11107315712 76769 33554432000 4194304 4196468 140736988344256 140112654895632 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19740] ppid=19681 vsize=10846988 memory=7 CPUtime=0.11 cores=1,3,5,7
/proc/19684/task/19740/stat : 19740 (java) S 19681 19684 13460 0 -1 1077944384 77 13333 0 0 4 0 5 2 20 0 15 0 445911863 11107315712 76769 33554432000 4194304 4196468 140736988344256 140112653842832 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19741] ppid=19681 vsize=10846988 memory=2272 CPUtime=0.11 cores=1,3,5,7
/proc/19684/task/19741/stat : 19741 (java) S 19681 19684 13460 0 -1 1077944384 190 13333 0 0 4 0 5 2 20 0 15 0 445911863 11107315712 76769 33554432000 4194304 4196468 140736988344256 140112652790032 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19743] ppid=19681 vsize=10846988 memory=140183635633791 CPUtime=0.11 cores=1,3,5,7
/proc/19684/task/19743/stat : 19743 (java) S 19681 19684 13460 0 -1 1077944384 2730 13333 0 0 4 0 5 2 20 0 15 0 445911864 11107315712 76769 33554432000 4194304 4196468 140736988344256 140112221379440 140112762391170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19744] ppid=19681 vsize=10846988 memory=2240 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19744/stat : 19744 (java) S 19681 19684 13460 0 -1 1077944384 41 13333 0 0 0 0 5 2 20 0 15 0 445911864 11107315712 76769 33554432000 4194304 4196468 140736988344256 140112220325472 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19745] ppid=19681 vsize=10846988 memory=2273 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19745/stat : 19745 (java) S 19681 19684 13460 0 -1 1077944384 8 13333 0 0 0 0 5 2 20 0 15 0 445911865 11107315712 76769 33554432000 4194304 4196468 140736988344256 140112100844928 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19746] ppid=19681 vsize=10846988 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19746/stat : 19746 (java) S 19681 19684 13460 0 -1 1077944384 2 13333 0 0 0 0 5 2 20 0 15 0 445911867 11107315712 76769 33554432000 4194304 4196468 140736988344256 140111496866128 140112762398619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19747] ppid=19681 vsize=10846988 memory=0 CPUtime=2.18 cores=1,3,5,7
/proc/19684/task/19747/stat : 19747 (java) R 19681 19684 13460 0 -1 4202560 5111 13333 0 0 210 1 5 2 20 0 15 0 445911867 11107315712 76769 33554432000 4194304 4196468 140736988344256 140112186767728 140112743904860 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19748] ppid=19681 vsize=10846988 memory=-1 CPUtime=1.97 cores=1,3,5,7
/proc/19684/task/19748/stat : 19748 (java) S 19681 19684 13460 0 -1 1077944384 3604 13333 0 0 188 2 5 2 20 0 15 0 445911867 11107315712 76769 33554432000 4194304 4196468 140736988344256 140112185714928 140112762391170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19749] ppid=19681 vsize=10846988 memory=140179786578363 CPUtime=1.75 cores=1,3,5,7
/proc/19684/task/19749/stat : 19749 (java) R 19681 19684 13460 0 -1 1077944384 8078 13333 0 0 165 3 5 2 20 0 15 0 445911867 11107315712 76769 33554432000 4194304 4196468 140736988344256 140112184662128 140112762391170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19750] ppid=19681 vsize=10846988 memory=84821309148451 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19750/stat : 19750 (java) S 19681 19684 13460 0 -1 1077944384 3 13333 0 0 0 0 5 2 20 0 15 0 445911868 11107315712 76769 33554432000 4194304 4196468 140736988344256 140111027103968 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19751] ppid=19681 vsize=10846988 memory=140179340666496 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19751/stat : 19751 (java) S 19681 19684 13460 0 -1 1077944384 8 13333 0 0 0 0 5 2 20 0 15 0 445911868 11107315712 76769 33554432000 4194304 4196468 140736988344256 140112183610544 140112762391170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
Current children cumulated CPU time: 9.83 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 307076 KiB

[startup+4.40066 s]
/proc/loadavg: 1.54 1.45 1.49 4/227 19751
/proc/meminfo: memFree=22355200/32770624 swapFree=66941520/67108860
[pid=19684] ppid=19681 vsize=10912524 memory=310736 CPUtime=10.67 cores=1,3,5,7
/proc/19684/stat : 19684 (java) S 19681 19684 13460 0 -1 1077944320 46734 13333 0 0 1040 20 5 2 20 0 12 0 445911853 11174424576 77684 33554432000 4194304 4196468 140736988344256 140736988326800 140112762380023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
/proc/19684/statm: 2728131 77684 3621 1 0 2690189 0
[pid=19684/tid=19737] ppid=19681 vsize=10912524 memory=0 CPUtime=4.1 cores=1,3,5,7
/proc/19684/task/19737/stat : 19737 (java) D 19681 19684 13460 0 -1 4202560 22835 13333 0 0 393 10 5 2 20 0 12 0 445911862 11174424576 77684 33554432000 4194304 4196468 140736988344256 140112734223672 140112755065655 0 0 0 16800975 18446744072100555909 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19738] ppid=19681 vsize=10912524 memory=140179210014230 CPUtime=0.11 cores=1,3,5,7
/proc/19684/task/19738/stat : 19738 (java) S 19681 19684 13460 0 -1 1077944384 70 13333 0 0 4 0 5 2 20 0 12 0 445911863 11174424576 77684 33554432000 4194304 4196468 140736988344256 140112766622352 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19739] ppid=19681 vsize=10912524 memory=280358419993392 CPUtime=0.11 cores=1,3,5,7
/proc/19684/task/19739/stat : 19739 (java) S 19681 19684 13460 0 -1 1077944384 366 13333 0 0 4 0 5 2 20 0 12 0 445911863 11174424576 77684 33554432000 4194304 4196468 140736988344256 140112654895632 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19740] ppid=19681 vsize=10912524 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/19684/task/19740/stat : 19740 (java) S 19681 19684 13460 0 -1 1077944384 77 13333 0 0 4 0 5 2 20 0 12 0 445911863 11174424576 77684 33554432000 4194304 4196468 140736988344256 140112653842832 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19741] ppid=19681 vsize=10912524 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/19684/task/19741/stat : 19741 (java) S 19681 19684 13460 0 -1 1077944384 190 13333 0 0 4 0 5 2 20 0 12 0 445911863 11174424576 77684 33554432000 4194304 4196468 140736988344256 140112652790032 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19744] ppid=19681 vsize=10912524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19744/stat : 19744 (java) S 19681 19684 13460 0 -1 1077944384 41 13333 0 0 0 0 5 2 20 0 12 0 445911864 11174424576 77684 33554432000 4194304 4196468 140736988344256 140112220325472 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19745] ppid=19681 vsize=10912524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19745/stat : 19745 (java) S 19681 19684 13460 0 -1 1077944384 8 13333 0 0 0 0 5 2 20 0 12 0 445911865 11174424576 77684 33554432000 4194304 4196468 140736988344256 140112100844928 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19747] ppid=19681 vsize=10912524 memory=0 CPUtime=2.43 cores=1,3,5,7
/proc/19684/task/19747/stat : 19747 (java) S 19681 19684 13460 0 -1 1077944384 5161 13333 0 0 235 1 5 2 20 0 12 0 445911867 11174424576 77684 33554432000 4194304 4196468 140736988344256 140112186749776 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19748] ppid=19681 vsize=10912524 memory=0 CPUtime=2.23 cores=1,3,5,7
/proc/19684/task/19748/stat : 19748 (java) S 19681 19684 13460 0 -1 1077944384 4766 13333 0 0 214 2 5 2 20 0 12 0 445911867 11174424576 77684 33554432000 4194304 4196468 140736988344256 140112185699440 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19749] ppid=19681 vsize=10912524 memory=0 CPUtime=1.84 cores=1,3,5,7
/proc/19684/task/19749/stat : 19749 (java) S 19681 19684 13460 0 -1 1077944384 8253 13333 0 0 174 3 5 2 20 0 12 0 445911867 11174424576 77684 33554432000 4194304 4196468 140736988344256 140112184662128 140112762391170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
[pid=19684/tid=19750] ppid=19681 vsize=10912524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19684/task/19750/stat : 19750 (java) S 19681 19684 13460 0 -1 1077944384 3 13333 0 0 0 0 5 2 20 0 12 0 445911868 11174424576 77684 33554432000 4194304 4196468 140736988344256 140111027103968 140112762390229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18432000 140736988347119 140736988349637 140736988349637 140736988352463 0
Current children cumulated CPU time: 10.67 s
Current children cumulated vsize: 10912524 KiB
Current children cumulated memory: 310736 KiB

[startup+4.60954 s]
/proc/loadavg: 1.54 1.45 1.49 2/214 19752
/proc/meminfo: memFree=22636436/32770624 swapFree=66941520/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 4.69735
CPU time (s): 10.703
CPU user time (s): 10.4599
CPU system time (s): 0.2431
CPU usage (%): 227.852
Max. virtual memory (cumulated for all children) (KiB): 10912524
Max. memory (cumulated for all children) (KiB): 310736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.4599
system time used= 0.2431
maximum resident set size= 314652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60090
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= 6807
involuntary context switches= 58


# summary of solver processes directly reported to runsolver:
#   pid: 19684
#   total CPU time (s): 10.703
#   total CPU user time (s): 10.4599
#   total CPU system time (s): 0.2431

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054019 second user time and 0.080886 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-17 07:04:54
IDJOB=4400623
IDBENCH=141717
IDSOLVER=2857
FILE ID=node149/4400623-1568696732
RUNJOBID= node149-1568673293-13492
PBS_JOBID= 21703773
Free space on /tmp= 61388 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-15-036.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400623-1568696732/watcher-4400623-1568696732 -o /tmp/evaluation-result-4400623-1568696732/solver-4400623-1568696732 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568673293-13492 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1538733696 HOME/instance-4400623-1568696732.xml

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

MD5SUM BENCH= 5e5c63d89f6605b36f0577fcc9be8ecb
RANDOM SEED=1538733696

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.81
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.81
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.81
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.81
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:        22648172 kB
MemAvailable:   27718884 kB
Buffers:          106232 kB
Cached:          5267056 kB
SwapCached:        61080 kB
Active:          6556588 kB
Inactive:        2995860 kB
Active(anon):    4121824 kB
Inactive(anon):   106192 kB
Active(file):    2434764 kB
Inactive(file):  2889668 kB
Unevictable:      111228 kB
Mlocked:          111228 kB
SwapTotal:      67108860 kB
SwapFree:       66941520 kB
Dirty:             35756 kB
Writeback:             0 kB
AnonPages:       4231332 kB
Mapped:            61684 kB
Shmem:             39976 kB
Slab:             153760 kB
SReclaimable:     124228 kB
SUnreclaim:        29532 kB
KernelStack:        3744 kB
PageTables:        13856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5342124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4024320 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61352 MiB
End job on node149 at 2019-09-17 07:04:59