Trace number 4282342

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 4.0.5 seq (2017-08-18)SAT 21.9916 19.0777

General information on the benchmark

NameMultiKnapsack/MultiKnapsack-m1-gp/
MultiKnapsack-2-22.xml
MD5SUM63c49c4fa2f593a3284d3df8e40494dc
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.29601499
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints6
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":50}]
Minimum variable degree6
Maximum variable degree6
Distribution of variable degrees[{"degree":6,"count":50}]
Minimum constraint arity50
Maximum constraint arity50
Distribution of constraint arities[{"arity":50,"count":6}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":6}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282342-1503111742.xml"  -tl '2520s' -p 1 -x 0
0.11/0.26	c [HOME/instance-4282342-1503111742.xml, -tl, 2520s, -p, 1, -x, 0]
0.11/0.32	c simple solver
0.33/0.38	c parse instance...
0.70/0.52	c solve instance...
21.91/19.07	s SATISFIABLE
21.91/19.07	v <instantiation>
21.91/19.07	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] </list>
21.91/19.07	v 	<values>1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 </values>
21.91/19.07	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 (15376 MiB free)
  memory of node 1: 16384 MiB (15557 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282342-1503111742/watcher-4282342-1503111742 -o /tmp/evaluation-result-4282342-1503111742/solver-4282342-1503111742 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503095815-16489 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1504281092 HOME/instance-4282342-1503111742.xml 

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

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


[startup+0.100189 s]*
/proc/loadavg: 1.43 1.50 1.51 3/202 18906
/proc/meminfo: memFree=31669184/32770624 swapFree=67108860/67108860
[pid=18899] ppid=18896 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18899/stat : 18899 (xcsp3-exec) S 18896 18899 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9583963 9740288 345 18446744073709551615 4194304 5098028 140734962788896 140734962787000 140373266449020 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18006016 140734962790777 140734962790982 140734962790982 140734962794475 0
/proc/18899/statm: 2378 345 289 221 0 87 0
[pid=18901] ppid=18899 vsize=13574484 memory=18460 CPUtime=0.01 cores=0,2,4,6
/proc/18901/stat : 18901 (java) S 18899 18899 16431 0 -1 1077944320 3940 0 0 0 1 0 0 0 20 0 9 0 9583971 13900271616 4615 18446744073709551615 4194304 4196468 140723557211280 140723557193824 140254029758199 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
/proc/18901/statm: 3393621 4615 2065 1 0 3383118 0
[pid=18901/tid=18902] ppid=18899 vsize=13574484 memory=-8713483618642983523 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18902/stat : 18902 (java) R 18899 18899 16431 0 -1 4202560 2643 0 0 0 1 0 0 0 20 0 9 0 9583971 13900271616 4615 18446744073709551615 4194304 4196468 140723557211280 140254033993928 140254029780125 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18903] ppid=18899 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18903/stat : 18903 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 9583972 13900271616 4615 18446744073709551615 4194304 4196468 140723557211280 140253971704336 140254029768405 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18904] ppid=18899 vsize=13574484 memory=140253916796544 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18904/stat : 18904 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 9583972 13900271616 4615 18446744073709551615 4194304 4196468 140723557211280 140253970651792 140254029768405 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18905] ppid=18899 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18905/stat : 18905 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 9583972 13900271616 4615 18446744073709551615 4194304 4196468 140723557211280 140253627685136 140254029768405 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18906] ppid=18899 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18906/stat : 18906 (java) S 18899 18899 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 9583972 13900271616 4615 18446744073709551615 4194304 4196468 140723557211280 140253626632592 140254029768405 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18907] ppid=18899 vsize=13574484 memory=140253916796544 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18907/stat : 18907 (java) S 18899 18899 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 9583973 13900271616 4615 18446744073709551615 4194304 4196468 140723557211280 140253575453424 140254029769346 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18908] ppid=18899 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18908/stat : 18908 (java) S 18899 18899 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 9583974 13900271616 4615 18446744073709551615 4194304 4196468 140723557211280 140253574399648 140254029768405 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18909] ppid=18899 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18909/stat : 18909 (java) S 18899 18899 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 9583974 13900271616 4615 18446744073709551615 4194304 4196468 140723557211280 140253573346608 140254029768405 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19840 KiB

[startup+0.210037 s]*
/proc/loadavg: 1.43 1.50 1.51 3/211 18915
/proc/meminfo: memFree=31660416/32770624 swapFree=67108860/67108860
[pid=18899] ppid=18896 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18899/stat : 18899 (xcsp3-exec) S 18896 18899 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9583963 9740288 345 18446744073709551615 4194304 5098028 140734962788896 140734962787000 140373266449020 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18006016 140734962790777 140734962790982 140734962790982 140734962794475 0
/proc/18899/statm: 2378 345 289 221 0 87 0
[pid=18901] ppid=18899 vsize=13974352 memory=27408 CPUtime=0.11 cores=0,2,4,6
/proc/18901/stat : 18901 (java) S 18899 18899 16431 0 -1 1077944320 5356 0 0 0 10 1 0 0 20 0 15 0 9583971 14309736448 6852 18446744073709551615 4194304 4196468 140723557211280 140723557193824 140254029758199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
/proc/18901/statm: 3493588 6852 2816 1 0 3482964 0
[pid=18901/tid=18902] ppid=18899 vsize=13974352 memory=-6871798056524144002 CPUtime=0.09 cores=0,2,4,6
/proc/18901/task/18902/stat : 18902 (java) R 18899 18899 16431 0 -1 4202560 3378 0 0 0 8 1 0 0 20 0 15 0 9583971 14309736448 6852 18446744073709551615 4194304 4196468 140723557211280 140254033986432 140254015127018 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18903] ppid=18899 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18903/stat : 18903 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9583972 14309736448 6852 18446744073709551615 4194304 4196468 140723557211280 140253971704336 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18904] ppid=18899 vsize=13974352 memory=140253916796544 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18904/stat : 18904 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9583972 14309736448 6852 18446744073709551615 4194304 4196468 140723557211280 140253970651792 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18905] ppid=18899 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18905/stat : 18905 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9583972 14309736448 6852 18446744073709551615 4194304 4196468 140723557211280 140253627685136 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18906] ppid=18899 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18906/stat : 18906 (java) S 18899 18899 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9583972 14309736448 6852 18446744073709551615 4194304 4196468 140723557211280 140253626632592 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18907] ppid=18899 vsize=13974352 memory=140253916796544 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18907/stat : 18907 (java) S 18899 18899 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9583973 14309736448 6852 18446744073709551615 4194304 4196468 140723557211280 140253575453424 140254029769346 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18908] ppid=18899 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18908/stat : 18908 (java) S 18899 18899 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9583974 14309736448 6852 18446744073709551615 4194304 4196468 140723557211280 140253574399648 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18909] ppid=18899 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18909/stat : 18909 (java) S 18899 18899 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9583974 14309736448 6852 18446744073709551615 4194304 4196468 140723557211280 140253573346544 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18910] ppid=18899 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18910/stat : 18910 (java) S 18899 18899 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9583977 14309736448 6852 18446744073709551615 4194304 4196468 140723557211280 140253572295120 140254029776795 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18911] ppid=18899 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18911/stat : 18911 (java) S 18899 18899 16431 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 9583977 14309736448 6852 18446744073709551615 4194304 4196468 140723557211280 140253571242224 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18912] ppid=18899 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18912/stat : 18912 (java) S 18899 18899 16431 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 9583977 14309736448 6852 18446744073709551615 4194304 4196468 140723557211280 140253570189680 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18913] ppid=18899 vsize=13974352 memory=140253916796544 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18913/stat : 18913 (java) R 18899 18899 16431 0 -1 4202560 236 0 0 0 1 0 0 0 20 0 15 0 9583977 14309736448 6852 18446744073709551615 4194304 4196468 140723557211280 140253569136624 140254008126868 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18914] ppid=18899 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18914/stat : 18914 (java) S 18899 18899 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9583977 14309736448 6852 18446744073709551615 4194304 4196468 140723557211280 140253568084320 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18915] ppid=18899 vsize=13974352 memory=140253916796544 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18915/stat : 18915 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9583981 14309736448 6852 18446744073709551615 4194304 4196468 140723557211280 140253499223088 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28788 KiB

[startup+0.314311 s]*
/proc/loadavg: 1.43 1.50 1.51 5/211 18915
/proc/meminfo: memFree=31647248/32770624 swapFree=67108860/67108860
[pid=18899] ppid=18896 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18899/stat : 18899 (xcsp3-exec) S 18896 18899 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9583963 9740288 345 18446744073709551615 4194304 5098028 140734962788896 140734962787000 140373266449020 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18006016 140734962790777 140734962790982 140734962790982 140734962794475 0
/proc/18899/statm: 2378 345 289 221 0 87 0
[pid=18901] ppid=18899 vsize=13974352 memory=39400 CPUtime=0.33 cores=0,2,4,6
/proc/18901/stat : 18901 (java) S 18899 18899 16431 0 -1 1077944320 9096 0 0 0 30 3 0 0 20 0 15 0 9583971 14309736448 9850 18446744073709551615 4194304 4196468 140723557211280 140723557193824 140254029758199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
/proc/18901/statm: 3493588 9850 3018 1 0 3482964 0
[pid=18901/tid=18902] ppid=18899 vsize=13975376 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/18901/task/18902/stat : 18902 (java) R 18899 18899 16431 0 -1 4202560 6300 0 0 0 17 2 0 0 20 0 15 0 9583971 14310785024 9850 18446744073709551615 4194304 4196468 140723557211280 140254033982368 140254022437917 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18903] ppid=18899 vsize=13975376 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18903/stat : 18903 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9583972 14310785024 9915 18446744073709551615 4194304 4196468 140723557211280 140253971704336 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18904] ppid=18899 vsize=13975376 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18904/stat : 18904 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9583972 14310785024 9915 18446744073709551615 4194304 4196468 140723557211280 140253970651792 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18905] ppid=18899 vsize=13974352 memory=-7305533901252758645 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18905/stat : 18905 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9583972 14309736448 9907 18446744073709551615 4194304 4196468 140723557211280 140253627685136 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18906] ppid=18899 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18906/stat : 18906 (java) S 18899 18899 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9583972 14309736448 9907 18446744073709551615 4194304 4196468 140723557211280 140253626632592 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18907] ppid=18899 vsize=13974352 memory=140253916803537 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18907/stat : 18907 (java) S 18899 18899 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9583973 14309736448 9907 18446744073709551615 4194304 4196468 140723557211280 140253575453424 140254029769346 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18908] ppid=18899 vsize=13976468 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18908/stat : 18908 (java) S 18899 18899 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9583974 14311903232 9907 18446744073709551615 4194304 4196468 140723557211280 140253574399648 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18909] ppid=18899 vsize=13976468 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18909/stat : 18909 (java) S 18899 18899 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9583974 14311903232 9907 18446744073709551615 4194304 4196468 140723557211280 140253573346544 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18910] ppid=18899 vsize=13976468 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18910/stat : 18910 (java) S 18899 18899 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9583977 14311903232 9907 18446744073709551615 4194304 4196468 140723557211280 140253572295120 140254029776795 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18911] ppid=18899 vsize=13976468 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18901/task/18911/stat : 18911 (java) S 18899 18899 16431 0 -1 1077944384 538 0 0 0 2 0 0 0 20 0 15 0 9583977 14311903232 9907 18446744073709551615 4194304 4196468 140723557211280 140253571242224 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18912] ppid=18899 vsize=13976468 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18901/task/18912/stat : 18912 (java) S 18899 18899 16431 0 -1 1077944384 247 0 0 0 2 0 0 0 20 0 15 0 9583977 14311903232 9907 18446744073709551615 4194304 4196468 140723557211280 140253570189680 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18913] ppid=18899 vsize=13976468 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18901/task/18913/stat : 18913 (java) S 18899 18899 16431 0 -1 1077944384 711 0 0 0 7 0 0 0 20 0 15 0 9583977 14311903232 9907 18446744073709551615 4194304 4196468 140723557211280 140253569136624 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18914] ppid=18899 vsize=13976468 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18914/stat : 18914 (java) S 18899 18899 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9583977 14311903232 9907 18446744073709551615 4194304 4196468 140723557211280 140253568084320 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18915] ppid=18899 vsize=13976468 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18915/stat : 18915 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9583981 14311903232 9907 18446744073709551615 4194304 4196468 140723557211280 140253499223088 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40780 KiB

[startup+0.701582 s]
/proc/loadavg: 1.43 1.50 1.51 5/211 18915
/proc/meminfo: memFree=31637340/32770624 swapFree=67108860/67108860
[pid=18899] ppid=18896 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18899/stat : 18899 (xcsp3-exec) S 18896 18899 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9583963 9740288 345 18446744073709551615 4194304 5098028 140734962788896 140734962787000 140373266449020 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18006016 140734962790777 140734962790982 140734962790982 140734962794475 0
/proc/18899/statm: 2378 345 289 221 0 87 0
[pid=18901] ppid=18899 vsize=13980732 memory=63876 CPUtime=1.29 cores=0,2,4,6
/proc/18901/stat : 18901 (java) S 18899 18899 16431 0 -1 1077944320 14150 0 0 0 124 5 0 0 20 0 15 0 9583971 14316269568 15969 18446744073709551615 4194304 4196468 140723557211280 140723557193824 140254029758199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
/proc/18901/statm: 3495183 15969 3179 1 0 3483476 0
[pid=18901/tid=18902] ppid=18899 vsize=13980732 memory=7165352523811273013 CPUtime=0.57 cores=0,2,4,6
/proc/18901/task/18902/stat : 18902 (java) R 18899 18899 16431 0 -1 4202560 8368 0 0 0 54 3 0 0 20 0 15 0 9583971 14316269568 15969 18446744073709551615 4194304 4196468 140723557211280 140254033995864 140253653400994 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18903] ppid=18899 vsize=13980732 memory=7079764443871461481 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18903/stat : 18903 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9583972 14316269568 15969 18446744073709551615 4194304 4196468 140723557211280 140253971704336 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18904] ppid=18899 vsize=13980732 memory=7741523263919513920 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18904/stat : 18904 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9583972 14316269568 15969 18446744073709551615 4194304 4196468 140723557211280 140253970651792 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18905] ppid=18899 vsize=13980732 memory=3049007562806629424 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18905/stat : 18905 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9583972 14316269568 15969 18446744073709551615 4194304 4196468 140723557211280 140253627685136 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18906] ppid=18899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18906/stat : 18906 (java) S 18899 18899 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9583972 14316269568 15969 18446744073709551615 4194304 4196468 140723557211280 140253626632592 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18907] ppid=18899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18907/stat : 18907 (java) S 18899 18899 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9583973 14316269568 15969 18446744073709551615 4194304 4196468 140723557211280 140253575453424 140254029769346 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18908] ppid=18899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18908/stat : 18908 (java) S 18899 18899 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9583974 14316269568 15969 18446744073709551615 4194304 4196468 140723557211280 140253574399648 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18909] ppid=18899 vsize=13980732 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18909/stat : 18909 (java) S 18899 18899 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9583974 14316269568 15969 18446744073709551615 4194304 4196468 140723557211280 140253573346544 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18910] ppid=18899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18910/stat : 18910 (java) S 18899 18899 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9583977 14316269568 15969 18446744073709551615 4194304 4196468 140723557211280 140253572295120 140254029776795 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18911] ppid=18899 vsize=13980732 memory=140253767672432 CPUtime=0.23 cores=0,2,4,6
/proc/18901/task/18911/stat : 18911 (java) R 18899 18899 16431 0 -1 4202560 1698 0 0 0 23 0 0 0 20 0 15 0 9583977 14316269568 15969 18446744073709551615 4194304 4196468 140723557211280 140253571230248 140254008976840 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18912] ppid=18899 vsize=13980732 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/18901/task/18912/stat : 18912 (java) R 18899 18899 16431 0 -1 4202560 1328 0 0 0 23 0 0 0 20 0 15 0 9583977 14316269568 15969 18446744073709551615 4194304 4196468 140723557211280 140253570170696 140254013145720 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18913] ppid=18899 vsize=13980732 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/18901/task/18913/stat : 18913 (java) S 18899 18899 16431 0 -1 1077944384 1448 0 0 0 23 0 0 0 20 0 15 0 9583977 14316269568 15969 18446744073709551615 4194304 4196468 140723557211280 140253569136624 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18914] ppid=18899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18914/stat : 18914 (java) S 18899 18899 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9583977 14316269568 15969 18446744073709551615 4194304 4196468 140723557211280 140253568084320 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18915] ppid=18899 vsize=13980732 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18915/stat : 18915 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9583981 14316269568 15969 18446744073709551615 4194304 4196468 140723557211280 140253499223088 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65256 KiB

[startup+1.50079 s]
/proc/loadavg: 1.43 1.50 1.51 5/211 18915
/proc/meminfo: memFree=31586048/32770624 swapFree=67108860/67108860
[pid=18899] ppid=18896 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18899/stat : 18899 (xcsp3-exec) S 18896 18899 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9583963 9740288 345 18446744073709551615 4194304 5098028 140734962788896 140734962787000 140373266449020 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18006016 140734962790777 140734962790982 140734962790982 140734962794475 0
/proc/18899/statm: 2378 345 289 221 0 87 0
[pid=18901] ppid=18899 vsize=13980732 memory=116476 CPUtime=3.71 cores=0,2,4,6
/proc/18901/stat : 18901 (java) S 18899 18899 16431 0 -1 1077944320 38034 0 0 0 364 7 0 0 20 0 15 0 9583971 14316269568 29119 18446744073709551615 4194304 4196468 140723557211280 140723557193824 140254029758199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
/proc/18901/statm: 3495183 29119 3189 1 0 3483476 0
[pid=18901/tid=18902] ppid=18899 vsize=13980732 memory=21051 CPUtime=1.36 cores=0,2,4,6
/proc/18901/task/18902/stat : 18902 (java) R 18899 18899 16431 0 -1 4202560 8581 0 0 0 133 3 0 0 20 0 15 0 9583971 14316269568 29119 18446744073709551615 4194304 4196468 140723557211280 140254033995312 140253653064879 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18903] ppid=18899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18903/stat : 18903 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9583972 14316269568 29119 18446744073709551615 4194304 4196468 140723557211280 140253971704336 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18904] ppid=18899 vsize=13980732 memory=-3253322038155611931 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18904/stat : 18904 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9583972 14316269568 29119 18446744073709551615 4194304 4196468 140723557211280 140253970651792 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18905] ppid=18899 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18905/stat : 18905 (java) S 18899 18899 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9583972 14316269568 29119 18446744073709551615 4194304 4196468 140723557211280 140253627685136 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18906] ppid=18899 vsize=13980732 memory=3472328279047811153 CPUtime=0 cores=0,2,4,6

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

/proc/18899/stat : 18899 (xcsp3-exec) S 18896 18899 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9583963 9740288 345 18446744073709551615 4194304 5098028 140734962788896 140734962787000 140373266449020 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18006016 140734962790777 140734962790982 140734962790982 140734962794475 0
/proc/18899/statm: 2378 345 289 221 0 87 0
[pid=18901] ppid=18899 vsize=13980732 memory=203664 CPUtime=20.5 cores=0,2,4,6
/proc/18901/stat : 18901 (java) S 18899 18899 16431 0 -1 1077944320 48513 0 0 0 2039 11 0 0 20 0 15 0 9583971 14316269568 50916 18446744073709551615 4194304 4196468 140723557211280 140723557193824 140254029758199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
/proc/18901/statm: 3495183 50916 3222 1 0 3483476 0
[pid=18901/tid=18902] ppid=18899 vsize=13980732 memory=2344 CPUtime=17.42 cores=0,2,4,6
/proc/18901/task/18902/stat : 18902 (java) R 18899 18899 16431 0 -1 4202560 10000 0 0 0 1738 4 0 0 20 0 15 0 9583971 14316269568 50916 18446744073709551615 4194304 4196468 140723557211280 140254033997296 140253654560932 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18903] ppid=18899 vsize=13980732 memory=-8774313645642428999 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18903/stat : 18903 (java) S 18899 18899 16431 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 15 0 9583972 14316269568 50916 18446744073709551615 4194304 4196468 140723557211280 140253971704336 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18904] ppid=18899 vsize=13980732 memory=-8774313645642428999 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18904/stat : 18904 (java) S 18899 18899 16431 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 15 0 9583972 14316269568 50916 18446744073709551615 4194304 4196468 140723557211280 140253970651792 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18905] ppid=18899 vsize=13980732 memory=1728 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18905/stat : 18905 (java) S 18899 18899 16431 0 -1 1077944384 538 0 0 0 1 0 0 0 20 0 15 0 9583972 14316269568 50916 18446744073709551615 4194304 4196468 140723557211280 140253627685136 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18906] ppid=18899 vsize=13980732 memory=11952 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18906/stat : 18906 (java) S 18899 18899 16431 0 -1 1077944384 292 0 0 0 1 0 0 0 20 0 15 0 9583972 14316269568 50916 18446744073709551615 4194304 4196468 140723557211280 140253626632592 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18907] ppid=18899 vsize=13980732 memory=1008 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18907/stat : 18907 (java) S 18899 18899 16431 0 -1 1077944384 794 0 0 0 1 0 0 0 20 0 15 0 9583973 14316269568 50916 18446744073709551615 4194304 4196468 140723557211280 140253575453424 140254029769346 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18908] ppid=18899 vsize=13980732 memory=792 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18908/stat : 18908 (java) S 18899 18899 16431 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 9583974 14316269568 50916 18446744073709551615 4194304 4196468 140723557211280 140253574399648 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18909] ppid=18899 vsize=13980732 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18909/stat : 18909 (java) S 18899 18899 16431 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9583974 14316269568 50916 18446744073709551615 4194304 4196468 140723557211280 140253573346544 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18910] ppid=18899 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18910/stat : 18910 (java) S 18899 18899 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9583977 14316269568 50916 18446744073709551615 4194304 4196468 140723557211280 140253572295120 140254029776795 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18911] ppid=18899 vsize=13980732 memory=4288 CPUtime=1.31 cores=0,2,4,6
/proc/18901/task/18911/stat : 18911 (java) S 18899 18899 16431 0 -1 1077944384 13270 0 0 0 130 1 0 0 20 0 15 0 9583977 14316269568 50916 18446744073709551615 4194304 4196468 140723557211280 140253571242224 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18912] ppid=18899 vsize=13980732 memory=0 CPUtime=1.33 cores=0,2,4,6
/proc/18901/task/18912/stat : 18912 (java) S 18899 18899 16431 0 -1 1077944384 17002 0 0 0 132 1 0 0 20 0 15 0 9583977 14316269568 50916 18446744073709551615 4194304 4196468 140723557211280 140253570189680 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18913] ppid=18899 vsize=13980732 memory=24452 CPUtime=0.29 cores=0,2,4,6
/proc/18901/task/18913/stat : 18913 (java) S 18899 18899 16431 0 -1 1077944384 3575 0 0 0 29 0 0 0 20 0 15 0 9583977 14316269568 50916 18446744073709551615 4194304 4196468 140723557211280 140253569136624 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18914] ppid=18899 vsize=13980732 memory=5937524870553682016 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18914/stat : 18914 (java) S 18899 18899 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9583977 14316269568 50916 18446744073709551615 4194304 4196468 140723557211280 140253568084320 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18915] ppid=18899 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18915/stat : 18915 (java) S 18899 18899 16431 0 -1 1077944384 1158 0 0 0 0 0 0 0 20 0 15 0 9583981 14316269568 50916 18446744073709551615 4194304 4196468 140723557211280 140253499223088 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
Current children cumulated CPU time: 20.5 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 205044 KiB

[startup+18.4008 s]
/proc/loadavg: 1.42 1.49 1.51 3/211 18915
/proc/meminfo: memFree=31479776/32770624 swapFree=67108860/67108860
[pid=18899] ppid=18896 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18899/stat : 18899 (xcsp3-exec) S 18896 18899 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9583963 9740288 345 18446744073709551615 4194304 5098028 140734962788896 140734962787000 140373266449020 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18006016 140734962790777 140734962790982 140734962790982 140734962794475 0
/proc/18899/statm: 2378 345 289 221 0 87 0
[pid=18901] ppid=18899 vsize=13980732 memory=202632 CPUtime=21.3 cores=0,2,4,6
/proc/18901/stat : 18901 (java) S 18899 18899 16431 0 -1 1077944320 48522 0 0 0 2119 11 0 0 20 0 15 0 9583971 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140723557193824 140254029758199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
/proc/18901/statm: 3495183 50658 3222 1 0 3483476 0
[pid=18901/tid=18902] ppid=18899 vsize=13980732 memory=7162244454725211499 CPUtime=18.22 cores=0,2,4,6
/proc/18901/task/18902/stat : 18902 (java) R 18899 18899 16431 0 -1 4202560 10001 0 0 0 1818 4 0 0 20 0 15 0 9583971 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140254033997296 140253654560954 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18903] ppid=18899 vsize=13980732 memory=6155129221554464360 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18903/stat : 18903 (java) S 18899 18899 16431 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 15 0 9583972 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253971704336 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18904] ppid=18899 vsize=13980732 memory=6155129221554464360 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18904/stat : 18904 (java) S 18899 18899 16431 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 15 0 9583972 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253970651792 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18905] ppid=18899 vsize=13980732 memory=7379241909265001825 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18905/stat : 18905 (java) S 18899 18899 16431 0 -1 1077944384 541 0 0 0 1 0 0 0 20 0 15 0 9583972 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253627685136 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18906] ppid=18899 vsize=13980732 memory=1380 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18906/stat : 18906 (java) S 18899 18899 16431 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 15 0 9583972 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253626632592 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18907] ppid=18899 vsize=13980732 memory=203664 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18907/stat : 18907 (java) S 18899 18899 16431 0 -1 1077944384 795 0 0 0 1 0 0 0 20 0 15 0 9583973 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253575453424 140254029769346 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18908] ppid=18899 vsize=13980732 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18908/stat : 18908 (java) S 18899 18899 16431 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 9583974 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253574399648 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18909] ppid=18899 vsize=13980732 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18909/stat : 18909 (java) S 18899 18899 16431 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9583974 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253573346544 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18910] ppid=18899 vsize=13980732 memory=10720 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18910/stat : 18910 (java) S 18899 18899 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9583977 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253572295120 140254029776795 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18911] ppid=18899 vsize=13980732 memory=1200 CPUtime=1.31 cores=0,2,4,6
/proc/18901/task/18911/stat : 18911 (java) S 18899 18899 16431 0 -1 1077944384 13270 0 0 0 130 1 0 0 20 0 15 0 9583977 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253571242224 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18912] ppid=18899 vsize=13980732 memory=1716 CPUtime=1.33 cores=0,2,4,6
/proc/18901/task/18912/stat : 18912 (java) S 18899 18899 16431 0 -1 1077944384 17002 0 0 0 132 1 0 0 20 0 15 0 9583977 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253570189680 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18913] ppid=18899 vsize=13980732 memory=202632 CPUtime=0.29 cores=0,2,4,6
/proc/18901/task/18913/stat : 18913 (java) S 18899 18899 16431 0 -1 1077944384 3575 0 0 0 29 0 0 0 20 0 15 0 9583977 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253569136624 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18914] ppid=18899 vsize=13980732 memory=2912 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18914/stat : 18914 (java) S 18899 18899 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9583977 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253568084320 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18915] ppid=18899 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18915/stat : 18915 (java) S 18899 18899 16431 0 -1 1077944384 1158 0 0 0 0 0 0 0 20 0 15 0 9583981 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253499223088 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
Current children cumulated CPU time: 21.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 204012 KiB

[startup+18.8008 s]
/proc/loadavg: 1.42 1.49 1.51 3/211 18915
/proc/meminfo: memFree=31479776/32770624 swapFree=67108860/67108860
[pid=18899] ppid=18896 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18899/stat : 18899 (xcsp3-exec) S 18896 18899 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9583963 9740288 345 18446744073709551615 4194304 5098028 140734962788896 140734962787000 140373266449020 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18006016 140734962790777 140734962790982 140734962790982 140734962794475 0
/proc/18899/statm: 2378 345 289 221 0 87 0
[pid=18901] ppid=18899 vsize=13980732 memory=202632 CPUtime=21.7 cores=0,2,4,6
/proc/18901/stat : 18901 (java) S 18899 18899 16431 0 -1 1077944320 48522 0 0 0 2159 11 0 0 20 0 15 0 9583971 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140723557193824 140254029758199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
/proc/18901/statm: 3495183 50658 3222 1 0 3483476 0
[pid=18901/tid=18902] ppid=18899 vsize=13980732 memory=7100839852556323184 CPUtime=18.62 cores=0,2,4,6
/proc/18901/task/18902/stat : 18902 (java) R 18899 18899 16431 0 -1 4202560 10001 0 0 0 1858 4 0 0 20 0 15 0 9583971 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140254033997296 140253653779779 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18903] ppid=18899 vsize=13980732 memory=5865469479800824941 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18903/stat : 18903 (java) S 18899 18899 16431 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 15 0 9583972 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253971704336 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18904] ppid=18899 vsize=13980732 memory=4641636059789874278 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18904/stat : 18904 (java) S 18899 18899 16431 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 15 0 9583972 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253970651792 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18905] ppid=18899 vsize=13980732 memory=7372782188172174912 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18905/stat : 18905 (java) S 18899 18899 16431 0 -1 1077944384 541 0 0 0 1 0 0 0 20 0 15 0 9583972 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253627685136 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18906] ppid=18899 vsize=13980732 memory=7450474848174101610 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18906/stat : 18906 (java) S 18899 18899 16431 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 15 0 9583972 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253626632592 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18907] ppid=18899 vsize=13980732 memory=-6374957858630779283 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18907/stat : 18907 (java) S 18899 18899 16431 0 -1 1077944384 795 0 0 0 1 0 0 0 20 0 15 0 9583973 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253575453424 140254029769346 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18908] ppid=18899 vsize=13980732 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18908/stat : 18908 (java) S 18899 18899 16431 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 9583974 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253574399648 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18909] ppid=18899 vsize=13980732 memory=6933690305039933585 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18909/stat : 18909 (java) S 18899 18899 16431 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9583974 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253573346544 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18910] ppid=18899 vsize=13980732 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18910/stat : 18910 (java) S 18899 18899 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9583977 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253572295120 140254029776795 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18911] ppid=18899 vsize=13980732 memory=7896318971486248851 CPUtime=1.31 cores=0,2,4,6
/proc/18901/task/18911/stat : 18911 (java) S 18899 18899 16431 0 -1 1077944384 13270 0 0 0 130 1 0 0 20 0 15 0 9583977 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253571242224 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18912] ppid=18899 vsize=13980732 memory=7679927811743456362 CPUtime=1.33 cores=0,2,4,6
/proc/18901/task/18912/stat : 18912 (java) S 18899 18899 16431 0 -1 1077944384 17002 0 0 0 132 1 0 0 20 0 15 0 9583977 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253570189680 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18913] ppid=18899 vsize=13980732 memory=7679927811743456362 CPUtime=0.29 cores=0,2,4,6
/proc/18901/task/18913/stat : 18913 (java) S 18899 18899 16431 0 -1 1077944384 3575 0 0 0 29 0 0 0 20 0 15 0 9583977 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253569136624 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18914] ppid=18899 vsize=13980732 memory=140253916796544 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18914/stat : 18914 (java) S 18899 18899 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9583977 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253568084320 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18915] ppid=18899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18915/stat : 18915 (java) S 18899 18899 16431 0 -1 1077944384 1158 0 0 0 0 0 0 0 20 0 15 0 9583981 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253499223088 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
Current children cumulated CPU time: 21.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 204012 KiB

[startup+19.0008 s]*
/proc/loadavg: 1.42 1.49 1.51 3/211 18915
/proc/meminfo: memFree=31480428/32770624 swapFree=67108860/67108860
[pid=18899] ppid=18896 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18899/stat : 18899 (xcsp3-exec) S 18896 18899 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 9583963 9740288 345 18446744073709551615 4194304 5098028 140734962788896 140734962787000 140373266449020 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 18006016 140734962790777 140734962790982 140734962790982 140734962794475 0
/proc/18899/statm: 2378 345 289 221 0 87 0
[pid=18901] ppid=18899 vsize=13980732 memory=202632 CPUtime=21.91 cores=0,2,4,6
/proc/18901/stat : 18901 (java) S 18899 18899 16431 0 -1 1077944320 48543 0 0 0 2180 11 0 0 20 0 15 0 9583971 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140723557193824 140254029758199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
/proc/18901/statm: 3495183 50658 3222 1 0 3483476 0
[pid=18901/tid=18902] ppid=18899 vsize=13980732 memory=7311146985107750967 CPUtime=18.83 cores=0,2,4,6
/proc/18901/task/18902/stat : 18902 (java) R 18899 18899 16431 0 -1 4202560 10022 0 0 0 1879 4 0 0 20 0 15 0 9583971 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140254033997296 140253654290319 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18903] ppid=18899 vsize=13980732 memory=10596 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18903/stat : 18903 (java) S 18899 18899 16431 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 15 0 9583972 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253971704336 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18904] ppid=18899 vsize=13980732 memory=4123243120129709728 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18904/stat : 18904 (java) S 18899 18899 16431 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 15 0 9583972 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253970651792 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18905] ppid=18899 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18905/stat : 18905 (java) S 18899 18899 16431 0 -1 1077944384 541 0 0 0 1 0 0 0 20 0 15 0 9583972 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253627685136 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18906] ppid=18899 vsize=13980732 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18906/stat : 18906 (java) S 18899 18899 16431 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 15 0 9583972 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253626632592 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18907] ppid=18899 vsize=13980732 memory=140253916796544 CPUtime=0.01 cores=0,2,4,6
/proc/18901/task/18907/stat : 18907 (java) S 18899 18899 16431 0 -1 1077944384 795 0 0 0 1 0 0 0 20 0 15 0 9583973 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253575453424 140254029769346 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18908] ppid=18899 vsize=13980732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18908/stat : 18908 (java) S 18899 18899 16431 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 9583974 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253574399648 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18909] ppid=18899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18909/stat : 18909 (java) S 18899 18899 16431 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9583974 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253573346544 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18910] ppid=18899 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18910/stat : 18910 (java) S 18899 18899 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9583977 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253572295120 140254029776795 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18911] ppid=18899 vsize=13980732 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/18901/task/18911/stat : 18911 (java) S 18899 18899 16431 0 -1 1077944384 13270 0 0 0 130 1 0 0 20 0 15 0 9583977 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253571242224 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18912] ppid=18899 vsize=13980732 memory=-1 CPUtime=1.33 cores=0,2,4,6
/proc/18901/task/18912/stat : 18912 (java) S 18899 18899 16431 0 -1 1077944384 17002 0 0 0 132 1 0 0 20 0 15 0 9583977 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253570189680 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18913] ppid=18899 vsize=13980732 memory=140253916796544 CPUtime=0.29 cores=0,2,4,6
/proc/18901/task/18913/stat : 18913 (java) S 18899 18899 16431 0 -1 1077944384 3575 0 0 0 29 0 0 0 20 0 15 0 9583977 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253569136624 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18914] ppid=18899 vsize=13980732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18914/stat : 18914 (java) S 18899 18899 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9583977 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253568084320 140254029768405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
[pid=18901/tid=18915] ppid=18899 vsize=13980732 memory=140253916796544 CPUtime=0 cores=0,2,4,6
/proc/18901/task/18915/stat : 18915 (java) S 18899 18899 16431 0 -1 1077944384 1158 0 0 0 0 0 0 0 20 0 15 0 9583981 14316269568 50658 18446744073709551615 4194304 4196468 140723557211280 140253499223088 140254029769346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140723557216690 140723557216866 140723557216866 140723557220303 0
Current children cumulated CPU time: 21.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 204012 KiB

Child status: 0
Real time (s): 19.0777
CPU time (s): 21.9916
CPU user time (s): 21.8682
CPU system time (s): 0.123368
CPU usage (%): 115.274
Max. virtual memory (cumulated for all children) (KiB): 13992836
Max. memory (cumulated for all children) (KiB): 225104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.8682
system time used= 0.123368
maximum resident set size= 223728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49957
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2243
involuntary context switches= 46


# summary of solver processes directly reported to runsolver:
#   pid: 18899
#   total CPU time (s): 21.9916
#   total CPU user time (s): 21.8682
#   total CPU system time (s): 0.123368

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.125251 second user time and 0.23679 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-19 04:48:22
IDJOB=4282342
IDBENCH=120877
IDSOLVER=2677
FILE ID=node128/4282342-1503111742
RUNJOBID= node128-1503095815-16489
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/MultiKnapsack/MultiKnapsack-m1-gp/MultiKnapsack-2-22.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-4282342-1503111742/watcher-4282342-1503111742 -o /tmp/evaluation-result-4282342-1503111742/solver-4282342-1503111742 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503095815-16489 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1504281092 HOME/instance-4282342-1503111742.xml

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

MD5SUM BENCH= 63c49c4fa2f593a3284d3df8e40494dc
RANDOM SEED=1504281092

node128.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.47
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.47
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.47
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.47
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:        31676588 kB
MemAvailable:   31830812 kB
Buffers:          150496 kB
Cached:           286788 kB
SwapCached:            0 kB
Active:           410500 kB
Inactive:         283464 kB
Active(anon):     257208 kB
Inactive(anon):     8560 kB
Active(file):     153292 kB
Inactive(file):   274904 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8184 kB
Writeback:             0 kB
AnonPages:        258832 kB
Mapped:            43024 kB
Shmem:              8868 kB
Slab:             108560 kB
SReclaimable:      83728 kB
SUnreclaim:        24832 kB
KernelStack:        3616 kB
PageTables:         5188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1249452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    159744 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= 62016 MiB
End job on node128 at 2017-08-19 04:48:41