Trace number 4271803

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 4.0.5 par (2017-08-09)SAT (TO)457 1940.5601 252.112

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n100/
TravellingSalesman-100-50-08.xml
MD5SUM8e11a97c7673f129a8c4890bd1c1105b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark443
Best CPU time to get the best result obtained on this benchmark240.02901
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints101
Number of domains2
Minimum domain size62
Maximum domain size100
Distribution of domain sizes[{"size":62,"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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271803-1502644944.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271803-1502644944.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
14.81/10.24	c solve instance...
19.94/10.94	o 522 
19.94/10.95	o 507 
19.94/10.97	o 505 
21.98/11.31	o 504 
21.98/11.36	o 503 
21.98/11.38	o 502 
22.58/11.41	o 501 
22.58/11.42	o 500 
24.08/11.64	o 466 
24.08/11.66	o 465 
24.08/11.70	o 464 
24.47/11.74	o 461 
24.47/11.77	o 457 
1939.83/252.08	s SATISFIABLE
1939.83/252.08	v <instantiation>
1939.83/252.08	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>
1939.83/252.08	v 	<values>51 56 45 44 39 34 31 30 14 18 26 25 24 29 23 28 22 13 9 7 4 1 5 0 2 3 6 8 10 11 17 21 27 15 12 16 20 19 32 35 36 47 49 53 42 37 33 43 48 50 54 55 62 66 60 59 65 68 61 64 67 71 63 58 52 46 40 41 81 86 90 91 95 82 79 83 75 72 92 96 97 99 87 93 94 98 88 80 76 73 77 89 85 84 78 74 70 69 38 57 8 4 3 2 3 3 2 7 9 3 1 1 2 4 4 3 5 6 3 1 7 10 40 5 10 2 3 4 3 2 2 4 5 1 1 12 2 7 1 1 7 1 2 6 6 6 5 3 1 1 1 5 2 7 1 9 2 4 4 1 2 4 4 4 3 2 1 18 6 4 9 2 7 1 3 2 5 15 5 2 1 4 2 1 1 3 9 3 4 9 6 5 2 4 2 2 2 16 8 4 </values>
1939.83/252.08	v </instantiation>
1939.83/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	457

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271803-1502644944/watcher-4271803-1502644944 -o /tmp/evaluation-result-4271803-1502644944/solver-4271803-1502644944 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502637253-8671 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 960186916 HOME/instance-4271803-1502644944.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Starting watchdog thread
solver pid=29578, runsolver pid=29575
Current StackSize limit: 8192 KiB


[startup+0.100134 s]*
/proc/loadavg: 7.54 8.13 6.92 2/199 29599
/proc/meminfo: memFree=31563580/32770624 swapFree=67108860/67108860
[pid=29578] ppid=29575 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29578/stat : 29578 (xcsp3-exec) S 29575 29578 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97582043 9740288 346 33554432000 4194304 5098028 140735748206448 140735748204552 139652266291836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32399360 140735748211819 140735748212028 140735748212028 140735748214763 0
/proc/29578/statm: 2378 346 289 221 0 87 0
[pid=29580] ppid=29578 vsize=25999808 memory=25612 CPUtime=0.11 cores=0-7
/proc/29580/stat : 29580 (java) S 29578 29578 8644 0 -1 1077944320 5322 0 0 0 10 1 0 0 20 0 20 0 97582043 26623803392 6403 33554432000 4194304 4196468 140728645891440 140728645873984 139829333020407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
/proc/29580/statm: 6499952 6403 2858 1 0 6488269 0
[pid=29580/tid=29581] ppid=29578 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/29580/task/29581/stat : 29581 (java) R 29578 29578 8644 0 -1 4202560 3289 0 0 0 8 1 0 0 20 0 20 0 97582043 26623803392 6403 33554432000 4194304 4196468 140728645891440 139829337253680 139829333032342 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29582] ppid=29578 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29582/stat : 29582 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582044 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828891003536 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29583] ppid=29578 vsize=25999808 memory=140202309838464 CPUtime=0 cores=0-7
/proc/29580/task/29583/stat : 29583 (java) S 29578 29578 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97582044 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828889950736 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29584] ppid=29578 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29584/stat : 29584 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582044 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828888897936 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29585] ppid=29578 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29585/stat : 29585 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582044 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828887845136 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29586] ppid=29578 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29586/stat : 29586 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582044 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828886793360 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29587] ppid=29578 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/29580/task/29587/stat : 29587 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582044 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828885740560 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29588] ppid=29578 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29588/stat : 29588 (java) S 29578 29578 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97582044 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828884687760 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29589] ppid=29578 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29589/stat : 29589 (java) S 29578 29578 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97582044 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828883634960 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29590] ppid=29578 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29590/stat : 29590 (java) S 29578 29578 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97582045 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828728850800 139829333031554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29591] ppid=29578 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29591/stat : 29591 (java) S 29578 29578 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97582046 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828727796768 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29592] ppid=29578 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29592/stat : 29592 (java) S 29578 29578 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97582046 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828726743920 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29593] ppid=29578 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29593/stat : 29593 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582048 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828725692240 139829333039003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29594] ppid=29578 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29594/stat : 29594 (java) S 29578 29578 8644 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 97582048 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828724640624 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29595] ppid=29578 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29595/stat : 29595 (java) S 29578 29578 8644 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 97582048 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828723587824 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29596] ppid=29578 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29596/stat : 29596 (java) S 29578 29578 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97582048 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828722535024 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29597] ppid=29578 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/29580/task/29597/stat : 29597 (java) S 29578 29578 8644 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 20 0 97582048 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828721482224 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29598] ppid=29578 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29598/stat : 29598 (java) S 29578 29578 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97582049 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828720429664 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29599] ppid=29578 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/29580/task/29599/stat : 29599 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582049 26623803392 6403 33554432000 4194304 4196468 140728645891440 139828719376944 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 26996 KiB

[startup+0.210607 s]*
/proc/loadavg: 7.54 8.13 6.92 2/199 29599
/proc/meminfo: memFree=31552136/32770624 swapFree=67108860/67108860
[pid=29578] ppid=29575 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29578/stat : 29578 (xcsp3-exec) S 29575 29578 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97582043 9740288 346 33554432000 4194304 5098028 140735748206448 140735748204552 139652266291836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32399360 140735748211819 140735748212028 140735748212028 140735748214763 0
/proc/29578/statm: 2378 346 289 221 0 87 0
[pid=29580] ppid=29578 vsize=26004064 memory=37824 CPUtime=0.33 cores=0-7
/proc/29580/stat : 29580 (java) S 29578 29578 8644 0 -1 1077944320 8054 0 0 0 31 2 0 0 20 0 20 0 97582043 26628161536 9456 33554432000 4194304 4196468 140728645891440 140728645873984 139829333020407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
/proc/29580/statm: 6501016 9456 3011 1 0 6488269 0
[pid=29580/tid=29581] ppid=29578 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/29580/task/29581/stat : 29581 (java) R 29578 29578 8644 0 -1 4202560 5007 0 0 0 18 2 0 0 20 0 20 0 97582043 26628161536 9456 33554432000 4194304 4196468 140728645891440 139829337232144 139829333043997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29582] ppid=29578 vsize=26004064 memory=328 CPUtime=0 cores=0-7
/proc/29580/task/29582/stat : 29582 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582044 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828891003536 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29583] ppid=29578 vsize=26004064 memory=140202309863628 CPUtime=0 cores=0-7
/proc/29580/task/29583/stat : 29583 (java) S 29578 29578 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97582044 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828889950736 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29584] ppid=29578 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29580/task/29584/stat : 29584 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582044 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828888897936 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29585] ppid=29578 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29585/stat : 29585 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582044 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828887845136 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29586] ppid=29578 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29586/stat : 29586 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582044 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828886793360 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29587] ppid=29578 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29580/task/29587/stat : 29587 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582044 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828885740560 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29588] ppid=29578 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29588/stat : 29588 (java) S 29578 29578 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97582044 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828884687760 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29589] ppid=29578 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29589/stat : 29589 (java) S 29578 29578 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97582044 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828883634960 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29590] ppid=29578 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29590/stat : 29590 (java) S 29578 29578 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97582045 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828728850800 139829333031554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29591] ppid=29578 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29591/stat : 29591 (java) S 29578 29578 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97582046 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828727796768 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29592] ppid=29578 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29592/stat : 29592 (java) S 29578 29578 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97582046 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828726743920 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29593] ppid=29578 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29593/stat : 29593 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582048 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828725692240 139829333039003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29594] ppid=29578 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/29580/task/29594/stat : 29594 (java) S 29578 29578 8644 0 -1 1077944384 523 0 0 0 1 0 0 0 20 0 20 0 97582048 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828724640624 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29595] ppid=29578 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29595/stat : 29595 (java) S 29578 29578 8644 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 20 0 97582048 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828723587824 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29596] ppid=29578 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/29580/task/29596/stat : 29596 (java) S 29578 29578 8644 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 20 0 97582048 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828722535024 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29597] ppid=29578 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/29580/task/29597/stat : 29597 (java) R 29578 29578 8644 0 -1 4202560 863 0 0 0 7 0 0 0 20 0 20 0 97582048 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828721482224 139829326117243 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29598] ppid=29578 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29598/stat : 29598 (java) S 29578 29578 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97582049 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828720429664 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29599] ppid=29578 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29580/task/29599/stat : 29599 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582049 26628161536 9456 33554432000 4194304 4196468 140728645891440 139828719376944 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39208 KiB

[startup+0.310453 s]*
/proc/loadavg: 7.54 8.13 6.92 2/199 29599
/proc/meminfo: memFree=31547428/32770624 swapFree=67108860/67108860
[pid=29578] ppid=29575 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29578/stat : 29578 (xcsp3-exec) S 29575 29578 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97582043 9740288 346 33554432000 4194304 5098028 140735748206448 140735748204552 139652266291836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32399360 140735748211819 140735748212028 140735748212028 140735748214763 0
/proc/29578/statm: 2378 346 289 221 0 87 0
[pid=29580] ppid=29578 vsize=26004064 memory=45280 CPUtime=0.5 cores=0-7
/proc/29580/stat : 29580 (java) S 29578 29578 8644 0 -1 1077944320 8949 0 0 0 47 3 0 0 20 0 20 0 97582043 26628161536 11320 33554432000 4194304 4196468 140728645891440 140728645873984 139829333020407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
/proc/29580/statm: 6501016 11320 3115 1 0 6488269 0
[pid=29580/tid=29581] ppid=29578 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/29580/task/29581/stat : 29581 (java) R 29578 29578 8644 0 -1 4202560 5674 0 0 0 27 2 0 0 20 0 20 0 97582043 26628161536 11320 33554432000 4194304 4196468 140728645891440 139829337247440 139829312430363 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29582] ppid=29578 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29582/stat : 29582 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582044 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828891003536 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29583] ppid=29578 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29583/stat : 29583 (java) S 29578 29578 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97582044 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828889950736 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29584] ppid=29578 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29584/stat : 29584 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582044 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828888897936 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29585] ppid=29578 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29585/stat : 29585 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582044 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828887845136 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29586] ppid=29578 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/29580/task/29586/stat : 29586 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582044 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828886793360 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29587] ppid=29578 vsize=26004064 memory=140202161042351 CPUtime=0 cores=0-7
/proc/29580/task/29587/stat : 29587 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582044 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828885740560 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29588] ppid=29578 vsize=26004064 memory=140202161044656 CPUtime=0 cores=0-7
/proc/29580/task/29588/stat : 29588 (java) S 29578 29578 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97582044 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828884687760 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29589] ppid=29578 vsize=26004064 memory=140202161046960 CPUtime=0 cores=0-7
/proc/29580/task/29589/stat : 29589 (java) S 29578 29578 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97582044 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828883634960 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29590] ppid=29578 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29590/stat : 29590 (java) S 29578 29578 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97582045 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828728850800 139829333031554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29591] ppid=29578 vsize=26004064 memory=280404322100880 CPUtime=0 cores=0-7
/proc/29580/task/29591/stat : 29591 (java) S 29578 29578 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97582046 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828727796768 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29592] ppid=29578 vsize=26004064 memory=280404322107792 CPUtime=0 cores=0-7
/proc/29580/task/29592/stat : 29592 (java) S 29578 29578 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97582046 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828726743920 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29593] ppid=29578 vsize=26004064 memory=280404322049072 CPUtime=0 cores=0-7
/proc/29580/task/29593/stat : 29593 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582048 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828725692240 139829333039003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29594] ppid=29578 vsize=26004064 memory=280404322121616 CPUtime=0.02 cores=0-7
/proc/29580/task/29594/stat : 29594 (java) S 29578 29578 8644 0 -1 1077944384 533 0 0 0 2 0 0 0 20 0 20 0 97582048 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828724640624 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29595] ppid=29578 vsize=26004064 memory=280404322128528 CPUtime=0.01 cores=0-7
/proc/29580/task/29595/stat : 29595 (java) S 29578 29578 8644 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 20 0 97582048 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828723587824 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29596] ppid=29578 vsize=26004064 memory=280404322126224 CPUtime=0.02 cores=0-7
/proc/29580/task/29596/stat : 29596 (java) S 29578 29578 8644 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 20 0 97582048 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828722535024 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29597] ppid=29578 vsize=26004064 memory=280404322142384 CPUtime=0.12 cores=0-7
/proc/29580/task/29597/stat : 29597 (java) R 29578 29578 8644 0 -1 4202560 1006 0 0 0 12 0 0 0 20 0 20 0 97582048 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828721482224 139829312140261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29598] ppid=29578 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29598/stat : 29598 (java) S 29578 29578 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97582049 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828720429664 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29599] ppid=29578 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29580/task/29599/stat : 29599 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582049 26628161536 11320 33554432000 4194304 4196468 140728645891440 139828719376944 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46664 KiB

[startup+0.701011 s]
/proc/loadavg: 7.54 8.13 6.92 2/199 29599
/proc/meminfo: memFree=31521808/32770624 swapFree=67108860/67108860
[pid=29578] ppid=29575 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29578/stat : 29578 (xcsp3-exec) S 29575 29578 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97582043 9740288 346 33554432000 4194304 5098028 140735748206448 140735748204552 139652266291836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32399360 140735748211819 140735748212028 140735748212028 140735748214763 0
/proc/29578/statm: 2378 346 289 221 0 87 0
[pid=29580] ppid=29578 vsize=26006188 memory=79588 CPUtime=1.52 cores=0-7
/proc/29580/stat : 29580 (java) S 29578 29578 8644 0 -1 1077944320 12460 0 0 0 147 5 0 0 20 0 20 0 97582043 26630336512 19897 33554432000 4194304 4196468 140728645891440 140728645873984 139829333020407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
/proc/29580/statm: 6501547 19897 3187 1 0 6488781 0
[pid=29580/tid=29581] ppid=29578 vsize=26006188 memory=280404322500272 CPUtime=0.67 cores=0-7
/proc/29580/task/29581/stat : 29581 (java) R 29578 29578 8644 0 -1 4202560 6127 0 0 0 64 3 0 0 20 0 20 0 97582043 26630336512 19897 33554432000 4194304 4196468 140728645891440 139829337258832 139828973691658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29582] ppid=29578 vsize=26006188 memory=140202161251184 CPUtime=0 cores=0-7
/proc/29580/task/29582/stat : 29582 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97582044 26630336512 19897 33554432000 4194304 4196468 140728645891440 139828891003536 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29583] ppid=29578 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/29580/task/29583/stat : 29583 (java) S 29578 29578 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97582044 26630336512 19897 33554432000 4194304 4196468 140728645891440 139828889950736 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29584] ppid=29578 vsize=26006188 memory=4612 CPUtime=0 cores=0-7

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

[pid=29580/tid=29710] ppid=29578 vsize=26672856 memory=1475804 CPUtime=149.61 cores=0-7
/proc/29580/task/29710/stat : 29710 (java) R 29578 29578 8644 0 -1 4202560 6071 0 0 0 14957 4 0 0 20 0 28 0 97583220 27313004544 368951 33554432000 4194304 4196468 140728645891440 139828709261240 139828976683824 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
Current children cumulated CPU time: 1224.38 s
Current children cumulated vsize: 26682368 KiB
Current children cumulated memory: 1477188 KiB

[startup+222.302 s]
/proc/loadavg: 8.40 8.22 7.20 9/208 29718
/proc/meminfo: memFree=30103848/32770624 swapFree=67108860/67108860
[pid=29578] ppid=29575 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29578/stat : 29578 (xcsp3-exec) S 29575 29578 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97582043 9740288 346 33554432000 4194304 5098028 140735748206448 140735748204552 139652266291836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32399360 140735748211819 140735748212028 140735748212028 140735748214763 0
/proc/29578/statm: 2378 346 289 221 0 87 0
[pid=29580] ppid=29578 vsize=26672856 memory=1487592 CPUtime=1702.89 cores=0-7
/proc/29580/stat : 29580 (java) S 29578 29578 8644 0 -1 1077944320 134153 0 0 0 170051 238 0 0 20 0 28 0 97582043 27313004544 371898 33554432000 4194304 4196468 140728645891440 140728645873984 139829333020407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
/proc/29580/statm: 6668214 371898 3299 1 0 6655448 0
[pid=29580/tid=29581] ppid=29578 vsize=26672856 memory=1487500 CPUtime=9.71 cores=0-7
/proc/29580/task/29581/stat : 29581 (java) S 29578 29578 8644 0 -1 1077944384 10248 0 0 0 964 7 0 0 20 0 28 0 97582043 27313004544 371898 33554432000 4194304 4196468 140728645891440 139829337261184 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29582] ppid=29578 vsize=26672856 memory=1487572 CPUtime=0.57 cores=0-7
/proc/29580/task/29582/stat : 29582 (java) S 29578 29578 8644 0 -1 1077944384 2950 0 0 0 39 18 0 0 20 0 28 0 97582044 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828891003536 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29583] ppid=29578 vsize=26672856 memory=1384 CPUtime=0.59 cores=0-7
/proc/29580/task/29583/stat : 29583 (java) S 29578 29578 8644 0 -1 1077944384 2096 0 0 0 40 19 0 0 20 0 28 0 97582044 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828889950736 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29584] ppid=29578 vsize=26672856 memory=1487500 CPUtime=0.58 cores=0-7
/proc/29580/task/29584/stat : 29584 (java) S 29578 29578 8644 0 -1 1077944384 2746 0 0 0 39 19 0 0 20 0 28 0 97582044 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828888897936 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29585] ppid=29578 vsize=26672856 memory=68 CPUtime=0.57 cores=0-7
/proc/29580/task/29585/stat : 29585 (java) S 29578 29578 8644 0 -1 1077944384 3083 0 0 0 38 19 0 0 20 0 28 0 97582044 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828887845136 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29586] ppid=29578 vsize=26672856 memory=1712 CPUtime=0.58 cores=0-7
/proc/29580/task/29586/stat : 29586 (java) S 29578 29578 8644 0 -1 1077944384 2385 0 0 0 38 20 0 0 20 0 28 0 97582044 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828886793360 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29587] ppid=29578 vsize=26672856 memory=4612 CPUtime=0.58 cores=0-7
/proc/29580/task/29587/stat : 29587 (java) S 29578 29578 8644 0 -1 1077944384 2714 0 0 0 38 20 0 0 20 0 28 0 97582044 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828885740560 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29588] ppid=29578 vsize=26672856 memory=1487500 CPUtime=0.58 cores=0-7
/proc/29580/task/29588/stat : 29588 (java) S 29578 29578 8644 0 -1 1077944384 2202 0 0 0 40 18 0 0 20 0 28 0 97582044 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828884687760 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29589] ppid=29578 vsize=26672856 memory=1384 CPUtime=0.56 cores=0-7
/proc/29580/task/29589/stat : 29589 (java) S 29578 29578 8644 0 -1 1077944384 1493 0 0 0 39 17 0 0 20 0 28 0 97582044 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828883634960 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29590] ppid=29578 vsize=26672856 memory=1479868 CPUtime=0.17 cores=0-7
/proc/29580/task/29590/stat : 29590 (java) S 29578 29578 8644 0 -1 1077944384 6010 0 0 0 15 2 0 0 20 0 28 0 97582045 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828728850800 139829333031554 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29591] ppid=29578 vsize=26672856 memory=1479880 CPUtime=0 cores=0-7
/proc/29580/task/29591/stat : 29591 (java) S 29578 29578 8644 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 97582046 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828727796832 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29592] ppid=29578 vsize=26672856 memory=1487500 CPUtime=0 cores=0-7
/proc/29580/task/29592/stat : 29592 (java) S 29578 29578 8644 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 97582046 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828726743936 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29593] ppid=29578 vsize=26672856 memory=280404323370272 CPUtime=0 cores=0-7
/proc/29580/task/29593/stat : 29593 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97582048 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828725692240 139829333039003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29594] ppid=29578 vsize=26672856 memory=4676 CPUtime=2.36 cores=0-7
/proc/29580/task/29594/stat : 29594 (java) S 29578 29578 8644 0 -1 1077944384 16494 0 0 0 233 3 0 0 20 0 28 0 97582048 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828724640624 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29595] ppid=29578 vsize=26672856 memory=4096 CPUtime=2.24 cores=0-7
/proc/29580/task/29595/stat : 29595 (java) S 29578 29578 8644 0 -1 1077944384 16960 0 0 0 221 3 0 0 20 0 28 0 97582048 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828723587824 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29596] ppid=29578 vsize=26672856 memory=1692 CPUtime=2.35 cores=0-7
/proc/29580/task/29596/stat : 29596 (java) S 29578 29578 8644 0 -1 1077944384 16545 0 0 0 233 2 0 0 20 0 28 0 97582048 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828722535024 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29597] ppid=29578 vsize=26672856 memory=916 CPUtime=0.88 cores=0-7
/proc/29580/task/29597/stat : 29597 (java) S 29578 29578 8644 0 -1 1077944384 12412 0 0 0 85 3 0 0 20 0 28 0 97582048 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828721482224 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29598] ppid=29578 vsize=26672856 memory=16236 CPUtime=0 cores=0-7
/proc/29580/task/29598/stat : 29598 (java) S 29578 29578 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97582049 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828720429664 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29599] ppid=29578 vsize=26672856 memory=1796 CPUtime=0.09 cores=0-7
/proc/29580/task/29599/stat : 29599 (java) S 29578 29578 8644 0 -1 1077944384 760 0 0 0 7 2 0 0 20 0 28 0 97582049 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828719376944 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29703] ppid=29578 vsize=26672856 memory=4100 CPUtime=209.65 cores=0-7
/proc/29580/task/29703/stat : 29703 (java) R 29578 29578 8644 0 -1 4202560 2759 0 0 0 20958 7 0 0 20 0 28 0 97583220 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828703996616 139828976294508 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29704] ppid=29578 vsize=26672856 memory=28012 CPUtime=208.58 cores=0-7
/proc/29580/task/29704/stat : 29704 (java) R 29578 29578 8644 0 -1 4202560 2815 0 0 0 20853 5 0 0 20 0 28 0 97583220 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828707155944 139828976294330 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29705] ppid=29578 vsize=26672856 memory=1292 CPUtime=209.58 cores=0-7
/proc/29580/task/29705/stat : 29705 (java) R 29578 29578 8644 0 -1 4202560 3028 0 0 0 20950 8 0 0 20 0 28 0 97583220 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828632997512 139828976294138 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29706] ppid=29578 vsize=26672856 memory=1384 CPUtime=208.82 cores=0-7
/proc/29580/task/29706/stat : 29706 (java) R 29578 29578 8644 0 -1 4202560 4559 0 0 0 20871 11 0 0 20 0 28 0 97583220 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828701893048 139828976282212 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29707] ppid=29578 vsize=26672856 memory=1492120 CPUtime=209.91 cores=0-7
/proc/29580/task/29707/stat : 29707 (java) R 29578 29578 8644 0 -1 4202560 5032 0 0 0 20981 10 0 0 20 0 28 0 97583220 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828705053296 139828976294090 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29708] ppid=29578 vsize=26672856 memory=1384 CPUtime=208.28 cores=0-7
/proc/29580/task/29708/stat : 29708 (java) R 29578 29578 8644 0 -1 4202560 1618 0 0 0 20824 4 0 0 20 0 28 0 97583220 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828711366840 139828976294330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29709] ppid=29578 vsize=26672856 memory=1384 CPUtime=208.86 cores=0-7
/proc/29580/task/29709/stat : 29709 (java) R 29578 29578 8644 0 -1 4202560 4828 0 0 0 20880 6 0 0 20 0 28 0 97583220 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828706102632 139828977061200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29710] ppid=29578 vsize=26672856 memory=1487500 CPUtime=209.54 cores=0-7
/proc/29580/task/29710/stat : 29710 (java) R 29578 29578 8644 0 -1 4202560 6816 0 0 0 20949 5 0 0 20 0 28 0 97583220 27313004544 371898 33554432000 4194304 4196468 140728645891440 139828709261136 139828976294330 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
Current children cumulated CPU time: 1702.89 s
Current children cumulated vsize: 26682368 KiB
Current children cumulated memory: 1488976 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.24 8.20 7.22 9/208 29718
/proc/meminfo: memFree=30115220/32770624 swapFree=67108860/67108860
[pid=29578] ppid=29575 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29578/stat : 29578 (xcsp3-exec) S 29575 29578 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97582043 9740288 346 33554432000 4194304 5098028 140735748206448 140735748204552 139652266291836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32399360 140735748211819 140735748212028 140735748212028 140735748214763 0
/proc/29578/statm: 2378 346 289 221 0 87 0
[pid=29580] ppid=29578 vsize=26672856 memory=1475284 CPUtime=1939.83 cores=0-7
/proc/29580/stat : 29580 (java) S 29578 29578 8644 0 -1 1077944320 140278 0 0 0 193742 241 0 0 20 0 28 0 97582043 27313004544 368821 33554432000 4194304 4196468 140728645891440 140728645873984 139829333020407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
/proc/29580/statm: 6668214 368821 3299 1 0 6655448 0
[pid=29580/tid=29581] ppid=29578 vsize=26672856 memory=4052 CPUtime=9.71 cores=0-7
/proc/29580/task/29581/stat : 29581 (java) S 29578 29578 8644 0 -1 1077944384 10248 0 0 0 964 7 0 0 20 0 28 0 97582043 27313004544 368821 33554432000 4194304 4196468 140728645891440 139829337261184 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29582] ppid=29578 vsize=26672856 memory=16236 CPUtime=0.58 cores=0-7
/proc/29580/task/29582/stat : 29582 (java) S 29578 29578 8644 0 -1 1077944384 3096 0 0 0 40 18 0 0 20 0 28 0 97582044 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828891003536 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29583] ppid=29578 vsize=26672856 memory=1796 CPUtime=0.6 cores=0-7
/proc/29580/task/29583/stat : 29583 (java) S 29578 29578 8644 0 -1 1077944384 2318 0 0 0 41 19 0 0 20 0 28 0 97582044 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828889950736 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29584] ppid=29578 vsize=26672856 memory=4126316290023845779 CPUtime=0.59 cores=0-7
/proc/29580/task/29584/stat : 29584 (java) S 29578 29578 8644 0 -1 1077944384 3021 0 0 0 40 19 0 0 20 0 28 0 97582044 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828888897936 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29585] ppid=29578 vsize=26672856 memory=5792 CPUtime=0.58 cores=0-7
/proc/29580/task/29585/stat : 29585 (java) S 29578 29578 8644 0 -1 1077944384 3155 0 0 0 39 19 0 0 20 0 28 0 97582044 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828887845136 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29586] ppid=29578 vsize=26672856 memory=1224 CPUtime=0.59 cores=0-7
/proc/29580/task/29586/stat : 29586 (java) S 29578 29578 8644 0 -1 1077944384 2410 0 0 0 39 20 0 0 20 0 28 0 97582044 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828886793360 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29587] ppid=29578 vsize=26672856 memory=8560 CPUtime=0.59 cores=0-7
/proc/29580/task/29587/stat : 29587 (java) S 29578 29578 8644 0 -1 1077944384 3009 0 0 0 39 20 0 0 20 0 28 0 97582044 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828885740560 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29588] ppid=29578 vsize=26672856 memory=1712 CPUtime=0.59 cores=0-7
/proc/29580/task/29588/stat : 29588 (java) S 29578 29578 8644 0 -1 1077944384 2471 0 0 0 41 18 0 0 20 0 28 0 97582044 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828884687760 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29589] ppid=29578 vsize=26672856 memory=4612 CPUtime=0.57 cores=0-7
/proc/29580/task/29589/stat : 29589 (java) S 29578 29578 8644 0 -1 1077944384 1761 0 0 0 40 17 0 0 20 0 28 0 97582044 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828883634960 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29590] ppid=29578 vsize=26672856 memory=1004 CPUtime=0.18 cores=0-7
/proc/29580/task/29590/stat : 29590 (java) S 29578 29578 8644 0 -1 1077944384 6342 0 0 0 16 2 0 0 20 0 28 0 97582045 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828728850800 139829333031554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29591] ppid=29578 vsize=26672856 memory=1200 CPUtime=0 cores=0-7
/proc/29580/task/29591/stat : 29591 (java) S 29578 29578 8644 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 97582046 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828727796832 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29592] ppid=29578 vsize=26672856 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/29580/task/29592/stat : 29592 (java) S 29578 29578 8644 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 97582046 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828726743936 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29593] ppid=29578 vsize=26672856 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/29580/task/29593/stat : 29593 (java) S 29578 29578 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97582048 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828725692240 139829333039003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29594] ppid=29578 vsize=26672856 memory=15825482151102897 CPUtime=2.37 cores=0-7
/proc/29580/task/29594/stat : 29594 (java) S 29578 29578 8644 0 -1 1077944384 17416 0 0 0 234 3 0 0 20 0 28 0 97582048 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828724640624 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29595] ppid=29578 vsize=26672856 memory=15872 CPUtime=2.24 cores=0-7
/proc/29580/task/29595/stat : 29595 (java) S 29578 29578 8644 0 -1 1077944384 16965 0 0 0 221 3 0 0 20 0 28 0 97582048 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828723587824 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29596] ppid=29578 vsize=26672856 memory=15832 CPUtime=2.35 cores=0-7
/proc/29580/task/29596/stat : 29596 (java) S 29578 29578 8644 0 -1 1077944384 16550 0 0 0 233 2 0 0 20 0 28 0 97582048 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828722535024 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29597] ppid=29578 vsize=26672856 memory=4052 CPUtime=0.88 cores=0-7
/proc/29580/task/29597/stat : 29597 (java) S 29578 29578 8644 0 -1 1077944384 12773 0 0 0 85 3 0 0 20 0 28 0 97582048 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828721482224 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29598] ppid=29578 vsize=26672856 memory=16236 CPUtime=0 cores=0-7
/proc/29580/task/29598/stat : 29598 (java) S 29578 29578 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97582049 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828720429664 139829333030613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29599] ppid=29578 vsize=26672856 memory=1796 CPUtime=0.1 cores=0-7
/proc/29580/task/29599/stat : 29599 (java) S 29578 29578 8644 0 -1 1077944384 930 0 0 0 8 2 0 0 20 0 28 0 97582049 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828719376944 139829333031554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29703] ppid=29578 vsize=26672856 memory=644 CPUtime=239.33 cores=0-7
/proc/29580/task/29703/stat : 29703 (java) R 29578 29578 8644 0 -1 4202560 2965 0 0 0 23926 7 0 0 20 0 28 0 97583220 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828703996448 139828976294287 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29704] ppid=29578 vsize=26672856 memory=960 CPUtime=238.06 cores=0-7
/proc/29580/task/29704/stat : 29704 (java) R 29578 29578 8644 0 -1 4202560 2983 0 0 0 23801 5 0 0 20 0 28 0 97583220 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828707155640 139828976294310 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29705] ppid=29578 vsize=26672856 memory=4388 CPUtime=239.26 cores=0-7
/proc/29580/task/29705/stat : 29705 (java) R 29578 29578 8644 0 -1 4202560 3342 0 0 0 23918 8 0 0 20 0 28 0 97583220 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828632997976 139828976294310 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29706] ppid=29578 vsize=26672856 memory=1236 CPUtime=238.47 cores=0-7
/proc/29580/task/29706/stat : 29706 (java) R 29578 29578 8644 0 -1 4202560 4758 0 0 0 23836 11 0 0 20 0 28 0 97583220 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828701895408 139828976576047 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29707] ppid=29578 vsize=26672856 memory=932 CPUtime=239.59 cores=0-7
/proc/29580/task/29707/stat : 29707 (java) R 29578 29578 8644 0 -1 4202560 5525 0 0 0 23948 11 0 0 20 0 28 0 97583220 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828705051080 139828977331008 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29708] ppid=29578 vsize=26672856 memory=1568 CPUtime=237.56 cores=0-7
/proc/29580/task/29708/stat : 29708 (java) R 29578 29578 8644 0 -1 4202560 1749 0 0 0 23752 4 0 0 20 0 28 0 97583220 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828711367144 139828976294310 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29709] ppid=29578 vsize=26672856 memory=2240 CPUtime=238.54 cores=0-7
/proc/29580/task/29709/stat : 29709 (java) R 29578 29578 8644 0 -1 4202560 5555 0 0 0 23847 7 0 0 20 0 28 0 97583220 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828706105384 139828976294310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
[pid=29580/tid=29710] ppid=29578 vsize=26672856 memory=4124 CPUtime=239.23 cores=0-7
/proc/29580/task/29710/stat : 29710 (java) R 29578 29578 8644 0 -1 4202560 7336 0 0 0 23918 5 0 0 20 0 28 0 97583220 27313004544 368821 33554432000 4194304 4196468 140728645891440 139828709261544 139828976294330 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 7696384 140728645895320 140728645895496 140728645895496 140728645898191 0
Current children cumulated CPU time: 1939.83 s
Current children cumulated vsize: 26682368 KiB
Current children cumulated memory: 1476668 KiB

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

[startup+252.042 s]
# the end of solver process 29578 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000936 s, system=0.000936 s

[startup+252.112 s]
# the end of solver process 29580 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1938.13 s, system=2.42682 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): 252.112
CPU time (s): 1940.56
CPU user time (s): 1938.13
CPU system time (s): 2.42682
CPU usage (%): 769.72
Max. virtual memory (cumulated for all children) (KiB): 26682368
Max. memory (cumulated for all children) (KiB): 1493504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1938.13
system time used= 2.42681
maximum resident set size= 1492124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141402
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14720
involuntary context switches= 21093


# summary of solver processes directly reported to runsolver:
#   pid: 29578,29580
#   total CPU time (s): 1940.56
#   total CPU user time (s): 1938.13
#   total CPU system time (s): 2.42682

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.13575 second user time and 3.17731 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-13 19:08:06
IDJOB=4271803
IDBENCH=135903
IDSOLVER=2663
FILE ID=node113/4271803-1502644944
RUNJOBID= node113-1502637253-8671
PBS_JOBID= 20628327
Free space on /tmp= 61788 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n100/TravellingSalesman-100-50-08.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271803-1502644944/watcher-4271803-1502644944 -o /tmp/evaluation-result-4271803-1502644944/solver-4271803-1502644944 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502637253-8671 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 960186916 HOME/instance-4271803-1502644944.xml

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

MD5SUM BENCH= 8e11a97c7673f129a8c4890bd1c1105b
RANDOM SEED=960186916

node113.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.89
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.89
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.89
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.89
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:        31578476 kB
MemAvailable:   31985188 kB
Buffers:          123508 kB
Cached:           569528 kB
SwapCached:            0 kB
Active:           572336 kB
Inactive:         175976 kB
Active(anon):       5164 kB
Inactive(anon):    77700 kB
Active(file):     567172 kB
Inactive(file):    98276 kB
Unevictable:        6572 kB
Mlocked:            6572 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7960 kB
Writeback:             0 kB
AnonPages:         75920 kB
Mapped:            43212 kB
Shmem:             25224 kB
Slab:             140088 kB
SReclaimable:     114196 kB
SUnreclaim:        25892 kB
KernelStack:        3520 kB
PageTables:         4788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61780 MiB
End job on node113 at 2017-08-13 19:12:18