Trace number 4387267

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.10SAT 10.5834 5.04003

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si6-bvg/
Subisomorphism-si6-b06-m200-07.xml
MD5SUMd7eafb215ab3d3f066855d3513f44111
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 benchmark0.030068
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints355
Number of domains1
Minimum domain size200
Maximum domain size200
Distribution of domain sizes[{"size":200,"count":120}]
Minimum variable degree4
Maximum variable degree7
Distribution of variable degrees[{"degree":4,"count":2},{"degree":5,"count":2},{"degree":6,"count":2},{"degree":7,"count":114}]
Minimum constraint arity2
Maximum constraint arity120
Distribution of constraint arities[{"arity":2,"count":354},{"arity":120,"count":1}]
Number of extensional constraints354
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":354},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.71/0.55	c Concrete v3.10.1560635388952 running
10.51/5.02	v <instantiation
10.51/5.02	v         >
10.51/5.02	v       <list>
10.51/5.02	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] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119]
10.51/5.02	v       </list>
10.51/5.02	v       <values>
10.51/5.02	v         58 134 55 166 84 75 186 110 124 129 184 155 181 164 121 46 146 63 161 65 41 143 163 171 178 20 120 104 21 122 190 145 116 177 175 189 168 43 79 158 22 193 68 195 142 173 89 30 33 91 197 182 92 98 185 102 133 199 125 131 69 54 49 60 37 194 136 109 19 13 52 51 80 57 188 187 74 24 165 132 111 26 3 106 71 88 61 76 191 82 83 198 4 130 15 123 87 150 117 151 107 42 162 114 118 141 34 126 28 105 64 9 149 38 90 36 59 10 85 45
10.51/5.02	v       </values>
10.51/5.02	v     </instantiation>
10.51/5.02	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 (15339 MiB free)
  memory of node 1: 16384 MiB (13726 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387267-1568297141/watcher-4387267-1568297141 -o /tmp/evaluation-result-4387267-1568297141/solver-4387267-1568297141 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568282271-6097 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=835927517 HOME/instance-4387267-1568297141.xml 

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

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


[startup+0.100087 s]*
/proc/loadavg: 1.95 1.60 1.59 3/219 9685
/proc/meminfo: memFree=29756792/32770624 swapFree=66934312/67108860
[pid=9628] ppid=9625 vsize=9972712 memory=17076 CPUtime=0.08 cores=0,2,4,6
/proc/9628/stat : 9628 (java) S 9625 9628 5271 0 -1 1077944320 4484 13441 0 0 1 0 5 2 20 0 6 0 405972534 10212057088 4269 33554432000 4194304 4196468 140728070201248 140728070183792 139751493807863 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
/proc/9628/statm: 2493178 4269 1935 1 0 2481616 0
[pid=9628/tid=9681] ppid=9625 vsize=9972712 memory=-8617482348318186131 CPUtime=0.08 cores=0,2,4,6
/proc/9628/task/9681/stat : 9681 (java) R 9625 9628 5271 0 -1 4202560 2298 13441 0 0 1 0 5 2 20 0 6 0 405972543 10212057088 4269 33554432000 4194304 4196468 140728070201248 139751465644624 139751493829789 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9682] ppid=9625 vsize=9972712 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9682/stat : 9682 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 6 0 405972544 10212057088 4269 33554432000 4194304 4196468 140728070201248 139751498050192 139751493818069 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9683] ppid=9625 vsize=9972712 memory=139738037343872 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9683/stat : 9683 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 6 0 405972544 10212057088 4269 33554432000 4194304 4196468 140728070201248 139751396940304 139751493818069 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9684] ppid=9625 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9684/stat : 9684 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 6 0 405972544 10212057088 4269 33554432000 4194304 4196468 140728070201248 139751395887504 139751493818069 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9685] ppid=9625 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9685/stat : 9685 (java) S 9625 9628 5271 0 -1 1077944384 2 13441 0 0 0 0 5 2 20 0 6 0 405972544 10212057088 4269 33554432000 4194304 4196468 140728070201248 139751394834704 139751493818069 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB

[startup+0.210218 s]*
/proc/loadavg: 1.95 1.60 1.59 6/228 9694
/proc/meminfo: memFree=29736276/32770624 swapFree=66934312/67108860
[pid=9628] ppid=9625 vsize=10818940 memory=38960 CPUtime=0.25 cores=0,2,4,6
/proc/9628/stat : 9628 (java) S 9625 9628 5271 0 -1 1077944320 7057 13441 0 0 17 1 5 2 20 0 15 0 405972534 11078594560 9740 33554432000 4194304 4196468 140728070201248 140728070183792 139751493807863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
/proc/9628/statm: 2704735 9740 2983 1 0 2667149 0
[pid=9628/tid=9681] ppid=9625 vsize=10818940 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/9628/task/9681/stat : 9681 (java) R 9625 9628 5271 0 -1 4202560 3571 13441 0 0 11 0 5 2 20 0 15 0 405972543 11078594560 9740 33554432000 4194304 4196468 140728070201248 139751465631024 139751493829789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9682] ppid=9625 vsize=10818940 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9682/stat : 9682 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 15 0 405972544 11078594560 9740 33554432000 4194304 4196468 140728070201248 139751498050192 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9683] ppid=9625 vsize=10818940 memory=139738037353369 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9683/stat : 9683 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 15 0 405972544 11078594560 9740 33554432000 4194304 4196468 140728070201248 139751396940304 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9684] ppid=9625 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9684/stat : 9684 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 15 0 405972544 11078594560 9740 33554432000 4194304 4196468 140728070201248 139751395887504 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9685] ppid=9625 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9685/stat : 9685 (java) S 9625 9628 5271 0 -1 1077944384 2 13441 0 0 0 0 5 2 20 0 15 0 405972544 11078594560 9740 33554432000 4194304 4196468 140728070201248 139751394834704 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9686] ppid=9625 vsize=10818940 memory=139738037343872 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9686/stat : 9686 (java) S 9625 9628 5271 0 -1 1077944384 2 13441 0 0 0 0 5 2 20 0 15 0 405972546 11078594560 9740 33554432000 4194304 4196468 140728070201248 139750953208688 139751493819010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9687] ppid=9625 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9687/stat : 9687 (java) S 9625 9628 5271 0 -1 1077944384 13 13441 0 0 0 0 5 2 20 0 15 0 405972546 11078594560 9740 33554432000 4194304 4196468 140728070201248 139750853830176 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9688] ppid=9625 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9688/stat : 9688 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 15 0 405972546 11078594560 9740 33554432000 4194304 4196468 140728070201248 139750249850224 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9689] ppid=9625 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9689/stat : 9689 (java) S 9625 9628 5271 0 -1 1077944384 3 13441 0 0 0 0 5 2 20 0 15 0 405972549 11078594560 9740 33554432000 4194304 4196468 140728070201248 139750009559376 139751493826459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9690] ppid=9625 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9628/task/9690/stat : 9690 (java) R 9625 9628 5271 0 -1 1077944384 467 13441 0 0 1 0 5 2 20 0 15 0 405972549 11078594560 9740 33554432000 4194304 4196468 140728070201248 139750952155504 139751493819010 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9691] ppid=9625 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9628/task/9691/stat : 9691 (java) S 9625 9628 5271 0 -1 1077944384 158 13441 0 0 1 0 5 2 20 0 15 0 405972549 11078594560 9740 33554432000 4194304 4196468 140728070201248 139750951102704 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9692] ppid=9625 vsize=10818940 memory=139738037343872 CPUtime=0.1 cores=0,2,4,6
/proc/9628/task/9692/stat : 9692 (java) R 9625 9628 5271 0 -1 4202560 633 13441 0 0 3 0 5 2 20 0 15 0 405972549 11078594560 9740 33554432000 4194304 4196468 140728070201248 139750950049904 139751472734732 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9693] ppid=9625 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9693/stat : 9693 (java) S 9625 9628 5271 0 -1 1077944384 3 13441 0 0 0 0 5 2 20 0 15 0 405972549 11078594560 9740 33554432000 4194304 4196468 140728070201248 139749976000736 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9694] ppid=9625 vsize=10818940 memory=139738037343872 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9694/stat : 9694 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 15 0 405972549 11078594560 9740 33554432000 4194304 4196468 140728070201248 139750948998320 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38960 KiB

[startup+0.310699 s]*
/proc/loadavg: 1.95 1.60 1.59 3/228 9694
/proc/meminfo: memFree=29725592/32770624 swapFree=66934312/67108860
[pid=9628] ppid=9625 vsize=10820096 memory=50292 CPUtime=0.39 cores=0,2,4,6
/proc/9628/stat : 9628 (java) S 9625 9628 5271 0 -1 1077944320 10791 13441 0 0 29 3 5 2 20 0 15 0 405972534 11079778304 12573 33554432000 4194304 4196468 140728070201248 140728070183792 139751493807863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
/proc/9628/statm: 2705024 12573 3237 1 0 2667149 0
[pid=9628/tid=9681] ppid=9625 vsize=10820096 memory=8317482817917895235 CPUtime=0.28 cores=0,2,4,6
/proc/9628/task/9681/stat : 9681 (java) R 9625 9628 5271 0 -1 4202560 7289 13441 0 0 19 2 5 2 20 0 15 0 405972543 11079778304 12573 33554432000 4194304 4196468 140728070201248 139751465607120 139751072078312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9682] ppid=9625 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9682/stat : 9682 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 15 0 405972544 11079778304 12573 33554432000 4194304 4196468 140728070201248 139751498050192 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9683] ppid=9625 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9683/stat : 9683 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 15 0 405972544 11079778304 12573 33554432000 4194304 4196468 140728070201248 139751396940304 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9684] ppid=9625 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9684/stat : 9684 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 15 0 405972544 11079778304 12573 33554432000 4194304 4196468 140728070201248 139751395887504 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9685] ppid=9625 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9685/stat : 9685 (java) S 9625 9628 5271 0 -1 1077944384 2 13441 0 0 0 0 5 2 20 0 15 0 405972544 11079778304 12573 33554432000 4194304 4196468 140728070201248 139751394834704 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9686] ppid=9625 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9686/stat : 9686 (java) S 9625 9628 5271 0 -1 1077944384 2 13441 0 0 0 0 5 2 20 0 15 0 405972546 11079778304 12573 33554432000 4194304 4196468 140728070201248 139750953208688 139751493819010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9687] ppid=9625 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9687/stat : 9687 (java) S 9625 9628 5271 0 -1 1077944384 13 13441 0 0 0 0 5 2 20 0 15 0 405972546 11079778304 12573 33554432000 4194304 4196468 140728070201248 139750853830176 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9688] ppid=9625 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9688/stat : 9688 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 15 0 405972546 11079778304 12573 33554432000 4194304 4196468 140728070201248 139750249850224 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9689] ppid=9625 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9689/stat : 9689 (java) S 9625 9628 5271 0 -1 1077944384 3 13441 0 0 0 0 5 2 20 0 15 0 405972549 11079778304 12573 33554432000 4194304 4196468 140728070201248 139750009559376 139751493826459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9690] ppid=9625 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9628/task/9690/stat : 9690 (java) S 9625 9628 5271 0 -1 1077944384 468 13441 0 0 1 0 5 2 20 0 15 0 405972549 11079778304 12573 33554432000 4194304 4196468 140728070201248 139750952155504 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9691] ppid=9625 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9628/task/9691/stat : 9691 (java) S 9625 9628 5271 0 -1 1077944384 159 13441 0 0 1 0 5 2 20 0 15 0 405972549 11079778304 12573 33554432000 4194304 4196468 140728070201248 139750951102704 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9692] ppid=9625 vsize=10820096 memory=139738037343872 CPUtime=0.12 cores=0,2,4,6
/proc/9628/task/9692/stat : 9692 (java) S 9625 9628 5271 0 -1 1077944384 642 13441 0 0 5 0 5 2 20 0 15 0 405972549 11079778304 12573 33554432000 4194304 4196468 140728070201248 139750950049904 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9693] ppid=9625 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9693/stat : 9693 (java) S 9625 9628 5271 0 -1 1077944384 3 13441 0 0 0 0 5 2 20 0 15 0 405972549 11079778304 12573 33554432000 4194304 4196468 140728070201248 139749976000736 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9694] ppid=9625 vsize=10820096 memory=139738037343872 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9694/stat : 9694 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 15 0 405972549 11079778304 12573 33554432000 4194304 4196468 140728070201248 139750948998320 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 50292 KiB

[startup+0.704425 s]
/proc/loadavg: 1.95 1.60 1.59 6/228 9694
/proc/meminfo: memFree=29713388/32770624 swapFree=66934312/67108860
[pid=9628] ppid=9625 vsize=10824340 memory=80676 CPUtime=1.15 cores=0,2,4,6
/proc/9628/stat : 9628 (java) S 9625 9628 5271 0 -1 1077944320 14884 13441 0 0 102 6 5 2 20 0 15 0 405972534 11084124160 20169 33554432000 4194304 4196468 140728070201248 140728070183792 139751493807863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
/proc/9628/statm: 2706085 20169 3507 1 0 2668173 0
[pid=9628/tid=9681] ppid=9625 vsize=10824340 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/9628/task/9681/stat : 9681 (java) R 9625 9628 5271 0 -1 4202560 10556 13441 0 0 55 4 5 2 20 0 15 0 405972543 11084124160 20169 33554432000 4194304 4196468 140728070201248 139751465635056 139751477888350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9682] ppid=9625 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9682/stat : 9682 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 15 0 405972544 11084124160 20169 33554432000 4194304 4196468 140728070201248 139751498050192 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9683] ppid=9625 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9683/stat : 9683 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 15 0 405972544 11084124160 20169 33554432000 4194304 4196468 140728070201248 139751396940304 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9684] ppid=9625 vsize=10824340 memory=139737901969616 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9684/stat : 9684 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 15 0 405972544 11084124160 20169 33554432000 4194304 4196468 140728070201248 139751395887504 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9685] ppid=9625 vsize=10824340 memory=139741055943273 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9685/stat : 9685 (java) S 9625 9628 5271 0 -1 1077944384 2 13441 0 0 0 0 5 2 20 0 15 0 405972544 11084124160 20169 33554432000 4194304 4196468 140728070201248 139751394834704 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9686] ppid=9625 vsize=10824340 memory=1060 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9686/stat : 9686 (java) S 9625 9628 5271 0 -1 1077944384 5 13441 0 0 0 0 5 2 20 0 15 0 405972546 11084124160 20169 33554432000 4194304 4196468 140728070201248 139750953208688 139751493819010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9687] ppid=9625 vsize=10824340 memory=7014751519667017297 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9687/stat : 9687 (java) S 9625 9628 5271 0 -1 1077944384 13 13441 0 0 0 0 5 2 20 0 15 0 405972546 11084124160 20169 33554432000 4194304 4196468 140728070201248 139750853830176 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9688] ppid=9625 vsize=10824340 memory=7885632885785908327 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9688/stat : 9688 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 15 0 405972546 11084124160 20169 33554432000 4194304 4196468 140728070201248 139750249850224 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9689] ppid=9625 vsize=10824340 memory=14056 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9689/stat : 9689 (java) S 9625 9628 5271 0 -1 1077944384 3 13441 0 0 0 0 5 2 20 0 15 0 405972549 11084124160 20169 33554432000 4194304 4196468 140728070201248 139750009559376 139751493826459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9690] ppid=9625 vsize=10824340 memory=2116 CPUtime=0.22 cores=0,2,4,6
/proc/9628/task/9690/stat : 9690 (java) S 9625 9628 5271 0 -1 1077944384 829 13441 0 0 15 0 5 2 20 0 15 0 405972549 11084124160 20169 33554432000 4194304 4196468 140728070201248 139750952155504 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9691] ppid=9625 vsize=10824340 memory=516 CPUtime=0.19 cores=0,2,4,6
/proc/9628/task/9691/stat : 9691 (java) S 9625 9628 5271 0 -1 1077944384 426 13441 0 0 12 0 5 2 20 0 15 0 405972549 11084124160 20169 33554432000 4194304 4196468 140728070201248 139750951102704 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9692] ppid=9625 vsize=10824340 memory=1556 CPUtime=0.25 cores=0,2,4,6
/proc/9628/task/9692/stat : 9692 (java) R 9625 9628 5271 0 -1 4202560 841 13441 0 0 18 0 5 2 20 0 15 0 405972549 11084124160 20169 33554432000 4194304 4196468 140728070201248 139750950049904 139751477969825 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9693] ppid=9625 vsize=10824340 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9693/stat : 9693 (java) S 9625 9628 5271 0 -1 1077944384 3 13441 0 0 0 0 5 2 20 0 15 0 405972549 11084124160 20169 33554432000 4194304 4196468 140728070201248 139749976000736 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9694] ppid=9625 vsize=10824340 memory=1668 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9694/stat : 9694 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 15 0 405972549 11084124160 20169 33554432000 4194304 4196468 140728070201248 139750948998320 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80676 KiB

[startup+1.50075 s]
/proc/loadavg: 1.95 1.60 1.59 3/228 9694
/proc/meminfo: memFree=29669164/32770624 swapFree=66934312/67108860
[pid=9628] ppid=9625 vsize=10834656 memory=169412 CPUtime=2.54 cores=0,2,4,6
/proc/9628/stat : 9628 (java) S 9625 9628 5271 0 -1 1077944320 21663 13441 0 0 236 11 5 2 20 0 15 0 405972534 11094687744 42353 33554432000 4194304 4196468 140728070201248 140728070183792 139751493807863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
/proc/9628/statm: 2708664 42353 3574 1 0 2670733 0
[pid=9628/tid=9681] ppid=9625 vsize=10834656 memory=165768 CPUtime=1.42 cores=0,2,4,6
/proc/9628/task/9681/stat : 9681 (java) R 9625 9628 5271 0 -1 4202560 15401 13441 0 0 129 6 5 2 20 0 15 0 405972543 11094687744 42353 33554432000 4194304 4196468 140728070201248 139751465610352 139751493829789 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9682] ppid=9625 vsize=10834656 memory=2436 CPUtime=0.08 cores=0,2,4,6
/proc/9628/task/9682/stat : 9682 (java) S 9625 9628 5271 0 -1 1077944384 53 13441 0 0 1 0 5 2 20 0 15 0 405972544 11094687744 42353 33554432000 4194304 4196468 140728070201248 139751498050192 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9683] ppid=9625 vsize=10834656 memory=1760 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9683/stat : 9683 (java) S 9625 9628 5271 0 -1 1077944384 38 13441 0 0 0 0 5 2 20 0 15 0 405972544 11094687744 42353 33554432000 4194304 4196468 140728070201248 139751396940304 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9684] ppid=9625 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9628/task/9684/stat : 9684 (java) S 9625 9628 5271 0 -1 1077944384 306 13441 0 0 1 0 5 2 20 0 15 0 405972544 11094687744 42353 33554432000 4194304 4196468 140728070201248 139751395887504 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9685] ppid=9625 vsize=10834656 memory=-7303279828959712342 CPUtime=0.08 cores=0,2,4,6
/proc/9628/task/9685/stat : 9685 (java) S 9625 9628 5271 0 -1 1077944384 76 13441 0 0 1 0 5 2 20 0 15 0 405972544 11094687744 42353 33554432000 4194304 4196468 140728070201248 139751394834704 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9686] ppid=9625 vsize=10834656 memory=3833724587141655611 CPUtime=0.08 cores=0,2,4,6
/proc/9628/task/9686/stat : 9686 (java) S 9625 9628 5271 0 -1 1077944384 141 13441 0 0 1 0 5 2 20 0 15 0 405972546 11094687744 42353 33554432000 4194304 4196468 140728070201248 139750953208688 139751493819010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9687] ppid=9625 vsize=10834656 memory=-6798310482166503264 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9687/stat : 9687 (java) S 9625 9628 5271 0 -1 1077944384 14 13441 0 0 0 0 5 2 20 0 15 0 405972546 11094687744 42353 33554432000 4194304 4196468 140728070201248 139750853830240 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9688] ppid=9625 vsize=10834656 memory=-6078294146213043397 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9688/stat : 9688 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 15 0 405972546 11094687744 42353 33554432000 4194304 4196468 140728070201248 139750249850240 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9689] ppid=9625 vsize=10834656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9689/stat : 9689 (java) S 9625 9628 5271 0 -1 1077944384 3 13441 0 0 0 0 5 2 20 0 15 0 405972549 11094687744 42353 33554432000 4194304 4196468 140728070201248 139750009559376 139751493826459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9690] ppid=9625 vsize=10834656 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/9628/task/9690/stat : 9690 (java) S 9625 9628 5271 0 -1 1077944384 925 13441 0 0 27 0 5 2 20 0 15 0 405972549 11094687744 42353 33554432000 4194304 4196468 140728070201248 139750952155504 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9691] ppid=9625 vsize=10834656 memory=4580 CPUtime=0.37 cores=0,2,4,6
/proc/9628/task/9691/stat : 9691 (java) S 9625 9628 5271 0 -1 1077944384 894 13441 0 0 30 0 5 2 20 0 15 0 405972549 11094687744 42353 33554432000 4194304 4196468 140728070201248 139750951102704 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9692] ppid=9625 vsize=10834656 memory=6075463926073611600 CPUtime=0.49 cores=0,2,4,6
/proc/9628/task/9692/stat : 9692 (java) S 9625 9628 5271 0 -1 1077944384 1603 13441 0 0 42 0 5 2 20 0 15 0 405972549 11094687744 42353 33554432000 4194304 4196468 140728070201248 139750950049904 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9693] ppid=9625 vsize=10834656 memory=7523659450237735012 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9693/stat : 9693 (java) S 9625 9628 5271 0 -1 1077944384 3 13441 0 0 0 0 5 2 20 0 15 0 405972549 11094687744 42353 33554432000 4194304 4196468 140728070201248 139749976000736 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9694] ppid=9625 vsize=10834656 memory=7516902878253639786 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9694/stat : 9694 (java) S 9625 9628 5271 0 -1 1077944384 1 13441 0 0 0 0 5 2 20 0 15 0 405972549 11094687744 42353 33554432000 4194304 4196468 140728070201248 139750948998320 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
Current children cumulated CPU time: 2.54 s

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

[startup+5.03999 s]
# the end of solver process 9628 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=10.2951 s, system=0.288291 s

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

[startup+3.20097 s]
/proc/loadavg: 1.80 1.57 1.58 5/228 9694
/proc/meminfo: memFree=29489988/32770624 swapFree=66934312/67108860
[pid=9628] ppid=9625 vsize=10842868 memory=287756 CPUtime=6.87 cores=0,2,4,6
/proc/9628/stat : 9628 (java) S 9625 9628 5271 0 -1 1077944320 39987 13441 0 0 663 17 5 2 20 0 15 0 405972534 11103096832 71939 33554432000 4194304 4196468 140728070201248 140728070183792 139751493807863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
/proc/9628/statm: 2710717 71939 3605 1 0 2672781 0
[pid=9628/tid=9681] ppid=9625 vsize=10842868 memory=7 CPUtime=3.09 cores=0,2,4,6
/proc/9628/task/9681/stat : 9681 (java) R 9625 9628 5271 0 -1 4202560 22572 13441 0 0 293 9 5 2 20 0 15 0 405972543 11103096832 71939 33554432000 4194304 4196468 140728070201248 139751465642048 139751081416284 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9682] ppid=9625 vsize=10842868 memory=7019467087956948537 CPUtime=0.08 cores=0,2,4,6
/proc/9628/task/9682/stat : 9682 (java) S 9625 9628 5271 0 -1 1077944384 98 13441 0 0 1 0 5 2 20 0 15 0 405972544 11103096832 71939 33554432000 4194304 4196468 140728070201248 139751498050192 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9683] ppid=9625 vsize=10842868 memory=7019467087973725753 CPUtime=0.09 cores=0,2,4,6
/proc/9628/task/9683/stat : 9683 (java) S 9625 9628 5271 0 -1 1077944384 252 13441 0 0 1 1 5 2 20 0 15 0 405972544 11103096832 71939 33554432000 4194304 4196468 140728070201248 139751396940304 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9684] ppid=9625 vsize=10842868 memory=7019467087990502969 CPUtime=0.08 cores=0,2,4,6
/proc/9628/task/9684/stat : 9684 (java) S 9625 9628 5271 0 -1 1077944384 409 13441 0 0 1 0 5 2 20 0 15 0 405972544 11103096832 71939 33554432000 4194304 4196468 140728070201248 139751395887504 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9685] ppid=9625 vsize=10842868 memory=7019467088007280185 CPUtime=0.09 cores=0,2,4,6
/proc/9628/task/9685/stat : 9685 (java) S 9625 9628 5271 0 -1 1077944384 96 13441 0 0 2 0 5 2 20 0 15 0 405972544 11103096832 71939 33554432000 4194304 4196468 140728070201248 139751394834704 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9686] ppid=9625 vsize=10842868 memory=7019467088024057401 CPUtime=0.09 cores=0,2,4,6
/proc/9628/task/9686/stat : 9686 (java) S 9625 9628 5271 0 -1 1077944384 291 13441 0 0 2 0 5 2 20 0 15 0 405972546 11103096832 71939 33554432000 4194304 4196468 140728070201248 139750953208688 139751493819010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9687] ppid=9625 vsize=10842868 memory=7019467088040834617 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9687/stat : 9687 (java) S 9625 9628 5271 0 -1 1077944384 19 13441 0 0 0 0 5 2 20 0 15 0 405972546 11103096832 71939 33554432000 4194304 4196468 140728070201248 139750853830240 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9688] ppid=9625 vsize=10842868 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9688/stat : 9688 (java) S 9625 9628 5271 0 -1 1077944384 10 13441 0 0 0 0 5 2 20 0 15 0 405972546 11103096832 71939 33554432000 4194304 4196468 140728070201248 139750249850240 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9689] ppid=9625 vsize=10842868 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9689/stat : 9689 (java) S 9625 9628 5271 0 -1 1077944384 3 13441 0 0 0 0 5 2 20 0 15 0 405972549 11103096832 71939 33554432000 4194304 4196468 140728070201248 139750009559376 139751493826459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9690] ppid=9625 vsize=10842868 memory=2241 CPUtime=1.21 cores=0,2,4,6
/proc/9628/task/9690/stat : 9690 (java) S 9625 9628 5271 0 -1 1077944384 3173 13441 0 0 113 1 5 2 20 0 15 0 405972549 11103096832 71939 33554432000 4194304 4196468 140728070201248 139750952155504 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9691] ppid=9625 vsize=10842868 memory=2244 CPUtime=1.48 cores=0,2,4,6
/proc/9628/task/9691/stat : 9691 (java) S 9625 9628 5271 0 -1 1077944384 4874 13441 0 0 140 1 5 2 20 0 15 0 405972549 11103096832 71939 33554432000 4194304 4196468 140728070201248 139750951102704 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9692] ppid=9625 vsize=10842868 memory=0 CPUtime=1.13 cores=0,2,4,6
/proc/9628/task/9692/stat : 9692 (java) S 9625 9628 5271 0 -1 1077944384 5971 13441 0 0 104 2 5 2 20 0 15 0 405972549 11103096832 71939 33554432000 4194304 4196468 140728070201248 139750950049904 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9693] ppid=9625 vsize=10842868 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9693/stat : 9693 (java) S 9625 9628 5271 0 -1 1077944384 3 13441 0 0 0 0 5 2 20 0 15 0 405972549 11103096832 71939 33554432000 4194304 4196468 140728070201248 139749976000736 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9694] ppid=9625 vsize=10842868 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9694/stat : 9694 (java) S 9625 9628 5271 0 -1 1077944384 11 13441 0 0 0 0 5 2 20 0 15 0 405972549 11103096832 71939 33554432000 4194304 4196468 140728070201248 139750948998320 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
Current children cumulated CPU time: 6.87 s
Current children cumulated vsize: 10842868 KiB
Current children cumulated memory: 287756 KiB

[startup+4.00079 s]*
/proc/loadavg: 1.80 1.57 1.58 4/228 9694
/proc/meminfo: memFree=29445504/32770624 swapFree=66934312/67108860
[pid=9628] ppid=9625 vsize=10844916 memory=331340 CPUtime=8.44 cores=0,2,4,6
/proc/9628/stat : 9628 (java) S 9625 9628 5271 0 -1 1077944320 44668 13441 0 0 814 23 5 2 20 0 15 0 405972534 11105193984 82835 33554432000 4194304 4196468 140728070201248 140728070183792 139751493807863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
/proc/9628/statm: 2711229 82835 3607 1 0 2673293 0
[pid=9628/tid=9681] ppid=9625 vsize=10844916 memory=8317482817917895235 CPUtime=3.82 cores=0,2,4,6
/proc/9628/task/9681/stat : 9681 (java) R 9625 9628 5271 0 -1 4202560 23400 13441 0 0 366 9 5 2 20 0 15 0 405972543 11105193984 82835 33554432000 4194304 4196468 140728070201248 139751465642320 139751083401419 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9682] ppid=9625 vsize=10844916 memory=4872558044660077418 CPUtime=0.14 cores=0,2,4,6
/proc/9628/task/9682/stat : 9682 (java) S 9625 9628 5271 0 -1 1077944384 130 13441 0 0 6 1 5 2 20 0 15 0 405972544 11105193984 82835 33554432000 4194304 4196468 140728070201248 139751498050192 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9683] ppid=9625 vsize=10844916 memory=10283292559105 CPUtime=0.14 cores=0,2,4,6
/proc/9628/task/9683/stat : 9683 (java) S 9625 9628 5271 0 -1 1077944384 285 13441 0 0 5 2 5 2 20 0 15 0 405972544 11105193984 82835 33554432000 4194304 4196468 140728070201248 139751396940304 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9684] ppid=9625 vsize=10844916 memory=10369191905025 CPUtime=0.14 cores=0,2,4,6
/proc/9628/task/9684/stat : 9684 (java) S 9625 9628 5271 0 -1 1077944384 443 13441 0 0 6 1 5 2 20 0 15 0 405972544 11105193984 82835 33554432000 4194304 4196468 140728070201248 139751395887504 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9685] ppid=9625 vsize=10844916 memory=24813166922474 CPUtime=0.14 cores=0,2,4,6
/proc/9628/task/9685/stat : 9685 (java) S 9625 9628 5271 0 -1 1077944384 122 13441 0 0 6 1 5 2 20 0 15 0 405972544 11105193984 82835 33554432000 4194304 4196468 140728070201248 139751394834704 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9686] ppid=9625 vsize=10844916 memory=24924836072170 CPUtime=0.11 cores=0,2,4,6
/proc/9628/task/9686/stat : 9686 (java) S 9625 9628 5271 0 -1 1077944384 3440 13441 0 0 4 0 5 2 20 0 15 0 405972546 11105193984 82835 33554432000 4194304 4196468 140728070201248 139750953208688 139751493819010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9687] ppid=9625 vsize=10844916 memory=279475803701712 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9687/stat : 9687 (java) S 9625 9628 5271 0 -1 1077944384 19 13441 0 0 0 0 5 2 20 0 15 0 405972546 11105193984 82835 33554432000 4194304 4196468 140728070201248 139750853830240 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9688] ppid=9625 vsize=10844916 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9688/stat : 9688 (java) S 9625 9628 5271 0 -1 1077944384 10 13441 0 0 0 0 5 2 20 0 15 0 405972546 11105193984 82835 33554432000 4194304 4196468 140728070201248 139750249850240 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9689] ppid=9625 vsize=10844916 memory=279475804341104 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9689/stat : 9689 (java) S 9625 9628 5271 0 -1 1077944384 3 13441 0 0 0 0 5 2 20 0 15 0 405972549 11105193984 82835 33554432000 4194304 4196468 140728070201248 139750009559376 139751493826459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9690] ppid=9625 vsize=10844916 memory=6655300316396806240 CPUtime=1.44 cores=0,2,4,6
/proc/9628/task/9690/stat : 9690 (java) S 9625 9628 5271 0 -1 1077944384 3456 13441 0 0 136 1 5 2 20 0 15 0 405972549 11105193984 82835 33554432000 4194304 4196468 140728070201248 139750952155504 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9691] ppid=9625 vsize=10844916 memory=0 CPUtime=1.74 cores=0,2,4,6
/proc/9628/task/9691/stat : 9691 (java) R 9625 9628 5271 0 -1 4202560 4909 13441 0 0 166 1 5 2 20 0 15 0 405972549 11105193984 82835 33554432000 4194304 4196468 140728070201248 139750951081536 139751472979184 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9692] ppid=9625 vsize=10844916 memory=164 CPUtime=1.23 cores=0,2,4,6
/proc/9628/task/9692/stat : 9692 (java) R 9625 9628 5271 0 -1 1077944384 6232 13441 0 0 114 2 5 2 20 0 15 0 405972549 11105193984 82835 33554432000 4194304 4196468 140728070201248 139750950049904 139751493819010 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9693] ppid=9625 vsize=10844916 memory=-8990767739041718176 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9693/stat : 9693 (java) S 9625 9628 5271 0 -1 1077944384 3 13441 0 0 0 0 5 2 20 0 15 0 405972549 11105193984 82835 33554432000 4194304 4196468 140728070201248 139749976000736 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9694] ppid=9625 vsize=10844916 memory=6944656425122700657 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9694/stat : 9694 (java) S 9625 9628 5271 0 -1 1077944384 11 13441 0 0 0 0 5 2 20 0 15 0 405972549 11105193984 82835 33554432000 4194304 4196468 140728070201248 139750948998320 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
Current children cumulated CPU time: 8.44 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 331340 KiB

[startup+4.80139 s]
/proc/loadavg: 1.80 1.57 1.58 4/228 9694
/proc/meminfo: memFree=29445504/32770624 swapFree=66934312/67108860
[pid=9628] ppid=9625 vsize=10844916 memory=362004 CPUtime=9.86 cores=0,2,4,6
/proc/9628/stat : 9628 (java) S 9625 9628 5271 0 -1 1077944320 51818 13441 0 0 955 24 5 2 20 0 15 0 405972534 11105193984 90501 33554432000 4194304 4196468 140728070201248 140728070183792 139751493807863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
/proc/9628/statm: 2711229 90501 3607 1 0 2673293 0
[pid=9628/tid=9681] ppid=9625 vsize=10844916 memory=264836 CPUtime=4.62 cores=0,2,4,6
/proc/9628/task/9681/stat : 9681 (java) R 9625 9628 5271 0 -1 4202560 23480 13441 0 0 445 10 5 2 20 0 15 0 405972543 11105193984 90501 33554432000 4194304 4196468 140728070201248 139751465643592 139751493831453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9682] ppid=9625 vsize=10844916 memory=2116 CPUtime=0.14 cores=0,2,4,6
/proc/9628/task/9682/stat : 9682 (java) S 9625 9628 5271 0 -1 1077944384 131 13441 0 0 6 1 5 2 20 0 15 0 405972544 11105193984 90501 33554432000 4194304 4196468 140728070201248 139751498050192 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9683] ppid=9625 vsize=10844916 memory=516 CPUtime=0.15 cores=0,2,4,6
/proc/9628/task/9683/stat : 9683 (java) S 9625 9628 5271 0 -1 1077944384 286 13441 0 0 6 2 5 2 20 0 15 0 405972544 11105193984 90501 33554432000 4194304 4196468 140728070201248 139751396940304 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9684] ppid=9625 vsize=10844916 memory=1556 CPUtime=0.14 cores=0,2,4,6
/proc/9628/task/9684/stat : 9684 (java) S 9625 9628 5271 0 -1 1077944384 452 13441 0 0 6 1 5 2 20 0 15 0 405972544 11105193984 90501 33554432000 4194304 4196468 140728070201248 139751395887504 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9685] ppid=9625 vsize=10844916 memory=298172 CPUtime=0.14 cores=0,2,4,6
/proc/9628/task/9685/stat : 9685 (java) S 9625 9628 5271 0 -1 1077944384 122 13441 0 0 6 1 5 2 20 0 15 0 405972544 11105193984 90501 33554432000 4194304 4196468 140728070201248 139751394834704 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9686] ppid=9625 vsize=10844916 memory=20584 CPUtime=0.11 cores=0,2,4,6
/proc/9628/task/9686/stat : 9686 (java) S 9625 9628 5271 0 -1 1077944384 3442 13441 0 0 4 0 5 2 20 0 15 0 405972546 11105193984 90501 33554432000 4194304 4196468 140728070201248 139750953208688 139751493819010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9687] ppid=9625 vsize=10844916 memory=984 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9687/stat : 9687 (java) S 9625 9628 5271 0 -1 1077944384 19 13441 0 0 0 0 5 2 20 0 15 0 405972546 11105193984 90501 33554432000 4194304 4196468 140728070201248 139750853830304 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9688] ppid=9625 vsize=10844916 memory=2016 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9688/stat : 9688 (java) S 9625 9628 5271 0 -1 1077944384 10 13441 0 0 0 0 5 2 20 0 15 0 405972546 11105193984 90501 33554432000 4194304 4196468 140728070201248 139750249850240 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9689] ppid=9625 vsize=10844916 memory=1412 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9689/stat : 9689 (java) S 9625 9628 5271 0 -1 1077944384 3 13441 0 0 0 0 5 2 20 0 15 0 405972549 11105193984 90501 33554432000 4194304 4196468 140728070201248 139750009559376 139751493826459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9690] ppid=9625 vsize=10844916 memory=1548 CPUtime=1.46 cores=0,2,4,6
/proc/9628/task/9690/stat : 9690 (java) S 9625 9628 5271 0 -1 1077944384 3464 13441 0 0 138 1 5 2 20 0 15 0 405972549 11105193984 90501 33554432000 4194304 4196468 140728070201248 139750952155504 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9691] ppid=9625 vsize=10844916 memory=7148 CPUtime=2.33 cores=0,2,4,6
/proc/9628/task/9691/stat : 9691 (java) R 9625 9628 5271 0 -1 4202560 11763 13441 0 0 224 2 5 2 20 0 15 0 405972549 11105193984 90501 33554432000 4194304 4196468 140728070201248 139750951092496 139751478729698 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9692] ppid=9625 vsize=10844916 memory=3432 CPUtime=1.25 cores=0,2,4,6
/proc/9628/task/9692/stat : 9692 (java) S 9625 9628 5271 0 -1 1077944384 6426 13441 0 0 116 2 5 2 20 0 15 0 405972549 11105193984 90501 33554432000 4194304 4196468 140728070201248 139750950049904 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9693] ppid=9625 vsize=10844916 memory=616 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9693/stat : 9693 (java) S 9625 9628 5271 0 -1 1077944384 3 13441 0 0 0 0 5 2 20 0 15 0 405972549 11105193984 90501 33554432000 4194304 4196468 140728070201248 139749976000736 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9694] ppid=9625 vsize=10844916 memory=2832 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9694/stat : 9694 (java) S 9625 9628 5271 0 -1 1077944384 12 13441 0 0 0 0 5 2 20 0 15 0 405972549 11105193984 90501 33554432000 4194304 4196468 140728070201248 139750948998320 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
Current children cumulated CPU time: 9.86 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 362004 KiB

[startup+5.00143 s]*
/proc/loadavg: 1.80 1.57 1.58 5/228 9694
/proc/meminfo: memFree=29413812/32770624 swapFree=66934312/67108860
[pid=9628] ppid=9625 vsize=10844916 memory=365876 CPUtime=10.51 cores=0,2,4,6
/proc/9628/stat : 9628 (java) S 9625 9628 5271 0 -1 1077944320 52230 13441 0 0 1019 25 5 2 20 0 15 0 405972534 11105193984 91469 33554432000 4194304 4196468 140728070201248 140728070183792 139751493807863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
/proc/9628/statm: 2711229 91469 3611 1 0 2673293 0
[pid=9628/tid=9681] ppid=9625 vsize=10844916 memory=7022364594140610616 CPUtime=4.82 cores=0,2,4,6
/proc/9628/task/9681/stat : 9681 (java) R 9625 9628 5271 0 -1 4202560 23605 13441 0 0 465 10 5 2 20 0 15 0 405972543 11105193984 91469 33554432000 4194304 4196468 140728070201248 139751465633200 139751474033755 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9682] ppid=9625 vsize=10844916 memory=345 CPUtime=0.14 cores=0,2,4,6
/proc/9628/task/9682/stat : 9682 (java) S 9625 9628 5271 0 -1 1077944384 131 13441 0 0 6 1 5 2 20 0 15 0 405972544 11105193984 91469 33554432000 4194304 4196468 140728070201248 139751498050192 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9683] ppid=9625 vsize=10844916 memory=139738037353369 CPUtime=0.15 cores=0,2,4,6
/proc/9628/task/9683/stat : 9683 (java) S 9625 9628 5271 0 -1 1077944384 286 13441 0 0 6 2 5 2 20 0 15 0 405972544 11105193984 91469 33554432000 4194304 4196468 140728070201248 139751396940304 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9684] ppid=9625 vsize=10844916 memory=8764164799083929696 CPUtime=0.14 cores=0,2,4,6
/proc/9628/task/9684/stat : 9684 (java) S 9625 9628 5271 0 -1 1077944384 452 13441 0 0 6 1 5 2 20 0 15 0 405972544 11105193984 91469 33554432000 4194304 4196468 140728070201248 139751395887504 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9685] ppid=9625 vsize=10844916 memory=3472328296227680303 CPUtime=0.14 cores=0,2,4,6
/proc/9628/task/9685/stat : 9685 (java) S 9625 9628 5271 0 -1 1077944384 122 13441 0 0 6 1 5 2 20 0 15 0 405972544 11105193984 91469 33554432000 4194304 4196468 140728070201248 139751394834704 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9686] ppid=9625 vsize=10844916 memory=7809767916235727754 CPUtime=0.11 cores=0,2,4,6
/proc/9628/task/9686/stat : 9686 (java) S 9625 9628 5271 0 -1 1077944384 3442 13441 0 0 4 0 5 2 20 0 15 0 405972546 11105193984 91469 33554432000 4194304 4196468 140728070201248 139750953208688 139751493819010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9687] ppid=9625 vsize=10844916 memory=3472328296227680303 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9687/stat : 9687 (java) S 9625 9628 5271 0 -1 1077944384 19 13441 0 0 0 0 5 2 20 0 15 0 405972546 11105193984 91469 33554432000 4194304 4196468 140728070201248 139750853830304 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9688] ppid=9625 vsize=10844916 memory=6655300316396806240 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9688/stat : 9688 (java) S 9625 9628 5271 0 -1 1077944384 10 13441 0 0 0 0 5 2 20 0 15 0 405972546 11105193984 91469 33554432000 4194304 4196468 140728070201248 139750249850240 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9689] ppid=9625 vsize=10844916 memory=6944656592455359580 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9689/stat : 9689 (java) S 9625 9628 5271 0 -1 1077944384 3 13441 0 0 0 0 5 2 20 0 15 0 405972549 11105193984 91469 33554432000 4194304 4196468 140728070201248 139750009559376 139751493826459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9690] ppid=9625 vsize=10844916 memory=0 CPUtime=1.65 cores=0,2,4,6
/proc/9628/task/9690/stat : 9690 (java) R 9625 9628 5271 0 -1 4202560 3516 13441 0 0 157 1 5 2 20 0 15 0 405972549 11105193984 91469 33554432000 4194304 4196468 140728070201248 139750952147024 139751474508160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9691] ppid=9625 vsize=10844916 memory=3756055004031496223 CPUtime=2.5 cores=0,2,4,6
/proc/9628/task/9691/stat : 9691 (java) R 9625 9628 5271 0 -1 4202560 11812 13441 0 0 241 2 5 2 20 0 15 0 405972549 11105193984 91469 33554432000 4194304 4196468 140728070201248 139750951086896 139751477215397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9692] ppid=9625 vsize=10844916 memory=139738038011552 CPUtime=1.33 cores=0,2,4,6
/proc/9628/task/9692/stat : 9692 (java) R 9625 9628 5271 0 -1 1077944384 6612 13441 0 0 124 2 5 2 20 0 15 0 405972549 11105193984 91469 33554432000 4194304 4196468 140728070201248 139750950049904 139751493819010 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9693] ppid=9625 vsize=10844916 memory=4049635698321537335 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9693/stat : 9693 (java) S 9625 9628 5271 0 -1 1077944384 3 13441 0 0 0 0 5 2 20 0 15 0 405972549 11105193984 91469 33554432000 4194304 4196468 140728070201248 139749976000736 139751493818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
[pid=9628/tid=9694] ppid=9625 vsize=10844916 memory=279475939279344 CPUtime=0.07 cores=0,2,4,6
/proc/9628/task/9694/stat : 9694 (java) S 9625 9628 5271 0 -1 1077944384 12 13441 0 0 0 0 5 2 20 0 15 0 405972549 11105193984 91469 33554432000 4194304 4196468 140728070201248 139750948998320 139751493819010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39088128 140728070204150 140728070206661 140728070206661 140728070209487 0
Current children cumulated CPU time: 10.51 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 365876 KiB

Child status: 0
Real time (s): 5.04003
CPU time (s): 10.5834
CPU user time (s): 10.2951
CPU system time (s): 0.288291
CPU usage (%): 209.987
Max. virtual memory (cumulated for all children) (KiB): 10847732
Max. memory (cumulated for all children) (KiB): 365876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2951
system time used= 0.288291
maximum resident set size= 372208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65769
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= 5822
involuntary context switches= 59


# summary of solver processes directly reported to runsolver:
#   pid: 9628
#   total CPU time (s): 10.5834
#   total CPU user time (s): 10.2951
#   total CPU system time (s): 0.288291

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.066899 second user time and 0.085144 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-12 15:04:07
IDJOB=4387267
IDBENCH=131540
IDSOLVER=2823
FILE ID=node105/4387267-1568297141
RUNJOBID= node105-1568282271-6097
PBS_JOBID= 21701089
Free space on /tmp= 50948 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b06-m200-07.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387267-1568297141/watcher-4387267-1568297141 -o /tmp/evaluation-result-4387267-1568297141/solver-4387267-1568297141 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568282271-6097 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=835927517 HOME/instance-4387267-1568297141.xml

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

MD5SUM BENCH= d7eafb215ab3d3f066855d3513f44111
RANDOM SEED=835927517

node105.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.00
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.00
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.00
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.00
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:        29764768 kB
MemAvailable:   29944632 kB
Buffers:           96384 kB
Cached:           370544 kB
SwapCached:        69128 kB
Active:          2180880 kB
Inactive:         266524 kB
Active(anon):    1923740 kB
Inactive(anon):    88540 kB
Active(file):     257140 kB
Inactive(file):   177984 kB
Unevictable:      111340 kB
Mlocked:          111340 kB
SwapTotal:      67108860 kB
SwapFree:       66934312 kB
Dirty:             35844 kB
Writeback:             0 kB
AnonPages:       2039752 kB
Mapped:            46908 kB
Shmem:             22472 kB
Slab:             149516 kB
SReclaimable:     121148 kB
SUnreclaim:        28368 kB
KernelStack:        4000 kB
PageTables:         8856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3057184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1873920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 50912 MiB
End job on node105 at 2019-09-12 15:04:12