Trace number 4280515

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)? (TO) 19356.5 2520.1299

General information on the benchmark

NameQueenAttacking/QueenAttacking-m1-s1/
QueenAttacking-17.xml
MD5SUMdc7df4a3b3f37e7a6c8d4746a81abb92
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables351
Number of constraints350
Number of domains2
Minimum domain size2
Maximum domain size289
Distribution of domain sizes[{"size":2,"count":61},{"size":289,"count":290}]
Minimum variable degree2
Maximum variable degree61
Distribution of variable degrees[{"degree":2,"count":63},{"degree":3,"count":226},{"degree":4,"count":61},{"degree":61,"count":1}]
Minimum constraint arity2
Maximum constraint arity289
Distribution of constraint arities[{"arity":2,"count":288},{"arity":3,"count":61},{"arity":289,"count":1}]
Number of extensional constraints0
Number of intensional constraints349
Distribution of constraint types[{"type":"intension","count":349},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280515-1503149175.xml"  -tl '20160s' -p 8 -x 0
0.11/0.15	c [HOME/instance-4280515-1503149175.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
147.69/110.25	c solve instance...
19355.69/2520.09	s UNKNOWN
19355.69/2520.09	c Unexpected resolution interruption!

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280515-1503149175/watcher-4280515-1503149175 -o /tmp/evaluation-result-4280515-1503149175/solver-4280515-1503149175 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503143203-13698 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1473419429 HOME/instance-4280515-1503149175.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=15116, runsolver pid=15113

[startup+0.100132 s]*
/proc/loadavg: 7.12 7.93 8.17 2/200 15137
/proc/meminfo: memFree=27337812/32770624 swapFree=67108860/67108860
[pid=15116] ppid=15113 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15116/stat : 15116 (xcsp3-exec) S 15113 15116 13671 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148005121 9740288 346 33554432000 4194304 5098028 140734661558560 140734661556664 140007620727420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26087424 140734661563492 140734661563703 140734661563703 140734661566443 0
/proc/15116/statm: 2378 346 289 221 0 87 0
[pid=15118] ppid=15116 vsize=25999808 memory=26428 CPUtime=0.11 cores=0-7
/proc/15118/stat : 15118 (java) S 15116 15116 13671 0 -1 1077944320 5500 0 0 0 10 1 0 0 20 0 20 0 148005121 26623803392 6607 33554432000 4194304 4196468 140726311438784 140726311421328 140707802529527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
/proc/15118/statm: 6499952 6607 2862 1 0 6488269 0
[pid=15118/tid=15119] ppid=15116 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/15118/task/15119/stat : 15119 (java) R 15116 15116 13671 0 -1 4202560 3507 0 0 0 8 1 0 0 20 0 20 0 148005121 26623803392 6673 33554432000 4194304 4196468 140726311438784 140707806762800 140707784093056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15120] ppid=15116 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15118/task/15120/stat : 15120 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005122 26623803392 6673 33554432000 4194304 4196468 140726311438784 140707761289616 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15121] ppid=15116 vsize=25999808 memory=140419397875328 CPUtime=0 cores=0-7
/proc/15118/task/15121/stat : 15121 (java) S 15116 15116 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148005122 26623803392 6673 33554432000 4194304 4196468 140726311438784 140707760236816 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15122] ppid=15116 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15122/stat : 15122 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005122 26623803392 6673 33554432000 4194304 4196468 140726311438784 140707359115920 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15123] ppid=15116 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15123/stat : 15123 (java) S 15116 15116 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148005122 26623803392 6673 33554432000 4194304 4196468 140726311438784 140707358063120 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15124] ppid=15116 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15124/stat : 15124 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005122 26623803392 6673 33554432000 4194304 4196468 140726311438784 140707357010832 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15125] ppid=15116 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15118/task/15125/stat : 15125 (java) S 15116 15116 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148005122 26623803392 6673 33554432000 4194304 4196468 140726311438784 140707355958032 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15126] ppid=15116 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15126/stat : 15126 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005122 26623803392 6673 33554432000 4194304 4196468 140726311438784 140707354905744 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15127] ppid=15116 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15127/stat : 15127 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005122 26623803392 6673 33554432000 4194304 4196468 140726311438784 140707353852944 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15128] ppid=15116 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15128/stat : 15128 (java) S 15116 15116 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148005124 26623803392 6673 33554432000 4194304 4196468 140726311438784 140706074032240 140707802540674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15129] ppid=15116 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15129/stat : 15129 (java) S 15116 15116 13671 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148005124 26623803392 6673 33554432000 4194304 4196468 140726311438784 140706072978208 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15130] ppid=15116 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15130/stat : 15130 (java) S 15116 15116 13671 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148005124 26623803392 6673 33554432000 4194304 4196468 140726311438784 140706071925872 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15131] ppid=15116 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15131/stat : 15131 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005127 26623803392 6673 33554432000 4194304 4196468 140726311438784 140706070874192 140707802548123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15132] ppid=15116 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15132/stat : 15132 (java) S 15116 15116 13671 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 148005127 26623803392 6673 33554432000 4194304 4196468 140726311438784 140706069822064 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15133] ppid=15116 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15133/stat : 15133 (java) S 15116 15116 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148005127 26623803392 6673 33554432000 4194304 4196468 140726311438784 140706068769264 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15134] ppid=15116 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15134/stat : 15134 (java) S 15116 15116 13671 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 148005127 26623803392 6673 33554432000 4194304 4196468 140726311438784 140706067716976 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15135] ppid=15116 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/15118/task/15135/stat : 15135 (java) S 15116 15116 13671 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 20 0 148005127 26623803392 6673 33554432000 4194304 4196468 140726311438784 140706066664176 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15136] ppid=15116 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15136/stat : 15136 (java) S 15116 15116 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148005127 26623803392 6673 33554432000 4194304 4196468 140726311438784 140706065611104 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15137] ppid=15116 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15118/task/15137/stat : 15137 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005127 26623803392 6673 33554432000 4194304 4196468 140726311438784 140706064558384 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27812 KiB

[startup+0.210606 s]*
/proc/loadavg: 7.12 7.93 8.17 2/200 15137
/proc/meminfo: memFree=27326540/32770624 swapFree=67108860/67108860
[pid=15116] ppid=15113 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15116/stat : 15116 (xcsp3-exec) S 15113 15116 13671 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148005121 9740288 346 33554432000 4194304 5098028 140734661558560 140734661556664 140007620727420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26087424 140734661563492 140734661563703 140734661563703 140734661566443 0
/proc/15116/statm: 2378 346 289 221 0 87 0
[pid=15118] ppid=15116 vsize=26004064 memory=38372 CPUtime=0.32 cores=0-7
/proc/15118/stat : 15118 (java) S 15116 15116 13671 0 -1 1077944320 8183 0 0 0 30 2 0 0 20 0 20 0 148005121 26628161536 9593 33554432000 4194304 4196468 140726311438784 140726311421328 140707802529527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
/proc/15118/statm: 6501016 9593 3050 1 0 6488269 0
[pid=15118/tid=15119] ppid=15116 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/15118/task/15119/stat : 15119 (java) R 15116 15116 13671 0 -1 4202560 5349 0 0 0 18 1 0 0 20 0 20 0 148005121 26628161536 9593 33554432000 4194304 4196468 140726311438784 140707806751568 140707802541462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15120] ppid=15116 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/15118/task/15120/stat : 15120 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005122 26628161536 9593 33554432000 4194304 4196468 140726311438784 140707761289616 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15121] ppid=15116 vsize=26004064 memory=140419397890698 CPUtime=0 cores=0-7
/proc/15118/task/15121/stat : 15121 (java) S 15116 15116 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148005122 26628161536 9593 33554432000 4194304 4196468 140726311438784 140707760236816 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15122] ppid=15116 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15118/task/15122/stat : 15122 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005122 26628161536 9593 33554432000 4194304 4196468 140726311438784 140707359115920 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15123] ppid=15116 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15123/stat : 15123 (java) S 15116 15116 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148005122 26628161536 9593 33554432000 4194304 4196468 140726311438784 140707358063120 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15124] ppid=15116 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15124/stat : 15124 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005122 26628161536 9593 33554432000 4194304 4196468 140726311438784 140707357010832 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15125] ppid=15116 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15118/task/15125/stat : 15125 (java) S 15116 15116 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148005122 26628161536 9593 33554432000 4194304 4196468 140726311438784 140707355958032 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15126] ppid=15116 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15126/stat : 15126 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005122 26628161536 9593 33554432000 4194304 4196468 140726311438784 140707354905744 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15127] ppid=15116 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15127/stat : 15127 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005122 26628161536 9593 33554432000 4194304 4196468 140726311438784 140707353852944 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15128] ppid=15116 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15128/stat : 15128 (java) S 15116 15116 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148005124 26628161536 9593 33554432000 4194304 4196468 140726311438784 140706074032240 140707802540674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15129] ppid=15116 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15129/stat : 15129 (java) S 15116 15116 13671 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148005124 26628161536 9593 33554432000 4194304 4196468 140726311438784 140706072978208 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15130] ppid=15116 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15130/stat : 15130 (java) S 15116 15116 13671 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148005124 26628161536 9593 33554432000 4194304 4196468 140726311438784 140706071925872 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15131] ppid=15116 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15131/stat : 15131 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005127 26628161536 9593 33554432000 4194304 4196468 140726311438784 140706070874192 140707802548123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15132] ppid=15116 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/15118/task/15132/stat : 15132 (java) S 15116 15116 13671 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 20 0 148005127 26628161536 9593 33554432000 4194304 4196468 140726311438784 140706069822064 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15133] ppid=15116 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/15118/task/15133/stat : 15133 (java) S 15116 15116 13671 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 20 0 148005127 26628161536 9593 33554432000 4194304 4196468 140726311438784 140706068769264 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15134] ppid=15116 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/15118/task/15134/stat : 15134 (java) S 15116 15116 13671 0 -1 1077944384 363 0 0 0 1 0 0 0 20 0 20 0 148005127 26628161536 9593 33554432000 4194304 4196468 140726311438784 140706067716976 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15135] ppid=15116 vsize=26004096 memory=-1 CPUtime=0.07 cores=0-7
/proc/15118/task/15135/stat : 15135 (java) R 15116 15116 13671 0 -1 4202560 724 0 0 0 7 0 0 0 20 0 20 0 148005127 26628194304 9593 33554432000 4194304 4196468 140726311438784 140706066662136 140707781375577 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15136] ppid=15116 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15136/stat : 15136 (java) S 15116 15116 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148005127 26628194304 9593 33554432000 4194304 4196468 140726311438784 140706065611104 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15137] ppid=15116 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/15118/task/15137/stat : 15137 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005127 26628194304 9593 33554432000 4194304 4196468 140726311438784 140706064558384 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39756 KiB

[startup+0.314736 s]*
/proc/loadavg: 7.12 7.93 8.17 3/200 15137
/proc/meminfo: memFree=27319592/32770624 swapFree=67108860/67108860
[pid=15116] ppid=15113 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15116/stat : 15116 (xcsp3-exec) S 15113 15116 13671 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148005121 9740288 346 33554432000 4194304 5098028 140734661558560 140734661556664 140007620727420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26087424 140734661563492 140734661563703 140734661563703 140734661566443 0
/proc/15116/statm: 2378 346 289 221 0 87 0
[pid=15118] ppid=15116 vsize=26004064 memory=45072 CPUtime=0.51 cores=0-7
/proc/15118/stat : 15118 (java) S 15116 15116 13671 0 -1 1077944320 9063 0 0 0 48 3 0 0 20 0 20 0 148005121 26628161536 11268 33554432000 4194304 4196468 140726311438784 140726311421328 140707802529527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
/proc/15118/statm: 6501016 11268 3066 1 0 6488269 0
[pid=15118/tid=15119] ppid=15116 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15118/task/15119/stat : 15119 (java) R 15116 15116 13671 0 -1 4202560 6080 0 0 0 27 2 0 0 20 0 20 0 148005121 26628161536 11332 33554432000 4194304 4196468 140726311438784 140707806761952 140707802551453 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15120] ppid=15116 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15120/stat : 15120 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005122 26628161536 11332 33554432000 4194304 4196468 140726311438784 140707761289616 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15121] ppid=15116 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15121/stat : 15121 (java) S 15116 15116 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148005122 26628161536 11332 33554432000 4194304 4196468 140726311438784 140707760236816 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15122] ppid=15116 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15122/stat : 15122 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005122 26628161536 11332 33554432000 4194304 4196468 140726311438784 140707359115920 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15123] ppid=15116 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15123/stat : 15123 (java) S 15116 15116 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148005122 26628161536 11332 33554432000 4194304 4196468 140726311438784 140707358063120 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15124] ppid=15116 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/15118/task/15124/stat : 15124 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005122 26628161536 11332 33554432000 4194304 4196468 140726311438784 140707357010832 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15125] ppid=15116 vsize=26004064 memory=140419258217391 CPUtime=0 cores=0-7
/proc/15118/task/15125/stat : 15125 (java) S 15116 15116 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148005122 26628161536 11332 33554432000 4194304 4196468 140726311438784 140707355958032 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15126] ppid=15116 vsize=26004064 memory=140419258219696 CPUtime=0 cores=0-7
/proc/15118/task/15126/stat : 15126 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005122 26628161536 11332 33554432000 4194304 4196468 140726311438784 140707354905744 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15127] ppid=15116 vsize=26004064 memory=140419258222000 CPUtime=0 cores=0-7
/proc/15118/task/15127/stat : 15127 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005122 26628161536 11332 33554432000 4194304 4196468 140726311438784 140707353852944 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15128] ppid=15116 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15128/stat : 15128 (java) S 15116 15116 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148005124 26628161536 11332 33554432000 4194304 4196468 140726311438784 140706074032240 140707802540674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15129] ppid=15116 vsize=26004064 memory=280838516450960 CPUtime=0 cores=0-7
/proc/15118/task/15129/stat : 15129 (java) S 15116 15116 13671 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148005124 26628161536 11332 33554432000 4194304 4196468 140726311438784 140706072978208 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15130] ppid=15116 vsize=26004064 memory=280838516457872 CPUtime=0 cores=0-7
/proc/15118/task/15130/stat : 15130 (java) S 15116 15116 13671 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148005124 26628161536 11332 33554432000 4194304 4196468 140726311438784 140706071925872 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15131] ppid=15116 vsize=26004064 memory=280838516399152 CPUtime=0 cores=0-7
/proc/15118/task/15131/stat : 15131 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005127 26628161536 11332 33554432000 4194304 4196468 140726311438784 140706070874192 140707802548123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15132] ppid=15116 vsize=26004064 memory=280838516471696 CPUtime=0.02 cores=0-7
/proc/15118/task/15132/stat : 15132 (java) S 15116 15116 13671 0 -1 1077944384 385 0 0 0 2 0 0 0 20 0 20 0 148005127 26628161536 11332 33554432000 4194304 4196468 140726311438784 140706069822064 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15133] ppid=15116 vsize=26004064 memory=280838516478608 CPUtime=0.02 cores=0-7
/proc/15118/task/15133/stat : 15133 (java) S 15116 15116 13671 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 20 0 148005127 26628161536 11332 33554432000 4194304 4196468 140726311438784 140706068769264 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15134] ppid=15116 vsize=26004064 memory=280838516476304 CPUtime=0.02 cores=0-7
/proc/15118/task/15134/stat : 15134 (java) S 15116 15116 13671 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 20 0 148005127 26628161536 11332 33554432000 4194304 4196468 140726311438784 140706067716976 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15135] ppid=15116 vsize=26004064 memory=280838516492464 CPUtime=0.13 cores=0-7
/proc/15118/task/15135/stat : 15135 (java) S 15116 15116 13671 0 -1 1077944384 822 0 0 0 13 0 0 0 20 0 20 0 148005127 26628161536 11332 33554432000 4194304 4196468 140726311438784 140706066664176 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15136] ppid=15116 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15136/stat : 15136 (java) S 15116 15116 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148005127 26628161536 11332 33554432000 4194304 4196468 140726311438784 140706065611104 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15137] ppid=15116 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15118/task/15137/stat : 15137 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005127 26628161536 11332 33554432000 4194304 4196468 140726311438784 140706064558384 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46456 KiB

[startup+0.701033 s]
/proc/loadavg: 7.12 7.93 8.17 6/200 15137
/proc/meminfo: memFree=27307280/32770624 swapFree=67108860/67108860
[pid=15116] ppid=15113 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15116/stat : 15116 (xcsp3-exec) S 15113 15116 13671 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148005121 9740288 346 33554432000 4194304 5098028 140734661558560 140734661556664 140007620727420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26087424 140734661563492 140734661563703 140734661563703 140734661566443 0
/proc/15116/statm: 2378 346 289 221 0 87 0
[pid=15118] ppid=15116 vsize=26006188 memory=81948 CPUtime=1.64 cores=0-7
/proc/15118/stat : 15118 (java) S 15116 15116 13671 0 -1 1077944320 16239 0 0 0 159 5 0 0 20 0 20 0 148005121 26630336512 20487 33554432000 4194304 4196468 140726311438784 140726311421328 140707802529527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
/proc/15118/statm: 6501547 20487 3203 1 0 6488781 0
[pid=15118/tid=15119] ppid=15116 vsize=26006188 memory=280838516850352 CPUtime=0.67 cores=0-7
/proc/15118/task/15119/stat : 15119 (java) R 15116 15116 13671 0 -1 4202560 6657 0 0 0 64 3 0 0 20 0 20 0 148005121 26630336512 20487 33554432000 4194304 4196468 140726311438784 140707806762576 140707441603158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15120] ppid=15116 vsize=26006188 memory=140419258426224 CPUtime=0 cores=0-7
/proc/15118/task/15120/stat : 15120 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005122 26630336512 20487 33554432000 4194304 4196468 140726311438784 140707761289616 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15121] ppid=15116 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/15118/task/15121/stat : 15121 (java) S 15116 15116 13671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148005122 26630336512 20487 33554432000 4194304 4196468 140726311438784 140707760236816 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15122] ppid=15116 vsize=26006188 memory=4620 CPUtime=0 cores=0-7
/proc/15118/task/15122/stat : 15122 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148005122 26630336512 20487 33554432000 4194304 4196468 140726311438784 140707359115920 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0

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

[pid=15118/tid=15145] ppid=15116 vsize=26538700 memory=1384 CPUtime=2311.83 cores=0-7
/proc/15118/task/15145/stat : 15145 (java) R 15116 15116 13671 0 -1 4202560 27785 0 0 0 231159 24 0 0 20 0 28 0 148016148 27175628800 1044044 33554432000 4194304 4196468 140726311438784 140706049674920 140707441347407 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
Current children cumulated CPU time: 18735.8 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 4177560 KiB

[startup+2502.3 s]
/proc/loadavg: 8.33 8.32 8.25 9/208 15178
/proc/meminfo: memFree=23163028/32770624 swapFree=67108860/67108860
[pid=15116] ppid=15113 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15116/stat : 15116 (xcsp3-exec) S 15113 15116 13671 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148005121 9740288 346 33554432000 4194304 5098028 140734661558560 140734661556664 140007620727420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26087424 140734661563492 140734661563703 140734661563703 140734661566443 0
/proc/15116/statm: 2378 346 289 221 0 87 0
[pid=15118] ppid=15116 vsize=26538700 memory=4197004 CPUtime=19214.5 cores=0-7
/proc/15118/stat : 15118 (java) S 15116 15116 13671 0 -1 1077944320 754934 0 0 0 1920289 1160 0 0 20 0 28 0 148005121 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140726311421328 140707802529527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
/proc/15118/statm: 6634675 1049251 3311 1 0 6621909 0
[pid=15118/tid=15119] ppid=15116 vsize=26538700 memory=4197004 CPUtime=103.3 cores=0-7
/proc/15118/task/15119/stat : 15119 (java) S 15116 15116 13671 0 -1 1077944384 15416 0 0 0 10319 11 0 0 20 0 28 0 148005121 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140707806770304 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15120] ppid=15116 vsize=26538700 memory=4188072 CPUtime=12.35 cores=0-7
/proc/15118/task/15120/stat : 15120 (java) S 15116 15116 13671 0 -1 1077944384 23411 0 0 0 1129 106 0 0 20 0 28 0 148005122 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140707761289616 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15121] ppid=15116 vsize=26538700 memory=4188072 CPUtime=12.41 cores=0-7
/proc/15118/task/15121/stat : 15121 (java) S 15116 15116 13671 0 -1 1077944384 21938 0 0 0 1137 104 0 0 20 0 28 0 148005122 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140707760236816 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15122] ppid=15116 vsize=26538700 memory=4197004 CPUtime=12.31 cores=0-7
/proc/15118/task/15122/stat : 15122 (java) S 15116 15116 13671 0 -1 1077944384 13241 0 0 0 1140 91 0 0 20 0 28 0 148005122 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140707359115920 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15123] ppid=15116 vsize=26538700 memory=4197004 CPUtime=12.39 cores=0-7
/proc/15118/task/15123/stat : 15123 (java) S 15116 15116 13671 0 -1 1077944384 19041 0 0 0 1140 99 0 0 20 0 28 0 148005122 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140707358063120 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15124] ppid=15116 vsize=26538700 memory=4197004 CPUtime=12.34 cores=0-7
/proc/15118/task/15124/stat : 15124 (java) S 15116 15116 13671 0 -1 1077944384 21573 0 0 0 1129 105 0 0 20 0 28 0 148005122 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140707357010832 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15125] ppid=15116 vsize=26538700 memory=4197004 CPUtime=12.44 cores=0-7
/proc/15118/task/15125/stat : 15125 (java) S 15116 15116 13671 0 -1 1077944384 16656 0 0 0 1142 102 0 0 20 0 28 0 148005122 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140707355958032 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15126] ppid=15116 vsize=26538700 memory=1692 CPUtime=12.35 cores=0-7
/proc/15118/task/15126/stat : 15126 (java) S 15116 15116 13671 0 -1 1077944384 20068 0 0 0 1135 100 0 0 20 0 28 0 148005122 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140707354905744 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15127] ppid=15116 vsize=26538700 memory=916 CPUtime=12.35 cores=0-7
/proc/15118/task/15127/stat : 15127 (java) S 15116 15116 13671 0 -1 1077944384 18603 0 0 0 1138 97 0 0 20 0 28 0 148005122 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140707353852944 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15128] ppid=15116 vsize=26538700 memory=4140 CPUtime=4.23 cores=0-7
/proc/15118/task/15128/stat : 15128 (java) S 15116 15116 13671 0 -1 1077944384 26224 0 0 0 418 5 0 0 20 0 28 0 148005124 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706074032240 140707802540674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15129] ppid=15116 vsize=26538700 memory=41052 CPUtime=0 cores=0-7
/proc/15118/task/15129/stat : 15129 (java) S 15116 15116 13671 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 28 0 148005124 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706072978272 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15130] ppid=15116 vsize=26538700 memory=18488 CPUtime=0 cores=0-7
/proc/15118/task/15130/stat : 15130 (java) S 15116 15116 13671 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 28 0 148005124 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706071925888 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15131] ppid=15116 vsize=26538700 memory=1796 CPUtime=0 cores=0-7
/proc/15118/task/15131/stat : 15131 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148005127 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706070874192 140707802548123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15132] ppid=15116 vsize=26538700 memory=4185216 CPUtime=3.04 cores=0-7
/proc/15118/task/15132/stat : 15132 (java) S 15116 15116 13671 0 -1 1077944384 29374 0 0 0 300 4 0 0 20 0 28 0 148005127 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706069822064 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15133] ppid=15116 vsize=26538700 memory=4182800 CPUtime=3.39 cores=0-7
/proc/15118/task/15133/stat : 15133 (java) S 15116 15116 13671 0 -1 1077944384 31456 0 0 0 334 5 0 0 20 0 28 0 148005127 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706068769264 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15134] ppid=15116 vsize=26538700 memory=1384 CPUtime=3.2 cores=0-7
/proc/15118/task/15134/stat : 15134 (java) S 15116 15116 13671 0 -1 1077944384 35331 0 0 0 317 3 0 0 20 0 28 0 148005127 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706067716976 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15135] ppid=15116 vsize=26538700 memory=4185216 CPUtime=1.02 cores=0-7
/proc/15118/task/15135/stat : 15135 (java) S 15116 15116 13671 0 -1 1077944384 24594 0 0 0 100 2 0 0 20 0 28 0 148005127 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706066664176 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15136] ppid=15116 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/15118/task/15136/stat : 15136 (java) S 15116 15116 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148005127 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706065611104 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15137] ppid=15116 vsize=26538700 memory=1384 CPUtime=0.95 cores=0-7
/proc/15118/task/15137/stat : 15137 (java) S 15116 15116 13671 0 -1 1077944384 3093 0 0 0 36 59 0 0 20 0 28 0 148005127 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706064558384 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15138] ppid=15116 vsize=26538700 memory=4188072 CPUtime=2370.78 cores=0-7
/proc/15118/task/15138/stat : 15138 (java) R 15116 15116 13671 0 -1 4202560 90079 0 0 0 237006 72 0 0 20 0 28 0 148016147 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706057042840 140707442574656 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15139] ppid=15116 vsize=26538700 memory=1384 CPUtime=2373.28 cores=0-7
/proc/15118/task/15139/stat : 15139 (java) R 15116 15116 13671 0 -1 4202560 79022 0 0 0 237284 44 0 0 20 0 28 0 148016148 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706055990960 140707443398682 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15140] ppid=15116 vsize=26538700 memory=6791534058613427641 CPUtime=2374.18 cores=0-7
/proc/15118/task/15140/stat : 15140 (java) R 15116 15116 13671 0 -1 4202560 82613 0 0 0 237354 64 0 0 20 0 28 0 148016148 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706054938920 140707787101809 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15141] ppid=15116 vsize=26538700 memory=4140 CPUtime=2379.78 cores=0-7
/proc/15118/task/15141/stat : 15141 (java) R 15116 15116 13671 0 -1 4202560 17985 0 0 0 237958 20 0 0 20 0 28 0 148016148 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706053886120 140707441448415 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15142] ppid=15116 vsize=26538700 memory=41052 CPUtime=2380.3 cores=0-7
/proc/15118/task/15142/stat : 15142 (java) R 15116 15116 13671 0 -1 4202560 30551 0 0 0 238010 20 0 0 20 0 28 0 148016148 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706052836144 140707445961729 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15143] ppid=15116 vsize=26538700 memory=1296 CPUtime=2379.59 cores=0-7
/proc/15118/task/15143/stat : 15143 (java) R 15116 15116 13671 0 -1 4202560 81679 0 0 0 237907 52 0 0 20 0 28 0 148016148 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706051780968 140707442437928 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15144] ppid=15116 vsize=26538700 memory=33 CPUtime=2366.55 cores=0-7
/proc/15118/task/15144/stat : 15144 (java) R 15116 15116 13671 0 -1 4202560 23269 0 0 0 236638 17 0 0 20 0 28 0 148016148 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706050727432 140707443399601 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15145] ppid=15116 vsize=26538700 memory=-3621219749712857441 CPUtime=2371.75 cores=0-7
/proc/15118/task/15145/stat : 15145 (java) R 15116 15116 13671 0 -1 4202560 28219 0 0 0 237150 25 0 0 20 0 28 0 148016148 27175628800 1049251 33554432000 4194304 4196468 140726311438784 140706049674920 140707441448383 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
Current children cumulated CPU time: 19214.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 4198388 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.26 8.31 8.25 9/208 15178
/proc/meminfo: memFree=23159276/32770624 swapFree=67108860/67108860
[pid=15116] ppid=15113 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15116/stat : 15116 (xcsp3-exec) S 15113 15116 13671 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148005121 9740288 346 33554432000 4194304 5098028 140734661558560 140734661556664 140007620727420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26087424 140734661563492 140734661563703 140734661563703 140734661566443 0
/proc/15116/statm: 2378 346 289 221 0 87 0
[pid=15118] ppid=15116 vsize=26538700 memory=4201260 CPUtime=19355.7 cores=0-7
/proc/15118/stat : 15118 (java) S 15116 15116 13671 0 -1 1077944320 755971 0 0 0 1934405 1164 0 0 20 0 28 0 148005121 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140726311421328 140707802529527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
/proc/15118/statm: 6634675 1050315 3311 1 0 6621909 0
[pid=15118/tid=15119] ppid=15116 vsize=26538700 memory=6791534058613427641 CPUtime=103.3 cores=0-7
/proc/15118/task/15119/stat : 15119 (java) S 15116 15116 13671 0 -1 1077944384 15416 0 0 0 10319 11 0 0 20 0 28 0 148005121 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140707806770304 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15120] ppid=15116 vsize=26538700 memory=4872558044660077418 CPUtime=12.36 cores=0-7
/proc/15118/task/15120/stat : 15120 (java) S 15116 15116 13671 0 -1 1077944384 23411 0 0 0 1130 106 0 0 20 0 28 0 148005122 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140707761289616 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15121] ppid=15116 vsize=26538700 memory=1296 CPUtime=12.43 cores=0-7
/proc/15118/task/15121/stat : 15121 (java) S 15116 15116 13671 0 -1 1077944384 21938 0 0 0 1139 104 0 0 20 0 28 0 148005122 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140707760236816 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15122] ppid=15116 vsize=26538700 memory=2416 CPUtime=12.33 cores=0-7
/proc/15118/task/15122/stat : 15122 (java) S 15116 15116 13671 0 -1 1077944384 13241 0 0 0 1142 91 0 0 20 0 28 0 148005122 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140707359115920 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15123] ppid=15116 vsize=26538700 memory=1728 CPUtime=12.4 cores=0-7
/proc/15118/task/15123/stat : 15123 (java) S 15116 15116 13671 0 -1 1077944384 19041 0 0 0 1141 99 0 0 20 0 28 0 148005122 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140707358063120 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15124] ppid=15116 vsize=26538700 memory=4197004 CPUtime=12.35 cores=0-7
/proc/15118/task/15124/stat : 15124 (java) S 15116 15116 13671 0 -1 1077944384 21573 0 0 0 1130 105 0 0 20 0 28 0 148005122 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140707357010832 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15125] ppid=15116 vsize=26538700 memory=6791534058613427641 CPUtime=12.45 cores=0-7
/proc/15118/task/15125/stat : 15125 (java) S 15116 15116 13671 0 -1 1077944384 16656 0 0 0 1143 102 0 0 20 0 28 0 148005122 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140707355958032 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15126] ppid=15116 vsize=26538700 memory=4872558044660077418 CPUtime=12.36 cores=0-7
/proc/15118/task/15126/stat : 15126 (java) S 15116 15116 13671 0 -1 1077944384 20068 0 0 0 1136 100 0 0 20 0 28 0 148005122 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140707354905744 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15127] ppid=15116 vsize=26538700 memory=1692 CPUtime=12.37 cores=0-7
/proc/15118/task/15127/stat : 15127 (java) S 15116 15116 13671 0 -1 1077944384 18603 0 0 0 1140 97 0 0 20 0 28 0 148005122 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140707353852944 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15128] ppid=15116 vsize=26538700 memory=6791534058613427641 CPUtime=4.23 cores=0-7
/proc/15118/task/15128/stat : 15128 (java) S 15116 15116 13671 0 -1 1077944384 26227 0 0 0 418 5 0 0 20 0 28 0 148005124 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706074032240 140707802540674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15129] ppid=15116 vsize=26538700 memory=1716 CPUtime=0 cores=0-7
/proc/15118/task/15129/stat : 15129 (java) S 15116 15116 13671 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 28 0 148005124 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706072978272 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15130] ppid=15116 vsize=26538700 memory=1956 CPUtime=0 cores=0-7
/proc/15118/task/15130/stat : 15130 (java) S 15116 15116 13671 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 28 0 148005124 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706071925888 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15131] ppid=15116 vsize=26538700 memory=8600 CPUtime=0 cores=0-7
/proc/15118/task/15131/stat : 15131 (java) S 15116 15116 13671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148005127 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706070874192 140707802548123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15132] ppid=15116 vsize=26538700 memory=1228 CPUtime=3.04 cores=0-7
/proc/15118/task/15132/stat : 15132 (java) S 15116 15116 13671 0 -1 1077944384 29374 0 0 0 300 4 0 0 20 0 28 0 148005127 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706069822064 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15133] ppid=15116 vsize=26538700 memory=12136 CPUtime=3.39 cores=0-7
/proc/15118/task/15133/stat : 15133 (java) S 15116 15116 13671 0 -1 1077944384 31456 0 0 0 334 5 0 0 20 0 28 0 148005127 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706068769264 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15134] ppid=15116 vsize=26538700 memory=5792 CPUtime=3.2 cores=0-7
/proc/15118/task/15134/stat : 15134 (java) S 15116 15116 13671 0 -1 1077944384 35331 0 0 0 317 3 0 0 20 0 28 0 148005127 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706067716976 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15135] ppid=15116 vsize=26538700 memory=1008 CPUtime=1.02 cores=0-7
/proc/15118/task/15135/stat : 15135 (java) S 15116 15116 13671 0 -1 1077944384 24759 0 0 0 100 2 0 0 20 0 28 0 148005127 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706066664176 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15136] ppid=15116 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/15118/task/15136/stat : 15136 (java) S 15116 15116 13671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148005127 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706065611104 140707802539733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15137] ppid=15116 vsize=26538700 memory=280834624479971 CPUtime=0.96 cores=0-7
/proc/15118/task/15137/stat : 15137 (java) S 15116 15116 13671 0 -1 1077944384 3095 0 0 0 37 59 0 0 20 0 28 0 148005127 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706064558384 140707802540674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15138] ppid=15116 vsize=26538700 memory=640 CPUtime=2388.29 cores=0-7
/proc/15118/task/15138/stat : 15138 (java) R 15116 15116 13671 0 -1 4202560 90460 0 0 0 238756 73 0 0 20 0 28 0 148016147 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706057042840 140707443399696 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15139] ppid=15116 vsize=26538700 memory=956 CPUtime=2390.93 cores=0-7
/proc/15118/task/15139/stat : 15139 (java) R 15116 15116 13671 0 -1 4202560 79136 0 0 0 239048 45 0 0 20 0 28 0 148016148 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706055990896 140707441850592 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15140] ppid=15116 vsize=26538700 memory=2424 CPUtime=2391.87 cores=0-7
/proc/15118/task/15140/stat : 15140 (java) R 15116 15116 13671 0 -1 4202560 82728 0 0 0 239123 64 0 0 20 0 28 0 148016148 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706054938920 140707445962149 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15141] ppid=15116 vsize=26538700 memory=2240 CPUtime=2397.28 cores=0-7
/proc/15118/task/15141/stat : 15141 (java) R 15116 15116 13671 0 -1 4202560 18001 0 0 0 239708 20 0 0 20 0 28 0 148016148 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706053886120 140707443399737 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15142] ppid=15116 vsize=26538700 memory=4316 CPUtime=2397.98 cores=0-7
/proc/15118/task/15142/stat : 15142 (java) R 15116 15116 13671 0 -1 4202560 30627 0 0 0 239778 20 0 0 20 0 28 0 148016148 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706052835624 140707443399737 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15143] ppid=15116 vsize=26538700 memory=928 CPUtime=2397.28 cores=0-7
/proc/15118/task/15143/stat : 15143 (java) R 15116 15116 13671 0 -1 4202560 81800 0 0 0 239675 53 0 0 20 0 28 0 148016148 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706051783344 140707443398831 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15144] ppid=15116 vsize=26538700 memory=1576 CPUtime=2384.2 cores=0-7
/proc/15118/task/15144/stat : 15144 (java) R 15116 15116 13671 0 -1 4202560 23290 0 0 0 238403 17 0 0 20 0 28 0 148016148 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706050727432 140707443399638 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
[pid=15118/tid=15145] ppid=15116 vsize=26538700 memory=2196 CPUtime=2389.44 cores=0-7
/proc/15118/task/15145/stat : 15145 (java) R 15116 15116 13671 0 -1 4202560 28242 0 0 0 238919 25 0 0 20 0 28 0 148016148 27175628800 1050315 33554432000 4194304 4196468 140726311438784 140706049674920 140707441347321 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 16846848 140726311441554 140726311441731 140726311441731 140726311444431 0
Current children cumulated CPU time: 19355.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 4202644 KiB

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

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

[startup+2520.13 s]
# the end of solver process 15118 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19344.8 s, system=11.6692 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.13
CPU time (s): 19356.5
CPU user time (s): 19344.8
CPU system time (s): 11.6692
CPU usage (%): 768.075
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 4202644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19344.8
system time used= 11.6692
maximum resident set size= 4201836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 756793
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76702
involuntary context switches= 196395


# summary of solver processes directly reported to runsolver:
#   pid: 15116,15118
#   total CPU time (s): 19356.5
#   total CPU user time (s): 19344.8
#   total CPU system time (s): 11.6692

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.3487 second user time and 27.5905 second system time

The end

Launcher Data 

Begin job on node106 at 2017-08-19 15:11:55
IDJOB=4280515
IDBENCH=130624
IDSOLVER=2675
FILE ID=node106/4280515-1503149175
RUNJOBID= node106-1503143203-13698
PBS_JOBID= 20630801
Free space on /tmp= 61820 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-17.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-4280515-1503149175/watcher-4280515-1503149175 -o /tmp/evaluation-result-4280515-1503149175/solver-4280515-1503149175 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503143203-13698 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1473419429 HOME/instance-4280515-1503149175.xml

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

MD5SUM BENCH= dc7df4a3b3f37e7a6c8d4746a81abb92
RANDOM SEED=1473419429

node106.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.86
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.86
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.86
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.86
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:        27354308 kB
MemAvailable:   31972020 kB
Buffers:          234692 kB
Cached:          4675552 kB
SwapCached:            0 kB
Active:          1061796 kB
Inactive:        3904048 kB
Active(anon):      11660 kB
Inactive(anon):    80012 kB
Active(file):    1050136 kB
Inactive(file):  3824036 kB
Unevictable:        7764 kB
Mlocked:            7764 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7788 kB
Writeback:             0 kB
AnonPages:         63196 kB
Mapped:            50988 kB
Shmem:             33420 kB
Slab:             145780 kB
SReclaimable:     118748 kB
SUnreclaim:        27032 kB
KernelStack:        3168 kB
PageTables:         4428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     334256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61812 MiB
End job on node106 at 2017-08-19 15:53:55