Trace number 4291675

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-07-02OPT4783 4.61057 1.97158

General information on the benchmark

NameMario/
Mario-t-hard-1_c18.xml
MD5SUMd0ad504447153d615b89b5c6990e2d3b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4783
Best CPU time to get the best result obtained on this benchmark4.54918
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints201
Number of domains164
Minimum domain size1
Maximum domain size100
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":95},{"size":85,"count":4},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":6},{"size":89,"count":17},{"size":90,"count":16},{"size":91,"count":14},{"size":92,"count":12},{"size":93,"count":12},{"size":94,"count":9},{"size":95,"count":5},{"size":97,"count":1},{"size":100,"count":100}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":199},{"degree":3,"count":99}]
Minimum constraint arity1
Maximum constraint arity100
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":198},{"arity":100,"count":2}]
Number of extensional constraints100
Number of intensional constraints99
Distribution of constraint types[{"type":"extension","count":100},{"type":"intension","count":99},{"type":"sum","count":1},{"type":"circuit","count":1}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.67/0.54	c version: 2018-07-02
0.67/0.55	c seed: 1553740136
0.67/0.55	c timeout: 2400
0.67/0.55	c memlimit: 11000
0.67/0.55	c nbcore: 4
0.67/0.57	c Parsing instance...
3.14/1.60	c Parsing done, starting first complete search...
3.45/1.63	o 0
3.80/1.70	o 4438
3.80/1.70	o 4473
3.80/1.70	o 4523
3.80/1.71	o 4527
3.80/1.71	o 4528
3.80/1.71	o 4544
3.80/1.71	o 4554
3.80/1.71	o 4555
3.80/1.75	o 4558
3.80/1.75	o 4559
3.80/1.76	o 4574
3.80/1.79	o 4577
3.80/1.79	o 4617
4.13/1.82	o 4648
4.13/1.82	o 4649
4.13/1.82	o 4658
4.13/1.83	o 4659
4.13/1.84	o 4691
4.13/1.84	o 4698
4.13/1.84	o 4708
4.13/1.86	o 4709
4.13/1.86	o 4724
4.13/1.87	o 4737
4.13/1.87	o 4762
4.13/1.87	o 4763
4.43/1.91	o 4782
4.43/1.95	o 4783
4.43/1.95	s OPTIMUM FOUND
4.43/1.95	v <instantiation>
4.43/1.95	v 	<list>
4.43/1.95	v 		s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] g[30] g[31] g[32] g[33] g[34] g[35] g[36] g[37] g[38] g[39] g[40] g[41] g[42] g[43] g[44] g[45] g[46] g[47] g[48] g[49] g[50] g[51] g[52] g[53] g[54] g[55] g[56] g[57] g[58] g[59] g[60] g[61] g[62] g[63] g[64] g[65] g[66] g[67] g[68] g[69] g[70] g[71] g[72] g[73] g[74] g[75] g[76] g[77] g[78] g[79] g[80] g[81] g[82] g[83] g[84] g[85] g[86] g[87] g[88] g[89] g[90] g[91] g[92] g[93] g[94] g[95] g[96] g[97] g[98] g[99]
4.43/1.95	v 	</list>
4.43/1.95	v 	<values>
4.43/1.95	v 		2 0 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 33 34 32 35 36 37 38 39 40 41 42 43 44 45 46 47 49 85 48 50 51 52 53 54 55 56 57 58 59 61 60 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 92 89 84 87 88 97 90 94 96 98 99 3 1 86 95 93 91 88 0 209 371 113 194 295 1 449 482 422 492 248 233 147 341 417 489 203 44 182 48 489 273 457 147 80 465 122 112 16 334 0 154 250 106 243 22 407 193 299 182 286 172 142 496 194 24 0 414 19 216 471 147 305 145 494 486 290 282 0 388 208 345 26 81 41 301 17 45 35 491 87 448 377 19 332 401 217 357 17 289 81 15 71 14 103 178 98 26 6 182 20 31 79 38 78 8 7 31 0 0 47 13 54 4 34 6 78 48 69 73 17 63 62 34 92 62 96 89 76 32 10 99 74 59 98 53 37 2 5 54 0 6 63 55 89 20 75 34 15 60 77 37 77 92 20 88 0 57 52 33 76 55 36 45 58 29 4 84 0 51 86 83 98 96 8 14 65 28 59 16 15 58 22 87 92 31 1 97 88 62 41 8 85 69 79 95 59 10 17 26 74 20 53 25 1 1 36 50 
4.43/1.95	v 	</values>
4.43/1.95	v </instantiation>

Verifier Data 

OK	4783

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291675-1532276082/watcher-4291675-1532276082 -o /tmp/evaluation-result-4291675-1532276082/solver-4291675-1532276082 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532262189-32666 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1553740136 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291675-1532276082.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=1944, runsolver pid=1941
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 1.44 1.67 1.83 4/220 1959
/proc/meminfo: memFree=21479408/32770624 swapFree=67108860/67108860
[pid=1944] ppid=1941 vsize=14082740 memory=33140 CPUtime=0.11 cores=1,3,5,7
/proc/1944/stat : 1944 (java) S 1941 1944 32634 0 -1 1077944320 7227 0 0 0 10 1 0 0 20 0 15 0 45171412 14420725760 8285 33554432000 4194304 4196468 140731166071872 140731166054416 139861705391863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
/proc/1944/statm: 3520685 8285 3137 1 0 3482761 0
[pid=1944/tid=1946] ppid=1941 vsize=14082740 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/1944/task/1946/stat : 1946 (java) R 1941 1944 32634 0 -1 4202560 5355 0 0 0 8 1 0 0 20 0 15 0 45171413 14420725760 8351 33554432000 4194304 4196468 140731166071872 139861709617552 139861705413789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1947] ppid=1941 vsize=14082740 memory=5792869726567804975 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1947/stat : 1947 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14420725760 8351 33554432000 4194304 4196468 140731166071872 139861658012816 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1948] ppid=1941 vsize=14082740 memory=140614414497408 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1948/stat : 1948 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14420725760 8351 33554432000 4194304 4196468 140731166071872 139861656960016 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1949] ppid=1941 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1949/stat : 1949 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14420725760 8351 33554432000 4194304 4196468 140731166071872 139861655907216 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1950] ppid=1941 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1950/stat : 1950 (java) S 1941 1944 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45171413 14420725760 8351 33554432000 4194304 4196468 140731166071872 139861654854416 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1951] ppid=1941 vsize=14082740 memory=140614414497408 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1951/stat : 1951 (java) S 1941 1944 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45171415 14420725760 8351 33554432000 4194304 4196468 140731166071872 139861179750768 139861705403010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1952] ppid=1941 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1952/stat : 1952 (java) S 1941 1944 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45171415 14420725760 8351 33554432000 4194304 4196468 140731166071872 139861178696736 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1953] ppid=1941 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1953/stat : 1953 (java) S 1941 1944 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45171415 14420725760 8351 33554432000 4194304 4196468 140731166071872 139861177643888 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1954] ppid=1941 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1954/stat : 1954 (java) S 1941 1944 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45171418 14420725760 8351 33554432000 4194304 4196468 140731166071872 139861176592208 139861705410459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1955] ppid=1941 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1955/stat : 1955 (java) S 1941 1944 32634 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 45171418 14420725760 8351 33554432000 4194304 4196468 140731166071872 139861175540592 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1956] ppid=1941 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1956/stat : 1956 (java) S 1941 1944 32634 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 45171418 14420725760 8351 33554432000 4194304 4196468 140731166071872 139861174487792 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1957] ppid=1941 vsize=14082740 memory=140614414497408 CPUtime=0.01 cores=1,3,5,7
/proc/1944/task/1957/stat : 1957 (java) R 1941 1944 32634 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 15 0 45171418 14420725760 8351 33554432000 4194304 4196468 140731166071872 139861173434992 139861684092064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1958] ppid=1941 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1958/stat : 1958 (java) S 1941 1944 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45171418 14420725760 8351 33554432000 4194304 4196468 140731166071872 139861172382432 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1959] ppid=1941 vsize=14082740 memory=140614414497408 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1959/stat : 1959 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171418 14420725760 8351 33554432000 4194304 4196468 140731166071872 139861171329712 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33140 KiB

[startup+0.217598 s]*
/proc/loadavg: 1.44 1.67 1.83 4/220 1959
/proc/meminfo: memFree=21464260/32770624 swapFree=67108860/67108860
[pid=1944] ppid=1941 vsize=14082740 memory=47152 CPUtime=0.32 cores=1,3,5,7
/proc/1944/stat : 1944 (java) S 1941 1944 32634 0 -1 1077944320 10398 0 0 0 30 2 0 0 20 0 15 0 45171412 14420725760 11788 33554432000 4194304 4196468 140731166071872 140731166054416 139861705391863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
/proc/1944/statm: 3520685 11788 3366 1 0 3482761 0
[pid=1944/tid=1946] ppid=1941 vsize=14082740 memory=8389772277269004345 CPUtime=0.21 cores=1,3,5,7
/proc/1944/task/1946/stat : 1946 (java) R 1941 1944 32634 0 -1 4202560 8123 0 0 0 19 2 0 0 20 0 15 0 45171413 14420725760 11788 33554432000 4194304 4196468 140731166071872 139861709611072 139861705413789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1947] ppid=1941 vsize=14082740 memory=4294967661 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1947/stat : 1947 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14420725760 11788 33554432000 4194304 4196468 140731166071872 139861658012816 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1948] ppid=1941 vsize=14082740 memory=4123246753409267360 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1948/stat : 1948 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14420725760 11788 33554432000 4194304 4196468 140731166071872 139861656960016 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1949] ppid=1941 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1949/stat : 1949 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14420725760 11788 33554432000 4194304 4196468 140731166071872 139861655907216 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1950] ppid=1941 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1950/stat : 1950 (java) S 1941 1944 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45171413 14420725760 11788 33554432000 4194304 4196468 140731166071872 139861654854416 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1951] ppid=1941 vsize=14082740 memory=140614414497408 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1951/stat : 1951 (java) S 1941 1944 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45171415 14420725760 11788 33554432000 4194304 4196468 140731166071872 139861179750768 139861705403010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1952] ppid=1941 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1952/stat : 1952 (java) S 1941 1944 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45171415 14420725760 11788 33554432000 4194304 4196468 140731166071872 139861178696736 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1953] ppid=1941 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1953/stat : 1953 (java) S 1941 1944 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45171415 14420725760 11788 33554432000 4194304 4196468 140731166071872 139861177643888 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1954] ppid=1941 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1954/stat : 1954 (java) S 1941 1944 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45171418 14420725760 11788 33554432000 4194304 4196468 140731166071872 139861176592208 139861705410459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1955] ppid=1941 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1944/task/1955/stat : 1955 (java) S 1941 1944 32634 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 15 0 45171418 14420725760 11788 33554432000 4194304 4196468 140731166071872 139861175540592 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1956] ppid=1941 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1944/task/1956/stat : 1956 (java) R 1941 1944 32634 0 -1 1077944384 234 0 0 0 2 0 0 0 20 0 15 0 45171418 14420725760 11788 33554432000 4194304 4196468 140731166071872 139861174487792 139861705403010 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1957] ppid=1941 vsize=14082740 memory=140614414497408 CPUtime=0.07 cores=1,3,5,7
/proc/1944/task/1957/stat : 1957 (java) R 1941 1944 32634 0 -1 4202560 295 0 0 0 7 0 0 0 20 0 15 0 45171418 14420725760 11788 33554432000 4194304 4196468 140731166071872 139861173434992 139861705403010 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1958] ppid=1941 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1958/stat : 1958 (java) S 1941 1944 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45171418 14420725760 11788 33554432000 4194304 4196468 140731166071872 139861172382432 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1959] ppid=1941 vsize=14082740 memory=140614414497408 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1959/stat : 1959 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171418 14420725760 11788 33554432000 4194304 4196468 140731166071872 139861171329712 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47152 KiB

[startup+0.310718 s]*
/proc/loadavg: 1.44 1.67 1.83 3/220 1959
/proc/meminfo: memFree=21460724/32770624 swapFree=67108860/67108860
[pid=1944] ppid=1941 vsize=14082740 memory=50104 CPUtime=0.44 cores=1,3,5,7
/proc/1944/stat : 1944 (java) S 1941 1944 32634 0 -1 1077944320 10722 0 0 0 41 3 0 0 20 0 15 0 45171412 14420725760 12526 33554432000 4194304 4196468 140731166071872 140731166054416 139861705391863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
/proc/1944/statm: 3520685 12526 3367 1 0 3482761 0
[pid=1944/tid=1946] ppid=1941 vsize=14082740 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/1944/task/1946/stat : 1946 (java) R 1941 1944 32634 0 -1 4202560 8427 0 0 0 28 2 0 0 20 0 15 0 45171413 14420725760 12591 33554432000 4194304 4196468 140731166071872 139861709553600 139861682616016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1947] ppid=1941 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1947/stat : 1947 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14420725760 12591 33554432000 4194304 4196468 140731166071872 139861658012816 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1948] ppid=1941 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1948/stat : 1948 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14420725760 12591 33554432000 4194304 4196468 140731166071872 139861656960016 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1949] ppid=1941 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1949/stat : 1949 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14420725760 12591 33554432000 4194304 4196468 140731166071872 139861655907216 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1950] ppid=1941 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1950/stat : 1950 (java) S 1941 1944 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45171413 14420725760 12591 33554432000 4194304 4196468 140731166071872 139861654854416 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1951] ppid=1941 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1951/stat : 1951 (java) S 1941 1944 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45171415 14420725760 12591 33554432000 4194304 4196468 140731166071872 139861179750768 139861705403010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1952] ppid=1941 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1952/stat : 1952 (java) S 1941 1944 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45171415 14420725760 12591 33554432000 4194304 4196468 140731166071872 139861178696736 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1953] ppid=1941 vsize=14082740 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1953/stat : 1953 (java) S 1941 1944 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45171415 14420725760 12591 33554432000 4194304 4196468 140731166071872 139861177643888 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1954] ppid=1941 vsize=14082740 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1954/stat : 1954 (java) S 1941 1944 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45171418 14420725760 12591 33554432000 4194304 4196468 140731166071872 139861176592208 139861705410459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1955] ppid=1941 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1944/task/1955/stat : 1955 (java) S 1941 1944 32634 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 15 0 45171418 14420725760 12591 33554432000 4194304 4196468 140731166071872 139861175540592 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1956] ppid=1941 vsize=14082740 memory=140614276590031 CPUtime=0.02 cores=1,3,5,7
/proc/1944/task/1956/stat : 1956 (java) S 1941 1944 32634 0 -1 1077944384 234 0 0 0 2 0 0 0 20 0 15 0 45171418 14420725760 12591 33554432000 4194304 4196468 140731166071872 139861174487792 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1957] ppid=1941 vsize=14082740 memory=140614414499219 CPUtime=0.08 cores=1,3,5,7
/proc/1944/task/1957/stat : 1957 (java) R 1941 1944 32634 0 -1 4202560 308 0 0 0 8 0 0 0 20 0 15 0 45171418 14420725760 12591 33554432000 4194304 4196468 140731166071872 139861173434992 139861691716247 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1958] ppid=1941 vsize=14082740 memory=140614276580815 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1958/stat : 1958 (java) S 1941 1944 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45171418 14420725760 12591 33554432000 4194304 4196468 140731166071872 139861172382432 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1959] ppid=1941 vsize=14082740 memory=281228691118048 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1959/stat : 1959 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171418 14420725760 12591 33554432000 4194304 4196468 140731166071872 139861171329712 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50104 KiB

[startup+0.701052 s]
/proc/loadavg: 1.44 1.67 1.83 3/220 1959
/proc/meminfo: memFree=21436540/32770624 swapFree=67108860/67108860
[pid=1944] ppid=1941 vsize=14084808 memory=88912 CPUtime=1 cores=1,3,5,7
/proc/1944/stat : 1944 (java) S 1941 1944 32634 0 -1 1077944320 17606 0 0 0 96 4 0 0 20 0 15 0 45171412 14422843392 22228 33554432000 4194304 4196468 140731166071872 140731166054416 139861705391863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
/proc/1944/statm: 3521202 22228 3499 1 0 3483273 0
[pid=1944/tid=1946] ppid=1941 vsize=14084808 memory=15868 CPUtime=0.67 cores=1,3,5,7
/proc/1944/task/1946/stat : 1946 (java) R 1941 1944 32634 0 -1 4202560 14879 0 0 0 64 3 0 0 20 0 15 0 45171413 14422843392 22228 33554432000 4194304 4196468 140731166071872 139861709615856 139861689472350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1947] ppid=1941 vsize=14084808 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1947/stat : 1947 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14422843392 22228 33554432000 4194304 4196468 140731166071872 139861658012816 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1948] ppid=1941 vsize=14084808 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1948/stat : 1948 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14422843392 22228 33554432000 4194304 4196468 140731166071872 139861656960016 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1949] ppid=1941 vsize=14084808 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1949/stat : 1949 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14422843392 22228 33554432000 4194304 4196468 140731166071872 139861655907216 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1950] ppid=1941 vsize=14084808 memory=140614276696928 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1950/stat : 1950 (java) S 1941 1944 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45171413 14422843392 22228 33554432000 4194304 4196468 140731166071872 139861654854416 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1951] ppid=1941 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1951/stat : 1951 (java) S 1941 1944 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45171415 14422843392 22228 33554432000 4194304 4196468 140731166071872 139861179750768 139861705403010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1952] ppid=1941 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1952/stat : 1952 (java) S 1941 1944 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45171415 14422843392 22228 33554432000 4194304 4196468 140731166071872 139861178696736 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1953] ppid=1941 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1953/stat : 1953 (java) S 1941 1944 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45171415 14422843392 22228 33554432000 4194304 4196468 140731166071872 139861177643888 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1954] ppid=1941 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1954/stat : 1954 (java) S 1941 1944 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45171418 14422843392 22228 33554432000 4194304 4196468 140731166071872 139861176592208 139861705410459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1955] ppid=1941 vsize=14084808 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/1944/task/1955/stat : 1955 (java) S 1941 1944 32634 0 -1 1077944384 549 0 0 0 8 0 0 0 20 0 15 0 45171418 14422843392 22228 33554432000 4194304 4196468 140731166071872 139861175540592 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1956] ppid=1941 vsize=14084808 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/1944/task/1956/stat : 1956 (java) S 1941 1944 32634 0 -1 1077944384 378 0 0 0 7 0 0 0 20 0 15 0 45171418 14422843392 22228 33554432000 4194304 4196468 140731166071872 139861174487792 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1957] ppid=1941 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/1944/task/1957/stat : 1957 (java) S 1941 1944 32634 0 -1 1077944384 418 0 0 0 15 0 0 0 20 0 15 0 45171418 14422843392 22228 33554432000 4194304 4196468 140731166071872 139861173434992 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1958] ppid=1941 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1958/stat : 1958 (java) S 1941 1944 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45171418 14422843392 22228 33554432000 4194304 4196468 140731166071872 139861172382432 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1959] ppid=1941 vsize=14084808 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1959/stat : 1959 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171418 14422843392 22228 33554432000 4194304 4196468 140731166071872 139861171329712 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88912 KiB

[startup+1.50066 s]
/proc/loadavg: 1.44 1.67 1.83 5/220 1959
/proc/meminfo: memFree=21388844/32770624 swapFree=67108860/67108860
[pid=1944] ppid=1941 vsize=14090952 memory=162708 CPUtime=3.14 cores=1,3,5,7
/proc/1944/stat : 1944 (java) S 1941 1944 32634 0 -1 1077944320 27185 0 0 0 307 7 0 0 20 0 15 0 45171412 14429134848 40677 33554432000 4194304 4196468 140731166071872 140731166054416 139861705391863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
/proc/1944/statm: 3522738 40677 3550 1 0 3484809 0
[pid=1944/tid=1946] ppid=1941 vsize=14090952 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/1944/task/1946/stat : 1946 (java) S 1941 1944 32634 0 -1 1077944384 20489 0 0 0 142 5 0 0 20 0 15 0 45171413 14429134848 40677 33554432000 4194304 4196468 140731166071872 139861709625840 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1947] ppid=1941 vsize=14090952 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1947/stat : 1947 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14429134848 40677 33554432000 4194304 4196468 140731166071872 139861658012816 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1948] ppid=1941 vsize=14090952 memory=140614276696928 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1948/stat : 1948 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14429134848 40677 33554432000 4194304 4196468 140731166071872 139861656960016 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1949] ppid=1941 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1949/stat : 1949 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14429134848 40677 33554432000 4194304 4196468 140731166071872 139861655907216 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1950] ppid=1941 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1950/stat : 1950 (java) S 1941 1944 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45171413 14429134848 40677 33554432000 4194304 4196468 140731166071872 139861654854416 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1951] ppid=1941 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1951/stat : 1951 (java) S 1941 1944 32634 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 15 0 45171415 14429134848 40677 33554432000 4194304 4196468 140731166071872 139861179750768 139861705403010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1952] ppid=1941 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1952/stat : 1952 (java) S 1941 1944 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45171415 14429134848 40677 33554432000 4194304 4196468 140731166071872 139861178696736 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1953] ppid=1941 vsize=14090952 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1953/stat : 1953 (java) S 1941 1944 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45171415 14429134848 40677 33554432000 4194304 4196468 140731166071872 139861177643888 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1954] ppid=1941 vsize=14090952 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1954/stat : 1954 (java) S 1941 1944 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45171418 14429134848 40677 33554432000 4194304 4196468 140731166071872 139861176592208 139861705410459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1955] ppid=1941 vsize=14090952 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/1944/task/1955/stat : 1955 (java) R 1941 1944 32634 0 -1 4202560 1713 0 0 0 51 0 0 0 20 0 15 0 45171418 14429134848 40677 33554432000 4194304 4196468 140731166071872 139861175519232 139861686092478 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1956] ppid=1941 vsize=14090952 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/1944/task/1956/stat : 1956 (java) R 1941 1944 32634 0 -1 1077944384 1366 0 0 0 52 0 0 0 20 0 15 0 45171418 14429134848 40677 33554432000 4194304 4196468 140731166071872 139861174487792 139861705403010 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1957] ppid=1941 vsize=14090952 memory=6944656575208382560 CPUtime=0.6 cores=1,3,5,7
/proc/1944/task/1957/stat : 1957 (java) S 1941 1944 32634 0 -1 1077944384 2046 0 0 0 60 0 0 0 20 0 15 0 45171418 14429134848 40677 33554432000 4194304 4196468 140731166071872 139861173434992 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1958] ppid=1941 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1958/stat : 1958 (java) S 1941 1944 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45171418 14429134848 40677 33554432000 4194304 4196468 140731166071872 139861172382432 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1959] ppid=1941 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1959/stat : 1959 (java) S 1941 1944 32634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 45171418 14429134848 40677 33554432000 4194304 4196468 140731166071872 139861171329712 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
Current children cumulated CPU time: 3.14 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 162708 KiB

[startup+1.97154 s]
# the end of solver process 1944 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.51901 s, system=0.09156 s

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

[startup+1.60129 s]
/proc/loadavg: 1.44 1.67 1.83 5/220 1959
/proc/meminfo: memFree=21388844/32770624 swapFree=67108860/67108860
[pid=1944] ppid=1941 vsize=14090952 memory=179636 CPUtime=3.45 cores=1,3,5,7
/proc/1944/stat : 1944 (java) S 1941 1944 32634 0 -1 1077944320 27919 0 0 0 338 7 0 0 20 0 15 0 45171412 14429134848 44909 33554432000 4194304 4196468 140731166071872 140731166054416 139861705391863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
/proc/1944/statm: 3522738 44909 3552 1 0 3484809 0
[pid=1944/tid=1946] ppid=1941 vsize=14090952 memory=281228553146912 CPUtime=1.57 cores=1,3,5,7
/proc/1944/task/1946/stat : 1946 (java) R 1941 1944 32634 0 -1 4202560 20745 0 0 0 152 5 0 0 20 0 15 0 45171413 14429134848 44909 33554432000 4194304 4196468 140731166071872 139861709626688 139861691096769 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1947] ppid=1941 vsize=14090952 memory=140614276495877 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1947/stat : 1947 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14429134848 44909 33554432000 4194304 4196468 140731166071872 139861658012816 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1948] ppid=1941 vsize=14090952 memory=281228553018192 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1948/stat : 1948 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14429134848 44909 33554432000 4194304 4196468 140731166071872 139861656960016 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1949] ppid=1941 vsize=14090952 memory=2110964883605844 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1949/stat : 1949 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14429134848 44909 33554432000 4194304 4196468 140731166071872 139861655907216 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1950] ppid=1941 vsize=14090952 memory=281228553008864 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1950/stat : 1950 (java) S 1941 1944 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45171413 14429134848 44909 33554432000 4194304 4196468 140731166071872 139861654854416 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1951] ppid=1941 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1951/stat : 1951 (java) S 1941 1944 32634 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 15 0 45171415 14429134848 44909 33554432000 4194304 4196468 140731166071872 139861179750768 139861705403010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1952] ppid=1941 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1952/stat : 1952 (java) S 1941 1944 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45171415 14429134848 44909 33554432000 4194304 4196468 140731166071872 139861178696736 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1953] ppid=1941 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1953/stat : 1953 (java) S 1941 1944 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45171415 14429134848 44909 33554432000 4194304 4196468 140731166071872 139861177643888 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1954] ppid=1941 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1954/stat : 1954 (java) S 1941 1944 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45171418 14429134848 44909 33554432000 4194304 4196468 140731166071872 139861176592208 139861705410459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1955] ppid=1941 vsize=14090952 memory=281228553240832 CPUtime=0.58 cores=1,3,5,7
/proc/1944/task/1955/stat : 1955 (java) R 1941 1944 32634 0 -1 4202560 1737 0 0 0 58 0 0 0 20 0 15 0 45171418 14429134848 44909 33554432000 4194304 4196468 140731166071872 139861175526656 139861683558344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1956] ppid=1941 vsize=14090952 memory=8508281403247920543 CPUtime=0.6 cores=1,3,5,7
/proc/1944/task/1956/stat : 1956 (java) R 1941 1944 32634 0 -1 4202560 1405 0 0 0 60 0 0 0 20 0 15 0 45171418 14429134848 44909 33554432000 4194304 4196468 140731166071872 139861174468024 139861685889536 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1957] ppid=1941 vsize=14090952 memory=6525858347538544147 CPUtime=0.67 cores=1,3,5,7
/proc/1944/task/1957/stat : 1957 (java) S 1941 1944 32634 0 -1 1077944384 2465 0 0 0 67 0 0 0 20 0 15 0 45171418 14429134848 44909 33554432000 4194304 4196468 140731166071872 139861173433392 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1958] ppid=1941 vsize=14090952 memory=8326441112149131691 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1958/stat : 1958 (java) S 1941 1944 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45171418 14429134848 44909 33554432000 4194304 4196468 140731166071872 139861172382432 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1959] ppid=1941 vsize=14090952 memory=8868 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1959/stat : 1959 (java) S 1941 1944 32634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 45171418 14429134848 44909 33554432000 4194304 4196468 140731166071872 139861171329712 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
Current children cumulated CPU time: 3.45 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 179636 KiB

[startup+1.80133 s]
/proc/loadavg: 1.44 1.67 1.83 5/220 1959
/proc/meminfo: memFree=21388844/32770624 swapFree=67108860/67108860
[pid=1944] ppid=1941 vsize=14093000 memory=189804 CPUtime=4.13 cores=1,3,5,7
/proc/1944/stat : 1944 (java) S 1941 1944 32634 0 -1 1077944320 28681 0 0 0 405 8 0 0 20 0 15 0 45171412 14431232000 47451 33554432000 4194304 4196468 140731166071872 140731166054416 139861705391863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
/proc/1944/statm: 3523250 47451 3560 1 0 3485321 0
[pid=1944/tid=1946] ppid=1941 vsize=14093000 memory=6083073847998109799 CPUtime=1.77 cores=1,3,5,7
/proc/1944/task/1946/stat : 1946 (java) R 1941 1944 32634 0 -1 4202560 20829 0 0 0 172 5 0 0 20 0 15 0 45171413 14431232000 47451 33554432000 4194304 4196468 140731166071872 139861709627568 139861331943289 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1947] ppid=1941 vsize=14093000 memory=7446533034477642325 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1947/stat : 1947 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14431232000 47451 33554432000 4194304 4196468 140731166071872 139861658012816 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1948] ppid=1941 vsize=14093000 memory=4639369007875136937 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1948/stat : 1948 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14431232000 47451 33554432000 4194304 4196468 140731166071872 139861656960016 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1949] ppid=1941 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1949/stat : 1949 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14431232000 47451 33554432000 4194304 4196468 140731166071872 139861655907216 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1950] ppid=1941 vsize=14093000 memory=206042964 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1950/stat : 1950 (java) S 1941 1944 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45171413 14431232000 47451 33554432000 4194304 4196468 140731166071872 139861654854416 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1951] ppid=1941 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1951/stat : 1951 (java) S 1941 1944 32634 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 15 0 45171415 14431232000 47451 33554432000 4194304 4196468 140731166071872 139861179750768 139861705403010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1952] ppid=1941 vsize=14093000 memory=281228553537600 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1952/stat : 1952 (java) S 1941 1944 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45171415 14431232000 47451 33554432000 4194304 4196468 140731166071872 139861178696736 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1953] ppid=1941 vsize=14093000 memory=140614276648906 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1953/stat : 1953 (java) S 1941 1944 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45171415 14431232000 47451 33554432000 4194304 4196468 140731166071872 139861177643888 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1954] ppid=1941 vsize=14093000 memory=281228553303376 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1954/stat : 1954 (java) S 1941 1944 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45171418 14431232000 47451 33554432000 4194304 4196468 140731166071872 139861176592208 139861705410459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1955] ppid=1941 vsize=14093000 memory=2110964883758852 CPUtime=0.78 cores=1,3,5,7
/proc/1944/task/1955/stat : 1955 (java) R 1941 1944 32634 0 -1 4202560 1882 0 0 0 78 0 0 0 20 0 15 0 45171418 14431232000 47451 33554432000 4194304 4196468 140731166071872 139861175528144 139861688892057 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1956] ppid=1941 vsize=14093000 memory=281228553314880 CPUtime=0.79 cores=1,3,5,7
/proc/1944/task/1956/stat : 1956 (java) R 1941 1944 32634 0 -1 4202560 1796 0 0 0 79 0 0 0 20 0 15 0 45171418 14431232000 47451 33554432000 4194304 4196468 140731166071872 139861174473888 139861690994464 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1957] ppid=1941 vsize=14093000 memory=0 CPUtime=0.75 cores=1,3,5,7
/proc/1944/task/1957/stat : 1957 (java) S 1941 1944 32634 0 -1 1077944384 2603 0 0 0 74 1 0 0 20 0 15 0 45171418 14431232000 47451 33554432000 4194304 4196468 140731166071872 139861173434992 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1958] ppid=1941 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1958/stat : 1958 (java) S 1941 1944 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45171418 14431232000 47451 33554432000 4194304 4196468 140731166071872 139861172382432 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1959] ppid=1941 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1959/stat : 1959 (java) S 1941 1944 32634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 45171418 14431232000 47451 33554432000 4194304 4196468 140731166071872 139861171329712 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
Current children cumulated CPU time: 4.13 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 189804 KiB

[startup+1.90133 s]
/proc/loadavg: 1.44 1.67 1.83 5/220 1959
/proc/meminfo: memFree=21388844/32770624 swapFree=67108860/67108860
[pid=1944] ppid=1941 vsize=14093000 memory=194732 CPUtime=4.43 cores=1,3,5,7
/proc/1944/stat : 1944 (java) S 1941 1944 32634 0 -1 1077944320 28936 0 0 0 435 8 0 0 20 0 15 0 45171412 14431232000 48683 33554432000 4194304 4196468 140731166071872 140731166054416 139861705391863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
/proc/1944/statm: 3523250 48683 3560 1 0 3485321 0
[pid=1944/tid=1946] ppid=1941 vsize=14093000 memory=0 CPUtime=1.87 cores=1,3,5,7
/proc/1944/task/1946/stat : 1946 (java) R 1941 1944 32634 0 -1 4202560 20833 0 0 0 182 5 0 0 20 0 15 0 45171413 14431232000 48683 33554432000 4194304 4196468 140731166071872 139861709627568 139861339700052 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1947] ppid=1941 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1947/stat : 1947 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14431232000 48683 33554432000 4194304 4196468 140731166071872 139861658012816 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1948] ppid=1941 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1948/stat : 1948 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14431232000 48683 33554432000 4194304 4196468 140731166071872 139861656960016 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1949] ppid=1941 vsize=14093000 memory=7517167950632609620 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1949/stat : 1949 (java) S 1941 1944 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45171413 14431232000 48683 33554432000 4194304 4196468 140731166071872 139861655907216 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1950] ppid=1941 vsize=14093000 memory=7517459132133565778 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1950/stat : 1950 (java) S 1941 1944 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45171413 14431232000 48683 33554432000 4194304 4196468 140731166071872 139861654854416 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1951] ppid=1941 vsize=14093000 memory=-7663562344873570676 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1951/stat : 1951 (java) S 1941 1944 32634 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 15 0 45171415 14431232000 48683 33554432000 4194304 4196468 140731166071872 139861179750768 139861705403010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1952] ppid=1941 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1952/stat : 1952 (java) S 1941 1944 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45171415 14431232000 48683 33554432000 4194304 4196468 140731166071872 139861178696736 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1953] ppid=1941 vsize=14093000 memory=160795495 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1953/stat : 1953 (java) S 1941 1944 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45171415 14431232000 48683 33554432000 4194304 4196468 140731166071872 139861177643888 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1954] ppid=1941 vsize=14093000 memory=3334 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1954/stat : 1954 (java) S 1941 1944 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45171418 14431232000 48683 33554432000 4194304 4196468 140731166071872 139861176592208 139861705410459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1955] ppid=1941 vsize=14093000 memory=219056 CPUtime=0.88 cores=1,3,5,7
/proc/1944/task/1955/stat : 1955 (java) R 1941 1944 32634 0 -1 4202560 2125 0 0 0 88 0 0 0 20 0 15 0 45171418 14431232000 48683 33554432000 4194304 4196468 140731166071872 139861175528144 139861686936505 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1956] ppid=1941 vsize=14093000 memory=140614276684596 CPUtime=0.89 cores=1,3,5,7
/proc/1944/task/1956/stat : 1956 (java) R 1941 1944 32634 0 -1 4202560 1803 0 0 0 89 0 0 0 20 0 15 0 45171418 14431232000 48683 33554432000 4194304 4196468 140731166071872 139861174480280 139861690289846 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1957] ppid=1941 vsize=14093000 memory=7307210987814301138 CPUtime=0.76 cores=1,3,5,7
/proc/1944/task/1957/stat : 1957 (java) S 1941 1944 32634 0 -1 1077944384 2604 0 0 0 75 1 0 0 20 0 15 0 45171418 14431232000 48683 33554432000 4194304 4196468 140731166071872 139861173434992 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1958] ppid=1941 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1958/stat : 1958 (java) S 1941 1944 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45171418 14431232000 48683 33554432000 4194304 4196468 140731166071872 139861172382432 139861705402069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
[pid=1944/tid=1959] ppid=1941 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1944/task/1959/stat : 1959 (java) S 1941 1944 32634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 45171418 14431232000 48683 33554432000 4194304 4196468 140731166071872 139861171329712 139861705403010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21843968 140731166073940 140731166074121 140731166074121 140731166076879 0
Current children cumulated CPU time: 4.43 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 194732 KiB

Child status: 0
Real time (s): 1.97158
CPU time (s): 4.61057
CPU user time (s): 4.51901
CPU system time (s): 0.09156
CPU usage (%): 233.851
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 194732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.51901
system time used= 0.09156
maximum resident set size= 197588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29095
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3164
involuntary context switches= 13


# summary of solver processes directly reported to runsolver:
#   pid: 1944
#   total CPU time (s): 4.61057
#   total CPU user time (s): 4.51901
#   total CPU system time (s): 0.09156

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030461 second user time and 0.064186 second system time

The end

Launcher Data 

Begin job on node135 at 2018-07-22 18:14:42
IDJOB=4291675
IDBENCH=141523
IDSOLVER=2746
FILE ID=node135/4291675-1532276082
RUNJOBID= node135-1532262189-32666
PBS_JOBID= 21018977
Free space on /tmp= 52776 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
BENCH NAME= XCSP18/Mario/Mario-t-hard-1_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291675-1532276082/watcher-4291675-1532276082 -o /tmp/evaluation-result-4291675-1532276082/solver-4291675-1532276082 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532262189-32666 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1553740136 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291675-1532276082.xml

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

MD5SUM BENCH= d0ad504447153d615b89b5c6990e2d3b
RANDOM SEED=1553740136

node135.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.50
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.50
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.50
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.50
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:        21498688 kB
MemAvailable:   30203060 kB
Buffers:          166460 kB
Cached:          8737648 kB
SwapCached:            0 kB
Active:          3302024 kB
Inactive:        7387508 kB
Active(anon):    1734912 kB
Inactive(anon):    69912 kB
Active(file):    1567112 kB
Inactive(file):  7317596 kB
Unevictable:        7188 kB
Mlocked:            7188 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35800 kB
Writeback:             0 kB
AnonPages:       1792008 kB
Mapped:            49432 kB
Shmem:             17056 kB
Slab:             275788 kB
SReclaimable:     248124 kB
SUnreclaim:        27664 kB
KernelStack:        3568 kB
PageTables:         9664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2630244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1615872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 52744 MiB
End job on node135 at 2018-07-22 18:14:45