Trace number 4272437

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 5a (2017-07-26)SAT 91.730202 78.110298

General information on the benchmark

NameKnightTour/KnightTour-ext-s1/
KnightTour-10-ext06.xml
MD5SUMfdf6f730d724673eeb55be8d6417f725
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark19.8256
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints22
Number of domains1
Minimum domain size100
Maximum domain size100
Distribution of domain sizes[{"size":100,"count":100}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":98},{"degree":3,"count":2}]
Minimum constraint arity2
Maximum constraint arity100
Distribution of constraint arities[{"arity":2,"count":1},{"arity":6,"count":20},{"arity":100,"count":1}]
Number of extensional constraints20
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":20},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.11	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272437-1502816512.xml"  -tl '2520s' -p 1 -x 3
0.18/0.42	c [HOME/instance-4272437-1502816512.xml, -tl, 2520s, -p, 1, -x, 3]
0.18/0.48	c simple solver
0.36/0.55	c parse instance...
46.35/40.29	c solve instance...
91.60/78.06	s SATISFIABLE
91.60/78.06	v <instantiation>
91.60/78.06	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] </list>
91.60/78.06	v 	<values>0 12 4 16 8 27 35 43 31 50 42 30 51 63 55 74 93 85 97 89 77 69 88 96 84 92 71 90 82 70 91 83 62 81 73 61 80 72 60 41 53 34 46 38 19 7 15 23 11 3 22 10 2 14 6 18 26 5 17 9 28 36 24 45 33 25 37 29 48 56 44 65 57 49 68 47 39 58 66 54 75 94 86 98 79 67 59 78 99 87 95 76 64 52 40 32 20 1 13 21 </values>
91.60/78.06	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14448 MiB free)
  memory of node 1: 16384 MiB (15326 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272437-1502816512/watcher-4272437-1502816512 -o /tmp/evaluation-result-4272437-1502816512/solver-4272437-1502816512 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1566331361 HOME/instance-4272437-1502816512.xml 

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

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

solver pid=8363, runsolver pid=8360

[startup+0.100136 s]*
/proc/loadavg: 1.92 1.80 1.75 2/196 8364
/proc/meminfo: memFree=30482544/32770624 swapFree=67108860/67108860
[pid=8363] ppid=8360 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/8363/stat : 8363 (runsolver) D 8360 8363 897 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 83871836 34791424 113 18446744073709551615 4194304 4346622 140724947950080 140724947946712 139651909051095 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6446216 6449568 18354176 140724947951670 140724947952164 140724947952164 140724947955658 0
/proc/8363/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.35796 s]*
/proc/loadavg: 1.92 1.80 1.75 3/211 8379
/proc/meminfo: memFree=30475996/32770624 swapFree=67108860/67108860
[pid=8363] ppid=8360 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8363/stat : 8363 (xcsp3-exec) S 8360 8363 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 83871836 9740288 345 18446744073709551615 4194304 5098028 140731171393488 140731171391592 139893217399420 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 11636736 140731171398008 140731171398213 140731171398213 140731171401707 0
/proc/8363/statm: 2378 345 289 221 0 87 0
[pid=8365] ppid=8363 vsize=13974352 memory=27876 CPUtime=0.08 cores=1,3,5,7
/proc/8365/stat : 8365 (java) S 8363 8363 897 0 -1 1077944320 4868 0 0 0 7 1 0 0 20 0 15 0 83871847 14309736448 6969 18446744073709551615 4194304 4196468 140734241392576 140734241375120 139946162794231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
/proc/8365/statm: 3493588 6969 2727 1 0 3482964 0
[pid=8365/tid=8366] ppid=8363 vsize=13974352 memory=8389772277269004345 CPUtime=0.06 cores=1,3,5,7
/proc/8365/task/8366/stat : 8366 (java) R 8363 8363 897 0 -1 4202560 3034 0 0 0 6 0 0 0 20 0 15 0 83871848 14309736448 6969 18446744073709551615 4194304 4196468 140734241392576 139946167019920 139946162806166 0 4 1 16800974 0 0 0 -1 1 0 0 17 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8367] ppid=8363 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8367/stat : 8367 (java) S 8363 8363 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83871862 14309736448 6969 18446744073709551615 4194304 4196468 140734241392576 139946082208272 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8368] ppid=8363 vsize=13974352 memory=139651912570177 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8368/stat : 8368 (java) S 8363 8363 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83871862 14309736448 6969 18446744073709551615 4194304 4196468 140734241392576 139946081155728 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8369] ppid=8363 vsize=13974352 memory=139651912001152 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8369/stat : 8369 (java) S 8363 8363 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83871862 14309736448 6969 18446744073709551615 4194304 4196468 140734241392576 139946080102672 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8370] ppid=8363 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8370/stat : 8370 (java) S 8363 8363 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83871862 14309736448 6969 18446744073709551615 4194304 4196468 140734241392576 139946079050128 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8371] ppid=8363 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8371/stat : 8371 (java) S 8363 8363 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83871864 14309736448 6969 18446744073709551615 4194304 4196468 140734241392576 139945640966896 139946162805378 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8372] ppid=8363 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8372/stat : 8372 (java) S 8363 8363 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 83871864 14309736448 6969 18446744073709551615 4194304 4196468 140734241392576 139945639913120 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8373] ppid=8363 vsize=13974352 memory=139651912001152 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8373/stat : 8373 (java) S 8363 8363 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 83871864 14309736448 6969 18446744073709551615 4194304 4196468 140734241392576 139945638860016 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8374] ppid=8363 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8374/stat : 8374 (java) S 8363 8363 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83871867 14309736448 6969 18446744073709551615 4194304 4196468 140734241392576 139945637808592 139946162812827 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8375] ppid=8363 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8375/stat : 8375 (java) S 8363 8363 897 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 83871867 14309736448 6969 18446744073709551615 4194304 4196468 140734241392576 139945636755696 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8376] ppid=8363 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8376/stat : 8376 (java) S 8363 8363 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83871867 14309736448 6969 18446744073709551615 4194304 4196468 140734241392576 139945635703152 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8377] ppid=8363 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8377/stat : 8377 (java) R 8363 8363 897 0 -1 4202560 235 0 0 0 0 0 0 0 20 0 15 0 83871867 14309736448 6969 18446744073709551615 4194304 4196468 140734241392576 139945634650096 139946162806166 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8378] ppid=8363 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8378/stat : 8378 (java) S 8363 8363 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83871867 14309736448 6969 18446744073709551615 4194304 4196468 140734241392576 139945633597792 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8379] ppid=8363 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8379/stat : 8379 (java) S 8363 8363 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83871871 14309736448 6969 18446744073709551615 4194304 4196468 140734241392576 139945632545840 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29256 KiB

[startup+0.410226 s]*
/proc/loadavg: 1.92 1.80 1.75 5/211 8379
/proc/meminfo: memFree=30469916/32770624 swapFree=67108860/67108860
[pid=8363] ppid=8360 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8363/stat : 8363 (xcsp3-exec) S 8360 8363 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 83871836 9740288 345 18446744073709551615 4194304 5098028 140731171393488 140731171391592 139893217399420 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 11636736 140731171398008 140731171398213 140731171398213 140731171401707 0
/proc/8363/statm: 2378 345 289 221 0 87 0
[pid=8365] ppid=8363 vsize=13974352 memory=31556 CPUtime=0.18 cores=1,3,5,7
/proc/8365/stat : 8365 (java) S 8363 8363 897 0 -1 1077944320 5826 0 0 0 17 1 0 0 20 0 15 0 83871847 14309736448 7889 18446744073709551615 4194304 4196468 140734241392576 140734241375120 139946162794231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
/proc/8365/statm: 3493588 7889 2943 1 0 3482964 0
[pid=8365/tid=8366] ppid=8363 vsize=13974352 memory=-8774313645642428999 CPUtime=0.11 cores=1,3,5,7
/proc/8365/task/8366/stat : 8366 (java) R 8363 8363 897 0 -1 4202560 3171 0 0 0 11 0 0 0 20 0 15 0 83871848 14309736448 7889 18446744073709551615 4194304 4196468 140734241392576 139946167024384 139945756160713 0 4 1 16800974 0 0 0 -1 1 0 0 17 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8367] ppid=8363 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8367/stat : 8367 (java) S 8363 8363 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83871862 14309736448 7889 18446744073709551615 4194304 4196468 140734241392576 139946082208272 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8368] ppid=8363 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8368/stat : 8368 (java) S 8363 8363 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83871862 14309736448 7889 18446744073709551615 4194304 4196468 140734241392576 139946081155728 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8369] ppid=8363 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8369/stat : 8369 (java) S 8363 8363 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83871862 14309736448 7889 18446744073709551615 4194304 4196468 140734241392576 139946080102672 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8370] ppid=8363 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8370/stat : 8370 (java) S 8363 8363 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83871862 14309736448 7889 18446744073709551615 4194304 4196468 140734241392576 139946079050128 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8371] ppid=8363 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8371/stat : 8371 (java) S 8363 8363 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 83871864 14309736448 7889 18446744073709551615 4194304 4196468 140734241392576 139945640966896 139946162805378 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8372] ppid=8363 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8372/stat : 8372 (java) S 8363 8363 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 83871864 14309736448 7889 18446744073709551615 4194304 4196468 140734241392576 139945639913120 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8373] ppid=8363 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8373/stat : 8373 (java) S 8363 8363 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 83871864 14309736448 7889 18446744073709551615 4194304 4196468 140734241392576 139945638860016 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8374] ppid=8363 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8374/stat : 8374 (java) S 8363 8363 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83871867 14309736448 7889 18446744073709551615 4194304 4196468 140734241392576 139945637808592 139946162812827 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8375] ppid=8363 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8375/stat : 8375 (java) R 8363 8363 897 0 -1 1077944384 469 0 0 0 0 0 0 0 20 0 15 0 83871867 14309736448 7889 18446744073709551615 4194304 4196468 140734241392576 139945636755792 139946162804437 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8376] ppid=8363 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8365/task/8376/stat : 8376 (java) S 8363 8363 897 0 -1 1077944384 191 0 0 0 1 0 0 0 20 0 15 0 83871867 14309736448 7889 18446744073709551615 4194304 4196468 140734241392576 139945635703152 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8377] ppid=8363 vsize=13974352 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8365/task/8377/stat : 8377 (java) R 8363 8363 897 0 -1 4202560 692 0 0 0 4 0 0 0 20 0 15 0 83871867 14309736448 7889 18446744073709551615 4194304 4196468 140734241392576 139945634647032 139946155031358 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8378] ppid=8363 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8378/stat : 8378 (java) S 8363 8363 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83871867 14309736448 7889 18446744073709551615 4194304 4196468 140734241392576 139945633597792 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8379] ppid=8363 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8379/stat : 8379 (java) S 8363 8363 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83871871 14309736448 7889 18446744073709551615 4194304 4196468 140734241392576 139945632545840 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32936 KiB

[startup+0.710234 s]
/proc/loadavg: 1.92 1.80 1.75 5/211 8379
/proc/meminfo: memFree=30453796/32770624 swapFree=67108860/67108860
[pid=8363] ppid=8360 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8363/stat : 8363 (xcsp3-exec) S 8360 8363 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 83871836 9740288 345 18446744073709551615 4194304 5098028 140731171393488 140731171391592 139893217399420 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 11636736 140731171398008 140731171398213 140731171398213 140731171401707 0
/proc/8363/statm: 2378 345 289 221 0 87 0
[pid=8365] ppid=8363 vsize=13978684 memory=151448 CPUtime=0.68 cores=1,3,5,7
/proc/8365/stat : 8365 (java) S 8363 8363 897 0 -1 1077944320 10567 0 0 0 63 5 0 0 20 0 15 0 83871847 14314172416 37862 18446744073709551615 4194304 4196468 140734241392576 140734241375120 139946162794231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
/proc/8365/statm: 3494671 37862 3120 1 0 3482964 0
[pid=8365/tid=8366] ppid=8363 vsize=13978684 memory=13849685592906643 CPUtime=0.4 cores=1,3,5,7
/proc/8365/task/8366/stat : 8366 (java) S 8363 8363 897 0 -1 1077944384 7390 0 0 0 36 4 0 0 20 0 15 0 83871848 14314172416 37862 18446744073709551615 4194304 4196468 140734241392576 139946167032240 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8367] ppid=8363 vsize=13978684 memory=7161960715931512169 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8367/stat : 8367 (java) R 8363 8363 897 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 83871862 14314172416 37862 18446744073709551615 4194304 4196468 140734241392576 139946082208272 139946147822123 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8368] ppid=8363 vsize=13978684 memory=4124559848881220207 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8368/stat : 8368 (java) R 8363 8363 897 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 83871862 14314172416 37862 18446744073709551615 4194304 4196468 140734241392576 139946081155728 139946155891067 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8369] ppid=8363 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8369/stat : 8369 (java) R 8363 8363 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83871862 14314172416 37862 18446744073709551615 4194304 4196468 140734241392576 139946080102672 139946162804437 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8370] ppid=8363 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8370/stat : 8370 (java) R 8363 8363 897 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 15 0 83871862 14314172416 37862 18446744073709551615 4194304 4196468 140734241392576 139946079050128 139946155900777 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8371] ppid=8363 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8371/stat : 8371 (java) S 8363 8363 897 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 83871864 14314172416 37862 18446744073709551615 4194304 4196468 140734241392576 139945640965408 139946162804437 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8372] ppid=8363 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8372/stat : 8372 (java) S 8363 8363 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 83871864 14314172416 37862 18446744073709551615 4194304 4196468 140734241392576 139945639913120 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8373] ppid=8363 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8373/stat : 8373 (java) S 8363 8363 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 83871864 14314172416 37862 18446744073709551615 4194304 4196468 140734241392576 139945638860016 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8374] ppid=8363 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8374/stat : 8374 (java) S 8363 8363 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83871867 14314172416 38374 18446744073709551615 4194304 4196468 140734241392576 139945637808592 139946162812827 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8375] ppid=8363 vsize=13978684 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8365/task/8375/stat : 8375 (java) S 8363 8363 897 0 -1 1077944384 530 0 0 0 5 0 0 0 20 0 15 0 83871867 14314172416 38374 18446744073709551615 4194304 4196468 140734241392576 139945636755696 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8376] ppid=8363 vsize=13978684 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8365/task/8376/stat : 8376 (java) S 8363 8363 897 0 -1 1077944384 405 0 0 0 5 0 0 0 20 0 15 0 83871867 14314172416 38374 18446744073709551615 4194304 4196468 140734241392576 139945635703152 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8377] ppid=8363 vsize=13978684 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/8365/task/8377/stat : 8377 (java) S 8363 8363 897 0 -1 1077944384 928 0 0 0 16 0 0 0 20 0 15 0 83871867 14314172416 38374 18446744073709551615 4194304 4196468 140734241392576 139945634650096 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8378] ppid=8363 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8378/stat : 8378 (java) S 8363 8363 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83871867 14314172416 38374 18446744073709551615 4194304 4196468 140734241392576 139945633597792 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8379] ppid=8363 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8379/stat : 8379 (java) S 8363 8363 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83871871 14314172416 38374 18446744073709551615 4194304 4196468 140734241392576 139945632545840 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 152828 KiB

[startup+1.50097 s]
/proc/loadavg: 1.92 1.80 1.75 3/211 8379
/proc/meminfo: memFree=30272236/32770624 swapFree=67108860/67108860
[pid=8363] ppid=8360 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8363/stat : 8363 (xcsp3-exec) S 8360 8363 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 83871836 9740288 345 18446744073709551615 4194304 5098028 140731171393488 140731171391592 139893217399420 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 11636736 140731171398008 140731171398213 140731171398213 140731171401707 0
/proc/8363/statm: 2378 345 289 221 0 87 0
[pid=8365] ppid=8363 vsize=13978684 memory=322548 CPUtime=2.1 cores=1,3,5,7
/proc/8365/stat : 8365 (java) S 8363 8363 897 0 -1 1077944320 12131 0 0 0 196 14 0 0 20 0 15 0 83871847 14314172416 80637 18446744073709551615 4194304 4196468 140734241392576 140734241375120 139946162794231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
/proc/8365/statm: 3494671 80637 3176 1 0 3482964 0
[pid=8365/tid=8366] ppid=8363 vsize=13978684 memory=0 CPUtime=1.11 cores=1,3,5,7
/proc/8365/task/8366/stat : 8366 (java) S 8363 8363 897 0 -1 1077944384 7415 0 0 0 107 4 0 0 20 0 15 0 83871848 14314172416 80637 18446744073709551615 4194304 4196468 140734241392576 139946167031312 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8367] ppid=8363 vsize=13978684 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8365/task/8367/stat : 8367 (java) R 8363 8363 897 0 -1 4202560 90 0 0 0 5 2 0 0 20 0 15 0 83871862 14314172416 80637 18446744073709551615 4194304 4196468 140734241392576 139946082208272 139946147822078 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8368] ppid=8363 vsize=13978684 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/8365/task/8368/stat : 8368 (java) R 8363 8363 897 0 -1 4202560 78 0 0 0 4 2 0 0 20 0 15 0 83871862 14314172416 80637 18446744073709551615 4194304 4196468 140734241392576 139946081155728 139946147822078 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8369] ppid=8363 vsize=13978684 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/8365/task/8369/stat : 8369 (java) R 8363 8363 897 0 -1 4202560 78 0 0 0 4 2 0 0 20 0 15 0 83871862 14314172416 80637 18446744073709551615 4194304 4196468 140734241392576 139946080102872 139946147822078 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8370] ppid=8363 vsize=13978684 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8365/task/8370/stat : 8370 (java) R 8363 8363 897 0 -1 4202560 84 0 0 0 4 1 0 0 20 0 15 0 83871862 14314172416 80637 18446744073709551615 4194304 4196468 140734241392576 139946079050328 139946147822078 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8371] ppid=8363 vsize=13978684 memory=139651801426286 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8371/stat : 8371 (java) S 8363 8363 897 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 83871864 14314172416 80637 18446744073709551615 4194304 4196468 140734241392576 139945640965408 139946162804437 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8372] ppid=8363 vsize=13978684 memory=25336 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8372/stat : 8372 (java) S 8363 8363 897 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 83871864 14314172416 80637 18446744073709551615 4194304 4196468 140734241392576 139945639913120 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8373] ppid=8363 vsize=13978684 memory=139651801413520 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8373/stat : 8373 (java) S 8363 8363 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 83871864 14314172416 80637 18446744073709551615 4194304 4196468 140734241392576 139945638860016 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8374] ppid=8363 vsize=13978684 memory=139651801413648 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8374/stat : 8374 (java) S 8363 8363 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83871867 14314172416 80637 18446744073709551615 4194304 4196468 140734241392576 139945637808592 139946162812827 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8375] ppid=8363 vsize=13978684 memory=139651801413584 CPUtime=0.23 cores=1,3,5,7
/proc/8365/task/8375/stat : 8375 (java) S 8363 8363 897 0 -1 1077944384 1013 0 0 0 23 0 0 0 20 0 15 0 83871867 14314172416 80637 18446744073709551615 4194304 4196468 140734241392576 139945636740688 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8376] ppid=8363 vsize=13978684 memory=139651801413616 CPUtime=0.24 cores=1,3,5,7
/proc/8365/task/8376/stat : 8376 (java) S 8363 8363 897 0 -1 1077944384 798 0 0 0 24 0 0 0 20 0 15 0 83871867 14314172416 80637 18446744073709551615 4194304 4196468 140734241392576 139945635682704 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8377] ppid=8363 vsize=13978684 memory=139651801277008 CPUtime=0.21 cores=1,3,5,7
/proc/8365/task/8377/stat : 8377 (java) S 8363 8363 897 0 -1 1077944384 1193 0 0 0 21 0 0 0 20 0 15 0 83871867 14314172416 80637 18446744073709551615 4194304 4196468 140734241392576 139945634650096 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8378] ppid=8363 vsize=13978684 memory=139651801276880 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8378/stat : 8378 (java) S 8363 8363 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83871867 14314172416 80637 18446744073709551615 4194304 4196468 140734241392576 139945633597792 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8379] ppid=8363 vsize=13978684 memory=139651801276976 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8379/stat : 8379 (java) S 8363 8363 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 83871871 14314172416 80637 18446744073709551615 4194304 4196468 140734241392576 139945632545840 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0

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

[pid=8365/tid=8367] ppid=8363 vsize=13980732 memory=4198373884061773715 CPUtime=1.84 cores=1,3,5,7
/proc/8365/task/8367/stat : 8367 (java) S 8363 8363 897 0 -1 1077944384 20371 0 0 0 152 32 0 0 20 0 15 0 83871862 14316269568 545960 18446744073709551615 4194304 4196468 140734241392576 139946082208272 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8368] ppid=8363 vsize=13980732 memory=2088592 CPUtime=1.83 cores=1,3,5,7
/proc/8365/task/8368/stat : 8368 (java) S 8363 8363 897 0 -1 1077944384 23450 0 0 0 151 32 0 0 20 0 15 0 83871862 14316269568 545960 18446744073709551615 4194304 4196468 140734241392576 139946081155728 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8369] ppid=8363 vsize=13980732 memory=5612 CPUtime=1.83 cores=1,3,5,7
/proc/8365/task/8369/stat : 8369 (java) S 8363 8363 897 0 -1 1077944384 25738 0 0 0 151 32 0 0 20 0 15 0 83871862 14316269568 545960 18446744073709551615 4194304 4196468 140734241392576 139946080102672 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8370] ppid=8363 vsize=13980732 memory=173 CPUtime=1.84 cores=1,3,5,7
/proc/8365/task/8370/stat : 8370 (java) S 8363 8363 897 0 -1 1077944384 24580 0 0 0 153 31 0 0 20 0 15 0 83871862 14316269568 545960 18446744073709551615 4194304 4196468 140734241392576 139946079050128 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8371] ppid=8363 vsize=13980732 memory=7680170660397595203 CPUtime=1.11 cores=1,3,5,7
/proc/8365/task/8371/stat : 8371 (java) S 8363 8363 897 0 -1 1077944384 4370 0 0 0 110 1 0 0 20 0 15 0 83871864 14316269568 545960 18446744073709551615 4194304 4196468 140734241392576 139945640966896 139946162805378 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8372] ppid=8363 vsize=13980732 memory=2088588 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8372/stat : 8372 (java) S 8363 8363 897 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 83871864 14316269568 545960 18446744073709551615 4194304 4196468 140734241392576 139945639913184 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8373] ppid=8363 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8373/stat : 8373 (java) S 8363 8363 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 83871864 14316269568 545960 18446744073709551615 4194304 4196468 140734241392576 139945638860032 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8374] ppid=8363 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8374/stat : 8374 (java) S 8363 8363 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83871867 14316269568 545960 18446744073709551615 4194304 4196468 140734241392576 139945637808592 139946162812827 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8375] ppid=8363 vsize=13980732 memory=7680170660397595203 CPUtime=3.69 cores=1,3,5,7
/proc/8365/task/8375/stat : 8375 (java) S 8363 8363 897 0 -1 1077944384 8034 0 0 0 368 1 0 0 20 0 15 0 83871867 14316269568 545960 18446744073709551615 4194304 4196468 140734241392576 139945636755696 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8376] ppid=8363 vsize=13980732 memory=288230617509003574 CPUtime=3.64 cores=1,3,5,7
/proc/8365/task/8376/stat : 8376 (java) S 8363 8363 897 0 -1 1077944384 7110 0 0 0 363 1 0 0 20 0 15 0 83871867 14316269568 545960 18446744073709551615 4194304 4196468 140734241392576 139945635703152 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8377] ppid=8363 vsize=13980732 memory=14973360639576424 CPUtime=0.84 cores=1,3,5,7
/proc/8365/task/8377/stat : 8377 (java) S 8363 8363 897 0 -1 1077944384 5182 0 0 0 83 1 0 0 20 0 15 0 83871867 14316269568 545960 18446744073709551615 4194304 4196468 140734241392576 139945634650096 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8378] ppid=8363 vsize=13980732 memory=3032 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8378/stat : 8378 (java) S 8363 8363 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83871867 14316269568 545960 18446744073709551615 4194304 4196468 140734241392576 139945633597792 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8379] ppid=8363 vsize=13980732 memory=7680170660397595203 CPUtime=0.03 cores=1,3,5,7
/proc/8365/task/8379/stat : 8379 (java) S 8363 8363 897 0 -1 1077944384 301 0 0 0 1 2 0 0 20 0 15 0 83871871 14316269568 545960 18446744073709551615 4194304 4196468 140734241392576 139945632545840 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
Current children cumulated CPU time: 87.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2185220 KiB

[startup+75.3008 s]
/proc/loadavg: 1.67 1.73 1.73 3/211 8383
/proc/meminfo: memFree=28246304/32770624 swapFree=67108860/67108860
[pid=8363] ppid=8360 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8363/stat : 8363 (xcsp3-exec) S 8360 8363 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 83871836 9740288 345 18446744073709551615 4194304 5098028 140731171393488 140731171391592 139893217399420 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 11636736 140731171398008 140731171398213 140731171398213 140731171401707 0
/proc/8363/statm: 2378 345 289 221 0 87 0
[pid=8365] ppid=8363 vsize=13980732 memory=2183856 CPUtime=88.89 cores=1,3,5,7
/proc/8365/stat : 8365 (java) S 8363 8363 897 0 -1 1077944320 162353 0 0 0 8737 152 0 0 20 0 15 0 83871847 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 140734241375120 139946162794231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
/proc/8365/statm: 3495183 545964 3255 1 0 3483476 0
[pid=8365/tid=8366] ppid=8363 vsize=13980732 memory=1380 CPUtime=72.01 cores=1,3,5,7
/proc/8365/task/8366/stat : 8366 (java) R 8363 8363 897 0 -1 4202560 41855 0 0 0 7188 13 0 0 20 0 15 0 83871848 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139946167032648 139945760867733 0 4 1 16800974 0 0 0 -1 5 0 0 17 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8367] ppid=8363 vsize=13980732 memory=2183840 CPUtime=1.84 cores=1,3,5,7
/proc/8365/task/8367/stat : 8367 (java) S 8363 8363 897 0 -1 1077944384 20371 0 0 0 152 32 0 0 20 0 15 0 83871862 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139946082208272 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8368] ppid=8363 vsize=13980732 memory=7680170660397595203 CPUtime=1.83 cores=1,3,5,7
/proc/8365/task/8368/stat : 8368 (java) S 8363 8363 897 0 -1 1077944384 23450 0 0 0 151 32 0 0 20 0 15 0 83871862 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139946081155728 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8369] ppid=8363 vsize=13980732 memory=1200 CPUtime=1.83 cores=1,3,5,7
/proc/8365/task/8369/stat : 8369 (java) S 8363 8363 897 0 -1 1077944384 25738 0 0 0 151 32 0 0 20 0 15 0 83871862 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139946080102672 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8370] ppid=8363 vsize=13980732 memory=15880 CPUtime=1.84 cores=1,3,5,7
/proc/8365/task/8370/stat : 8370 (java) S 8363 8363 897 0 -1 1077944384 24580 0 0 0 153 31 0 0 20 0 15 0 83871862 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139946079050128 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8371] ppid=8363 vsize=13980732 memory=25764 CPUtime=1.11 cores=1,3,5,7
/proc/8365/task/8371/stat : 8371 (java) S 8363 8363 897 0 -1 1077944384 4370 0 0 0 110 1 0 0 20 0 15 0 83871864 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945640966896 139946162805378 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8372] ppid=8363 vsize=13980732 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8372/stat : 8372 (java) S 8363 8363 897 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 83871864 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945639913184 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8373] ppid=8363 vsize=13980732 memory=640 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8373/stat : 8373 (java) S 8363 8363 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 83871864 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945638860032 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8374] ppid=8363 vsize=13980732 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8374/stat : 8374 (java) S 8363 8363 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83871867 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945637808592 139946162812827 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8375] ppid=8363 vsize=13980732 memory=3904 CPUtime=3.78 cores=1,3,5,7
/proc/8365/task/8375/stat : 8375 (java) S 8363 8363 897 0 -1 1077944384 8040 0 0 0 377 1 0 0 20 0 15 0 83871867 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945636755696 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8376] ppid=8363 vsize=13980732 memory=1380 CPUtime=3.66 cores=1,3,5,7
/proc/8365/task/8376/stat : 8376 (java) S 8363 8363 897 0 -1 1077944384 7115 0 0 0 365 1 0 0 20 0 15 0 83871867 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945635703152 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8377] ppid=8363 vsize=13980732 memory=1380 CPUtime=0.84 cores=1,3,5,7
/proc/8365/task/8377/stat : 8377 (java) S 8363 8363 897 0 -1 1077944384 5182 0 0 0 83 1 0 0 20 0 15 0 83871867 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945634650096 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8378] ppid=8363 vsize=13980732 memory=2183840 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8378/stat : 8378 (java) S 8363 8363 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83871867 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945633597792 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8379] ppid=8363 vsize=13980732 memory=1712 CPUtime=0.03 cores=1,3,5,7
/proc/8365/task/8379/stat : 8379 (java) S 8363 8363 897 0 -1 1077944384 301 0 0 0 1 2 0 0 20 0 15 0 83871871 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945632545840 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
Current children cumulated CPU time: 88.89 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2185236 KiB

[startup+76.9008 s]
/proc/loadavg: 1.67 1.73 1.73 3/211 8383
/proc/meminfo: memFree=28256940/32770624 swapFree=67108860/67108860
[pid=8363] ppid=8360 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8363/stat : 8363 (xcsp3-exec) S 8360 8363 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 83871836 9740288 345 18446744073709551615 4194304 5098028 140731171393488 140731171391592 139893217399420 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 11636736 140731171398008 140731171398213 140731171398213 140731171401707 0
/proc/8363/statm: 2378 345 289 221 0 87 0
[pid=8365] ppid=8363 vsize=13980732 memory=2183856 CPUtime=90.5 cores=1,3,5,7
/proc/8365/stat : 8365 (java) S 8363 8363 897 0 -1 1077944320 162894 0 0 0 8898 152 0 0 20 0 15 0 83871847 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 140734241375120 139946162794231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
/proc/8365/statm: 3495183 545964 3255 1 0 3483476 0
[pid=8365/tid=8366] ppid=8363 vsize=13980732 memory=7680170660397595203 CPUtime=73.61 cores=1,3,5,7
/proc/8365/task/8366/stat : 8366 (java) R 8363 8363 897 0 -1 4202560 42385 0 0 0 7348 13 0 0 20 0 15 0 83871848 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139946167030800 139945761491103 0 4 1 16800974 0 0 0 -1 5 0 0 17 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8367] ppid=8363 vsize=13980732 memory=1728 CPUtime=1.84 cores=1,3,5,7
/proc/8365/task/8367/stat : 8367 (java) S 8363 8363 897 0 -1 1077944384 20371 0 0 0 152 32 0 0 20 0 15 0 83871862 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139946082208272 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8368] ppid=8363 vsize=13980732 memory=1380 CPUtime=1.83 cores=1,3,5,7
/proc/8365/task/8368/stat : 8368 (java) S 8363 8363 897 0 -1 1077944384 23450 0 0 0 151 32 0 0 20 0 15 0 83871862 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139946081155728 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8369] ppid=8363 vsize=13980732 memory=1380 CPUtime=1.83 cores=1,3,5,7
/proc/8365/task/8369/stat : 8369 (java) S 8363 8363 897 0 -1 1077944384 25738 0 0 0 151 32 0 0 20 0 15 0 83871862 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139946080102672 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8370] ppid=8363 vsize=13980732 memory=2183856 CPUtime=1.84 cores=1,3,5,7
/proc/8365/task/8370/stat : 8370 (java) S 8363 8363 897 0 -1 1077944384 24580 0 0 0 153 31 0 0 20 0 15 0 83871862 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139946079050128 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8371] ppid=8363 vsize=13980732 memory=15880 CPUtime=1.11 cores=1,3,5,7
/proc/8365/task/8371/stat : 8371 (java) S 8363 8363 897 0 -1 1077944384 4373 0 0 0 110 1 0 0 20 0 15 0 83871864 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945640966896 139946162805378 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8372] ppid=8363 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8372/stat : 8372 (java) S 8363 8363 897 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 83871864 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945639913184 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8373] ppid=8363 vsize=13980732 memory=928 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8373/stat : 8373 (java) S 8363 8363 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 83871864 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945638860032 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8374] ppid=8363 vsize=13980732 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8374/stat : 8374 (java) S 8363 8363 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83871867 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945637808592 139946162812827 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8375] ppid=8363 vsize=13980732 memory=840 CPUtime=3.78 cores=1,3,5,7
/proc/8365/task/8375/stat : 8375 (java) S 8363 8363 897 0 -1 1077944384 8040 0 0 0 377 1 0 0 20 0 15 0 83871867 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945636755696 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8376] ppid=8363 vsize=13980732 memory=139651801782196 CPUtime=3.67 cores=1,3,5,7
/proc/8365/task/8376/stat : 8376 (java) S 8363 8363 897 0 -1 1077944384 7123 0 0 0 366 1 0 0 20 0 15 0 83871867 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945635703152 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8377] ppid=8363 vsize=13980732 memory=-7029379521808015264 CPUtime=0.84 cores=1,3,5,7
/proc/8365/task/8377/stat : 8377 (java) S 8363 8363 897 0 -1 1077944384 5182 0 0 0 83 1 0 0 20 0 15 0 83871867 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945634650096 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8378] ppid=8363 vsize=13980732 memory=40270552894196 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8378/stat : 8378 (java) S 8363 8363 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83871867 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945633597792 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8379] ppid=8363 vsize=13980732 memory=40270552894196 CPUtime=0.03 cores=1,3,5,7
/proc/8365/task/8379/stat : 8379 (java) S 8363 8363 897 0 -1 1077944384 301 0 0 0 1 2 0 0 20 0 15 0 83871871 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945632545840 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
Current children cumulated CPU time: 90.5 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2185236 KiB

[startup+77.7008 s]
/proc/loadavg: 1.67 1.73 1.73 3/211 8383
/proc/meminfo: memFree=28262844/32770624 swapFree=67108860/67108860
[pid=8363] ppid=8360 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8363/stat : 8363 (xcsp3-exec) S 8360 8363 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 83871836 9740288 345 18446744073709551615 4194304 5098028 140731171393488 140731171391592 139893217399420 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 11636736 140731171398008 140731171398213 140731171398213 140731171401707 0
/proc/8363/statm: 2378 345 289 221 0 87 0
[pid=8365] ppid=8363 vsize=13980732 memory=2183856 CPUtime=91.3 cores=1,3,5,7
/proc/8365/stat : 8365 (java) S 8363 8363 897 0 -1 1077944320 162896 0 0 0 8978 152 0 0 20 0 15 0 83871847 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 140734241375120 139946162794231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
/proc/8365/statm: 3495183 545964 3255 1 0 3483476 0
[pid=8365/tid=8366] ppid=8363 vsize=13980732 memory=4616 CPUtime=74.41 cores=1,3,5,7
/proc/8365/task/8366/stat : 8366 (java) R 8363 8363 897 0 -1 4202560 42387 0 0 0 7428 13 0 0 20 0 15 0 83871848 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139946167030800 139945762232585 0 4 1 16800974 0 0 0 -1 5 0 0 17 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8367] ppid=8363 vsize=13980732 memory=7680170660397595203 CPUtime=1.84 cores=1,3,5,7
/proc/8365/task/8367/stat : 8367 (java) S 8363 8363 897 0 -1 1077944384 20371 0 0 0 152 32 0 0 20 0 15 0 83871862 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139946082208272 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8368] ppid=8363 vsize=13980732 memory=10164 CPUtime=1.83 cores=1,3,5,7
/proc/8365/task/8368/stat : 8368 (java) S 8363 8363 897 0 -1 1077944384 23450 0 0 0 151 32 0 0 20 0 15 0 83871862 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139946081155728 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8369] ppid=8363 vsize=13980732 memory=1440 CPUtime=1.83 cores=1,3,5,7
/proc/8365/task/8369/stat : 8369 (java) S 8363 8363 897 0 -1 1077944384 25738 0 0 0 151 32 0 0 20 0 15 0 83871862 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139946080102672 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8370] ppid=8363 vsize=13980732 memory=2000 CPUtime=1.84 cores=1,3,5,7
/proc/8365/task/8370/stat : 8370 (java) S 8363 8363 897 0 -1 1077944384 24580 0 0 0 153 31 0 0 20 0 15 0 83871862 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139946079050128 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8371] ppid=8363 vsize=13980732 memory=11004 CPUtime=1.11 cores=1,3,5,7
/proc/8365/task/8371/stat : 8371 (java) S 8363 8363 897 0 -1 1077944384 4373 0 0 0 110 1 0 0 20 0 15 0 83871864 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945640966896 139946162805378 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8372] ppid=8363 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8372/stat : 8372 (java) S 8363 8363 897 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 83871864 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945639913184 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8373] ppid=8363 vsize=13980732 memory=45988 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8373/stat : 8373 (java) S 8363 8363 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 83871864 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945638860032 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8374] ppid=8363 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8374/stat : 8374 (java) S 8363 8363 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83871867 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945637808592 139946162812827 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8375] ppid=8363 vsize=13980732 memory=2316 CPUtime=3.78 cores=1,3,5,7
/proc/8365/task/8375/stat : 8375 (java) S 8363 8363 897 0 -1 1077944384 8040 0 0 0 377 1 0 0 20 0 15 0 83871867 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945636755696 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8376] ppid=8363 vsize=13980732 memory=1728 CPUtime=3.67 cores=1,3,5,7
/proc/8365/task/8376/stat : 8376 (java) S 8363 8363 897 0 -1 1077944384 7123 0 0 0 366 1 0 0 20 0 15 0 83871867 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945635703152 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8377] ppid=8363 vsize=13980732 memory=1380 CPUtime=0.84 cores=1,3,5,7
/proc/8365/task/8377/stat : 8377 (java) S 8363 8363 897 0 -1 1077944384 5182 0 0 0 83 1 0 0 20 0 15 0 83871867 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945634650096 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8378] ppid=8363 vsize=13980732 memory=2183856 CPUtime=0 cores=1,3,5,7
/proc/8365/task/8378/stat : 8378 (java) S 8363 8363 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 83871867 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945633597792 139946162804437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
[pid=8365/tid=8379] ppid=8363 vsize=13980732 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/8365/task/8379/stat : 8379 (java) S 8363 8363 897 0 -1 1077944384 301 0 0 0 1 2 0 0 20 0 15 0 83871871 14316269568 545964 18446744073709551615 4194304 4196468 140734241392576 139945632545840 139946162805378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34037760 140734241395121 140734241395297 140734241395297 140734241398735 0
Current children cumulated CPU time: 91.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2185236 KiB

[startup+78.1008 s]*
/proc/loadavg: 1.67 1.73 1.73 3/198 8383
/proc/meminfo: memFree=30271716/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 78.1103
CPU time (s): 91.7302
CPU user time (s): 90.1717
CPU system time (s): 1.55857
CPU usage (%): 117.437
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 2185236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.1717
system time used= 1.55857
maximum resident set size= 2184216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167810
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8087
involuntary context switches= 175


# summary of solver processes directly reported to runsolver:
#   pid: 8363
#   total CPU time (s): 91.7302
#   total CPU user time (s): 90.1717
#   total CPU system time (s): 1.55857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.532191 second user time and 0.801799 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-15 18:47:46
IDJOB=4272437
IDBENCH=134624
IDSOLVER=2664
FILE ID=node125/4272437-1502816512
RUNJOBID= node125-1502662595-11629
PBS_JOBID= 
Free space on /tmp= 62016 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-10-ext06.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4272437-1502816512/watcher-4272437-1502816512 -o /tmp/evaluation-result-4272437-1502816512/solver-4272437-1502816512 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1566331361 HOME/instance-4272437-1502816512.xml

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

MD5SUM BENCH= fdf6f730d724673eeb55be8d6417f725
RANDOM SEED=1566331361

node125.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.07
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.07
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.07
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.07
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:        30489772 kB
MemAvailable:   31499768 kB
Buffers:          305136 kB
Cached:           998064 kB
SwapCached:            0 kB
Active:          1231136 kB
Inactive:         614428 kB
Active(anon):     542656 kB
Inactive(anon):    33100 kB
Active(file):     688480 kB
Inactive(file):   581328 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             16820 kB
Writeback:             0 kB
AnonPages:        548292 kB
Mapped:            64300 kB
Shmem:             33444 kB
Slab:             138184 kB
SReclaimable:     112044 kB
SUnreclaim:        26140 kB
KernelStack:        3584 kB
PageTables:         6128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1309076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    448512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62008 MiB
End job on node125 at 2017-08-15 18:49:04