Trace number 4305007

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.9.2SAT 22.0061 8.41103

General information on the benchmark

NameSocialGolfers/
SocialGolfers-5-5-6-cp_c18.xml
MD5SUM7cf8ff1aade64c35eba6df9cb38cb5a8
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.62608
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints4508
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":150}]
Minimum variable degree122
Maximum variable degree123
Distribution of variable degrees[{"degree":122,"count":125},{"degree":123,"count":25}]
Minimum constraint arity4
Maximum constraint arity150
Distribution of constraint arities[{"arity":4,"count":4500},{"arity":25,"count":7},{"arity":150,"count":1}]
Number of extensional constraints0
Number of intensional constraints4500
Distribution of constraint types[{"type":"intension","count":4500},{"type":"lex","count":1},{"type":"cardinality","count":6},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.98/0.74	c Concrete v3.9.2.1532736233296 running
21.69/8.38	v <instantiation>
21.69/8.38	v       <list>
21.69/8.38	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24]
21.69/8.38	v       </list>
21.69/8.38	v       <values>
21.69/8.38	v         0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 4 4 4 4 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 1 3 0 4 2 4 2 3 0 1 2 0 4 1 3 3 4 1 2 0 0 3 4 1 2 2 4 1 0 3 4 0 2 3 1 1 2 3 4 0 3 1 0 2 4 1 4 0 3 2 3 2 4 0 1 4 3 1 2 0 2 0 3 1 4 0 1 2 4 3 2 4 3 1 0 3 2 0 4 1 1 0 4 3 2 4 1 2 0 3 0 3 1 2 4
21.69/8.38	v       </values>
21.69/8.38	v     </instantiation>
21.69/8.38	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 (5593 MiB free)
  memory of node 1: 16384 MiB (9376 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305007-1534102829/watcher-4305007-1534102829 -o /tmp/evaluation-result-4305007-1534102829/solver-4305007-1534102829 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534097917-15761 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=529677986 HOME/instance-4305007-1534102829.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=16674, runsolver pid=16671
Current StackSize limit: 8192 KiB


[startup+0.100407 s]*
/proc/loadavg: 1.40 1.30 1.30 2/207 16731
/proc/meminfo: memFree=15321992/32770624 swapFree=67108504/67108860
[pid=16674] ppid=16671 vsize=10005480 memory=18856 CPUtime=0.08 cores=1,3,5,7
/proc/16674/stat : 16674 (java) S 16671 16674 15729 0 -1 1077944320 4345 12865 0 0 1 0 4 3 20 0 6 0 227846042 10245611520 4714 33554432000 4194304 4196468 140728972907808 140728972890352 139991028547319 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
/proc/16674/statm: 2501370 4714 1934 1 0 2489808 0
[pid=16674/tid=16727] ppid=16671 vsize=10005480 memory=4279135704013833615 CPUtime=0.08 cores=1,3,5,7
/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 15729 0 -1 4202560 2160 12865 0 0 1 0 4 3 20 0 6 0 227846051 10245611520 4714 33554432000 4194304 4196468 140728972907808 139991000384080 139991028569245 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16728] ppid=16671 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 6 0 227846052 10245611520 4714 33554432000 4194304 4196468 140728972907808 139991032789904 139991028557525 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16729] ppid=16671 vsize=10005480 memory=140405743163008 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 6 0 227846052 10245611520 4714 33554432000 4194304 4196468 140728972907808 139990903438096 139991028557525 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16730] ppid=16671 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 6 0 227846052 10245611520 4714 33554432000 4194304 4196468 140728972907808 139990567541904 139991028557525 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16731] ppid=16671 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 15729 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 6 0 227846052 10245611520 4714 33554432000 4194304 4196468 140728972907808 139990566489104 139991028557525 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18856 KiB

[startup+0.2099 s]*
/proc/loadavg: 1.45 1.31 1.31 6/216 16740
/proc/meminfo: memFree=15298180/32770624 swapFree=67108504/67108860
[pid=16674] ppid=16671 vsize=10982696 memory=43732 CPUtime=0.25 cores=1,3,5,7
/proc/16674/stat : 16674 (java) S 16671 16674 15729 0 -1 1077944320 8346 12865 0 0 16 2 4 3 20 0 15 0 227846042 11246280704 10933 33554432000 4194304 4196468 140728972907808 140728972890352 139991028547319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
/proc/16674/statm: 2745674 10933 2933 1 0 2708109 0
[pid=16674/tid=16727] ppid=16671 vsize=10982696 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 15729 0 -1 4202560 4865 12865 0 0 10 1 4 3 20 0 15 0 227846051 11246280704 10933 33554432000 4194304 4196468 140728972907808 139991000344976 139991010110835 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16728] ppid=16671 vsize=10982696 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846052 11246280704 10933 33554432000 4194304 4196468 140728972907808 139991032789904 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16729] ppid=16671 vsize=10982696 memory=140405743163008 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846052 11246280704 10933 33554432000 4194304 4196468 140728972907808 139990903438096 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16730] ppid=16671 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846052 11246280704 10933 33554432000 4194304 4196468 140728972907808 139990567541904 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16731] ppid=16671 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 15729 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 15 0 227846052 11246280704 10933 33554432000 4194304 4196468 140728972907808 139990566489104 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16732] ppid=16671 vsize=10982696 memory=140405743163008 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16732/stat : 16732 (java) S 16671 16674 15729 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 15 0 227846053 11246280704 10933 33554432000 4194304 4196468 140728972907808 139990521673840 139991028558466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16733] ppid=16671 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16733/stat : 16733 (java) S 16671 16674 15729 0 -1 1077944384 13 12865 0 0 0 0 4 3 20 0 15 0 227846054 11246280704 10933 33554432000 4194304 4196468 140728972907808 139989775016736 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16734] ppid=16671 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16734/stat : 16734 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846054 11246280704 10933 33554432000 4194304 4196468 140728972907808 139989627167856 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16735] ppid=16671 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16735/stat : 16735 (java) S 16671 16674 15729 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 227846057 11246280704 10933 33554432000 4194304 4196468 140728972907808 139989319768144 139991028565915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16736] ppid=16671 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16674/task/16736/stat : 16736 (java) S 16671 16674 15729 0 -1 1077944384 370 12865 0 0 1 0 4 3 20 0 15 0 227846057 11246280704 10933 33554432000 4194304 4196468 140728972907808 139990520621680 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16737] ppid=16671 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16737/stat : 16737 (java) S 16671 16674 15729 0 -1 1077944384 264 12865 0 0 0 0 4 3 20 0 15 0 227846057 11246280704 10933 33554432000 4194304 4196468 140728972907808 139990519568880 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16738] ppid=16671 vsize=10982696 memory=140405743163008 CPUtime=0.1 cores=1,3,5,7
/proc/16674/task/16738/stat : 16738 (java) S 16671 16674 15729 0 -1 1077944384 631 12865 0 0 3 0 4 3 20 0 15 0 227846057 11246280704 10933 33554432000 4194304 4196468 140728972907808 139990518516592 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16739] ppid=16671 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16739/stat : 16739 (java) S 16671 16674 15729 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 227846057 11246280704 10933 33554432000 4194304 4196468 140728972907808 139988888972256 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16740] ppid=16671 vsize=10982696 memory=140405743163008 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16740/stat : 16740 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846057 11246280704 10933 33554432000 4194304 4196468 140728972907808 139990517463472 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 43732 KiB

[startup+0.310338 s]*
/proc/loadavg: 1.45 1.31 1.31 3/216 16740
/proc/meminfo: memFree=15289232/32770624 swapFree=67108504/67108860
[pid=16674] ppid=16671 vsize=10983192 memory=55332 CPUtime=0.37 cores=1,3,5,7
/proc/16674/stat : 16674 (java) S 16671 16674 15729 0 -1 1077944320 10381 12865 0 0 28 2 4 3 20 0 15 0 227846042 11246788608 13833 33554432000 4194304 4196468 140728972907808 140728972890352 139991028547319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
/proc/16674/statm: 2745798 13833 3091 1 0 2708109 0
[pid=16674/tid=16727] ppid=16671 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 15729 0 -1 4202560 6891 12865 0 0 19 2 4 3 20 0 15 0 227846051 11246788608 13833 33554432000 4194304 4196468 140728972907808 139991000359328 139991028569245 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16728] ppid=16671 vsize=10983192 memory=7084813469699035216 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846052 11246788608 13833 33554432000 4194304 4196468 140728972907808 139991032789904 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16729] ppid=16671 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846052 11246788608 13833 33554432000 4194304 4196468 140728972907808 139990903438096 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16730] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846052 11246788608 13833 33554432000 4194304 4196468 140728972907808 139990567541904 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16731] ppid=16671 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 15729 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 15 0 227846052 11246788608 13833 33554432000 4194304 4196468 140728972907808 139990566489104 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16732] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16732/stat : 16732 (java) S 16671 16674 15729 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 15 0 227846053 11246788608 13833 33554432000 4194304 4196468 140728972907808 139990521673840 139991028558466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16733] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16733/stat : 16733 (java) S 16671 16674 15729 0 -1 1077944384 13 12865 0 0 0 0 4 3 20 0 15 0 227846054 11246788608 13833 33554432000 4194304 4196468 140728972907808 139989775016736 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16734] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16734/stat : 16734 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846054 11246788608 13833 33554432000 4194304 4196468 140728972907808 139989627167856 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16735] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16735/stat : 16735 (java) S 16671 16674 15729 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 227846057 11246788608 13833 33554432000 4194304 4196468 140728972907808 139989319768144 139991028565915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16736] ppid=16671 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16674/task/16736/stat : 16736 (java) S 16671 16674 15729 0 -1 1077944384 370 12865 0 0 1 0 4 3 20 0 15 0 227846057 11246788608 13833 33554432000 4194304 4196468 140728972907808 139990520621680 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16737] ppid=16671 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16674/task/16737/stat : 16737 (java) S 16671 16674 15729 0 -1 1077944384 267 12865 0 0 1 0 4 3 20 0 15 0 227846057 11246788608 13833 33554432000 4194304 4196468 140728972907808 139990519568880 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16738] ppid=16671 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/16674/task/16738/stat : 16738 (java) R 16671 16674 15729 0 -1 4202560 643 12865 0 0 5 0 4 3 20 0 15 0 227846057 11246788608 13833 33554432000 4194304 4196468 140728972907808 139990518516592 139991028568666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16739] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16739/stat : 16739 (java) S 16671 16674 15729 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 227846057 11246788608 13833 33554432000 4194304 4196468 140728972907808 139988888972256 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16740] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16740/stat : 16740 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846057 11246788608 13833 33554432000 4194304 4196468 140728972907808 139990517463472 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55332 KiB

[startup+0.700751 s]
/proc/loadavg: 1.45 1.31 1.31 3/216 16740
/proc/meminfo: memFree=15277356/32770624 swapFree=67108504/67108860
[pid=16674] ppid=16671 vsize=10983192 memory=88716 CPUtime=0.98 cores=1,3,5,7
/proc/16674/stat : 16674 (java) S 16671 16674 15729 0 -1 1077944320 16826 12865 0 0 87 4 4 3 20 0 15 0 227846042 11246788608 22179 33554432000 4194304 4196468 140728972907808 140728972890352 139991028547319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
/proc/16674/statm: 2745798 22179 3237 1 0 2708109 0
[pid=16674/tid=16727] ppid=16671 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 15729 0 -1 4202560 12375 12865 0 0 56 3 4 3 20 0 15 0 227846051 11246788608 22179 33554432000 4194304 4196468 140728972907808 139991000368144 139991009920787 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16728] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846052 11246788608 22179 33554432000 4194304 4196468 140728972907808 139991032789904 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16729] ppid=16671 vsize=10983192 memory=3816 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846052 11246788608 22179 33554432000 4194304 4196468 140728972907808 139990903438096 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16730] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846052 11246788608 22179 33554432000 4194304 4196468 140728972907808 139990567541904 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16731] ppid=16671 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 15729 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 15 0 227846052 11246788608 22179 33554432000 4194304 4196468 140728972907808 139990566489104 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16732] ppid=16671 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16732/stat : 16732 (java) S 16671 16674 15729 0 -1 1077944384 5 12865 0 0 0 0 4 3 20 0 15 0 227846053 11246788608 22179 33554432000 4194304 4196468 140728972907808 139990521673840 139991028558466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16733] ppid=16671 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16733/stat : 16733 (java) S 16671 16674 15729 0 -1 1077944384 13 12865 0 0 0 0 4 3 20 0 15 0 227846054 11246788608 22179 33554432000 4194304 4196468 140728972907808 139989775016736 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16734] ppid=16671 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16734/stat : 16734 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846054 11246788608 22179 33554432000 4194304 4196468 140728972907808 139989627167856 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16735] ppid=16671 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16735/stat : 16735 (java) S 16671 16674 15729 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 227846057 11246788608 22179 33554432000 4194304 4196468 140728972907808 139989319768144 139991028565915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16736] ppid=16671 vsize=10983192 memory=13252 CPUtime=0.15 cores=1,3,5,7
/proc/16674/task/16736/stat : 16736 (java) S 16671 16674 15729 0 -1 1077944384 957 12865 0 0 8 0 4 3 20 0 15 0 227846057 11246788608 22179 33554432000 4194304 4196468 140728972907808 139990520621680 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16737] ppid=16671 vsize=10983192 memory=15460 CPUtime=0.15 cores=1,3,5,7
/proc/16674/task/16737/stat : 16737 (java) S 16671 16674 15729 0 -1 1077944384 555 12865 0 0 8 0 4 3 20 0 15 0 227846057 11246788608 22179 33554432000 4194304 4196468 140728972907808 139990519568880 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16738] ppid=16671 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/16674/task/16738/stat : 16738 (java) S 16671 16674 15729 0 -1 1077944384 720 12865 0 0 13 0 4 3 20 0 15 0 227846057 11246788608 22179 33554432000 4194304 4196468 140728972907808 139990518516592 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16739] ppid=16671 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16739/stat : 16739 (java) S 16671 16674 15729 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 227846057 11246788608 22179 33554432000 4194304 4196468 140728972907808 139988888972256 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16740] ppid=16671 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16740/stat : 16740 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846057 11246788608 22179 33554432000 4194304 4196468 140728972907808 139990517463472 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88716 KiB

[startup+1.50122 s]
/proc/loadavg: 1.45 1.31 1.31 3/216 16740
/proc/meminfo: memFree=15230652/32770624 swapFree=67108504/67108860
[pid=16674] ppid=16671 vsize=10996044 memory=192796 CPUtime=2.98 cores=1,3,5,7
/proc/16674/stat : 16674 (java) S 16671 16674 15729 0 -1 1077944320 23934 12865 0 0 282 9 4 3 20 0 15 0 227846042 11259949056 48199 33554432000 4194304 4196468 140728972907808 140728972890352 139991028547319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
/proc/16674/statm: 2749011 48199 3451 1 0 2710669 0
[pid=16674/tid=16727] ppid=16671 vsize=10996044 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 15729 0 -1 4202560 16664 12865 0 0 132 6 4 3 20 0 15 0 227846051 11259949056 48199 33554432000 4194304 4196468 140728972907808 139991000356352 139991006549857 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16728] ppid=16671 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846052 11259949056 48199 33554432000 4194304 4196468 140728972907808 139991032789904 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16729] ppid=16671 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846052 11259949056 48199 33554432000 4194304 4196468 140728972907808 139990903438096 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16730] ppid=16671 vsize=10996044 memory=3539892194917298225 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846052 11259949056 48199 33554432000 4194304 4196468 140728972907808 139990567541904 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16731] ppid=16671 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 15729 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 15 0 227846052 11259949056 48199 33554432000 4194304 4196468 140728972907808 139990566489104 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16732] ppid=16671 vsize=10996044 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16732/stat : 16732 (java) S 16671 16674 15729 0 -1 1077944384 6 12865 0 0 0 0 4 3 20 0 15 0 227846053 11259949056 48199 33554432000 4194304 4196468 140728972907808 139990521673840 139991028558466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16733] ppid=16671 vsize=10996044 memory=280811270121728 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16733/stat : 16733 (java) S 16671 16674 15729 0 -1 1077944384 13 12865 0 0 0 0 4 3 20 0 15 0 227846054 11259949056 48199 33554432000 4194304 4196468 140728972907808 139989775016736 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16734] ppid=16671 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16734/stat : 16734 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846054 11259949056 48199 33554432000 4194304 4196468 140728972907808 139989627167856 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16735] ppid=16671 vsize=10996044 memory=4552 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16735/stat : 16735 (java) S 16671 16674 15729 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 227846057 11259949056 48199 33554432000 4194304 4196468 140728972907808 139989319768144 139991028565915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16736] ppid=16671 vsize=10996044 memory=3732 CPUtime=0.64 cores=1,3,5,7
/proc/16674/task/16736/stat : 16736 (java) S 16671 16674 15729 0 -1 1077944384 1672 12865 0 0 56 1 4 3 20 0 15 0 227846057 11259949056 48199 33554432000 4194304 4196468 140728972907808 139990520621680 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16737] ppid=16671 vsize=10996044 memory=1228 CPUtime=0.57 cores=1,3,5,7
/proc/16674/task/16737/stat : 16737 (java) S 16671 16674 15729 0 -1 1077944384 1801 12865 0 0 50 0 4 3 20 0 15 0 227846057 11259949056 48199 33554432000 4194304 4196468 140728972907808 139990519568880 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16738] ppid=16671 vsize=10996044 memory=10624 CPUtime=0.5 cores=1,3,5,7
/proc/16674/task/16738/stat : 16738 (java) S 16671 16674 15729 0 -1 1077944384 1577 12865 0 0 43 0 4 3 20 0 15 0 227846057 11259949056 48199 33554432000 4194304 4196468 140728972907808 139990518516592 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16739] ppid=16671 vsize=10996044 memory=1624 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16739/stat : 16739 (java) S 16671 16674 15729 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 227846057 11259949056 48199 33554432000 4194304 4196468 140728972907808 139988888972256 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16740] ppid=16671 vsize=10996044 memory=6768 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16740/stat : 16740 (java) S 16671 16674 15729 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 227846057 11259949056 48199 33554432000 4194304 4196468 140728972907808 139990517463472 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10996044 KiB

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

/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 15729 0 -1 4202560 27250 12865 0 0 586 10 4 3 20 0 15 0 227846051 11272552448 100273 33554432000 4194304 4196468 140728972907808 139991000379784 139990592660068 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16728] ppid=16671 vsize=11008352 memory=56 CPUtime=0.21 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 15729 0 -1 1077944384 154 12865 0 0 12 2 4 3 20 0 15 0 227846052 11272552448 100273 33554432000 4194304 4196468 140728972907808 139991032789904 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16729] ppid=16671 vsize=11008352 memory=6944656592455097440 CPUtime=0.2 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 15729 0 -1 1077944384 114 12865 0 0 11 2 4 3 20 0 15 0 227846052 11272552448 100273 33554432000 4194304 4196468 140728972907808 139990903438096 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16730] ppid=16671 vsize=11008352 memory=6944656592387989600 CPUtime=0.19 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 15729 0 -1 1077944384 286 12865 0 0 11 1 4 3 20 0 15 0 227846052 11272552448 100273 33554432000 4194304 4196468 140728972907808 139990567541904 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16731] ppid=16671 vsize=11008352 memory=243304 CPUtime=0.2 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 15729 0 -1 1077944384 224 12865 0 0 11 2 4 3 20 0 15 0 227846052 11272552448 100273 33554432000 4194304 4196468 140728972907808 139990566489104 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16732] ppid=16671 vsize=11008352 memory=1296 CPUtime=0.13 cores=1,3,5,7
/proc/16674/task/16732/stat : 16732 (java) S 16671 16674 15729 0 -1 1077944384 3234 12865 0 0 6 0 4 3 20 0 15 0 227846053 11272552448 100273 33554432000 4194304 4196468 140728972907808 139990521673840 139991028558466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16733] ppid=16671 vsize=11008352 memory=1068 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16733/stat : 16733 (java) S 16671 16674 15729 0 -1 1077944384 16 12865 0 0 0 0 4 3 20 0 15 0 227846054 11272552448 100273 33554432000 4194304 4196468 140728972907808 139989775016800 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16734] ppid=16671 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16734/stat : 16734 (java) S 16671 16674 15729 0 -1 1077944384 5 12865 0 0 0 0 4 3 20 0 15 0 227846054 11272552448 100273 33554432000 4194304 4196468 140728972907808 139989627167872 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16735] ppid=16671 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16735/stat : 16735 (java) S 16671 16674 15729 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 227846057 11272552448 100273 33554432000 4194304 4196468 140728972907808 139989319768144 139991028565915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16736] ppid=16671 vsize=11008352 memory=7 CPUtime=3.77 cores=1,3,5,7
/proc/16674/task/16736/stat : 16736 (java) R 16671 16674 15729 0 -1 4202560 5167 12865 0 0 368 2 4 3 20 0 15 0 227846057 11272552448 100273 33554432000 4194304 4196468 140728972907808 139990520607560 139991012015212 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16737] ppid=16671 vsize=11008352 memory=7 CPUtime=3.65 cores=1,3,5,7
/proc/16674/task/16737/stat : 16737 (java) R 16671 16674 15729 0 -1 4202560 7387 12865 0 0 357 1 4 3 20 0 15 0 227846057 11272552448 100273 33554432000 4194304 4196468 140728972907808 139990519549896 139991009737158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16738] ppid=16671 vsize=11008352 memory=7 CPUtime=1.82 cores=1,3,5,7
/proc/16674/task/16738/stat : 16738 (java) R 16671 16674 15729 0 -1 4202560 7037 12865 0 0 172 3 4 3 20 0 15 0 227846057 11272552448 100273 33554432000 4194304 4196468 140728972907808 139990518512672 139991007259700 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16739] ppid=16671 vsize=11008352 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16739/stat : 16739 (java) S 16671 16674 15729 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 227846057 11272552448 100273 33554432000 4194304 4196468 140728972907808 139988888972256 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16740] ppid=16671 vsize=11008352 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16740/stat : 16740 (java) R 16671 16674 15729 0 -1 1077944384 117 12865 0 0 0 0 4 3 20 0 15 0 227846057 11272552448 100273 33554432000 4194304 4196468 140728972907808 139990517463472 139991028558466 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
Current children cumulated CPU time: 15.74 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 401092 KiB

[startup+8.411 s]
# the end of solver process 16674 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=21.6296 s, system=0.376595 s

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

[startup+6.40097 s]
/proc/loadavg: 1.66 1.35 1.32 5/216 16740
/proc/meminfo: memFree=14945488/32770624 swapFree=67108504/67108860
[pid=16674] ppid=16671 vsize=11008352 memory=401920 CPUtime=16.03 cores=1,3,5,7
/proc/16674/stat : 16674 (java) S 16671 16674 15729 0 -1 1077944320 53407 12865 0 0 1569 27 4 3 20 0 15 0 227846042 11272552448 100480 33554432000 4194304 4196468 140728972907808 140728972890352 139991028547319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
/proc/16674/statm: 2752088 100480 3522 1 0 2713741 0
[pid=16674/tid=16727] ppid=16671 vsize=11008352 memory=7 CPUtime=6.13 cores=1,3,5,7
/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 15729 0 -1 4202560 27250 12865 0 0 596 10 4 3 20 0 15 0 227846051 11272552448 100480 33554432000 4194304 4196468 140728972907808 139991000379784 139990587404633 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16728] ppid=16671 vsize=11008352 memory=7 CPUtime=0.21 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 15729 0 -1 1077944384 154 12865 0 0 12 2 4 3 20 0 15 0 227846052 11272552448 100480 33554432000 4194304 4196468 140728972907808 139991032789904 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16729] ppid=16671 vsize=11008352 memory=6791534058613427641 CPUtime=0.2 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 15729 0 -1 1077944384 114 12865 0 0 11 2 4 3 20 0 15 0 227846052 11272552448 100480 33554432000 4194304 4196468 140728972907808 139990903438096 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16730] ppid=16671 vsize=11008352 memory=7305792226131864677 CPUtime=0.19 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 15729 0 -1 1077944384 286 12865 0 0 11 1 4 3 20 0 15 0 227846052 11272552448 100480 33554432000 4194304 4196468 140728972907808 139990567541904 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16731] ppid=16671 vsize=11008352 memory=6153433744107202156 CPUtime=0.2 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 15729 0 -1 1077944384 224 12865 0 0 11 2 4 3 20 0 15 0 227846052 11272552448 100480 33554432000 4194304 4196468 140728972907808 139990566489104 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16732] ppid=16671 vsize=11008352 memory=7669741651294514263 CPUtime=0.13 cores=1,3,5,7
/proc/16674/task/16732/stat : 16732 (java) S 16671 16674 15729 0 -1 1077944384 3234 12865 0 0 6 0 4 3 20 0 15 0 227846053 11272552448 100480 33554432000 4194304 4196468 140728972907808 139990521673840 139991028558466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16733] ppid=16671 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16733/stat : 16733 (java) S 16671 16674 15729 0 -1 1077944384 16 12865 0 0 0 0 4 3 20 0 15 0 227846054 11272552448 100480 33554432000 4194304 4196468 140728972907808 139989775016800 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16734] ppid=16671 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16734/stat : 16734 (java) S 16671 16674 15729 0 -1 1077944384 5 12865 0 0 0 0 4 3 20 0 15 0 227846054 11272552448 100480 33554432000 4194304 4196468 140728972907808 139989627167872 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16735] ppid=16671 vsize=11008352 memory=140405635241358 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16735/stat : 16735 (java) S 16671 16674 15729 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 227846057 11272552448 100480 33554432000 4194304 4196468 140728972907808 139989319768144 139991028565915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16736] ppid=16671 vsize=11008352 memory=280811270481520 CPUtime=3.87 cores=1,3,5,7
/proc/16674/task/16736/stat : 16736 (java) R 16671 16674 15729 0 -1 4202560 5171 12865 0 0 378 2 4 3 20 0 15 0 227846057 11272552448 100480 33554432000 4194304 4196468 140728972907808 139990520621680 139991006439072 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16737] ppid=16671 vsize=11008352 memory=0 CPUtime=3.75 cores=1,3,5,7
/proc/16674/task/16737/stat : 16737 (java) R 16671 16674 15729 0 -1 4202560 7591 12865 0 0 367 1 4 3 20 0 15 0 227846057 11272552448 100480 33554432000 4194304 4196468 140728972907808 139990519568880 139991014570887 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16738] ppid=16671 vsize=11008352 memory=0 CPUtime=1.82 cores=1,3,5,7
/proc/16674/task/16738/stat : 16738 (java) S 16671 16674 15729 0 -1 1077944384 7051 12865 0 0 172 3 4 3 20 0 15 0 227846057 11272552448 100480 33554432000 4194304 4196468 140728972907808 139990518516592 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16739] ppid=16671 vsize=11008352 memory=-3621219749712857441 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16739/stat : 16739 (java) S 16671 16674 15729 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 227846057 11272552448 100480 33554432000 4194304 4196468 140728972907808 139988888972256 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16740] ppid=16671 vsize=11008352 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16740/stat : 16740 (java) S 16671 16674 15729 0 -1 1077944384 117 12865 0 0 0 0 4 3 20 0 15 0 227846057 11272552448 100480 33554432000 4194304 4196468 140728972907808 139990517463472 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
Current children cumulated CPU time: 16.03 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 401920 KiB

[startup+7.2007 s]
/proc/loadavg: 1.66 1.35 1.32 6/216 16740
/proc/meminfo: memFree=14884240/32770624 swapFree=67108504/67108860
[pid=16674] ppid=16671 vsize=11010400 memory=460808 CPUtime=18 cores=1,3,5,7
/proc/16674/stat : 16674 (java) S 16671 16674 15729 0 -1 1077944320 54375 12865 0 0 1765 28 4 3 20 0 15 0 227846042 11274649600 115202 33554432000 4194304 4196468 140728972907808 140728972890352 139991028547319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
/proc/16674/statm: 2752600 115202 3523 1 0 2714253 0
[pid=16674/tid=16727] ppid=16671 vsize=11010400 memory=331096 CPUtime=6.92 cores=1,3,5,7
/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 15729 0 -1 4202560 27659 12865 0 0 674 11 4 3 20 0 15 0 227846051 11274649600 115202 33554432000 4194304 4196468 140728972907808 139991000378480 139991028568666 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16728] ppid=16671 vsize=11010400 memory=14127849082719526 CPUtime=0.21 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 15729 0 -1 1077944384 156 12865 0 0 12 2 4 3 20 0 15 0 227846052 11274649600 115202 33554432000 4194304 4196468 140728972907808 139991032789904 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16729] ppid=16671 vsize=11010400 memory=6944656575208382560 CPUtime=0.21 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 15729 0 -1 1077944384 115 12865 0 0 12 2 4 3 20 0 15 0 227846052 11274649600 115202 33554432000 4194304 4196468 140728972907808 139990903438096 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16730] ppid=16671 vsize=11010400 memory=6944656592387989600 CPUtime=0.21 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 15729 0 -1 1077944384 296 12865 0 0 12 2 4 3 20 0 15 0 227846052 11274649600 115202 33554432000 4194304 4196468 140728972907808 139990567541904 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16731] ppid=16671 vsize=11010400 memory=6944656592455360604 CPUtime=0.21 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 15729 0 -1 1077944384 231 12865 0 0 12 2 4 3 20 0 15 0 227846052 11274649600 115202 33554432000 4194304 4196468 140728972907808 139990566489104 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16732] ppid=16671 vsize=11010400 memory=8562125494162282060 CPUtime=0.13 cores=1,3,5,7
/proc/16674/task/16732/stat : 16732 (java) S 16671 16674 15729 0 -1 1077944384 3294 12865 0 0 6 0 4 3 20 0 15 0 227846053 11274649600 115202 33554432000 4194304 4196468 140728972907808 139990521673840 139991028558466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16733] ppid=16671 vsize=11010400 memory=1414353297708861353 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16733/stat : 16733 (java) S 16671 16674 15729 0 -1 1077944384 16 12865 0 0 0 0 4 3 20 0 15 0 227846054 11274649600 115202 33554432000 4194304 4196468 140728972907808 139989775016800 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16734] ppid=16671 vsize=11010400 memory=-7522837415797432223 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16734/stat : 16734 (java) S 16671 16674 15729 0 -1 1077944384 5 12865 0 0 0 0 4 3 20 0 15 0 227846054 11274649600 115202 33554432000 4194304 4196468 140728972907808 139989627167872 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16735] ppid=16671 vsize=11010400 memory=-7522837583045875833 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16735/stat : 16735 (java) S 16671 16674 15729 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 227846057 11274649600 115202 33554432000 4194304 4196468 140728972907808 139989319768144 139991028565915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16736] ppid=16671 vsize=11010400 memory=0 CPUtime=4.41 cores=1,3,5,7
/proc/16674/task/16736/stat : 16736 (java) R 16671 16674 15729 0 -1 4202560 5525 12865 0 0 432 2 4 3 20 0 15 0 227846057 11274649600 115202 33554432000 4194304 4196468 140728972907808 139990520605136 139991012044107 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16737] ppid=16671 vsize=11010400 memory=6791534058613427641 CPUtime=4.27 cores=1,3,5,7
/proc/16674/task/16737/stat : 16737 (java) R 16671 16674 15729 0 -1 4202560 7667 12865 0 0 419 1 4 3 20 0 15 0 227846057 11274649600 115202 33554432000 4194304 4196468 140728972907808 139990519552720 139991009726401 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16738] ppid=16671 vsize=11010400 memory=0 CPUtime=1.91 cores=1,3,5,7
/proc/16674/task/16738/stat : 16738 (java) S 16671 16674 15729 0 -1 1077944384 7100 12865 0 0 181 3 4 3 20 0 15 0 227846057 11274649600 115202 33554432000 4194304 4196468 140728972907808 139990518516592 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16739] ppid=16671 vsize=11010400 memory=7156609311619769938 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16739/stat : 16739 (java) S 16671 16674 15729 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 227846057 11274649600 115202 33554432000 4194304 4196468 140728972907808 139988888972256 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16740] ppid=16671 vsize=11010400 memory=140405635060657 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16740/stat : 16740 (java) S 16671 16674 15729 0 -1 1077944384 117 12865 0 0 0 0 4 3 20 0 15 0 227846057 11274649600 115202 33554432000 4194304 4196468 140728972907808 139990517463472 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
Current children cumulated CPU time: 18 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 460808 KiB

[startup+8.00552 s]*
/proc/loadavg: 1.66 1.35 1.32 6/216 16740
/proc/meminfo: memFree=14821000/32770624 swapFree=67108504/67108860
[pid=16674] ppid=16671 vsize=11077984 memory=521100 CPUtime=20.67 cores=1,3,5,7
/proc/16674/stat : 16674 (java) S 16671 16674 15729 0 -1 1077944320 70753 12865 0 0 2029 31 4 3 20 0 15 0 227846042 11343855616 130275 33554432000 4194304 4196468 140728972907808 140728972890352 139991028547319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
/proc/16674/statm: 2769496 130275 3524 1 0 2731149 0
[pid=16674/tid=16727] ppid=16671 vsize=11077984 memory=6791534058613427641 CPUtime=7.73 cores=1,3,5,7
/proc/16674/task/16727/stat : 16727 (java) R 16671 16674 15729 0 -1 4202560 41247 12865 0 0 752 14 4 3 20 0 15 0 227846051 11343855616 130275 33554432000 4194304 4196468 140728972907808 139991000382080 139990583578400 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16728] ppid=16671 vsize=11077984 memory=4872558044660077418 CPUtime=0.21 cores=1,3,5,7
/proc/16674/task/16728/stat : 16728 (java) S 16671 16674 15729 0 -1 1077944384 156 12865 0 0 12 2 4 3 20 0 15 0 227846052 11343855616 130275 33554432000 4194304 4196468 140728972907808 139991032789904 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16729] ppid=16671 vsize=11077984 memory=2144 CPUtime=0.21 cores=1,3,5,7
/proc/16674/task/16729/stat : 16729 (java) S 16671 16674 15729 0 -1 1077944384 115 12865 0 0 12 2 4 3 20 0 15 0 227846052 11343855616 130275 33554432000 4194304 4196468 140728972907808 139990903438096 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16730] ppid=16671 vsize=11077984 memory=1752 CPUtime=0.21 cores=1,3,5,7
/proc/16674/task/16730/stat : 16730 (java) S 16671 16674 15729 0 -1 1077944384 296 12865 0 0 12 2 4 3 20 0 15 0 227846052 11343855616 130275 33554432000 4194304 4196468 140728972907808 139990567541904 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16731] ppid=16671 vsize=11077984 memory=748 CPUtime=0.21 cores=1,3,5,7
/proc/16674/task/16731/stat : 16731 (java) S 16671 16674 15729 0 -1 1077944384 231 12865 0 0 12 2 4 3 20 0 15 0 227846052 11343855616 130275 33554432000 4194304 4196468 140728972907808 139990566489104 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16732] ppid=16671 vsize=11077984 memory=1820 CPUtime=0.13 cores=1,3,5,7
/proc/16674/task/16732/stat : 16732 (java) S 16671 16674 15729 0 -1 1077944384 3294 12865 0 0 6 0 4 3 20 0 15 0 227846053 11343855616 130275 33554432000 4194304 4196468 140728972907808 139990521673840 139991028558466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16733] ppid=16671 vsize=11077984 memory=4552 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16733/stat : 16733 (java) S 16671 16674 15729 0 -1 1077944384 16 12865 0 0 0 0 4 3 20 0 15 0 227846054 11343855616 130275 33554432000 4194304 4196468 140728972907808 139989775016800 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16734] ppid=16671 vsize=11077984 memory=3732 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16734/stat : 16734 (java) S 16671 16674 15729 0 -1 1077944384 5 12865 0 0 0 0 4 3 20 0 15 0 227846054 11343855616 130275 33554432000 4194304 4196468 140728972907808 139989627167872 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16735] ppid=16671 vsize=11077984 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16735/stat : 16735 (java) S 16671 16674 15729 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 227846057 11343855616 130275 33554432000 4194304 4196468 140728972907808 139989319768144 139991028565915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16736] ppid=16671 vsize=11077984 memory=10624 CPUtime=5.23 cores=1,3,5,7
/proc/16674/task/16736/stat : 16736 (java) R 16671 16674 15729 0 -1 4202560 5993 12865 0 0 514 2 4 3 20 0 15 0 227846057 11343855616 130275 33554432000 4194304 4196468 140728972907808 139990520602784 139991009138597 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16737] ppid=16671 vsize=11077984 memory=1624 CPUtime=5.02 cores=1,3,5,7
/proc/16674/task/16737/stat : 16737 (java) R 16671 16674 15729 0 -1 4202560 9754 12865 0 0 494 1 4 3 20 0 15 0 227846057 11343855616 130275 33554432000 4194304 4196468 140728972907808 139990519549896 139991011958120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16738] ppid=16671 vsize=11077984 memory=6768 CPUtime=2.19 cores=1,3,5,7
/proc/16674/task/16738/stat : 16738 (java) R 16671 16674 15729 0 -1 1077944384 7335 12865 0 0 209 3 4 3 20 0 15 0 227846057 11343855616 130275 33554432000 4194304 4196468 140728972907808 139990518516592 139991028558466 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16739] ppid=16671 vsize=11077984 memory=876 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16739/stat : 16739 (java) S 16671 16674 15729 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 227846057 11343855616 130275 33554432000 4194304 4196468 140728972907808 139988888972256 139991028557525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
[pid=16674/tid=16740] ppid=16671 vsize=11077984 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/16674/task/16740/stat : 16740 (java) S 16671 16674 15729 0 -1 1077944384 117 12865 0 0 0 0 4 3 20 0 15 0 227846057 11343855616 130275 33554432000 4194304 4196468 140728972907808 139990517463472 139991028558466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140728972909165 140728972911964 140728972911964 140728972914639 0
Current children cumulated CPU time: 20.67 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 521100 KiB

[startup+8.40072 s]*
/proc/loadavg: 1.66 1.35 1.32 3/203 16741
/proc/meminfo: memFree=15160204/32770624 swapFree=67108504/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): 8.41103
CPU time (s): 22.0061
CPU user time (s): 21.6296
CPU system time (s): 0.376595
CPU usage (%): 261.634
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 526396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.6296
system time used= 0.376595
maximum resident set size= 529256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91842
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= 8324
involuntary context switches= 80


# summary of solver processes directly reported to runsolver:
#   pid: 16674
#   total CPU time (s): 22.0061
#   total CPU user time (s): 21.6296
#   total CPU system time (s): 0.376595

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069576 second user time and 0.129068 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-12 21:40:29
IDJOB=4305007
IDBENCH=141383
IDSOLVER=2780
FILE ID=node104/4305007-1534102829
RUNJOBID= node104-1534097917-15761
PBS_JOBID= 21037002
Free space on /tmp= 37524 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-5-5-6-cp_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305007-1534102829/watcher-4305007-1534102829 -o /tmp/evaluation-result-4305007-1534102829/solver-4305007-1534102829 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534097917-15761 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=529677986 HOME/instance-4305007-1534102829.xml

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

MD5SUM BENCH= 7cf8ff1aade64c35eba6df9cb38cb5a8
RANDOM SEED=529677986

node104.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.11
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.11
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.11
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.11
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:        15329788 kB
MemAvailable:   30803312 kB
Buffers:          195536 kB
Cached:         15316004 kB
SwapCached:            8 kB
Active:          8758532 kB
Inactive:        7906144 kB
Active(anon):    1104508 kB
Inactive(anon):   100964 kB
Active(file):    7654024 kB
Inactive(file):  7805180 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108860 kB
SwapFree:       67108504 kB
Dirty:             26944 kB
Writeback:             0 kB
AnonPages:       1213504 kB
Mapped:            65436 kB
Shmem:             49636 kB
Slab:             471068 kB
SReclaimable:     442780 kB
SUnreclaim:        28288 kB
KernelStack:        3856 kB
PageTables:         7396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2310364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1028096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 37500 MiB
End job on node104 at 2018-08-12 21:40:37