Trace number 4272034

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 5a (2017-07-26)SAT (TO)274 2520.0901 2455.6399

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-17-a4.xml
MD5SUM1654769b6737315210eb217040901c4e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark230
Best CPU time to get the best result obtained on this benchmark2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables17
Number of constraints8502
Number of domains1
Minimum domain size501
Maximum domain size501
Distribution of domain sizes[{"size":501,"count":17}]
Minimum variable degree1921
Maximum variable degree1922
Distribution of variable degrees[{"degree":1921,"count":15},{"degree":1922,"count":2}]
Minimum constraint arity1
Maximum constraint arity17
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":1360},{"arity":4,"count":7140},{"arity":17,"count":1}]
Number of extensional constraints0
Number of intensional constraints8501
Distribution of constraint types[{"type":"intension","count":8501},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272034-1502778457.xml"  -tl '2520s' -p 1 -x 3
0.12/0.25	c [HOME/instance-4272034-1502778457.xml, -tl, 2520s, -p, 1, -x, 3]
0.12/0.31	c simple solver
0.32/0.38	c parse instance...
3.97/1.53	c solve instance...
174.99/118.51	o 302 
175.81/119.33	o 275 
2480.72/2416.59	o 274 
2520.04/2455.60	s SATISFIABLE
2520.04/2455.60	v <instantiation>
2520.04/2455.60	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] </list>
2520.04/2455.60	v 	<values>0 2 5 9 15 23 34 50 62 88 108 130 160 197 230 273 274 </values>
2520.04/2455.60	v </instantiation>
2520.04/2455.60	c Unexpected resolution interruption!

Verifier Data 

OK	274

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272034-1502778457/watcher-4272034-1502778457 -o /tmp/evaluation-result-4272034-1502778457/solver-4272034-1502778457 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 352297123 HOME/instance-4272034-1502778457.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
Current StackSize limit: 8192 KiB

solver pid=2019, runsolver pid=2016

[startup+0.100063 s]*
/proc/loadavg: 4.87 4.65 3.86 3/207 2029
/proc/meminfo: memFree=30364552/32770624 swapFree=67108860/67108860
[pid=2019] ppid=2016 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2019/stat : 2019 (xcsp3-exec) S 2016 2019 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 80066321 9740288 345 18446744073709551615 4194304 5098028 140731387446480 140731387444584 140013517185660 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 30187520 140731387449721 140731387449925 140731387449925 140731387453419 0
/proc/2019/statm: 2378 345 289 221 0 87 0
[pid=2021] ppid=2019 vsize=13574484 memory=19280 CPUtime=0.03 cores=0,2,4,6
/proc/2021/stat : 2021 (java) S 2019 2019 897 0 -1 1077944320 4145 0 0 0 2 1 0 0 20 0 9 0 80066328 13900271616 4820 18446744073709551615 4194304 4196468 140728603413952 140728603396496 139780740763383 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
/proc/2021/statm: 3393621 4820 2104 1 0 3383118 0
[pid=2021/tid=2022] ppid=2019 vsize=13574484 memory=7022364594140610616 CPUtime=0.03 cores=0,2,4,6
/proc/2021/task/2022/stat : 2022 (java) R 2019 2019 897 0 -1 4202560 2876 0 0 0 3 0 0 0 20 0 9 0 80066328 13900271616 4820 18446744073709551615 4194304 4196468 140728603413952 139780745001328 139780724843870 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2023] ppid=2019 vsize=13574484 memory=339 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2023/stat : 2023 (java) S 2019 2019 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 80066329 13900271616 4820 18446744073709551615 4194304 4196468 140728603413952 139780660177424 139780740773589 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2024] ppid=2019 vsize=13574484 memory=140017646469516 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2024/stat : 2024 (java) S 2019 2019 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 80066329 13900271616 4820 18446744073709551615 4194304 4196468 140728603413952 139780659124880 139780740773589 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2025] ppid=2019 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2025/stat : 2025 (java) S 2019 2019 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 80066329 13900271616 4820 18446744073709551615 4194304 4196468 140728603413952 139780658071824 139780740773589 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2026] ppid=2019 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2026/stat : 2026 (java) S 2019 2019 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 80066329 13900271616 4820 18446744073709551615 4194304 4196468 140728603413952 139780657019280 139780740773589 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2027] ppid=2019 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2027/stat : 2027 (java) S 2019 2019 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 80066330 13900271616 4820 18446744073709551615 4194304 4196468 140728603413952 139779926080240 139780740774530 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2028] ppid=2019 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2028/stat : 2028 (java) S 2019 2019 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 80066331 13900271616 4820 18446744073709551615 4194304 4196468 140728603413952 139779925026464 139780740773589 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2029] ppid=2019 vsize=13574484 memory=140017646454400 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2029/stat : 2029 (java) S 2019 2019 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 80066331 13900271616 4820 18446744073709551615 4194304 4196468 140728603413952 139779923973360 139780740773589 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20660 KiB

[startup+0.210265 s]*
/proc/loadavg: 4.87 4.65 3.86 4/213 2035
/proc/meminfo: memFree=30356684/32770624 swapFree=67108860/67108860
[pid=2019] ppid=2016 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2019/stat : 2019 (xcsp3-exec) S 2016 2019 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 80066321 9740288 345 18446744073709551615 4194304 5098028 140731387446480 140731387444584 140013517185660 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 30187520 140731387449721 140731387449925 140731387449925 140731387453419 0
/proc/2019/statm: 2378 345 289 221 0 87 0
[pid=2021] ppid=2019 vsize=13974352 memory=27880 CPUtime=0.12 cores=0,2,4,6
/proc/2021/stat : 2021 (java) S 2019 2019 897 0 -1 1077944320 5422 0 0 0 10 2 0 0 20 0 15 0 80066328 14309736448 6970 18446744073709551615 4194304 4196468 140728603413952 140728603396496 139780740763383 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
/proc/2021/statm: 3493588 6970 2843 1 0 3482964 0
[pid=2021/tid=2022] ppid=2019 vsize=13974352 memory=7022364594140610616 CPUtime=0.09 cores=0,2,4,6
/proc/2021/task/2022/stat : 2022 (java) R 2019 2019 897 0 -1 4202560 3434 0 0 0 8 1 0 0 20 0 15 0 80066328 14309736448 7035 18446744073709551615 4194304 4196468 140728603413952 139780744995632 139780740775318 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2023] ppid=2019 vsize=13974352 memory=339 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2023/stat : 2023 (java) S 2019 2019 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80066329 14309736448 7035 18446744073709551615 4194304 4196468 140728603413952 139780660177424 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2024] ppid=2019 vsize=13974352 memory=140017646469516 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2024/stat : 2024 (java) S 2019 2019 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80066329 14309736448 7035 18446744073709551615 4194304 4196468 140728603413952 139780659124880 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2025] ppid=2019 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2025/stat : 2025 (java) S 2019 2019 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80066329 14309736448 7035 18446744073709551615 4194304 4196468 140728603413952 139780658071824 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2026] ppid=2019 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2026/stat : 2026 (java) S 2019 2019 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80066329 14309736448 7035 18446744073709551615 4194304 4196468 140728603413952 139780657019280 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2027] ppid=2019 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2027/stat : 2027 (java) S 2019 2019 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80066330 14309736448 7035 18446744073709551615 4194304 4196468 140728603413952 139779926080240 139780740774530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2028] ppid=2019 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2028/stat : 2028 (java) S 2019 2019 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80066331 14309736448 7035 18446744073709551615 4194304 4196468 140728603413952 139779925026464 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2029] ppid=2019 vsize=13974352 memory=140017646454400 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2029/stat : 2029 (java) S 2019 2019 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80066331 14309736448 7035 18446744073709551615 4194304 4196468 140728603413952 139779923973360 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2030] ppid=2019 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2030/stat : 2030 (java) S 2019 2019 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80066333 14309736448 7035 18446744073709551615 4194304 4196468 140728603413952 139779922921936 139780740781979 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2031] ppid=2019 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2031/stat : 2031 (java) S 2019 2019 897 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 80066333 14309736448 7035 18446744073709551615 4194304 4196468 140728603413952 139779921869040 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2032] ppid=2019 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2032/stat : 2032 (java) S 2019 2019 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80066333 14309736448 7035 18446744073709551615 4194304 4196468 140728603413952 139779920816496 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2033] ppid=2019 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2021/task/2033/stat : 2033 (java) R 2019 2019 897 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 15 0 80066333 14309736448 7035 18446744073709551615 4194304 4196468 140728603413952 139779919763440 139780722000944 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2034] ppid=2019 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2034/stat : 2034 (java) S 2019 2019 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80066333 14309736448 7035 18446744073709551615 4194304 4196468 140728603413952 139779918711136 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2035] ppid=2019 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2035/stat : 2035 (java) S 2019 2019 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80066338 14309736448 7035 18446744073709551615 4194304 4196468 140728603413952 139779917659184 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29260 KiB

[startup+0.310395 s]*
/proc/loadavg: 4.87 4.65 3.86 4/213 2035
/proc/meminfo: memFree=30343292/32770624 swapFree=67108860/67108860
[pid=2019] ppid=2016 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2019/stat : 2019 (xcsp3-exec) S 2016 2019 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 80066321 9740288 345 18446744073709551615 4194304 5098028 140731387446480 140731387444584 140013517185660 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 30187520 140731387449721 140731387449925 140731387449925 140731387453419 0
/proc/2019/statm: 2378 345 289 221 0 87 0
[pid=2021] ppid=2019 vsize=13974352 memory=39988 CPUtime=0.32 cores=0,2,4,6
/proc/2021/stat : 2021 (java) S 2019 2019 897 0 -1 1077944320 9173 0 0 0 29 3 0 0 20 0 15 0 80066328 14309736448 9997 18446744073709551615 4194304 4196468 140728603413952 140728603396496 139780740763383 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
/proc/2021/statm: 3493588 9997 3032 1 0 3482964 0
[pid=2021/tid=2022] ppid=2019 vsize=13978608 memory=5795117241467496816 CPUtime=0.19 cores=0,2,4,6
/proc/2021/task/2022/stat : 2022 (java) R 2019 2019 897 0 -1 4202560 6353 0 0 0 17 2 0 0 20 0 15 0 80066328 14314094592 10054 18446744073709551615 4194304 4196468 140728603413952 139780744984376 139780740785309 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2023] ppid=2019 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2023/stat : 2023 (java) S 2019 2019 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80066329 14314094592 10054 18446744073709551615 4194304 4196468 140728603413952 139780660177424 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2024] ppid=2019 vsize=13978608 memory=140017646454400 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2024/stat : 2024 (java) S 2019 2019 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80066329 14314094592 10054 18446744073709551615 4194304 4196468 140728603413952 139780659124880 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2025] ppid=2019 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2025/stat : 2025 (java) S 2019 2019 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80066329 14314094592 10054 18446744073709551615 4194304 4196468 140728603413952 139780658071824 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2026] ppid=2019 vsize=13978608 memory=140017544566767 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2026/stat : 2026 (java) S 2019 2019 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80066329 14314094592 10054 18446744073709551615 4194304 4196468 140728603413952 139780657019280 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2027] ppid=2019 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2027/stat : 2027 (java) S 2019 2019 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80066330 14314094592 10054 18446744073709551615 4194304 4196468 140728603413952 139779926080240 139780740774530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2028] ppid=2019 vsize=13978608 memory=67 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2028/stat : 2028 (java) S 2019 2019 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80066331 14314094592 10054 18446744073709551615 4194304 4196468 140728603413952 139779925026464 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2029] ppid=2019 vsize=13978608 memory=140017646454400 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2029/stat : 2029 (java) S 2019 2019 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80066331 14314094592 10054 18446744073709551615 4194304 4196468 140728603413952 139779923973360 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2030] ppid=2019 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2030/stat : 2030 (java) S 2019 2019 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80066333 14314094592 10054 18446744073709551615 4194304 4196468 140728603413952 139779922921936 139780740781979 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2031] ppid=2019 vsize=13978608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2021/task/2031/stat : 2031 (java) S 2019 2019 897 0 -1 1077944384 681 0 0 0 1 0 0 0 20 0 15 0 80066333 14314094592 10054 18446744073709551615 4194304 4196468 140728603413952 139779921869040 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2032] ppid=2019 vsize=13978608 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2021/task/2032/stat : 2032 (java) S 2019 2019 897 0 -1 1077944384 156 0 0 0 2 0 0 0 20 0 15 0 80066333 14314094592 10054 18446744073709551615 4194304 4196468 140728603413952 139779920816496 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2033] ppid=2019 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2021/task/2033/stat : 2033 (java) S 2019 2019 897 0 -1 1077944384 737 0 0 0 7 0 0 0 20 0 15 0 80066333 14314094592 10054 18446744073709551615 4194304 4196468 140728603413952 139779919763440 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2034] ppid=2019 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2034/stat : 2034 (java) S 2019 2019 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80066333 14314094592 10054 18446744073709551615 4194304 4196468 140728603413952 139779918711136 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2035] ppid=2019 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2035/stat : 2035 (java) S 2019 2019 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80066338 14314094592 10054 18446744073709551615 4194304 4196468 140728603413952 139779917659184 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41368 KiB

[startup+0.700783 s]
/proc/loadavg: 4.87 4.65 3.86 5/213 2035
/proc/meminfo: memFree=30324160/32770624 swapFree=67108860/67108860
[pid=2019] ppid=2016 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2019/stat : 2019 (xcsp3-exec) S 2016 2019 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 80066321 9740288 345 18446744073709551615 4194304 5098028 140731387446480 140731387444584 140013517185660 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 30187520 140731387449721 140731387449925 140731387449925 140731387453419 0
/proc/2019/statm: 2378 345 289 221 0 87 0
[pid=2021] ppid=2019 vsize=13978684 memory=95352 CPUtime=1.4 cores=0,2,4,6
/proc/2021/stat : 2021 (java) S 2019 2019 897 0 -1 1077944320 13413 0 0 0 134 6 0 0 20 0 15 0 80066328 14314172416 23838 18446744073709551615 4194304 4196468 140728603413952 140728603396496 139780740763383 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
/proc/2021/statm: 3494671 23838 3167 1 0 3482964 0
[pid=2021/tid=2022] ppid=2019 vsize=13978684 memory=7660742144744843625 CPUtime=0.56 cores=0,2,4,6
/proc/2021/task/2022/stat : 2022 (java) R 2019 2019 897 0 -1 4202560 7847 0 0 0 53 3 0 0 20 0 15 0 80066328 14314172416 23838 18446744073709551615 4194304 4196468 140728603413952 139780744996320 139780740775318 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2023] ppid=2019 vsize=13978684 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2023/stat : 2023 (java) S 2019 2019 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80066329 14314172416 23838 18446744073709551615 4194304 4196468 140728603413952 139780660177424 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2024] ppid=2019 vsize=13978684 memory=6940416806629691476 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2024/stat : 2024 (java) S 2019 2019 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80066329 14314172416 23838 18446744073709551615 4194304 4196468 140728603413952 139780659124880 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2025] ppid=2019 vsize=13978684 memory=140017544754848 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2025/stat : 2025 (java) S 2019 2019 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80066329 14314172416 23838 18446744073709551615 4194304 4196468 140728603413952 139780658071824 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2026] ppid=2019 vsize=13978684 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2026/stat : 2026 (java) S 2019 2019 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80066329 14314172416 23838 18446744073709551615 4194304 4196468 140728603413952 139780657019280 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2027] ppid=2019 vsize=13978684 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2027/stat : 2027 (java) S 2019 2019 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 80066330 14314172416 23838 18446744073709551615 4194304 4196468 140728603413952 139779926080240 139780740774530 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2028] ppid=2019 vsize=13978684 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2028/stat : 2028 (java) S 2019 2019 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80066331 14314172416 23838 18446744073709551615 4194304 4196468 140728603413952 139779925026464 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2029] ppid=2019 vsize=13978684 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2029/stat : 2029 (java) S 2019 2019 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80066331 14314172416 23838 18446744073709551615 4194304 4196468 140728603413952 139779923973360 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2030] ppid=2019 vsize=13978684 memory=2000 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2030/stat : 2030 (java) S 2019 2019 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80066333 14314172416 23838 18446744073709551615 4194304 4196468 140728603413952 139779922921936 139780740781979 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2031] ppid=2019 vsize=13978684 memory=7593726829309027904 CPUtime=0.26 cores=0,2,4,6
/proc/2021/task/2031/stat : 2031 (java) R 2019 2019 897 0 -1 4202560 1609 0 0 0 26 0 0 0 20 0 15 0 80066333 14314172416 23838 18446744073709551615 4194304 4196468 140728603413952 139779921858304 139780722285061 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2032] ppid=2019 vsize=13978684 memory=7595725831727968097 CPUtime=0.27 cores=0,2,4,6
/proc/2021/task/2032/stat : 2032 (java) R 2019 2019 897 0 -1 4202560 1124 0 0 0 27 0 0 0 20 0 15 0 80066333 14314172416 23838 18446744073709551615 4194304 4196468 140728603413952 139779920807824 139780725162927 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2033] ppid=2019 vsize=13978684 memory=5788063852999566677 CPUtime=0.27 cores=0,2,4,6
/proc/2021/task/2033/stat : 2033 (java) R 2019 2019 897 0 -1 1077944384 1525 0 0 0 26 1 0 0 20 0 15 0 80066333 14314172416 23838 18446744073709551615 4194304 4196468 140728603413952 139779919763440 139780740774530 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2034] ppid=2019 vsize=13978684 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2034/stat : 2034 (java) S 2019 2019 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80066333 14314172416 23838 18446744073709551615 4194304 4196468 140728603413952 139779918711136 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2035] ppid=2019 vsize=13978684 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2035/stat : 2035 (java) S 2019 2019 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80066338 14314172416 23838 18446744073709551615 4194304 4196468 140728603413952 139779917659184 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 96732 KiB

[startup+1.50543 s]
/proc/loadavg: 4.87 4.65 3.86 5/213 2035
/proc/meminfo: memFree=30241936/32770624 swapFree=67108860/67108860
[pid=2019] ppid=2016 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2019/stat : 2019 (xcsp3-exec) S 2016 2019 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 80066321 9740288 345 18446744073709551615 4194304 5098028 140731387446480 140731387444584 140013517185660 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 30187520 140731387449721 140731387449925 140731387449925 140731387453419 0
/proc/2019/statm: 2378 345 289 221 0 87 0
[pid=2021] ppid=2019 vsize=13980732 memory=206292 CPUtime=3.97 cores=0,2,4,6
/proc/2021/stat : 2021 (java) S 2019 2019 897 0 -1 1077944320 19605 0 0 0 385 12 0 0 20 0 15 0 80066328 14316269568 51573 18446744073709551615 4194304 4196468 140728603413952 140728603396496 139780740763383 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
/proc/2021/statm: 3495183 51573 3234 1 0 3483476 0
[pid=2021/tid=2022] ppid=2019 vsize=13980732 memory=15745350110221 CPUtime=1.34 cores=0,2,4,6
/proc/2021/task/2022/stat : 2022 (java) R 2019 2019 897 0 -1 4202560 9243 0 0 0 129 5 0 0 20 0 15 0 80066328 14316269568 51573 18446744073709551615 4194304 4196468 140728603413952 139780745002312 139780337725730 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2023] ppid=2019 vsize=13980732 memory=12881 CPUtime=0.01 cores=0,2,4,6
/proc/2021/task/2023/stat : 2023 (java) S 2019 2019 897 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 15 0 80066329 14316269568 51573 18446744073709551615 4194304 4196468 140728603413952 139780660177424 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2024] ppid=2019 vsize=13980732 memory=24830 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2024/stat : 2024 (java) S 2019 2019 897 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 80066329 14316269568 51573 18446744073709551615 4194304 4196468 140728603413952 139780659124880 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2025] ppid=2019 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2025/stat : 2025 (java) S 2019 2019 897 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 80066329 14316269568 51573 18446744073709551615 4194304 4196468 140728603413952 139780658071824 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2026] ppid=2019 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6

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

/proc/2021/task/2029/stat : 2029 (java) S 2019 2019 897 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 80066331 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779923973376 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2030] ppid=2019 vsize=13980732 memory=6262960 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2030/stat : 2030 (java) S 2019 2019 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779922921936 139780740781979 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2031] ppid=2019 vsize=13980732 memory=1380 CPUtime=4.48 cores=0,2,4,6
/proc/2021/task/2031/stat : 2031 (java) S 2019 2019 897 0 -1 1077944384 44263 0 0 0 444 4 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779921869040 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2032] ppid=2019 vsize=13980732 memory=1380 CPUtime=4.16 cores=0,2,4,6
/proc/2021/task/2032/stat : 2032 (java) S 2019 2019 897 0 -1 1077944384 34883 0 0 0 413 3 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779920816496 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2033] ppid=2019 vsize=13980732 memory=1380 CPUtime=1.01 cores=0,2,4,6
/proc/2021/task/2033/stat : 2033 (java) S 2019 2019 897 0 -1 1077944384 13046 0 0 0 98 3 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779919763440 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2034] ppid=2019 vsize=13980732 memory=6262960 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2034/stat : 2034 (java) S 2019 2019 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779918711136 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2035] ppid=2019 vsize=13980732 memory=4116 CPUtime=1.47 cores=0,2,4,6
/proc/2021/task/2035/stat : 2035 (java) S 2019 2019 897 0 -1 1077944384 2749 0 0 0 67 80 0 0 20 0 15 0 80066338 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779917659184 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
Current children cumulated CPU time: 2386.45 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6264340 KiB

[startup+2382.3 s]
/proc/loadavg: 1.99 2.01 2.18 3/212 2254
/proc/meminfo: memFree=23836712/32770624 swapFree=67108860/67108860
[pid=2019] ppid=2016 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2019/stat : 2019 (xcsp3-exec) S 2016 2019 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 80066321 9740288 345 18446744073709551615 4194304 5098028 140731387446480 140731387444584 140013517185660 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 30187520 140731387449721 140731387449925 140731387449925 140731387453419 0
/proc/2019/statm: 2378 345 289 221 0 87 0
[pid=2021] ppid=2019 vsize=13980732 memory=6262960 CPUtime=2446.49 cores=0,2,4,6
/proc/2021/stat : 2021 (java) S 2019 2019 897 0 -1 1077944320 241890 0 0 0 244112 537 0 0 20 0 15 0 80066328 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 140728603396496 139780740763383 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
/proc/2021/statm: 3495183 1565740 3270 1 0 3483476 0
[pid=2021/tid=2022] ppid=2019 vsize=13980732 memory=6262960 CPUtime=2361.12 cores=0,2,4,6
/proc/2021/task/2022/stat : 2022 (java) R 2019 2019 897 0 -1 4202560 67411 0 0 0 236070 42 0 0 20 0 15 0 80066328 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139780745000616 139780338275080 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2023] ppid=2019 vsize=13980732 memory=6262960 CPUtime=17.58 cores=0,2,4,6
/proc/2021/task/2023/stat : 2023 (java) S 2019 2019 897 0 -1 1077944384 23990 0 0 0 1655 103 0 0 20 0 15 0 80066329 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139780660177424 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2024] ppid=2019 vsize=13980732 memory=1380 CPUtime=17.72 cores=0,2,4,6
/proc/2021/task/2024/stat : 2024 (java) S 2019 2019 897 0 -1 1077944384 14282 0 0 0 1666 106 0 0 20 0 15 0 80066329 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139780659124880 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2025] ppid=2019 vsize=13980732 memory=6262960 CPUtime=17.87 cores=0,2,4,6
/proc/2021/task/2025/stat : 2025 (java) S 2019 2019 897 0 -1 1077944384 11267 0 0 0 1684 103 0 0 20 0 15 0 80066329 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139780658071824 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2026] ppid=2019 vsize=13980732 memory=1380 CPUtime=17.66 cores=0,2,4,6
/proc/2021/task/2026/stat : 2026 (java) S 2019 2019 897 0 -1 1077944384 14052 0 0 0 1663 103 0 0 20 0 15 0 80066329 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139780657019280 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2027] ppid=2019 vsize=13980732 memory=1228 CPUtime=3.28 cores=0,2,4,6
/proc/2021/task/2027/stat : 2027 (java) S 2019 2019 897 0 -1 1077944384 14414 0 0 0 322 6 0 0 20 0 15 0 80066330 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779926080240 139780740774530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2028] ppid=2019 vsize=13980732 memory=6262960 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2028/stat : 2028 (java) S 2019 2019 897 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 80066331 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779925026528 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2029] ppid=2019 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2029/stat : 2029 (java) S 2019 2019 897 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 80066331 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779923973376 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2030] ppid=2019 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2030/stat : 2030 (java) S 2019 2019 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779922921936 139780740781979 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2031] ppid=2019 vsize=13980732 memory=1380 CPUtime=4.48 cores=0,2,4,6
/proc/2021/task/2031/stat : 2031 (java) S 2019 2019 897 0 -1 1077944384 44277 0 0 0 444 4 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779921869040 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2032] ppid=2019 vsize=13980732 memory=1380 CPUtime=4.16 cores=0,2,4,6
/proc/2021/task/2032/stat : 2032 (java) S 2019 2019 897 0 -1 1077944384 34891 0 0 0 413 3 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779920816496 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2033] ppid=2019 vsize=13980732 memory=1380 CPUtime=1.01 cores=0,2,4,6
/proc/2021/task/2033/stat : 2033 (java) S 2019 2019 897 0 -1 1077944384 13052 0 0 0 98 3 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779919763440 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2034] ppid=2019 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2034/stat : 2034 (java) S 2019 2019 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779918711136 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2035] ppid=2019 vsize=13980732 memory=44208 CPUtime=1.51 cores=0,2,4,6
/proc/2021/task/2035/stat : 2035 (java) S 2019 2019 897 0 -1 1077944384 2822 0 0 0 68 83 0 0 20 0 15 0 80066338 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779917659184 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
Current children cumulated CPU time: 2446.49 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6264340 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.17 3/212 2256
/proc/meminfo: memFree=23836932/32770624 swapFree=67108860/67108860
[pid=2019] ppid=2016 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2019/stat : 2019 (xcsp3-exec) S 2016 2019 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 80066321 9740288 345 18446744073709551615 4194304 5098028 140731387446480 140731387444584 140013517185660 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 30187520 140731387449721 140731387449925 140731387449925 140731387453419 0
/proc/2019/statm: 2378 345 289 221 0 87 0
[pid=2021] ppid=2019 vsize=13980732 memory=6262960 CPUtime=2506.54 cores=0,2,4,6
/proc/2021/stat : 2021 (java) S 2019 2019 897 0 -1 1077944320 244502 0 0 0 250115 539 0 0 20 0 15 0 80066328 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 140728603396496 139780740763383 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
/proc/2021/statm: 3495183 1565740 3270 1 0 3483476 0
[pid=2021/tid=2022] ppid=2019 vsize=13980732 memory=6262960 CPUtime=2421.12 cores=0,2,4,6
/proc/2021/task/2022/stat : 2022 (java) R 2019 2019 897 0 -1 4202560 68988 0 0 0 242070 42 0 0 20 0 15 0 80066328 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139780744998896 139780339487268 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2023] ppid=2019 vsize=13980732 memory=6262960 CPUtime=17.58 cores=0,2,4,6
/proc/2021/task/2023/stat : 2023 (java) S 2019 2019 897 0 -1 1077944384 23990 0 0 0 1655 103 0 0 20 0 15 0 80066329 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139780660177424 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2024] ppid=2019 vsize=13980732 memory=6262960 CPUtime=17.72 cores=0,2,4,6
/proc/2021/task/2024/stat : 2024 (java) S 2019 2019 897 0 -1 1077944384 14282 0 0 0 1666 106 0 0 20 0 15 0 80066329 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139780659124880 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2025] ppid=2019 vsize=13980732 memory=6262960 CPUtime=17.87 cores=0,2,4,6
/proc/2021/task/2025/stat : 2025 (java) S 2019 2019 897 0 -1 1077944384 11267 0 0 0 1684 103 0 0 20 0 15 0 80066329 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139780658071824 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2026] ppid=2019 vsize=13980732 memory=6262960 CPUtime=17.66 cores=0,2,4,6
/proc/2021/task/2026/stat : 2026 (java) S 2019 2019 897 0 -1 1077944384 14052 0 0 0 1663 103 0 0 20 0 15 0 80066329 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139780657019280 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2027] ppid=2019 vsize=13980732 memory=1380 CPUtime=3.28 cores=0,2,4,6
/proc/2021/task/2027/stat : 2027 (java) S 2019 2019 897 0 -1 1077944384 14466 0 0 0 322 6 0 0 20 0 15 0 80066330 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779926080240 139780740774530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2028] ppid=2019 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2028/stat : 2028 (java) S 2019 2019 897 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 80066331 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779925026528 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2029] ppid=2019 vsize=13980732 memory=44208 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2029/stat : 2029 (java) S 2019 2019 897 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 80066331 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779923973376 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2030] ppid=2019 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2030/stat : 2030 (java) S 2019 2019 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779922921936 139780740781979 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2031] ppid=2019 vsize=13980732 memory=1380 CPUtime=4.48 cores=0,2,4,6
/proc/2021/task/2031/stat : 2031 (java) S 2019 2019 897 0 -1 1077944384 45018 0 0 0 444 4 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779921869040 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2032] ppid=2019 vsize=13980732 memory=1228 CPUtime=4.17 cores=0,2,4,6
/proc/2021/task/2032/stat : 2032 (java) S 2019 2019 897 0 -1 1077944384 35078 0 0 0 414 3 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779920816496 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2033] ppid=2019 vsize=13980732 memory=796 CPUtime=1.01 cores=0,2,4,6
/proc/2021/task/2033/stat : 2033 (java) S 2019 2019 897 0 -1 1077944384 13061 0 0 0 98 3 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779919763440 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2034] ppid=2019 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2034/stat : 2034 (java) S 2019 2019 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779918711136 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2035] ppid=2019 vsize=13980732 memory=1380 CPUtime=1.55 cores=0,2,4,6
/proc/2021/task/2035/stat : 2035 (java) S 2019 2019 897 0 -1 1077944384 2868 0 0 0 70 85 0 0 20 0 15 0 80066338 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779917659184 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
Current children cumulated CPU time: 2506.54 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6264340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2455.6 s]
/proc/loadavg: 2.00 2.01 2.16 3/212 2257
/proc/meminfo: memFree=23836932/32770624 swapFree=67108860/67108860
[pid=2019] ppid=2016 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2019/stat : 2019 (xcsp3-exec) S 2016 2019 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 80066321 9740288 345 18446744073709551615 4194304 5098028 140731387446480 140731387444584 140013517185660 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 30187520 140731387449721 140731387449925 140731387449925 140731387453419 0
/proc/2019/statm: 2378 345 289 221 0 87 0
[pid=2021] ppid=2019 vsize=13980732 memory=6262960 CPUtime=2520.04 cores=0,2,4,6
/proc/2021/stat : 2021 (java) S 2019 2019 897 0 -1 1077944320 249268 0 0 0 251464 540 0 0 20 0 15 0 80066328 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 140728603396496 139780740763383 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
/proc/2021/statm: 3495183 1565740 3270 1 0 3483476 0
[pid=2021/tid=2022] ppid=2019 vsize=13980732 memory=1292 CPUtime=2434.42 cores=0,2,4,6
/proc/2021/task/2022/stat : 2022 (java) R 2019 2019 897 0 -1 4202560 69818 0 0 0 243400 42 0 0 20 0 15 0 80066328 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139780745000360 139780333555731 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2023] ppid=2019 vsize=13980732 memory=2316 CPUtime=17.58 cores=0,2,4,6
/proc/2021/task/2023/stat : 2023 (java) S 2019 2019 897 0 -1 1077944384 23990 0 0 0 1655 103 0 0 20 0 15 0 80066329 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139780660177424 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2024] ppid=2019 vsize=13980732 memory=1728 CPUtime=17.72 cores=0,2,4,6
/proc/2021/task/2024/stat : 2024 (java) S 2019 2019 897 0 -1 1077944384 14282 0 0 0 1666 106 0 0 20 0 15 0 80066329 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139780659124880 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2025] ppid=2019 vsize=13980732 memory=1228 CPUtime=17.87 cores=0,2,4,6
/proc/2021/task/2025/stat : 2025 (java) S 2019 2019 897 0 -1 1077944384 11267 0 0 0 1684 103 0 0 20 0 15 0 80066329 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139780658071824 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2026] ppid=2019 vsize=13980732 memory=796 CPUtime=17.66 cores=0,2,4,6
/proc/2021/task/2026/stat : 2026 (java) S 2019 2019 897 0 -1 1077944384 14052 0 0 0 1663 103 0 0 20 0 15 0 80066329 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139780657019280 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2027] ppid=2019 vsize=13980732 memory=5788 CPUtime=3.28 cores=0,2,4,6
/proc/2021/task/2027/stat : 2027 (java) S 2019 2019 897 0 -1 1077944384 14468 0 0 0 322 6 0 0 20 0 15 0 80066330 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779926080240 139780740774530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2028] ppid=2019 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2028/stat : 2028 (java) S 2019 2019 897 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 80066331 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779925026528 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2029] ppid=2019 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2029/stat : 2029 (java) S 2019 2019 897 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 80066331 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779923973376 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2030] ppid=2019 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2030/stat : 2030 (java) S 2019 2019 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779922921936 139780740781979 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2031] ppid=2019 vsize=13980732 memory=10164 CPUtime=4.67 cores=0,2,4,6
/proc/2021/task/2031/stat : 2031 (java) S 2019 2019 897 0 -1 1077944384 48567 0 0 0 462 5 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779921869040 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2032] ppid=2019 vsize=13980732 memory=1440 CPUtime=4.17 cores=0,2,4,6
/proc/2021/task/2032/stat : 2032 (java) S 2019 2019 897 0 -1 1077944384 35080 0 0 0 414 3 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779920816496 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2033] ppid=2019 vsize=13980732 memory=2000 CPUtime=1.01 cores=0,2,4,6
/proc/2021/task/2033/stat : 2033 (java) S 2019 2019 897 0 -1 1077944384 13063 0 0 0 98 3 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779919763440 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2034] ppid=2019 vsize=13980732 memory=8980 CPUtime=0 cores=0,2,4,6
/proc/2021/task/2034/stat : 2034 (java) S 2019 2019 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80066333 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779918711136 139780740773589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
[pid=2021/tid=2035] ppid=2019 vsize=13980732 memory=1200 CPUtime=1.56 cores=0,2,4,6
/proc/2021/task/2035/stat : 2035 (java) S 2019 2019 897 0 -1 1077944384 3249 0 0 0 70 86 0 0 20 0 15 0 80066338 14316269568 1565740 18446744073709551615 4194304 4196468 140728603413952 139779917659184 139780740774530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 25681920 140728603414961 140728603415137 140728603415137 140728603418575 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6264340 KiB

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

[startup+2455.61 s]
# the end of solver process 2019 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001796 s

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

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

Child status: 143
Real time (s): 2455.64
CPU time (s): 2520.09
CPU user time (s): 2514.65
CPU system time (s): 5.4336
CPU usage (%): 102.624
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 6264340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.65
system time used= 5.4336
maximum resident set size= 6263316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250555
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58403
involuntary context switches= 1842


# summary of solver processes directly reported to runsolver:
#   pid: 2019,2021
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2514.65
#   total CPU system time (s): 5.4336

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1445 second user time and 24.069 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-15 08:13:31
IDJOB=4272034
IDBENCH=126240
IDSOLVER=2664
FILE ID=node125/4272034-1502778457
RUNJOBID= node125-1502662595-11628
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-17-a4.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-4272034-1502778457/watcher-4272034-1502778457 -o /tmp/evaluation-result-4272034-1502778457/solver-4272034-1502778457 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 352297123 HOME/instance-4272034-1502778457.xml

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

MD5SUM BENCH= 1654769b6737315210eb217040901c4e
RANDOM SEED=352297123

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:        30372732 kB
MemAvailable:   31357832 kB
Buffers:          302024 kB
Cached:           976568 kB
SwapCached:            0 kB
Active:          1357744 kB
Inactive:         607340 kB
Active(anon):     686808 kB
Inactive(anon):    33100 kB
Active(file):     670936 kB
Inactive(file):   574240 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7768 kB
Writeback:           100 kB
AnonPages:        686204 kB
Mapped:            63200 kB
Shmem:             33444 kB
Slab:             137276 kB
SReclaimable:     111520 kB
SUnreclaim:        25756 kB
KernelStack:        3472 kB
PageTables:         6636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1666304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    620544 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= 62016 MiB
End job on node125 at 2017-08-15 08:54:26