Trace number 4280381

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)937 3702.02 2520.0801

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-27-a4.xml
MD5SUM4a6b886165f8d6d7f8f178d50db8a3de
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark818
Best CPU time to get the best result obtained on this benchmark2520.1201
Satisfiable
(Un)Satisfiability was proved
Number of variables27
Number of constraints58502
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":27}]
Minimum variable degree8451
Maximum variable degree8452
Distribution of variable degrees[{"degree":8451,"count":25},{"degree":8452,"count":2}]
Minimum constraint arity1
Maximum constraint arity27
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":5850},{"arity":4,"count":52650},{"arity":27,"count":1}]
Number of extensional constraints0
Number of intensional constraints58501
Distribution of constraint types[{"type":"intension","count":58501},{"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.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280381-1503138442.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280381-1503138442.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
126.62/24.91	c solve instance...
967.08/259.27	o 969 
1707.83/795.64	o 937 
3701.94/2520.02	s SATISFIABLE
3701.94/2520.02	v <instantiation>
3701.94/2520.02	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] </list>
3701.94/2520.02	v 	<values>0 1 3 7 12 20 30 44 65 80 96 122 147 181 203 251 289 360 400 474 564 592 661 774 849 898 937 </values>
3701.94/2520.02	v </instantiation>
3701.94/2520.02	c Unexpected resolution interruption!

Verifier Data 

OK	937

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280381-1503138442/watcher-4280381-1503138442 -o /tmp/evaluation-result-4280381-1503138442/solver-4280381-1503138442 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503130015-7961 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1361362849 HOME/instance-4280381-1503138442.xml 

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

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

solver pid=9016, runsolver pid=9013

[startup+0.100139 s]*
/proc/loadavg: 7.74 8.13 8.24 2/199 9037
/proc/meminfo: memFree=26187748/32770624 swapFree=67108860/67108860
[pid=9016] ppid=9013 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9016/stat : 9016 (xcsp3-exec) S 9013 9016 7934 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146931892 9740288 346 33554432000 4194304 5098028 140721956999584 140721956997688 140332049539708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36020224 140721957004388 140721957004599 140721957004599 140721957007339 0
/proc/9016/statm: 2378 346 289 221 0 87 0
[pid=9018] ppid=9016 vsize=25999808 memory=27088 CPUtime=0.11 cores=0-7
/proc/9018/stat : 9018 (java) S 9016 9016 7934 0 -1 1077944320 5643 0 0 0 10 1 0 0 20 0 20 0 146931892 26623803392 6772 33554432000 4194304 4196468 140735786917120 140735786899664 140111831621367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
/proc/9018/statm: 6499952 6772 2865 1 0 6488269 0
[pid=9018/tid=9019] ppid=9016 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/9018/task/9019/stat : 9019 (java) S 9016 9016 7934 0 -1 1077944384 3648 0 0 0 8 0 0 0 20 0 20 0 146931893 26623803392 6772 33554432000 4194304 4196468 140735786917120 140111835853632 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9020] ppid=9016 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9018/task/9020/stat : 9020 (java) S 9016 9016 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146931894 26623803392 6772 33554432000 4194304 4196468 140735786917120 140111784242064 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9021] ppid=9016 vsize=25999808 memory=139681173427840 CPUtime=0 cores=0-7
/proc/9018/task/9021/stat : 9021 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146931894 26623803392 6772 33554432000 4194304 4196468 140735786917120 140111783189264 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9022] ppid=9016 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9022/stat : 9022 (java) S 9016 9016 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146931894 26623803392 6772 33554432000 4194304 4196468 140735786917120 140111782136976 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9023] ppid=9016 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9023/stat : 9023 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146931894 26623803392 6772 33554432000 4194304 4196468 140735786917120 140111781084176 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9024] ppid=9016 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9024/stat : 9024 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146931894 26623803392 6772 33554432000 4194304 4196468 140735786917120 140111780030864 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9025] ppid=9016 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9018/task/9025/stat : 9025 (java) S 9016 9016 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146931894 26623803392 6772 33554432000 4194304 4196468 140735786917120 140111778978064 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9026] ppid=9016 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9026/stat : 9026 (java) S 9016 9016 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146931894 26623803392 6772 33554432000 4194304 4196468 140735786917120 140111777925776 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9027] ppid=9016 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9027/stat : 9027 (java) S 9016 9016 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146931894 26623803392 6772 33554432000 4194304 4196468 140735786917120 140111776872976 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9028] ppid=9016 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9028/stat : 9028 (java) S 9016 9016 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146931895 26623803392 6772 33554432000 4194304 4196468 140735786917120 140110958942832 140111831632514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9029] ppid=9016 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9029/stat : 9029 (java) S 9016 9016 7934 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146931896 26623803392 6772 33554432000 4194304 4196468 140735786917120 140110957888800 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9030] ppid=9016 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9030/stat : 9030 (java) S 9016 9016 7934 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146931896 26623803392 6772 33554432000 4194304 4196468 140735786917120 140110956836464 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9031] ppid=9016 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9031/stat : 9031 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146931898 26623803392 6772 33554432000 4194304 4196468 140735786917120 140110955784784 140111831639963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9032] ppid=9016 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9032/stat : 9032 (java) S 9016 9016 7934 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 146931898 26623803392 6772 33554432000 4194304 4196468 140735786917120 140110954731632 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9033] ppid=9016 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9033/stat : 9033 (java) S 9016 9016 7934 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 146931898 26623803392 6772 33554432000 4194304 4196468 140735786917120 140110953678832 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9034] ppid=9016 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9034/stat : 9034 (java) S 9016 9016 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146931898 26623803392 6772 33554432000 4194304 4196468 140735786917120 140110952626544 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9035] ppid=9016 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/9018/task/9035/stat : 9035 (java) R 9016 9016 7934 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 20 0 146931898 26623803392 6772 33554432000 4194304 4196468 140735786917120 140110951573744 140111831633302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9036] ppid=9016 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9036/stat : 9036 (java) S 9016 9016 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146931898 26623803392 6772 33554432000 4194304 4196468 140735786917120 140110950521696 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9037] ppid=9016 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9018/task/9037/stat : 9037 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146931899 26623803392 6772 33554432000 4194304 4196468 140735786917120 140110949468976 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28472 KiB

[startup+0.209864 s]*
/proc/loadavg: 7.74 8.13 8.24 3/199 9037
/proc/meminfo: memFree=26177080/32770624 swapFree=67108860/67108860
[pid=9016] ppid=9013 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9016/stat : 9016 (xcsp3-exec) S 9013 9016 7934 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146931892 9740288 346 33554432000 4194304 5098028 140721956999584 140721956997688 140332049539708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36020224 140721957004388 140721957004599 140721957004599 140721957007339 0
/proc/9016/statm: 2378 346 289 221 0 87 0
[pid=9018] ppid=9016 vsize=26004064 memory=38740 CPUtime=0.33 cores=0-7
/proc/9018/stat : 9018 (java) S 9016 9016 7934 0 -1 1077944320 8301 0 0 0 30 3 0 0 20 0 20 0 146931892 26628161536 9685 33554432000 4194304 4196468 140735786917120 140735786899664 140111831621367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
/proc/9018/statm: 6501016 9685 3027 1 0 6488269 0
[pid=9018/tid=9019] ppid=9016 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9018/task/9019/stat : 9019 (java) R 9016 9016 7934 0 -1 4202560 5435 0 0 0 18 1 0 0 20 0 20 0 146931893 26628161536 9685 33554432000 4194304 4196468 140735786917120 140111835842360 140111824299381 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9020] ppid=9016 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/9018/task/9020/stat : 9020 (java) S 9016 9016 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146931894 26628161536 9685 33554432000 4194304 4196468 140735786917120 140111784242064 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9021] ppid=9016 vsize=26004064 memory=288370057325139584 CPUtime=0 cores=0-7
/proc/9018/task/9021/stat : 9021 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146931894 26628161536 9685 33554432000 4194304 4196468 140735786917120 140111783189264 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9022] ppid=9016 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9018/task/9022/stat : 9022 (java) S 9016 9016 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146931894 26628161536 9685 33554432000 4194304 4196468 140735786917120 140111782136976 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9023] ppid=9016 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9023/stat : 9023 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146931894 26628161536 9685 33554432000 4194304 4196468 140735786917120 140111781084176 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9024] ppid=9016 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9024/stat : 9024 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146931894 26628161536 9685 33554432000 4194304 4196468 140735786917120 140111780030864 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9025] ppid=9016 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9018/task/9025/stat : 9025 (java) S 9016 9016 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146931894 26628161536 9685 33554432000 4194304 4196468 140735786917120 140111778978064 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9026] ppid=9016 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9026/stat : 9026 (java) S 9016 9016 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146931894 26628161536 9685 33554432000 4194304 4196468 140735786917120 140111777925776 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9027] ppid=9016 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9027/stat : 9027 (java) S 9016 9016 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146931894 26628161536 9685 33554432000 4194304 4196468 140735786917120 140111776872976 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9028] ppid=9016 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9028/stat : 9028 (java) S 9016 9016 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146931895 26628161536 9685 33554432000 4194304 4196468 140735786917120 140110958942832 140111831632514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9029] ppid=9016 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9029/stat : 9029 (java) S 9016 9016 7934 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146931896 26628161536 9685 33554432000 4194304 4196468 140735786917120 140110957888800 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9030] ppid=9016 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9030/stat : 9030 (java) S 9016 9016 7934 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146931896 26628161536 9685 33554432000 4194304 4196468 140735786917120 140110956836464 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9031] ppid=9016 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9031/stat : 9031 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146931898 26628161536 9685 33554432000 4194304 4196468 140735786917120 140110955784784 140111831639963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9032] ppid=9016 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/9018/task/9032/stat : 9032 (java) S 9016 9016 7934 0 -1 1077944384 450 0 0 0 1 0 0 0 20 0 20 0 146931898 26628161536 9685 33554432000 4194304 4196468 140735786917120 140110954731632 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9033] ppid=9016 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/9018/task/9033/stat : 9033 (java) S 9016 9016 7934 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 20 0 146931898 26628161536 9685 33554432000 4194304 4196468 140735786917120 140110953678832 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9034] ppid=9016 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/9018/task/9034/stat : 9034 (java) S 9016 9016 7934 0 -1 1077944384 109 0 0 0 1 0 0 0 20 0 20 0 146931898 26628161536 9685 33554432000 4194304 4196468 140735786917120 140110952626544 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9035] ppid=9016 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/9018/task/9035/stat : 9035 (java) R 9016 9016 7934 0 -1 4202560 748 0 0 0 7 0 0 0 20 0 20 0 146931898 26628161536 9685 33554432000 4194304 4196468 140735786917120 140110951573744 140111811432298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9036] ppid=9016 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9036/stat : 9036 (java) S 9016 9016 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146931898 26628161536 9685 33554432000 4194304 4196468 140735786917120 140110950521696 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9037] ppid=9016 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9018/task/9037/stat : 9037 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146931899 26628161536 9685 33554432000 4194304 4196468 140735786917120 140110949468976 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40124 KiB

[startup+0.309571 s]*
/proc/loadavg: 7.74 8.13 8.24 3/199 9037
/proc/meminfo: memFree=26172552/32770624 swapFree=67108860/67108860
[pid=9016] ppid=9013 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9016/stat : 9016 (xcsp3-exec) S 9013 9016 7934 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146931892 9740288 346 33554432000 4194304 5098028 140721956999584 140721956997688 140332049539708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36020224 140721957004388 140721957004599 140721957004599 140721957007339 0
/proc/9016/statm: 2378 346 289 221 0 87 0
[pid=9018] ppid=9016 vsize=26004064 memory=43380 CPUtime=0.5 cores=0-7
/proc/9018/stat : 9018 (java) S 9016 9016 7934 0 -1 1077944320 9114 0 0 0 47 3 0 0 20 0 20 0 146931892 26628161536 10845 33554432000 4194304 4196468 140735786917120 140735786899664 140111831621367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
/proc/9018/statm: 6501016 10845 3043 1 0 6488269 0
[pid=9018/tid=9019] ppid=9016 vsize=26004064 memory=8112282956445269571 CPUtime=0.28 cores=0-7
/proc/9018/task/9019/stat : 9019 (java) R 9016 9016 7934 0 -1 4202560 6103 0 0 0 27 1 0 0 20 0 20 0 146931893 26628161536 11357 33554432000 4194304 4196468 140735786917120 140111835857552 140111448642319 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9020] ppid=9016 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9020/stat : 9020 (java) S 9016 9016 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146931894 26628161536 11357 33554432000 4194304 4196468 140735786917120 140111784242064 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9021] ppid=9016 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9021/stat : 9021 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146931894 26628161536 11357 33554432000 4194304 4196468 140735786917120 140111783189264 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9022] ppid=9016 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9022/stat : 9022 (java) S 9016 9016 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146931894 26628161536 11357 33554432000 4194304 4196468 140735786917120 140111782136976 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9023] ppid=9016 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9023/stat : 9023 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146931894 26628161536 11357 33554432000 4194304 4196468 140735786917120 140111781084176 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9024] ppid=9016 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/9018/task/9024/stat : 9024 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146931894 26628161536 11357 33554432000 4194304 4196468 140735786917120 140111780030864 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9025] ppid=9016 vsize=26004064 memory=139681060713391 CPUtime=0 cores=0-7
/proc/9018/task/9025/stat : 9025 (java) S 9016 9016 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146931894 26628161536 11357 33554432000 4194304 4196468 140735786917120 140111778978064 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9026] ppid=9016 vsize=26004064 memory=139681060715696 CPUtime=0 cores=0-7
/proc/9018/task/9026/stat : 9026 (java) S 9016 9016 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146931894 26628161536 11357 33554432000 4194304 4196468 140735786917120 140111777925776 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9027] ppid=9016 vsize=26004064 memory=139681060718000 CPUtime=0 cores=0-7
/proc/9018/task/9027/stat : 9027 (java) S 9016 9016 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146931894 26628161536 11357 33554432000 4194304 4196468 140735786917120 140111776872976 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9028] ppid=9016 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9028/stat : 9028 (java) S 9016 9016 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146931895 26628161536 11357 33554432000 4194304 4196468 140735786917120 140110958942832 140111831632514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9029] ppid=9016 vsize=26004064 memory=279362121442960 CPUtime=0 cores=0-7
/proc/9018/task/9029/stat : 9029 (java) S 9016 9016 7934 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146931896 26628161536 11357 33554432000 4194304 4196468 140735786917120 140110957888800 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9030] ppid=9016 vsize=26004064 memory=279362121449872 CPUtime=0 cores=0-7
/proc/9018/task/9030/stat : 9030 (java) S 9016 9016 7934 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146931896 26628161536 11357 33554432000 4194304 4196468 140735786917120 140110956836464 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9031] ppid=9016 vsize=26004064 memory=279362121391152 CPUtime=0 cores=0-7
/proc/9018/task/9031/stat : 9031 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146931898 26628161536 11357 33554432000 4194304 4196468 140735786917120 140110955784784 140111831639963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9032] ppid=9016 vsize=26004064 memory=279362121463696 CPUtime=0.01 cores=0-7
/proc/9018/task/9032/stat : 9032 (java) R 9016 9016 7934 0 -1 4202560 456 0 0 0 1 0 0 0 20 0 20 0 146931898 26628161536 11357 33554432000 4194304 4196468 140735786917120 140110954731632 140111811450872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9033] ppid=9016 vsize=26004064 memory=279362121470608 CPUtime=0.02 cores=0-7
/proc/9018/task/9033/stat : 9033 (java) S 9016 9016 7934 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 20 0 146931898 26628161536 11357 33554432000 4194304 4196468 140735786917120 140110953678832 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9034] ppid=9016 vsize=26004064 memory=279362121468304 CPUtime=0.02 cores=0-7
/proc/9018/task/9034/stat : 9034 (java) S 9016 9016 7934 0 -1 1077944384 119 0 0 0 2 0 0 0 20 0 20 0 146931898 26628161536 11357 33554432000 4194304 4196468 140735786917120 140110952626544 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9035] ppid=9016 vsize=26004064 memory=279362121484464 CPUtime=0.12 cores=0-7
/proc/9018/task/9035/stat : 9035 (java) R 9016 9016 7934 0 -1 4202560 868 0 0 0 12 0 0 0 20 0 20 0 146931898 26628161536 11357 33554432000 4194304 4196468 140735786917120 140110951573872 140111816786955 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9036] ppid=9016 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9036/stat : 9036 (java) S 9016 9016 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146931898 26628161536 11357 33554432000 4194304 4196468 140735786917120 140110950521696 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9037] ppid=9016 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9018/task/9037/stat : 9037 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146931899 26628161536 11357 33554432000 4194304 4196468 140735786917120 140110949468976 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44764 KiB

[startup+0.700889 s]
/proc/loadavg: 7.74 8.13 8.24 3/199 9037
/proc/meminfo: memFree=26129540/32770624 swapFree=67108860/67108860
[pid=9016] ppid=9013 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9016/stat : 9016 (xcsp3-exec) S 9013 9016 7934 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146931892 9740288 346 33554432000 4194304 5098028 140721956999584 140721956997688 140332049539708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36020224 140721957004388 140721957004599 140721957004599 140721957007339 0
/proc/9016/statm: 2378 346 289 221 0 87 0
[pid=9018] ppid=9016 vsize=26004140 memory=130344 CPUtime=1.93 cores=0-7
/proc/9018/stat : 9018 (java) S 9016 9016 7934 0 -1 1077944320 12898 0 0 0 188 5 0 0 20 0 20 0 146931892 26628239360 32586 33554432000 4194304 4196468 140735786917120 140735786899664 140111831621367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
/proc/9018/statm: 6501035 32586 3193 1 0 6488269 0
[pid=9018/tid=9019] ppid=9016 vsize=26004140 memory=279362121842352 CPUtime=0.68 cores=0-7
/proc/9018/task/9019/stat : 9019 (java) R 9016 9016 7934 0 -1 4202560 6422 0 0 0 65 3 0 0 20 0 20 0 146931893 26628239360 32586 33554432000 4194304 4196468 140735786917120 140111835858176 140111450009026 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9020] ppid=9016 vsize=26004140 memory=139681060922224 CPUtime=0 cores=0-7
/proc/9018/task/9020/stat : 9020 (java) S 9016 9016 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146931894 26628239360 32586 33554432000 4194304 4196468 140735786917120 140111784242064 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9021] ppid=9016 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/9018/task/9021/stat : 9021 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146931894 26628239360 32586 33554432000 4194304 4196468 140735786917120 140111783189264 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9022] ppid=9016 vsize=26004140 memory=1004 CPUtime=0 cores=0-7
/proc/9018/task/9022/stat : 9022 (java) S 9016 9016 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146931894 26628239360 32586 33554432000 4194304 4196468 140735786917120 140111782136976 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0

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

[pid=9018/tid=9070] ppid=9016 vsize=26538700 memory=11576348 CPUtime=35.62 cores=0-7
/proc/9018/task/9070/stat : 9070 (java) S 9016 9016 7934 0 -1 1077944384 3961 0 0 0 3540 22 0 0 20 0 28 0 147011457 27175628800 2894087 33554432000 4194304 4196468 140735786917120 140110937253072 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
Current children cumulated CPU time: 3623.11 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 11577732 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 1.01 1.62 2/208 9097
/proc/meminfo: memFree=14685080/32770624 swapFree=67108860/67108860
[pid=9016] ppid=9013 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9016/stat : 9016 (xcsp3-exec) S 9013 9016 7934 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146931892 9740288 346 33554432000 4194304 5098028 140721956999584 140721956997688 140332049539708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36020224 140721957004388 140721957004599 140721957004599 140721957007339 0
/proc/9016/statm: 2378 346 289 221 0 87 0
[pid=9018] ppid=9016 vsize=26538700 memory=11507612 CPUtime=3683.69 cores=0-7
/proc/9018/stat : 9018 (java) S 9016 9016 7934 0 -1 1077944320 1398586 0 0 0 365382 2987 0 0 20 0 28 0 146931892 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140735786899664 140111831621367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
/proc/9018/statm: 6634675 2876903 3301 1 0 6621909 0
[pid=9018/tid=9019] ppid=9016 vsize=26538700 memory=11507612 CPUtime=10.25 cores=0-7
/proc/9018/task/9019/stat : 9019 (java) S 9016 9016 7934 0 -1 1077944384 12136 0 0 0 1007 18 0 0 20 0 28 0 146931893 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140111835862144 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9020] ppid=9016 vsize=26538700 memory=11507612 CPUtime=60.23 cores=0-7
/proc/9018/task/9020/stat : 9020 (java) S 9016 9016 7934 0 -1 1077944384 117519 0 0 0 5721 302 0 0 20 0 28 0 146931894 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140111784242064 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 116 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9021] ppid=9016 vsize=26538700 memory=11507612 CPUtime=60.49 cores=0-7
/proc/9018/task/9021/stat : 9021 (java) S 9016 9016 7934 0 -1 1077944384 113640 0 0 0 5752 297 0 0 20 0 28 0 146931894 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140111783189264 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 116 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9022] ppid=9016 vsize=26538700 memory=11507612 CPUtime=60.18 cores=0-7
/proc/9018/task/9022/stat : 9022 (java) S 9016 9016 7934 0 -1 1077944384 104087 0 0 0 5717 301 0 0 20 0 28 0 146931894 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140111782136976 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 116 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9023] ppid=9016 vsize=26538700 memory=11507612 CPUtime=60.86 cores=0-7
/proc/9018/task/9023/stat : 9023 (java) S 9016 9016 7934 0 -1 1077944384 117171 0 0 0 5830 256 0 0 20 0 28 0 146931894 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140111781084176 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 123 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9024] ppid=9016 vsize=26538700 memory=11507612 CPUtime=60.38 cores=0-7
/proc/9018/task/9024/stat : 9024 (java) S 9016 9016 7934 0 -1 1077944384 104206 0 0 0 5753 285 0 0 20 0 28 0 146931894 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140111780030864 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 118 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9025] ppid=9016 vsize=26538700 memory=11507612 CPUtime=60.48 cores=0-7
/proc/9018/task/9025/stat : 9025 (java) S 9016 9016 7934 0 -1 1077944384 113372 0 0 0 5749 299 0 0 20 0 28 0 146931894 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140111778978064 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 108 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9026] ppid=9016 vsize=26538700 memory=1384 CPUtime=60.76 cores=0-7
/proc/9018/task/9026/stat : 9026 (java) S 9016 9016 7934 0 -1 1077944384 117241 0 0 0 5802 274 0 0 20 0 28 0 146931894 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140111777925776 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 115 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9027] ppid=9016 vsize=26538700 memory=139681061752945 CPUtime=60.4 cores=0-7
/proc/9018/task/9027/stat : 9027 (java) S 9016 9016 7934 0 -1 1077944384 110664 0 0 0 5748 292 0 0 20 0 28 0 146931894 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140111776872976 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 120 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9028] ppid=9016 vsize=26538700 memory=1200 CPUtime=10.86 cores=0-7
/proc/9018/task/9028/stat : 9028 (java) S 9016 9016 7934 0 -1 1077944384 71925 0 0 0 1057 29 0 0 20 0 28 0 146931895 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110958942832 140111831632514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9029] ppid=9016 vsize=26538700 memory=15876 CPUtime=0 cores=0-7
/proc/9018/task/9029/stat : 9029 (java) S 9016 9016 7934 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 146931896 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110957888864 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9030] ppid=9016 vsize=26538700 memory=3472328296227679313 CPUtime=0 cores=0-7
/proc/9018/task/9030/stat : 9030 (java) S 9016 9016 7934 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 146931896 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110956836480 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9031] ppid=9016 vsize=26538700 memory=7019467131764039993 CPUtime=0 cores=0-7
/proc/9018/task/9031/stat : 9031 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146931898 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110955784784 140111831639963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9032] ppid=9016 vsize=26538700 memory=796 CPUtime=3.23 cores=0-7
/proc/9018/task/9032/stat : 9032 (java) S 9016 9016 7934 0 -1 1077944384 25920 0 0 0 318 5 0 0 20 0 28 0 146931898 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110954731632 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9033] ppid=9016 vsize=26538700 memory=10088 CPUtime=3.74 cores=0-7
/proc/9018/task/9033/stat : 9033 (java) S 9016 9016 7934 0 -1 1077944384 27189 0 0 0 370 4 0 0 20 0 28 0 146931898 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110953678832 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9034] ppid=9016 vsize=26538700 memory=11507612 CPUtime=4.03 cores=0-7
/proc/9018/task/9034/stat : 9034 (java) S 9016 9016 7934 0 -1 1077944384 22224 0 0 0 397 6 0 0 20 0 28 0 146931898 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110952626544 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9035] ppid=9016 vsize=26538700 memory=1384 CPUtime=1.1 cores=0-7
/proc/9018/task/9035/stat : 9035 (java) S 9016 9016 7934 0 -1 1077944384 23156 0 0 0 106 4 0 0 20 0 28 0 146931898 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110951573744 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9036] ppid=9016 vsize=26538700 memory=11507612 CPUtime=0 cores=0-7
/proc/9018/task/9036/stat : 9036 (java) S 9016 9016 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146931898 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110950521696 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9037] ppid=9016 vsize=26538700 memory=4132 CPUtime=1.44 cores=0-7
/proc/9018/task/9037/stat : 9037 (java) S 9016 9016 7934 0 -1 1077944384 4591 0 0 0 64 80 0 0 20 0 28 0 146931899 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110949468976 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9063] ppid=9016 vsize=26538700 memory=41172 CPUtime=34.75 cores=0-7
/proc/9018/task/9063/stat : 9063 (java) S 9016 9016 7934 0 -1 1077944384 2285 0 0 0 3461 14 0 0 20 0 28 0 147011457 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110934094112 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9064] ppid=9016 vsize=26538700 memory=2332 CPUtime=34.4 cores=0-7
/proc/9018/task/9064/stat : 9064 (java) S 9016 9016 7934 0 -1 1077944384 1715 0 0 0 3422 18 0 0 20 0 28 0 147011457 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110935147984 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9065] ppid=9016 vsize=26538700 memory=7361 CPUtime=34.13 cores=0-7
/proc/9018/task/9065/stat : 9065 (java) S 9016 9016 7934 0 -1 1077944384 4111 0 0 0 3391 22 0 0 20 0 28 0 147011457 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110939358032 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9066] ppid=9016 vsize=26538700 memory=4420 CPUtime=34.5 cores=0-7
/proc/9018/task/9066/stat : 9066 (java) S 9016 9016 7934 0 -1 1077944384 2360 0 0 0 3435 15 0 0 20 0 28 0 147011457 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110938305232 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9067] ppid=9016 vsize=26538700 memory=4452 CPUtime=1701.86 cores=0-7
/proc/9018/task/9067/stat : 9067 (java) R 9016 9016 7934 0 -1 4202560 100475 0 0 0 170154 32 0 0 20 0 28 0 147011457 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110940407776 140111451356428 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9068] ppid=9016 vsize=26538700 memory=8112282956445269571 CPUtime=35.08 cores=0-7
/proc/9018/task/9068/stat : 9068 (java) S 9016 9016 7934 0 -1 1077944384 2836 0 0 0 3494 14 0 0 20 0 28 0 147011457 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110936200144 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9069] ppid=9016 vsize=26538700 memory=-7449934923337587056 CPUtime=34.65 cores=0-7
/proc/9018/task/9069/stat : 9069 (java) S 9016 9016 7934 0 -1 1077944384 2384 0 0 0 3439 26 0 0 20 0 28 0 147011457 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110941463888 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9070] ppid=9016 vsize=26538700 memory=-7378721732755347820 CPUtime=35.62 cores=0-7
/proc/9018/task/9070/stat : 9070 (java) S 9016 9016 7934 0 -1 1077944384 3961 0 0 0 3540 22 0 0 20 0 28 0 147011457 27175628800 2876903 33554432000 4194304 4196468 140735786917120 140110937253072 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
Current children cumulated CPU time: 3683.69 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 11508996 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.00 1.01 1.61 2/207 9098
/proc/meminfo: memFree=14756340/32770624 swapFree=67108860/67108860
[pid=9016] ppid=9013 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9016/stat : 9016 (xcsp3-exec) S 9013 9016 7934 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146931892 9740288 346 33554432000 4194304 5098028 140721956999584 140721956997688 140332049539708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36020224 140721957004388 140721957004599 140721957004599 140721957007339 0
/proc/9016/statm: 2378 346 289 221 0 87 0
[pid=9018] ppid=9016 vsize=26538700 memory=11436304 CPUtime=3701.94 cores=0-7
/proc/9018/stat : 9018 (java) S 9016 9016 7934 0 -1 1077944320 1419441 0 0 0 367199 2995 0 0 20 0 28 0 146931892 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140735786899664 140111831621367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
/proc/9018/statm: 6634675 2859076 3301 1 0 6621909 0
[pid=9018/tid=9019] ppid=9016 vsize=26538700 memory=-6733704525061579059 CPUtime=10.25 cores=0-7
/proc/9018/task/9019/stat : 9019 (java) S 9016 9016 7934 0 -1 1077944384 12136 0 0 0 1007 18 0 0 20 0 28 0 146931893 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140111835862144 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9020] ppid=9016 vsize=26538700 memory=4126316290023845779 CPUtime=60.31 cores=0-7
/proc/9018/task/9020/stat : 9020 (java) S 9016 9016 7934 0 -1 1077944384 119792 0 0 0 5728 303 0 0 20 0 28 0 146931894 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140111784242064 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 121 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9021] ppid=9016 vsize=26538700 memory=3704 CPUtime=60.57 cores=0-7
/proc/9018/task/9021/stat : 9021 (java) S 9016 9016 7934 0 -1 1077944384 115892 0 0 0 5760 297 0 0 20 0 28 0 146931894 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140111783189264 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 121 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9022] ppid=9016 vsize=26538700 memory=1384 CPUtime=60.27 cores=0-7
/proc/9018/task/9022/stat : 9022 (java) S 9016 9016 7934 0 -1 1077944384 105669 0 0 0 5725 302 0 0 20 0 28 0 146931894 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140111782136976 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 120 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9023] ppid=9016 vsize=26538700 memory=11436304 CPUtime=60.94 cores=0-7
/proc/9018/task/9023/stat : 9023 (java) S 9016 9016 7934 0 -1 1077944384 120596 0 0 0 5837 257 0 0 20 0 28 0 146931894 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140111781084176 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 127 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9024] ppid=9016 vsize=26538700 memory=8112282956445269571 CPUtime=60.46 cores=0-7
/proc/9018/task/9024/stat : 9024 (java) S 9016 9016 7934 0 -1 1077944384 105881 0 0 0 5761 285 0 0 20 0 28 0 146931894 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140111780030864 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 123 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9025] ppid=9016 vsize=26538700 memory=7599669750024151988 CPUtime=60.57 cores=0-7
/proc/9018/task/9025/stat : 9025 (java) S 9016 9016 7934 0 -1 1077944384 116861 0 0 0 5756 301 0 0 20 0 28 0 146931894 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140111778978064 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 111 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9026] ppid=9016 vsize=26538700 memory=8461260354371949755 CPUtime=60.84 cores=0-7
/proc/9018/task/9026/stat : 9026 (java) S 9016 9016 7934 0 -1 1077944384 120162 0 0 0 5809 275 0 0 20 0 28 0 146931894 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140111777925776 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 119 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9027] ppid=9016 vsize=26538700 memory=8031728410328452936 CPUtime=60.48 cores=0-7
/proc/9018/task/9027/stat : 9027 (java) S 9016 9016 7934 0 -1 1077944384 112320 0 0 0 5755 293 0 0 20 0 28 0 146931894 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140111776872976 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 124 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9028] ppid=9016 vsize=26538700 memory=8313491497846797546 CPUtime=10.86 cores=0-7
/proc/9018/task/9028/stat : 9028 (java) S 9016 9016 7934 0 -1 1077944384 72226 0 0 0 1057 29 0 0 20 0 28 0 146931895 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110958942832 140111831632514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9029] ppid=9016 vsize=26538700 memory=7166468868810965321 CPUtime=0 cores=0-7
/proc/9018/task/9029/stat : 9029 (java) S 9016 9016 7934 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 146931896 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110957888864 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9030] ppid=9016 vsize=26538700 memory=8313491497846793130 CPUtime=0 cores=0-7
/proc/9018/task/9030/stat : 9030 (java) S 9016 9016 7934 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 146931896 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110956836480 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9031] ppid=9016 vsize=26538700 memory=-2247047206154755416 CPUtime=0 cores=0-7
/proc/9018/task/9031/stat : 9031 (java) S 9016 9016 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146931898 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110955784784 140111831639963 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9032] ppid=9016 vsize=26538700 memory=-1664385933527490352 CPUtime=3.23 cores=0-7
/proc/9018/task/9032/stat : 9032 (java) S 9016 9016 7934 0 -1 1077944384 25923 0 0 0 318 5 0 0 20 0 28 0 146931898 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110954731632 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9033] ppid=9016 vsize=26538700 memory=2200 CPUtime=3.74 cores=0-7
/proc/9018/task/9033/stat : 9033 (java) S 9016 9016 7934 0 -1 1077944384 27191 0 0 0 370 4 0 0 20 0 28 0 146931898 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110953678832 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9034] ppid=9016 vsize=26538700 memory=8048 CPUtime=4.03 cores=0-7
/proc/9018/task/9034/stat : 9034 (java) S 9016 9016 7934 0 -1 1077944384 22226 0 0 0 397 6 0 0 20 0 28 0 146931898 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110952626544 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9035] ppid=9016 vsize=26538700 memory=836 CPUtime=1.1 cores=0-7
/proc/9018/task/9035/stat : 9035 (java) S 9016 9016 7934 0 -1 1077944384 23158 0 0 0 106 4 0 0 20 0 28 0 146931898 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110951573744 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9036] ppid=9016 vsize=26538700 memory=1692 CPUtime=0 cores=0-7
/proc/9018/task/9036/stat : 9036 (java) S 9016 9016 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146931898 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110950521696 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9037] ppid=9016 vsize=26538700 memory=916 CPUtime=1.46 cores=0-7
/proc/9018/task/9037/stat : 9037 (java) S 9016 9016 7934 0 -1 1077944384 4626 0 0 0 65 81 0 0 20 0 28 0 146931899 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110949468976 140111831632514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9063] ppid=9016 vsize=26538700 memory=4132 CPUtime=34.75 cores=0-7
/proc/9018/task/9063/stat : 9063 (java) S 9016 9016 7934 0 -1 1077944384 2285 0 0 0 3461 14 0 0 20 0 28 0 147011457 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110934094112 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9064] ppid=9016 vsize=26538700 memory=1152 CPUtime=34.4 cores=0-7
/proc/9018/task/9064/stat : 9064 (java) S 9016 9016 7934 0 -1 1077944384 1715 0 0 0 3422 18 0 0 20 0 28 0 147011457 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110935147984 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9065] ppid=9016 vsize=26538700 memory=3704 CPUtime=34.13 cores=0-7
/proc/9018/task/9065/stat : 9065 (java) S 9016 9016 7934 0 -1 1077944384 4111 0 0 0 3391 22 0 0 20 0 28 0 147011457 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110939358032 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9066] ppid=9016 vsize=26538700 memory=1384 CPUtime=34.5 cores=0-7
/proc/9018/task/9066/stat : 9066 (java) S 9016 9016 7934 0 -1 1077944384 2360 0 0 0 3435 15 0 0 20 0 28 0 147011457 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110938305232 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9067] ppid=9016 vsize=26538700 memory=11436304 CPUtime=1719.45 cores=0-7
/proc/9018/task/9067/stat : 9067 (java) R 9016 9016 7934 0 -1 4202560 101712 0 0 0 171913 32 0 0 20 0 28 0 147011457 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110940407776 140111451768704 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9068] ppid=9016 vsize=26538700 memory=11436304 CPUtime=35.08 cores=0-7
/proc/9018/task/9068/stat : 9068 (java) S 9016 9016 7934 0 -1 1077944384 2836 0 0 0 3494 14 0 0 20 0 28 0 147011457 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110936200144 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9069] ppid=9016 vsize=26538700 memory=3475 CPUtime=34.65 cores=0-7
/proc/9018/task/9069/stat : 9069 (java) S 9016 9016 7934 0 -1 1077944384 2384 0 0 0 3439 26 0 0 20 0 28 0 147011457 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110941463888 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
[pid=9018/tid=9070] ppid=9016 vsize=26538700 memory=3440 CPUtime=35.62 cores=0-7
/proc/9018/task/9070/stat : 9070 (java) S 9016 9016 7934 0 -1 1077944384 3961 0 0 0 3540 22 0 0 20 0 28 0 147011457 27175628800 2859076 33554432000 4194304 4196468 140735786917120 140110937253072 140111831631573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6918144 140735786923154 140735786923331 140735786923331 140735786926031 0
Current children cumulated CPU time: 3701.94 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 11437688 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.08
CPU time (s): 3702.02
CPU user time (s): 3672.01
CPU system time (s): 30.0113
CPU usage (%): 146.901
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 13452436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3672.01
system time used= 30.0113
maximum resident set size= 13451052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1420544
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102837
involuntary context switches= 27693


# summary of solver processes directly reported to runsolver:
#   pid: 9016,9018
#   total CPU time (s): 3702.02
#   total CPU user time (s): 3672.01
#   total CPU system time (s): 30.0113

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.8694 second user time and 29.5487 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-19 12:13:02
IDJOB=4280381
IDBENCH=126242
IDSOLVER=2675
FILE ID=node112/4280381-1503138442
RUNJOBID= node112-1503130015-7961
PBS_JOBID= 20630782
Free space on /tmp= 61852 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-27-a4.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280381-1503138442/watcher-4280381-1503138442 -o /tmp/evaluation-result-4280381-1503138442/solver-4280381-1503138442 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503130015-7961 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1361362849 HOME/instance-4280381-1503138442.xml

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

MD5SUM BENCH= 4a6b886165f8d6d7f8f178d50db8a3de
RANDOM SEED=1361362849

node112.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.24
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.24
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.24
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.24
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:        26204208 kB
MemAvailable:   31971460 kB
Buffers:          246444 kB
Cached:          5811000 kB
SwapCached:            0 kB
Active:          1093484 kB
Inactive:        5015792 kB
Active(anon):       3880 kB
Inactive(anon):    84428 kB
Active(file):    1089604 kB
Inactive(file):  4931364 kB
Unevictable:        7840 kB
Mlocked:            7840 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             10196 kB
Writeback:             4 kB
AnonPages:         60244 kB
Mapped:            50680 kB
Shmem:             33416 kB
Slab:             150828 kB
SReclaimable:     124240 kB
SUnreclaim:        26588 kB
KernelStack:        3136 kB
PageTables:         4632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 61844 MiB
End job on node112 at 2017-08-19 12:55:03