Trace number 4407162

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
choco-solver 2019-09-24 parallelSAT (TO)459 20062.8 2520.09

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n100/
TravellingSalesman-100-50-02.xml
MD5SUM0e4189ad20205ae354a6aa8eb292dbdf
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark421
Best CPU time to get the best result obtained on this benchmark20120.6
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints101
Number of domains2
Minimum domain size60
Maximum domain size100
Distribution of domain sizes[{"size":60,"count":100},{"size":100,"count":100}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":100}]
Minimum constraint arity3
Maximum constraint arity100
Distribution of constraint arities[{"arity":3,"count":100},{"arity":100,"count":1}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin 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.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407162-1569356137.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407162-1569356137.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
10.23/2.42	c solve instance...
13.12/2.88	o 1674 
14.40/3.03	o 471 
14.40/3.07	o 467 
17.68/3.50	o 461 
17.68/3.52	o 459 
20062.15/2520.07	s SATISFIABLE
20062.15/2520.07	v <instantiation>
20062.15/2520.07	v 	<list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] </list>
20062.15/2520.07	v 	<values>86 83 72 69 71 74 78 76 82 85 92 89 95 99 91 75 96 87 84 94 90 88 80 79 73 68 64 70 60 44 45 47 48 42 50 52 57 59 58 54 56 62 65 63 53 46 43 41 40 31 25 24 23 21 15 12 3 2 5 4 1 0 11 9 8 7 18 20 27 39 28 33 29 30 34 10 16 22 17 13 14 6 26 36 35 37 32 38 49 51 55 61 66 67 19 77 81 97 98 93 2 8 3 3 2 4 2 4 1 4 3 2 9 4 17 11 5 3 6 1 3 4 1 5 3 4 4 5 8 2 2 2 3 5 1 3 4 1 3 1 4 5 4 6 4 1 3 4 3 4 2 2 1 4 3 4 1 5 3 1 1 5 3 1 4 7 1 4 4 4 2 2 2 1 14 5 5 4 2 2 6 12 3 2 6 3 2 6 1 2 4 3 1 51 37 2 11 3 4 5 </values>
20062.15/2520.07	v </instantiation>
20062.15/2520.07	c Unexpected resolution interruption!

Verifier Data 

OK	459

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407162-1569356137/watcher-4407162-1569356137 -o /var/tmp/evaluation-result-4407162-1569356137/solver-4407162-1569356137 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569350580-16720 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 49521382 HOME/instance-4407162-1569356137.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100166 s]*
/proc/loadavg: 7.95 8.02 8.12 2/212 18067
/proc/meminfo: memFree=26462944/32770624 swapFree=67002124/67108860
[pid=18046] ppid=18043 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18046/stat : 18046 (xcsp3-exec) S 18043 18046 16693 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511862280 115843072 362 33554432000 4194304 5098028 140734936056624 140734936054728 139656535761532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37277696 140734936064851 140734936065109 140734936065109 140734936068038 0
/proc/18046/statm: 28282 362 304 221 0 87 0
[pid=18048] ppid=18046 vsize=28227396 memory=29796 CPUtime=0.12 cores=0-7
/proc/18048/stat : 18048 (java) S 18046 18046 16693 0 -1 1077944320 5926 0 0 0 11 1 0 0 20 0 20 0 511862280 28904853504 7449 33554432000 4194304 4196468 140724779032352 140724779014896 139656920256247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
/proc/18048/statm: 7056849 7449 3123 1 0 7019032 0
[pid=18048/tid=18049] ppid=18046 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18048/task/18049/stat : 18049 (java) R 18046 18046 16693 0 -1 4202560 3838 0 0 0 8 1 0 0 20 0 20 0 511862281 28904853504 7449 33554432000 4194304 4196468 140724779032352 139656924489520 139656920268182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18050] ppid=18046 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18048/task/18050/stat : 18050 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28904853504 7449 33554432000 4194304 4196468 140724779032352 139656840109200 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18051] ppid=18046 vsize=28227396 memory=140526857746048 CPUtime=0 cores=0-7
/proc/18048/task/18051/stat : 18051 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28904853504 7449 33554432000 4194304 4196468 140724779032352 139656839056400 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18052] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18052/stat : 18052 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28904853504 7449 33554432000 4194304 4196468 140724779032352 139656838003600 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18053] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18053/stat : 18053 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28904853504 7449 33554432000 4194304 4196468 140724779032352 139656836950800 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18054] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18054/stat : 18054 (java) S 18046 18046 16693 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511862281 28904853504 7449 33554432000 4194304 4196468 140724779032352 139656835898000 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18055] ppid=18046 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18048/task/18055/stat : 18055 (java) S 18046 18046 16693 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511862281 28904853504 7449 33554432000 4194304 4196468 140724779032352 139656466389520 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18056] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18056/stat : 18056 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28904853504 7449 33554432000 4194304 4196468 140724779032352 139656465336720 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18057] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18057/stat : 18057 (java) S 18046 18046 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511862281 28904853504 7449 33554432000 4194304 4196468 140724779032352 139656464283920 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18058] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18058/stat : 18058 (java) S 18046 18046 16693 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511862283 28904853504 7449 33554432000 4194304 4196468 140724779032352 139655164939120 139656920267394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18059] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18059/stat : 18059 (java) S 18046 18046 16693 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511862283 28904853504 7449 33554432000 4194304 4196468 140724779032352 139655163885088 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18060] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18060/stat : 18060 (java) S 18046 18046 16693 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511862284 28904853504 7449 33554432000 4194304 4196468 140724779032352 139655162832240 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18061] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18061/stat : 18061 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862286 28904853504 7449 33554432000 4194304 4196468 140724779032352 139655161780560 139656920274843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18062] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18062/stat : 18062 (java) S 18046 18046 16693 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 511862286 28904853504 7449 33554432000 4194304 4196468 140724779032352 139655160727920 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18063] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18063/stat : 18063 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862286 28904853504 7449 33554432000 4194304 4196468 140724779032352 139655159675120 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18064] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18064/stat : 18064 (java) S 18046 18046 16693 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 511862286 28904853504 7449 33554432000 4194304 4196468 140724779032352 139655158622320 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18065] ppid=18046 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/18048/task/18065/stat : 18065 (java) R 18046 18046 16693 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 20 0 511862286 28904853504 7449 33554432000 4194304 4196468 140724779032352 139655040329712 139656920268182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18066] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18066/stat : 18066 (java) S 18046 18046 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511862286 28904853504 7449 33554432000 4194304 4196468 140724779032352 139655039278176 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18067] ppid=18046 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18048/task/18067/stat : 18067 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862287 28904853504 7449 33554432000 4194304 4196468 140724779032352 139655038225456 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31244 KiB

[startup+0.210177 s]*
/proc/loadavg: 7.95 8.02 8.12 2/212 18067
/proc/meminfo: memFree=26450776/32770624 swapFree=67002124/67108860
[pid=18046] ppid=18043 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18046/stat : 18046 (xcsp3-exec) S 18043 18046 16693 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511862280 115843072 362 33554432000 4194304 5098028 140734936056624 140734936054728 139656535761532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37277696 140734936064851 140734936065109 140734936065109 140734936068038 0
/proc/18046/statm: 28282 362 304 221 0 87 0
[pid=18048] ppid=18046 vsize=28227396 memory=40564 CPUtime=0.34 cores=0-7
/proc/18048/stat : 18048 (java) S 18046 18046 16693 0 -1 1077944320 9386 0 0 0 31 3 0 0 20 0 20 0 511862280 28904853504 10141 33554432000 4194304 4196468 140724779032352 140724779014896 139656920256247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
/proc/18048/statm: 7056849 10141 3286 1 0 7019032 0
[pid=18048/tid=18049] ppid=18046 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/18048/task/18049/stat : 18049 (java) R 18046 18046 16693 0 -1 4202560 6658 0 0 0 17 2 0 0 20 0 20 0 511862281 28904853504 10141 33554432000 4194304 4196468 140724779032352 139656924489712 139656920268182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18050] ppid=18046 vsize=28227396 memory=330 CPUtime=0 cores=0-7
/proc/18048/task/18050/stat : 18050 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28904853504 10141 33554432000 4194304 4196468 140724779032352 139656840109200 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18051] ppid=18046 vsize=28227396 memory=140526857763024 CPUtime=0 cores=0-7
/proc/18048/task/18051/stat : 18051 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28904853504 10141 33554432000 4194304 4196468 140724779032352 139656839056400 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18052] ppid=18046 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18048/task/18052/stat : 18052 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28904853504 10141 33554432000 4194304 4196468 140724779032352 139656838003600 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18053] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18053/stat : 18053 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28904853504 10141 33554432000 4194304 4196468 140724779032352 139656836950800 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18054] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18054/stat : 18054 (java) S 18046 18046 16693 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511862281 28904853504 10141 33554432000 4194304 4196468 140724779032352 139656835898000 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18055] ppid=18046 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18048/task/18055/stat : 18055 (java) S 18046 18046 16693 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511862281 28904853504 10141 33554432000 4194304 4196468 140724779032352 139656466389520 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18056] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18056/stat : 18056 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28904853504 10141 33554432000 4194304 4196468 140724779032352 139656465336720 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18057] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18057/stat : 18057 (java) S 18046 18046 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511862281 28904853504 10141 33554432000 4194304 4196468 140724779032352 139656464283920 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18058] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18058/stat : 18058 (java) S 18046 18046 16693 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511862283 28904853504 10141 33554432000 4194304 4196468 140724779032352 139655164939120 139656920267394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18059] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18059/stat : 18059 (java) S 18046 18046 16693 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511862283 28904853504 10141 33554432000 4194304 4196468 140724779032352 139655163885088 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18060] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18060/stat : 18060 (java) S 18046 18046 16693 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511862284 28904853504 10141 33554432000 4194304 4196468 140724779032352 139655162832240 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18061] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18061/stat : 18061 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862286 28904853504 10141 33554432000 4194304 4196468 140724779032352 139655161780560 139656920274843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18062] ppid=18046 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/18048/task/18062/stat : 18062 (java) S 18046 18046 16693 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 20 0 511862286 28904853504 10141 33554432000 4194304 4196468 140724779032352 139655160727920 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18063] ppid=18046 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/18048/task/18063/stat : 18063 (java) S 18046 18046 16693 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 20 0 511862286 28904853504 10141 33554432000 4194304 4196468 140724779032352 139655159675120 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18064] ppid=18046 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/18048/task/18064/stat : 18064 (java) S 18046 18046 16693 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 20 0 511862286 28904853504 10141 33554432000 4194304 4196468 140724779032352 139655158622320 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18065] ppid=18046 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/18048/task/18065/stat : 18065 (java) R 18046 18046 16693 0 -1 4202560 771 0 0 0 8 0 0 0 20 0 20 0 511862286 28904853504 10141 33554432000 4194304 4196468 140724779032352 139655040329712 139656920268182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18066] ppid=18046 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18066/stat : 18066 (java) S 18046 18046 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511862286 28904853504 10141 33554432000 4194304 4196468 140724779032352 139655039278176 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18067] ppid=18046 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18048/task/18067/stat : 18067 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862287 28904853504 10141 33554432000 4194304 4196468 140724779032352 139655038225456 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42012 KiB

[startup+0.309672 s]*
/proc/loadavg: 7.95 8.02 8.12 3/212 18067
/proc/meminfo: memFree=26442152/32770624 swapFree=67002124/67108860
[pid=18046] ppid=18043 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18046/stat : 18046 (xcsp3-exec) S 18043 18046 16693 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511862280 115843072 362 33554432000 4194304 5098028 140734936056624 140734936054728 139656535761532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37277696 140734936064851 140734936065109 140734936065109 140734936068038 0
/proc/18046/statm: 28282 362 304 221 0 87 0
[pid=18048] ppid=18046 vsize=28231652 memory=49532 CPUtime=0.53 cores=0-7
/proc/18048/stat : 18048 (java) S 18046 18046 16693 0 -1 1077944320 10749 0 0 0 49 4 0 0 20 0 20 0 511862280 28909211648 12383 33554432000 4194304 4196468 140724779032352 140724779014896 139656920256247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
/proc/18048/statm: 7057913 12383 3328 1 0 7019032 0
[pid=18048/tid=18049] ppid=18046 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/18048/task/18049/stat : 18049 (java) R 18046 18046 16693 0 -1 4202560 7760 0 0 0 27 3 0 0 20 0 20 0 511862281 28909211648 12427 33554432000 4194304 4196468 140724779032352 139656924490032 139656904336734 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18050] ppid=18046 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18050/stat : 18050 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28909211648 12427 33554432000 4194304 4196468 140724779032352 139656840109200 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18051] ppid=18046 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18051/stat : 18051 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28909211648 12427 33554432000 4194304 4196468 140724779032352 139656839056400 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18052] ppid=18046 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18052/stat : 18052 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28909211648 12427 33554432000 4194304 4196468 140724779032352 139656838003600 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18053] ppid=18046 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18053/stat : 18053 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28909211648 12427 33554432000 4194304 4196468 140724779032352 139656836950800 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18054] ppid=18046 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/18048/task/18054/stat : 18054 (java) S 18046 18046 16693 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511862281 28909211648 12427 33554432000 4194304 4196468 140724779032352 139656835898000 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18055] ppid=18046 vsize=28231652 memory=140526699508655 CPUtime=0 cores=0-7
/proc/18048/task/18055/stat : 18055 (java) S 18046 18046 16693 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511862281 28909211648 12427 33554432000 4194304 4196468 140724779032352 139656466389520 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18056] ppid=18046 vsize=28231652 memory=140526699510960 CPUtime=0 cores=0-7
/proc/18048/task/18056/stat : 18056 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28909211648 12427 33554432000 4194304 4196468 140724779032352 139656465336720 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18057] ppid=18046 vsize=28231652 memory=140526699513264 CPUtime=0 cores=0-7
/proc/18048/task/18057/stat : 18057 (java) S 18046 18046 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511862281 28909211648 12427 33554432000 4194304 4196468 140724779032352 139656464283920 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18058] ppid=18046 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18058/stat : 18058 (java) S 18046 18046 16693 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511862283 28909211648 12427 33554432000 4194304 4196468 140724779032352 139655164939120 139656920267394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18059] ppid=18046 vsize=28231652 memory=281053399033488 CPUtime=0 cores=0-7
/proc/18048/task/18059/stat : 18059 (java) S 18046 18046 16693 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511862283 28909211648 12427 33554432000 4194304 4196468 140724779032352 139655163885088 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18060] ppid=18046 vsize=28231652 memory=281053399040400 CPUtime=0 cores=0-7
/proc/18048/task/18060/stat : 18060 (java) S 18046 18046 16693 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511862284 28909211648 12427 33554432000 4194304 4196468 140724779032352 139655162832240 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18061] ppid=18046 vsize=28231652 memory=281053398981680 CPUtime=0 cores=0-7
/proc/18048/task/18061/stat : 18061 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862286 28909211648 12427 33554432000 4194304 4196468 140724779032352 139655161780560 139656920274843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18062] ppid=18046 vsize=28231652 memory=281053399054224 CPUtime=0.02 cores=0-7
/proc/18048/task/18062/stat : 18062 (java) S 18046 18046 16693 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 20 0 511862286 28909211648 12427 33554432000 4194304 4196468 140724779032352 139655160727920 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18063] ppid=18046 vsize=28231652 memory=281053399061136 CPUtime=0.03 cores=0-7
/proc/18048/task/18063/stat : 18063 (java) R 18046 18046 16693 0 -1 4202560 170 0 0 0 3 0 0 0 20 0 20 0 511862286 28909211648 12427 33554432000 4194304 4196468 140724779032352 139655159665504 139656897908112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18064] ppid=18046 vsize=28231652 memory=281053399058832 CPUtime=0.02 cores=0-7
/proc/18048/task/18064/stat : 18064 (java) S 18046 18046 16693 0 -1 1077944384 188 0 0 0 2 0 0 0 20 0 20 0 511862286 28909211648 12427 33554432000 4194304 4196468 140724779032352 139655158622320 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18065] ppid=18046 vsize=28231652 memory=281053399074992 CPUtime=0.12 cores=0-7
/proc/18048/task/18065/stat : 18065 (java) S 18046 18046 16693 0 -1 1077944384 928 0 0 0 12 0 0 0 20 0 20 0 511862286 28909211648 12427 33554432000 4194304 4196468 140724779032352 139655040329712 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18066] ppid=18046 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18066/stat : 18066 (java) S 18046 18046 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511862286 28909211648 12427 33554432000 4194304 4196468 140724779032352 139655039278176 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18067] ppid=18046 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/18048/task/18067/stat : 18067 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862287 28909211648 12427 33554432000 4194304 4196468 140724779032352 139655038225456 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50980 KiB

[startup+0.700904 s]
/proc/loadavg: 7.95 8.02 8.12 5/212 18067
/proc/meminfo: memFree=26415272/32770624 swapFree=67002124/67108860
[pid=18046] ppid=18043 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18046/stat : 18046 (xcsp3-exec) S 18043 18046 16693 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511862280 115843072 362 33554432000 4194304 5098028 140734936056624 140734936054728 139656535761532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37277696 140734936064851 140734936065109 140734936065109 140734936068038 0
/proc/18046/statm: 28282 362 304 221 0 87 0
[pid=18048] ppid=18046 vsize=28233776 memory=168260 CPUtime=1.67 cores=0-7
/proc/18048/stat : 18048 (java) S 18046 18046 16693 0 -1 1077944320 15199 0 0 0 160 7 0 0 20 0 20 0 511862280 28911386624 42065 33554432000 4194304 4196468 140724779032352 140724779014896 139656920256247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
/proc/18048/statm: 7058444 42065 3439 1 0 7019544 0
[pid=18048/tid=18049] ppid=18046 vsize=28233776 memory=281053399432880 CPUtime=0.68 cores=0-7
/proc/18048/task/18049/stat : 18049 (java) R 18046 18046 16693 0 -1 4202560 8990 0 0 0 63 5 0 0 20 0 20 0 511862281 28911386624 42065 33554432000 4194304 4196468 140724779032352 139656924485424 139656920268182 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18050] ppid=18046 vsize=28233776 memory=140526699717488 CPUtime=0 cores=0-7
/proc/18048/task/18050/stat : 18050 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28911386624 42065 33554432000 4194304 4196468 140724779032352 139656840109200 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18051] ppid=18046 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/18048/task/18051/stat : 18051 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28911386624 42065 33554432000 4194304 4196468 140724779032352 139656839056400 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18052] ppid=18046 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/18048/task/18052/stat : 18052 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511862281 28911386624 42065 33554432000 4194304 4196468 140724779032352 139656838003600 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0

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

[pid=18048/tid=18115] ppid=18046 vsize=28968028 memory=1199084 CPUtime=2417.95 cores=0-7
/proc/18048/task/18115/stat : 18115 (java) R 18046 18046 16693 0 -1 4202560 28501 0 0 0 241769 26 0 0 20 0 28 0 511862633 29663260672 299771 33554432000 4194304 4196468 140724779032352 139655027139400 139656522971962 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
Current children cumulated CPU time: 19443.7 s
Current children cumulated vsize: 29081156 KiB
Current children cumulated memory: 1200532 KiB

[startup+2502.3 s]
/proc/loadavg: 8.57 8.32 8.31 9/219 18303
/proc/meminfo: memFree=25286152/32770624 swapFree=67002124/67108860
[pid=18046] ppid=18043 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18046/stat : 18046 (xcsp3-exec) S 18043 18046 16693 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511862280 115843072 362 33554432000 4194304 5098028 140734936056624 140734936054728 139656535761532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37277696 140734936064851 140734936065109 140734936065109 140734936068038 0
/proc/18046/statm: 28282 362 304 221 0 87 0
[pid=18048] ppid=18046 vsize=28968028 memory=1201132 CPUtime=19921.1 cores=0-7
/proc/18048/stat : 18048 (java) S 18046 18046 16693 0 -1 1077944320 586677 0 0 0 1991548 562 0 0 20 0 28 0 511862280 29663260672 300283 33554432000 4194304 4196468 140724779032352 140724779014896 139656920256247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
/proc/18048/statm: 7242007 300283 3546 1 0 7203107 0
[pid=18048/tid=18049] ppid=18046 vsize=28968028 memory=1201132 CPUtime=1.45 cores=0-7
/proc/18048/task/18049/stat : 18049 (java) S 18046 18046 16693 0 -1 1077944384 9256 0 0 0 137 8 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656924497024 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18050] ppid=18046 vsize=28968028 memory=1201132 CPUtime=5.21 cores=0-7
/proc/18048/task/18050/stat : 18050 (java) S 18046 18046 16693 0 -1 1077944384 36821 0 0 0 483 38 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656840109200 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18051] ppid=18046 vsize=28968028 memory=1201132 CPUtime=5.28 cores=0-7
/proc/18048/task/18051/stat : 18051 (java) S 18046 18046 16693 0 -1 1077944384 32588 0 0 0 491 37 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656839056400 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18052] ppid=18046 vsize=28968028 memory=1201132 CPUtime=5.28 cores=0-7
/proc/18048/task/18052/stat : 18052 (java) S 18046 18046 16693 0 -1 1077944384 33121 0 0 0 490 38 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656838003600 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18053] ppid=18046 vsize=28968028 memory=1448 CPUtime=5.21 cores=0-7
/proc/18048/task/18053/stat : 18053 (java) S 18046 18046 16693 0 -1 1077944384 35875 0 0 0 482 39 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656836950800 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18054] ppid=18046 vsize=28968028 memory=1448 CPUtime=5.23 cores=0-7
/proc/18048/task/18054/stat : 18054 (java) S 18046 18046 16693 0 -1 1077944384 36461 0 0 0 487 36 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656835898000 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18055] ppid=18046 vsize=28968028 memory=1408 CPUtime=5.26 cores=0-7
/proc/18048/task/18055/stat : 18055 (java) S 18046 18046 16693 0 -1 1077944384 33887 0 0 0 490 36 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656466389520 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18056] ppid=18046 vsize=28968028 memory=3832 CPUtime=5.19 cores=0-7
/proc/18048/task/18056/stat : 18056 (java) S 18046 18046 16693 0 -1 1077944384 35348 0 0 0 482 37 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656465336720 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18057] ppid=18046 vsize=28968028 memory=281053400170064 CPUtime=5.27 cores=0-7
/proc/18048/task/18057/stat : 18057 (java) S 18046 18046 16693 0 -1 1077944384 33189 0 0 0 489 38 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656464283920 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18058] ppid=18046 vsize=28968028 memory=7156896438808309349 CPUtime=1.58 cores=0-7
/proc/18048/task/18058/stat : 18058 (java) S 18046 18046 16693 0 -1 1077944384 28701 0 0 0 128 30 0 0 20 0 28 0 511862283 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655164939120 139656920267394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18059] ppid=18046 vsize=28968028 memory=1764 CPUtime=0 cores=0-7
/proc/18048/task/18059/stat : 18059 (java) S 18046 18046 16693 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 511862283 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655163885152 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18060] ppid=18046 vsize=28968028 memory=111632 CPUtime=0 cores=0-7
/proc/18048/task/18060/stat : 18060 (java) S 18046 18046 16693 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 511862284 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655162832256 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18061] ppid=18046 vsize=28968028 memory=1197036 CPUtime=0 cores=0-7
/proc/18048/task/18061/stat : 18061 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511862286 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655161780560 139656920274843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18062] ppid=18046 vsize=28968028 memory=1448 CPUtime=2.92 cores=0-7
/proc/18048/task/18062/stat : 18062 (java) S 18046 18046 16693 0 -1 1077944384 20806 0 0 0 288 4 0 0 20 0 28 0 511862286 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655160727920 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18063] ppid=18046 vsize=28968028 memory=1199084 CPUtime=2.94 cores=0-7
/proc/18048/task/18063/stat : 18063 (java) S 18046 18046 16693 0 -1 1077944384 18983 0 0 0 291 3 0 0 20 0 28 0 511862286 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655159675120 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18064] ppid=18046 vsize=28968028 memory=1448 CPUtime=2.69 cores=0-7
/proc/18048/task/18064/stat : 18064 (java) S 18046 18046 16693 0 -1 1077944384 18275 0 0 0 265 4 0 0 20 0 28 0 511862286 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655158622320 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18065] ppid=18046 vsize=28968028 memory=1056 CPUtime=0.99 cores=0-7
/proc/18048/task/18065/stat : 18065 (java) S 18046 18046 16693 0 -1 1077944384 16354 0 0 0 96 3 0 0 20 0 28 0 511862286 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655040329712 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18066] ppid=18046 vsize=28968028 memory=1568 CPUtime=0 cores=0-7
/proc/18048/task/18066/stat : 18066 (java) S 18046 18046 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511862286 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655039278176 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18067] ppid=18046 vsize=28968028 memory=1064 CPUtime=0.97 cores=0-7
/proc/18048/task/18067/stat : 18067 (java) S 18046 18046 16693 0 -1 1077944384 3651 0 0 0 54 43 0 0 20 0 28 0 511862287 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655038225456 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18108] ppid=18046 vsize=28968028 memory=1201132 CPUtime=2481.18 cores=0-7
/proc/18048/task/18108/stat : 18108 (java) R 18046 18046 16693 0 -1 4202560 18613 0 0 0 248096 22 0 0 20 0 28 0 511862633 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655028190168 139656522868148 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18109] ppid=18046 vsize=28968028 memory=64808 CPUtime=2488.73 cores=0-7
/proc/18048/task/18109/stat : 18109 (java) R 18046 18046 16693 0 -1 4202560 39804 0 0 0 248842 31 0 0 20 0 28 0 511862633 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655023983568 139656522970304 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18110] ppid=18046 vsize=28968028 memory=1448 CPUtime=2481 cores=0-7
/proc/18048/task/18110/stat : 18110 (java) R 18046 18046 16693 0 -1 4202560 17058 0 0 0 248079 21 0 0 20 0 28 0 511862633 29663260672 300283 33554432000 4194304 4196468 140724779032352 139654714965944 139656522973611 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18111] ppid=18046 vsize=28968028 memory=1448 CPUtime=2485.26 cores=0-7
/proc/18048/task/18111/stat : 18111 (java) R 18046 18046 16693 0 -1 4202560 33086 0 0 0 248489 37 0 0 20 0 28 0 511862633 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655029246952 139656522971998 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18112] ppid=18046 vsize=28968028 memory=1201132 CPUtime=2478.48 cores=0-7
/proc/18048/task/18112/stat : 18112 (java) R 18046 18046 16693 0 -1 4202560 19131 0 0 0 247821 27 0 0 20 0 28 0 511862633 29663260672 300283 33554432000 4194304 4196468 140724779032352 139654709714184 139656523506570 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18113] ppid=18046 vsize=28968028 memory=1448 CPUtime=2478.93 cores=0-7
/proc/18048/task/18113/stat : 18113 (java) R 18046 18046 16693 0 -1 4202560 15763 0 0 0 247871 22 0 0 20 0 28 0 511862633 29663260672 300283 33554432000 4194304 4196468 140724779032352 139654708660464 139656522073327 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18114] ppid=18046 vsize=28968028 memory=1824 CPUtime=2489.46 cores=0-7
/proc/18048/task/18114/stat : 18114 (java) R 18046 18046 16693 0 -1 4202560 16845 0 0 0 248926 20 0 0 20 0 28 0 511862633 29663260672 300283 33554432000 4194304 4196468 140724779032352 139654710767208 139656522971939 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18115] ppid=18046 vsize=28968028 memory=1656 CPUtime=2477.38 cores=0-7
/proc/18048/task/18115/stat : 18115 (java) R 18046 18046 16693 0 -1 4202560 29814 0 0 0 247710 28 0 0 20 0 28 0 511862633 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655027138608 139656522971738 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
Current children cumulated CPU time: 19921.1 s
Current children cumulated vsize: 29081156 KiB
Current children cumulated memory: 1202580 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.51 8.32 8.31 9/219 18305
/proc/meminfo: memFree=25286680/32770624 swapFree=67002124/67108860
[pid=18046] ppid=18043 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18046/stat : 18046 (xcsp3-exec) S 18043 18046 16693 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511862280 115843072 362 33554432000 4194304 5098028 140734936056624 140734936054728 139656535761532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37277696 140734936064851 140734936065109 140734936065109 140734936068038 0
/proc/18046/statm: 28282 362 304 221 0 87 0
[pid=18048] ppid=18046 vsize=28968028 memory=1201132 CPUtime=20062.2 cores=0-7
/proc/18048/stat : 18048 (java) S 18046 18046 16693 0 -1 1077944320 587335 0 0 0 2005652 563 0 0 20 0 28 0 511862280 29663260672 300283 33554432000 4194304 4196468 140724779032352 140724779014896 139656920256247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
/proc/18048/statm: 7242007 300283 3546 1 0 7203107 0
[pid=18048/tid=18049] ppid=18046 vsize=28968028 memory=1056 CPUtime=1.45 cores=0-7
/proc/18048/task/18049/stat : 18049 (java) S 18046 18046 16693 0 -1 1077944384 9256 0 0 0 137 8 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656924497024 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18050] ppid=18046 vsize=28968028 memory=1568 CPUtime=5.25 cores=0-7
/proc/18048/task/18050/stat : 18050 (java) S 18046 18046 16693 0 -1 1077944384 36845 0 0 0 487 38 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656840109200 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18051] ppid=18046 vsize=28968028 memory=4872558044660077418 CPUtime=5.33 cores=0-7
/proc/18048/task/18051/stat : 18051 (java) S 18046 18046 16693 0 -1 1077944384 32602 0 0 0 496 37 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656839056400 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18052] ppid=18046 vsize=28968028 memory=3832 CPUtime=5.32 cores=0-7
/proc/18048/task/18052/stat : 18052 (java) S 18046 18046 16693 0 -1 1077944384 33402 0 0 0 494 38 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656838003600 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18053] ppid=18046 vsize=28968028 memory=1448 CPUtime=5.25 cores=0-7
/proc/18048/task/18053/stat : 18053 (java) S 18046 18046 16693 0 -1 1077944384 35890 0 0 0 486 39 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656836950800 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18054] ppid=18046 vsize=28968028 memory=1201132 CPUtime=5.28 cores=0-7
/proc/18048/task/18054/stat : 18054 (java) S 18046 18046 16693 0 -1 1077944384 36514 0 0 0 492 36 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656835898000 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18055] ppid=18046 vsize=28968028 memory=6791534058613427641 CPUtime=5.29 cores=0-7
/proc/18048/task/18055/stat : 18055 (java) S 18046 18046 16693 0 -1 1077944384 33914 0 0 0 493 36 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656466389520 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18056] ppid=18046 vsize=28968028 memory=4872558044660077418 CPUtime=5.23 cores=0-7
/proc/18048/task/18056/stat : 18056 (java) S 18046 18046 16693 0 -1 1077944384 35360 0 0 0 486 37 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656465336720 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18057] ppid=18046 vsize=28968028 memory=2120 CPUtime=5.32 cores=0-7
/proc/18048/task/18057/stat : 18057 (java) S 18046 18046 16693 0 -1 1077944384 33195 0 0 0 494 38 0 0 20 0 28 0 511862281 29663260672 300283 33554432000 4194304 4196468 140724779032352 139656464283920 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18058] ppid=18046 vsize=28968028 memory=35460 CPUtime=1.59 cores=0-7
/proc/18048/task/18058/stat : 18058 (java) S 18046 18046 16693 0 -1 1077944384 28736 0 0 0 129 30 0 0 20 0 28 0 511862283 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655164939120 139656920267394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18059] ppid=18046 vsize=28968028 memory=1556 CPUtime=0 cores=0-7
/proc/18048/task/18059/stat : 18059 (java) S 18046 18046 16693 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 511862283 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655163885152 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18060] ppid=18046 vsize=28968028 memory=1201132 CPUtime=0 cores=0-7
/proc/18048/task/18060/stat : 18060 (java) S 18046 18046 16693 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 511862284 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655162832256 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18061] ppid=18046 vsize=28968028 memory=776 CPUtime=0 cores=0-7
/proc/18048/task/18061/stat : 18061 (java) S 18046 18046 16693 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511862286 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655161780560 139656920274843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18062] ppid=18046 vsize=28968028 memory=3540 CPUtime=2.92 cores=0-7
/proc/18048/task/18062/stat : 18062 (java) S 18046 18046 16693 0 -1 1077944384 20808 0 0 0 288 4 0 0 20 0 28 0 511862286 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655160727920 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18063] ppid=18046 vsize=28968028 memory=1232 CPUtime=2.94 cores=0-7
/proc/18048/task/18063/stat : 18063 (java) S 18046 18046 16693 0 -1 1077944384 18985 0 0 0 291 3 0 0 20 0 28 0 511862286 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655159675120 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18064] ppid=18046 vsize=28968028 memory=10600 CPUtime=2.69 cores=0-7
/proc/18048/task/18064/stat : 18064 (java) S 18046 18046 16693 0 -1 1077944384 18277 0 0 0 265 4 0 0 20 0 28 0 511862286 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655158622320 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18065] ppid=18046 vsize=28968028 memory=1736 CPUtime=0.99 cores=0-7
/proc/18048/task/18065/stat : 18065 (java) S 18046 18046 16693 0 -1 1077944384 16356 0 0 0 96 3 0 0 20 0 28 0 511862286 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655040329712 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18066] ppid=18046 vsize=28968028 memory=6188 CPUtime=0 cores=0-7
/proc/18048/task/18066/stat : 18066 (java) S 18046 18046 16693 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511862286 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655039278176 139656920266453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18067] ppid=18046 vsize=28968028 memory=636 CPUtime=0.99 cores=0-7
/proc/18048/task/18067/stat : 18067 (java) S 18046 18046 16693 0 -1 1077944384 3655 0 0 0 55 44 0 0 20 0 28 0 511862287 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655038225456 139656920267394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18108] ppid=18046 vsize=28968028 memory=2836 CPUtime=2498.82 cores=0-7
/proc/18048/task/18108/stat : 18108 (java) R 18046 18046 16693 0 -1 4202560 18630 0 0 0 249860 22 0 0 20 0 28 0 511862633 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655028190288 139656522971696 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18109] ppid=18046 vsize=28968028 memory=1056 CPUtime=2506.21 cores=0-7
/proc/18048/task/18109/stat : 18109 (java) R 18046 18046 16693 0 -1 4202560 39821 0 0 0 250590 31 0 0 20 0 28 0 511862633 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655023982848 139656523505573 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18110] ppid=18046 vsize=28968028 memory=6791534058613427641 CPUtime=2498.63 cores=0-7
/proc/18048/task/18110/stat : 18110 (java) R 18046 18046 16693 0 -1 4202560 17072 0 0 0 249841 22 0 0 20 0 28 0 511862633 29663260672 300283 33554432000 4194304 4196468 140724779032352 139654714965960 139656523066931 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18111] ppid=18046 vsize=28968028 memory=6791534058613427641 CPUtime=2502.9 cores=0-7
/proc/18048/task/18111/stat : 18111 (java) R 18046 18046 16693 0 -1 4202560 33110 0 0 0 250253 37 0 0 20 0 28 0 511862633 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655029243456 139656522970245 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18112] ppid=18046 vsize=28968028 memory=4872558044660077418 CPUtime=2496.12 cores=0-7
/proc/18048/task/18112/stat : 18112 (java) R 18046 18046 16693 0 -1 4202560 19162 0 0 0 249585 27 0 0 20 0 28 0 511862633 29663260672 300283 33554432000 4194304 4196468 140724779032352 139654709710272 139656522073350 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18113] ppid=18046 vsize=28968028 memory=10600 CPUtime=2496.46 cores=0-7
/proc/18048/task/18113/stat : 18113 (java) R 18046 18046 16693 0 -1 4202560 15785 0 0 0 249623 23 0 0 20 0 28 0 511862633 29663260672 300283 33554432000 4194304 4196468 140724779032352 139654708657432 139656523610553 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18114] ppid=18046 vsize=28968028 memory=1736 CPUtime=2507.06 cores=0-7
/proc/18048/task/18114/stat : 18114 (java) R 18046 18046 16693 0 -1 4202560 16863 0 0 0 250686 20 0 0 20 0 28 0 511862633 29663260672 300283 33554432000 4194304 4196468 140724779032352 139654710763976 139656522971691 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
[pid=18048/tid=18115] ppid=18046 vsize=28968028 memory=6188 CPUtime=2494.94 cores=0-7
/proc/18048/task/18115/stat : 18115 (java) R 18046 18046 16693 0 -1 4202560 29850 0 0 0 249466 28 0 0 20 0 28 0 511862633 29663260672 300283 33554432000 4194304 4196468 140724779032352 139655027138360 139656522971864 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 17076224 140724779033558 140724779033734 140724779033734 140724779036623 0
Current children cumulated CPU time: 20062.2 s
Current children cumulated vsize: 29081156 KiB
Current children cumulated memory: 1202580 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.05 s]
# the end of solver process 18046 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001591 s, system=0.000795 s

[startup+2520.09 s]
# the end of solver process 18048 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20057.1 s, system=5.6477 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2520.09
CPU time (s): 20062.8
CPU user time (s): 20057.1
CPU system time (s): 5.6477
CPU usage (%): 796.112
Max. virtual memory (cumulated for all children) (KiB): 29081156
Max. memory (cumulated for all children) (KiB): 1694104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20057.1
system time used= 5.6477
maximum resident set size= 1694216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 588243
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 153291
involuntary context switches= 237135


# summary of solver processes directly reported to runsolver:
#   pid: 18046,18048
#   total CPU time (s): 20062.8
#   total CPU user time (s): 20057.1
#   total CPU system time (s): 5.6477

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.4186 second user time and 31.9944 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-24 22:14:52
IDJOB=4407162
IDBENCH=135901
IDSOLVER=2871
FILE ID=node136/4407162-1569356137
RUNJOBID= node136-1569350580-16720
PBS_JOBID= 21705095
Free space on /var/tmp= 13484 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n100/TravellingSalesman-100-50-02.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407162-1569356137/watcher-4407162-1569356137 -o /var/tmp/evaluation-result-4407162-1569356137/solver-4407162-1569356137 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569350580-16720 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 49521382 HOME/instance-4407162-1569356137.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 0e4189ad20205ae354a6aa8eb292dbdf
RANDOM SEED=49521382

node136.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.54
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.54
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.54
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26479124 kB
MemAvailable:   31840804 kB
Buffers:          150528 kB
Cached:          5335684 kB
SwapCached:         3556 kB
Active:          2734936 kB
Inactive:        2757420 kB
Active(anon):       3356 kB
Inactive(anon):    59704 kB
Active(file):    2731580 kB
Inactive(file):  2697716 kB
Unevictable:      108576 kB
Mlocked:          108576 kB
SwapTotal:      67108860 kB
SwapFree:       67002124 kB
Dirty:             26260 kB
Writeback:             0 kB
AnonPages:        110936 kB
Mapped:            57248 kB
Shmem:             48260 kB
Slab:             390484 kB
SReclaimable:     360844 kB
SUnreclaim:        29640 kB
KernelStack:        3584 kB
PageTables:         5420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     516264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 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 /var/tmp at the end= 13460 MiB
End job on node136 at 2019-09-24 22:56:52