Trace number 4254705

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-07-26)? (TO) 1517.37 252.12

General information on the benchmark

NameQueenAttacking/QueenAttacking-m1-s1/
QueenAttacking-15.xml
MD5SUMab7b26918dfc59e965233a0e800431a7
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 variables274
Number of constraints273
Number of domains2
Minimum domain size2
Maximum domain size225
Distribution of domain sizes[{"size":2,"count":48},{"size":225,"count":226}]
Minimum variable degree2
Maximum variable degree48
Distribution of variable degrees[{"degree":2,"count":50},{"degree":3,"count":175},{"degree":4,"count":48},{"degree":48,"count":1}]
Minimum constraint arity2
Maximum constraint arity225
Distribution of constraint arities[{"arity":2,"count":224},{"arity":3,"count":48},{"arity":225,"count":1}]
Number of extensional constraints0
Number of intensional constraints272
Distribution of constraint types[{"type":"intension","count":272},{"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-4254705-1502644096.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4254705-1502644096.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
100.68/73.53	c solve instance...
1516.65/252.08	s UNKNOWN
1516.65/252.08	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 (12299 MiB free)
  memory of node 1: 16384 MiB (13586 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254705-1502644096/watcher-4254705-1502644096 -o /tmp/evaluation-result-4254705-1502644096/solver-4254705-1502644096 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502638143-6791 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 432629264 HOME/instance-4254705-1502644096.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 threadsolver pid=24135, runsolver pid=

Starting watchdog threadsolver pid=24135, runsolver pid=

Current StackSize limit: 8192 KiB


[startup+0.100147 s]*
/proc/loadavg: 8.45 7.88 7.03 4/200 24156
/proc/meminfo: memFree=26491036/32770624 swapFree=67108860/67108860
[pid=24135] ppid=24132 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24135/stat : 24135 (xcsp3-exec) S 24132 24135 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97481232 9740288 346 33554432000 4194304 5098028 140727232661152 140727232659256 139813151392380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33816576 140727232668779 140727232668988 140727232668988 140727232671723 0
/proc/24135/statm: 2378 346 289 221 0 87 0
[pid=24137] ppid=24135 vsize=25999808 memory=26084 CPUtime=0.11 cores=0-7
/proc/24137/stat : 24137 (java) S 24135 24135 6764 0 -1 1077944320 5485 0 0 0 10 1 0 0 20 0 20 0 97481232 26623803392 6521 33554432000 4194304 4196468 140726447220512 140726447203056 140409443487479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
/proc/24137/statm: 6499952 6521 2842 1 0 6488269 0
[pid=24137/tid=24138] ppid=24135 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/24137/task/24138/stat : 24138 (java) R 24135 24135 6764 0 -1 4202560 3477 0 0 0 8 0 0 0 20 0 20 0 97481232 26623803392 6521 33554432000 4194304 4196468 140726447220512 140409447714080 140409427567966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24139] ppid=24135 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24137/task/24139/stat : 24139 (java) S 24135 24135 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97481233 26623803392 6521 33554432000 4194304 4196468 140726447220512 140409396108304 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24140] ppid=24135 vsize=25999808 memory=140296829687424 CPUtime=0 cores=0-7
/proc/24137/task/24140/stat : 24140 (java) S 24135 24135 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97481233 26623803392 6521 33554432000 4194304 4196468 140726447220512 140409395055760 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24141] ppid=24135 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24141/stat : 24141 (java) S 24135 24135 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97481233 26623803392 6521 33554432000 4194304 4196468 140726447220512 140408999246608 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24142] ppid=24135 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24142/stat : 24142 (java) S 24135 24135 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97481233 26623803392 6521 33554432000 4194304 4196468 140726447220512 140408998194064 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24143] ppid=24135 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24143/stat : 24143 (java) S 24135 24135 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97481233 26623803392 6521 33554432000 4194304 4196468 140726447220512 140408997141008 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24144] ppid=24135 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24137/task/24144/stat : 24144 (java) S 24135 24135 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97481233 26623803392 6521 33554432000 4194304 4196468 140726447220512 140408996088464 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24145] ppid=24135 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24145/stat : 24145 (java) S 24135 24135 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97481233 26623803392 6521 33554432000 4194304 4196468 140726447220512 140408995035408 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24146] ppid=24135 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24146/stat : 24146 (java) S 24135 24135 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97481233 26623803392 6521 33554432000 4194304 4196468 140726447220512 140408993982864 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24147] ppid=24135 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24147/stat : 24147 (java) S 24135 24135 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97481235 26623803392 6521 33554432000 4194304 4196468 140726447220512 140408772291312 140409443498626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24148] ppid=24135 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24148/stat : 24148 (java) S 24135 24135 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97481235 26623803392 6521 33554432000 4194304 4196468 140726447220512 140408771237536 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24149] ppid=24135 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24149/stat : 24149 (java) S 24135 24135 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97481235 26623803392 6521 33554432000 4194304 4196468 140726447220512 140408770184432 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24150] ppid=24135 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24150/stat : 24150 (java) S 24135 24135 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97481238 26623803392 6521 33554432000 4194304 4196468 140726447220512 140408769133008 140409443506075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24151] ppid=24135 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24151/stat : 24151 (java) S 24135 24135 6764 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 97481238 26623803392 6521 33554432000 4194304 4196468 140726447220512 140408768080112 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24152] ppid=24135 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24152/stat : 24152 (java) S 24135 24135 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97481238 26623803392 6521 33554432000 4194304 4196468 140726447220512 140408767027568 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24153] ppid=24135 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24153/stat : 24153 (java) S 24135 24135 6764 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 97481238 26623803392 6521 33554432000 4194304 4196468 140726447220512 140408765974512 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24154] ppid=24135 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/24137/task/24154/stat : 24154 (java) S 24135 24135 6764 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 97481238 26623803392 6521 33554432000 4194304 4196468 140726447220512 140408764921968 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24155] ppid=24135 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24155/stat : 24155 (java) S 24135 24135 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97481238 26623803392 6521 33554432000 4194304 4196468 140726447220512 140408763870176 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24156] ppid=24135 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24137/task/24156/stat : 24156 (java) S 24135 24135 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97481238 26623803392 6521 33554432000 4194304 4196468 140726447220512 140408762817712 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27468 KiB

[startup+0.210391 s]*
/proc/loadavg: 8.45 7.88 7.03 2/200 24156
/proc/meminfo: memFree=26479360/32770624 swapFree=67108860/67108860
[pid=24135] ppid=24132 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24135/stat : 24135 (xcsp3-exec) S 24132 24135 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97481232 9740288 346 33554432000 4194304 5098028 140727232661152 140727232659256 139813151392380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33816576 140727232668779 140727232668988 140727232668988 140727232671723 0
/proc/24135/statm: 2378 346 289 221 0 87 0
[pid=24137] ppid=24135 vsize=26004064 memory=39088 CPUtime=0.32 cores=0-7
/proc/24137/stat : 24137 (java) S 24135 24135 6764 0 -1 1077944320 8357 0 0 0 30 2 0 0 20 0 20 0 97481232 26628161536 9772 33554432000 4194304 4196468 140726447220512 140726447203056 140409443487479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
/proc/24137/statm: 6501016 9772 3049 1 0 6488269 0
[pid=24137/tid=24138] ppid=24135 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24137/task/24138/stat : 24138 (java) D 24135 24135 6764 0 -1 1077944384 5397 0 0 0 18 1 0 0 20 0 20 0 97481232 26628161536 9772 33554432000 4194304 4196468 140726447220512 140409447689200 140409436166701 0 4 0 16800975 18446744072101613092 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24139] ppid=24135 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/24137/task/24139/stat : 24139 (java) S 24135 24135 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97481233 26628161536 9772 33554432000 4194304 4196468 140726447220512 140409396108304 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24140] ppid=24135 vsize=26004064 memory=288370672981399168 CPUtime=0 cores=0-7
/proc/24137/task/24140/stat : 24140 (java) S 24135 24135 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97481233 26628161536 9772 33554432000 4194304 4196468 140726447220512 140409395055760 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24141] ppid=24135 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/24137/task/24141/stat : 24141 (java) S 24135 24135 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97481233 26628194304 9772 33554432000 4194304 4196468 140726447220512 140408999246608 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24142] ppid=24135 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24142/stat : 24142 (java) S 24135 24135 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97481233 26628194304 9772 33554432000 4194304 4196468 140726447220512 140408998194064 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24143] ppid=24135 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24143/stat : 24143 (java) S 24135 24135 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97481233 26628161536 9792 33554432000 4194304 4196468 140726447220512 140408997141008 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24144] ppid=24135 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24137/task/24144/stat : 24144 (java) S 24135 24135 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97481233 26628161536 9792 33554432000 4194304 4196468 140726447220512 140408996088464 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24145] ppid=24135 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24145/stat : 24145 (java) S 24135 24135 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97481233 26628161536 9792 33554432000 4194304 4196468 140726447220512 140408995035408 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24146] ppid=24135 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24146/stat : 24146 (java) S 24135 24135 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97481233 26628161536 9792 33554432000 4194304 4196468 140726447220512 140408993982864 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24147] ppid=24135 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24147/stat : 24147 (java) S 24135 24135 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97481235 26628161536 9792 33554432000 4194304 4196468 140726447220512 140408772291312 140409443498626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24148] ppid=24135 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24148/stat : 24148 (java) S 24135 24135 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97481235 26628194304 9792 33554432000 4194304 4196468 140726447220512 140408771237536 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24149] ppid=24135 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24149/stat : 24149 (java) S 24135 24135 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97481235 26628194304 9792 33554432000 4194304 4196468 140726447220512 140408770184432 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24150] ppid=24135 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24150/stat : 24150 (java) S 24135 24135 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97481238 26628161536 9792 33554432000 4194304 4196468 140726447220512 140408769133008 140409443506075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24151] ppid=24135 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/24137/task/24151/stat : 24151 (java) S 24135 24135 6764 0 -1 1077944384 602 0 0 0 1 0 0 0 20 0 20 0 97481238 26628161536 9792 33554432000 4194304 4196468 140726447220512 140408768080112 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24152] ppid=24135 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/24137/task/24152/stat : 24152 (java) S 24135 24135 6764 0 -1 1077944384 185 0 0 0 2 0 0 0 20 0 20 0 97481238 26628161536 9792 33554432000 4194304 4196468 140726447220512 140408767027568 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24153] ppid=24135 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24137/task/24153/stat : 24153 (java) S 24135 24135 6764 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 97481238 26628161536 9792 33554432000 4194304 4196468 140726447220512 140408765974512 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24154] ppid=24135 vsize=26004096 memory=-1 CPUtime=0.07 cores=0-7
/proc/24137/task/24154/stat : 24154 (java) R 24135 24135 6764 0 -1 4202560 721 0 0 0 7 0 0 0 20 0 20 0 97481238 26628194304 9792 33554432000 4194304 4196468 140726447220512 140408764919640 140409436594015 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24155] ppid=24135 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24155/stat : 24155 (java) S 24135 24135 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97481238 26628194304 9792 33554432000 4194304 4196468 140726447220512 140408763870176 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24156] ppid=24135 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24137/task/24156/stat : 24156 (java) S 24135 24135 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97481238 26628161536 9792 33554432000 4194304 4196468 140726447220512 140408762817712 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40472 KiB

[startup+0.310382 s]*
/proc/loadavg: 8.45 7.88 7.03 3/200 24156
/proc/meminfo: memFree=26474956/32770624 swapFree=67108860/67108860
[pid=24135] ppid=24132 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24135/stat : 24135 (xcsp3-exec) S 24132 24135 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97481232 9740288 346 33554432000 4194304 5098028 140727232661152 140727232659256 139813151392380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33816576 140727232668779 140727232668988 140727232668988 140727232671723 0
/proc/24135/statm: 2378 346 289 221 0 87 0
[pid=24137] ppid=24135 vsize=26004064 memory=45772 CPUtime=0.49 cores=0-7
/proc/24137/stat : 24137 (java) S 24135 24135 6764 0 -1 1077944320 9218 0 0 0 46 3 0 0 20 0 20 0 97481232 26628161536 11443 33554432000 4194304 4196468 140726447220512 140726447203056 140409443487479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
/proc/24137/statm: 6501016 11443 3065 1 0 6488269 0
[pid=24137/tid=24138] ppid=24135 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24137/task/24138/stat : 24138 (java) R 24135 24135 6764 0 -1 4202560 6127 0 0 0 27 2 0 0 20 0 20 0 97481232 26628161536 11507 33554432000 4194304 4196468 140726447220512 140409447719904 140409427567966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24139] ppid=24135 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24139/stat : 24139 (java) S 24135 24135 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97481233 26628161536 11507 33554432000 4194304 4196468 140726447220512 140409396108304 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24140] ppid=24135 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24140/stat : 24140 (java) S 24135 24135 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97481233 26628161536 11507 33554432000 4194304 4196468 140726447220512 140409395055760 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24141] ppid=24135 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24141/stat : 24141 (java) S 24135 24135 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97481233 26628161536 11507 33554432000 4194304 4196468 140726447220512 140408999246608 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24142] ppid=24135 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24142/stat : 24142 (java) S 24135 24135 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97481233 26628161536 11507 33554432000 4194304 4196468 140726447220512 140408998194064 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24143] ppid=24135 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/24137/task/24143/stat : 24143 (java) S 24135 24135 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97481233 26628161536 11507 33554432000 4194304 4196468 140726447220512 140408997141008 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24144] ppid=24135 vsize=26004064 memory=140296717431727 CPUtime=0 cores=0-7
/proc/24137/task/24144/stat : 24144 (java) S 24135 24135 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97481233 26628161536 11507 33554432000 4194304 4196468 140726447220512 140408996088464 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24145] ppid=24135 vsize=26004064 memory=140296717434032 CPUtime=0 cores=0-7
/proc/24137/task/24145/stat : 24145 (java) S 24135 24135 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97481233 26628161536 11507 33554432000 4194304 4196468 140726447220512 140408995035408 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24146] ppid=24135 vsize=26004064 memory=140296717436336 CPUtime=0 cores=0-7
/proc/24137/task/24146/stat : 24146 (java) S 24135 24135 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97481233 26628161536 11507 33554432000 4194304 4196468 140726447220512 140408993982864 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24147] ppid=24135 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24147/stat : 24147 (java) S 24135 24135 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97481235 26628161536 11507 33554432000 4194304 4196468 140726447220512 140408772291312 140409443498626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24148] ppid=24135 vsize=26004064 memory=280593434879632 CPUtime=0 cores=0-7
/proc/24137/task/24148/stat : 24148 (java) S 24135 24135 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97481235 26628161536 11507 33554432000 4194304 4196468 140726447220512 140408771237536 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24149] ppid=24135 vsize=26004064 memory=280593434886544 CPUtime=0 cores=0-7
/proc/24137/task/24149/stat : 24149 (java) S 24135 24135 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97481235 26628161536 11507 33554432000 4194304 4196468 140726447220512 140408770184432 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24150] ppid=24135 vsize=26004064 memory=280593434827824 CPUtime=0 cores=0-7
/proc/24137/task/24150/stat : 24150 (java) S 24135 24135 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97481238 26628161536 11507 33554432000 4194304 4196468 140726447220512 140408769133008 140409443506075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24151] ppid=24135 vsize=26004064 memory=280593434900368 CPUtime=0.02 cores=0-7
/proc/24137/task/24151/stat : 24151 (java) S 24135 24135 6764 0 -1 1077944384 613 0 0 0 2 0 0 0 20 0 20 0 97481238 26628161536 11507 33554432000 4194304 4196468 140726447220512 140408768080112 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24152] ppid=24135 vsize=26004064 memory=280593434907280 CPUtime=0.02 cores=0-7
/proc/24137/task/24152/stat : 24152 (java) S 24135 24135 6764 0 -1 1077944384 190 0 0 0 2 0 0 0 20 0 20 0 97481238 26628161536 11507 33554432000 4194304 4196468 140726447220512 140408767027568 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24153] ppid=24135 vsize=26004064 memory=280593434904976 CPUtime=0.01 cores=0-7
/proc/24137/task/24153/stat : 24153 (java) S 24135 24135 6764 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 20 0 97481238 26628161536 11507 33554432000 4194304 4196468 140726447220512 140408765974512 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24154] ppid=24135 vsize=26004064 memory=280593434921136 CPUtime=0.12 cores=0-7
/proc/24137/task/24154/stat : 24154 (java) S 24135 24135 6764 0 -1 1077944384 818 0 0 0 12 0 0 0 20 0 20 0 97481238 26628161536 11507 33554432000 4194304 4196468 140726447220512 140408764921968 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24155] ppid=24135 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24155/stat : 24155 (java) S 24135 24135 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97481238 26628161536 11507 33554432000 4194304 4196468 140726447220512 140408763870176 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24156] ppid=24135 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24137/task/24156/stat : 24156 (java) S 24135 24135 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97481238 26628161536 11507 33554432000 4194304 4196468 140726447220512 140408762817712 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47156 KiB

[startup+0.701005 s]
/proc/loadavg: 8.45 7.88 7.03 5/200 24156
/proc/meminfo: memFree=26457080/32770624 swapFree=67108860/67108860
[pid=24135] ppid=24132 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24135/stat : 24135 (xcsp3-exec) S 24132 24135 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97481232 9740288 346 33554432000 4194304 5098028 140727232661152 140727232659256 139813151392380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33816576 140727232668779 140727232668988 140727232668988 140727232671723 0
/proc/24135/statm: 2378 346 289 221 0 87 0
[pid=24137] ppid=24135 vsize=26006188 memory=111536 CPUtime=1.75 cores=0-7
/proc/24137/stat : 24137 (java) S 24135 24135 6764 0 -1 1077944320 24192 0 0 0 169 6 0 0 20 0 20 0 97481232 26630336512 27884 33554432000 4194304 4196468 140726447220512 140726447203056 140409443487479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
/proc/24137/statm: 6501547 27884 3202 1 0 6488781 0
[pid=24137/tid=24138] ppid=24135 vsize=26006188 memory=280593435279024 CPUtime=0.67 cores=0-7
/proc/24137/task/24138/stat : 24138 (java) R 24135 24135 6764 0 -1 4202560 6732 0 0 0 65 2 0 0 20 0 20 0 97481232 26630336512 27884 33554432000 4194304 4196468 140726447220512 140409447724624 140409077562873 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24139] ppid=24135 vsize=26006188 memory=140296717640560 CPUtime=0 cores=0-7
/proc/24137/task/24139/stat : 24139 (java) S 24135 24135 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97481233 26630336512 27884 33554432000 4194304 4196468 140726447220512 140409396108304 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24140] ppid=24135 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/24137/task/24140/stat : 24140 (java) S 24135 24135 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97481233 26630336512 27884 33554432000 4194304 4196468 140726447220512 140409395055760 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0

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

[pid=24137/tid=24165] ppid=24135 vsize=26538700 memory=4012 CPUtime=84.63 cores=0-7
/proc/24137/task/24165/stat : 24165 (java) R 24135 24135 6764 0 -1 4202560 5063 0 0 0 8454 9 0 0 20 0 28 0 97488587 27175628800 820293 33554432000 4194304 4196468 140726447220512 140408747438296 140409082189419 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
Current children cumulated CPU time: 801.22 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3282556 KiB

[startup+222.301 s]
/proc/loadavg: 7.70 7.10 6.82 9/207 24165
/proc/meminfo: memFree=23008064/32770624 swapFree=67108860/67108860
[pid=24135] ppid=24132 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24135/stat : 24135 (xcsp3-exec) S 24132 24135 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97481232 9740288 346 33554432000 4194304 5098028 140727232661152 140727232659256 139813151392380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33816576 140727232668779 140727232668988 140727232668988 140727232671723 0
/proc/24135/statm: 2378 346 289 221 0 87 0
[pid=24137] ppid=24135 vsize=26538700 memory=3510908 CPUtime=1279.7 cores=0-7
/proc/24137/stat : 24137 (java) S 24135 24135 6764 0 -1 1077944320 276524 0 0 0 126976 994 0 0 20 0 28 0 97481232 27175628800 877727 33554432000 4194304 4196468 140726447220512 140726447203056 140409443487479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
/proc/24137/statm: 6634675 877727 3311 1 0 6621909 0
[pid=24137/tid=24138] ppid=24135 vsize=26538700 memory=3502716 CPUtime=69.34 cores=0-7
/proc/24137/task/24138/stat : 24138 (java) S 24135 24135 6764 0 -1 1077944384 15446 0 0 0 6928 6 0 0 20 0 28 0 97481232 27175628800 877727 33554432000 4194304 4196468 140726447220512 140409447728256 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24139] ppid=24135 vsize=26538700 memory=3510908 CPUtime=6.02 cores=0-7
/proc/24137/task/24139/stat : 24139 (java) S 24135 24135 6764 0 -1 1077944384 10747 0 0 0 491 111 0 0 20 0 28 0 97481233 27175628800 877727 33554432000 4194304 4196468 140726447220512 140409396108304 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24140] ppid=24135 vsize=26538700 memory=1384 CPUtime=6.05 cores=0-7
/proc/24137/task/24140/stat : 24140 (java) S 24135 24135 6764 0 -1 1077944384 9554 0 0 0 488 117 0 0 20 0 28 0 97481233 27175628800 877727 33554432000 4194304 4196468 140726447220512 140409395055760 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24141] ppid=24135 vsize=26538700 memory=3668 CPUtime=6 cores=0-7
/proc/24137/task/24141/stat : 24141 (java) S 24135 24135 6764 0 -1 1077944384 14463 0 0 0 493 107 0 0 20 0 28 0 97481233 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408999246608 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24142] ppid=24135 vsize=26538700 memory=916 CPUtime=6.01 cores=0-7
/proc/24137/task/24142/stat : 24142 (java) S 24135 24135 6764 0 -1 1077944384 14722 0 0 0 492 109 0 0 20 0 28 0 97481233 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408998194064 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24143] ppid=24135 vsize=26538700 memory=3469868 CPUtime=6 cores=0-7
/proc/24137/task/24143/stat : 24143 (java) S 24135 24135 6764 0 -1 1077944384 11939 0 0 0 492 108 0 0 20 0 28 0 97481233 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408997141008 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24144] ppid=24135 vsize=26538700 memory=1384 CPUtime=6.02 cores=0-7
/proc/24137/task/24144/stat : 24144 (java) S 24135 24135 6764 0 -1 1077944384 11157 0 0 0 491 111 0 0 20 0 28 0 97481233 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408996088464 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24145] ppid=24135 vsize=26538700 memory=161 CPUtime=6.02 cores=0-7
/proc/24137/task/24145/stat : 24145 (java) S 24135 24135 6764 0 -1 1077944384 14075 0 0 0 497 105 0 0 20 0 28 0 97481233 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408995035408 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24146] ppid=24135 vsize=26538700 memory=1708 CPUtime=6.08 cores=0-7
/proc/24137/task/24146/stat : 24146 (java) S 24135 24135 6764 0 -1 1077944384 12485 0 0 0 505 103 0 0 20 0 28 0 97481233 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408993982864 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24147] ppid=24135 vsize=26538700 memory=1012 CPUtime=1.66 cores=0-7
/proc/24137/task/24147/stat : 24147 (java) S 24135 24135 6764 0 -1 1077944384 11976 0 0 0 156 10 0 0 20 0 28 0 97481235 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408772291312 140409443498626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24148] ppid=24135 vsize=26538700 memory=4012 CPUtime=0 cores=0-7
/proc/24137/task/24148/stat : 24148 (java) S 24135 24135 6764 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 97481235 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408771237600 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24149] ppid=24135 vsize=26538700 memory=27936 CPUtime=0 cores=0-7
/proc/24137/task/24149/stat : 24149 (java) S 24135 24135 6764 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 28 0 97481235 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408770184448 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24150] ppid=24135 vsize=26538700 memory=56 CPUtime=0 cores=0-7
/proc/24137/task/24150/stat : 24150 (java) S 24135 24135 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97481238 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408769133008 140409443506075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24151] ppid=24135 vsize=26538700 memory=21728 CPUtime=3.09 cores=0-7
/proc/24137/task/24151/stat : 24151 (java) S 24135 24135 6764 0 -1 1077944384 26685 0 0 0 304 5 0 0 20 0 28 0 97481238 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408768080112 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24152] ppid=24135 vsize=26538700 memory=640 CPUtime=2.38 cores=0-7
/proc/24137/task/24152/stat : 24152 (java) S 24135 24135 6764 0 -1 1077944384 25648 0 0 0 233 5 0 0 20 0 28 0 97481238 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408767027568 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24153] ppid=24135 vsize=26538700 memory=960 CPUtime=2.38 cores=0-7
/proc/24137/task/24153/stat : 24153 (java) S 24135 24135 6764 0 -1 1077944384 23958 0 0 0 234 4 0 0 20 0 28 0 97481238 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408765974512 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24154] ppid=24135 vsize=26538700 memory=1384 CPUtime=1.02 cores=0-7
/proc/24137/task/24154/stat : 24154 (java) S 24135 24135 6764 0 -1 1077944384 21062 0 0 0 98 4 0 0 20 0 28 0 97481238 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408764921968 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24155] ppid=24135 vsize=26538700 memory=3391772 CPUtime=0 cores=0-7
/proc/24137/task/24155/stat : 24155 (java) S 24135 24135 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97481238 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408763870176 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24156] ppid=24135 vsize=26538700 memory=1296 CPUtime=0.08 cores=0-7
/proc/24137/task/24156/stat : 24156 (java) S 24135 24135 6764 0 -1 1077944384 2374 0 0 0 2 6 0 0 20 0 28 0 97481238 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408762817712 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24158] ppid=24135 vsize=26538700 memory=2400 CPUtime=143.75 cores=0-7
/proc/24137/task/24158/stat : 24158 (java) R 24135 24135 6764 0 -1 4202560 4311 0 0 0 14371 4 0 0 20 0 28 0 97488586 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408754805536 140409082288067 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24159] ppid=24135 vsize=26538700 memory=1728 CPUtime=143.91 cores=0-7
/proc/24137/task/24159/stat : 24159 (java) R 24135 24135 6764 0 -1 4202560 6629 0 0 0 14384 7 0 0 20 0 28 0 97488586 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408753754392 140409082393205 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24160] ppid=24135 vsize=26538700 memory=1384 CPUtime=143.95 cores=0-7
/proc/24137/task/24160/stat : 24160 (java) R 24135 24135 6764 0 -1 4202560 6627 0 0 0 14380 15 0 0 20 0 28 0 97488586 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408752701120 140409082190288 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24161] ppid=24135 vsize=26538700 memory=3502716 CPUtime=144.27 cores=0-7
/proc/24137/task/24161/stat : 24161 (java) R 24135 24135 6764 0 -1 4202560 7582 0 0 0 14409 18 0 0 20 0 28 0 97488586 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408751648400 140409081447079 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24162] ppid=24135 vsize=26538700 memory=1384 CPUtime=144.4 cores=0-7
/proc/24137/task/24162/stat : 24162 (java) R 24135 24135 6764 0 -1 4202560 7413 0 0 0 14428 12 0 0 20 0 28 0 97488586 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408750595656 140409082227980 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24163] ppid=24135 vsize=26538700 memory=3498576 CPUtime=143.53 cores=0-7
/proc/24137/task/24163/stat : 24163 (java) R 24135 24135 6764 0 -1 4202560 6043 0 0 0 14346 7 0 0 20 0 28 0 97488586 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408749542576 140409082289334 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24164] ppid=24135 vsize=26538700 memory=796 CPUtime=143.28 cores=0-7
/proc/24137/task/24164/stat : 24164 (java) R 24135 24135 6764 0 -1 4202560 4483 0 0 0 14322 6 0 0 20 0 28 0 97488586 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408748493520 140409083209312 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24165] ppid=24135 vsize=26538700 memory=4012 CPUtime=144.23 cores=0-7
/proc/24137/task/24165/stat : 24165 (java) R 24135 24135 6764 0 -1 4202560 5708 0 0 0 14414 9 0 0 20 0 28 0 97488587 27175628800 877727 33554432000 4194304 4196468 140726447220512 140408747438296 140409081865790 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
Current children cumulated CPU time: 1279.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3512292 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 7.82 7.19 6.86 9/207 24166
/proc/meminfo: memFree=22918520/32770624 swapFree=67108860/67108860
[pid=24135] ppid=24132 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24135/stat : 24135 (xcsp3-exec) S 24132 24135 6764 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97481232 9740288 346 33554432000 4194304 5098028 140727232661152 140727232659256 139813151392380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33816576 140727232668779 140727232668988 140727232668988 140727232671723 0
/proc/24135/statm: 2378 346 289 221 0 87 0
[pid=24137] ppid=24135 vsize=26538700 memory=3599296 CPUtime=1516.65 cores=0-7
/proc/24137/stat : 24137 (java) S 24135 24135 6764 0 -1 1077944320 283085 0 0 0 150663 1002 0 0 20 0 28 0 97481232 27175628800 899824 33554432000 4194304 4196468 140726447220512 140726447203056 140409443487479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
/proc/24137/statm: 6634675 899824 3311 1 0 6621909 0
[pid=24137/tid=24138] ppid=24135 vsize=26538700 memory=4100 CPUtime=69.34 cores=0-7
/proc/24137/task/24138/stat : 24138 (java) S 24135 24135 6764 0 -1 1077944384 15446 0 0 0 6928 6 0 0 20 0 28 0 97481232 27175628800 899824 33554432000 4194304 4196468 140726447220512 140409447728256 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24139] ppid=24135 vsize=26538700 memory=1156 CPUtime=6.15 cores=0-7
/proc/24137/task/24139/stat : 24139 (java) S 24135 24135 6764 0 -1 1077944384 11250 0 0 0 503 112 0 0 20 0 28 0 97481233 27175628800 899824 33554432000 4194304 4196468 140726447220512 140409396108304 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24140] ppid=24135 vsize=26538700 memory=4872558044660077418 CPUtime=6.17 cores=0-7
/proc/24137/task/24140/stat : 24140 (java) S 24135 24135 6764 0 -1 1077944384 9767 0 0 0 499 118 0 0 20 0 28 0 97481233 27175628800 899824 33554432000 4194304 4196468 140726447220512 140409395055760 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24141] ppid=24135 vsize=26538700 memory=1384 CPUtime=6.12 cores=0-7
/proc/24137/task/24141/stat : 24141 (java) S 24135 24135 6764 0 -1 1077944384 15448 0 0 0 504 108 0 0 20 0 28 0 97481233 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408999246608 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24142] ppid=24135 vsize=26538700 memory=3595200 CPUtime=6.13 cores=0-7
/proc/24137/task/24142/stat : 24142 (java) S 24135 24135 6764 0 -1 1077944384 14845 0 0 0 503 110 0 0 20 0 28 0 97481233 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408998194064 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24143] ppid=24135 vsize=26538700 memory=4128 CPUtime=6.11 cores=0-7
/proc/24137/task/24143/stat : 24143 (java) S 24135 24135 6764 0 -1 1077944384 12436 0 0 0 503 108 0 0 20 0 28 0 97481233 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408997141008 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24144] ppid=24135 vsize=26538700 memory=2200 CPUtime=6.13 cores=0-7
/proc/24137/task/24144/stat : 24144 (java) S 24135 24135 6764 0 -1 1077944384 11323 0 0 0 502 111 0 0 20 0 28 0 97481233 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408996088464 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24145] ppid=24135 vsize=26538700 memory=6508 CPUtime=6.14 cores=0-7
/proc/24137/task/24145/stat : 24145 (java) S 24135 24135 6764 0 -1 1077944384 14679 0 0 0 508 106 0 0 20 0 28 0 97481233 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408995035408 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24146] ppid=24135 vsize=26538700 memory=840 CPUtime=6.19 cores=0-7
/proc/24137/task/24146/stat : 24146 (java) S 24135 24135 6764 0 -1 1077944384 12550 0 0 0 516 103 0 0 20 0 28 0 97481233 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408993982864 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24147] ppid=24135 vsize=26538700 memory=1692 CPUtime=1.67 cores=0-7
/proc/24137/task/24147/stat : 24147 (java) S 24135 24135 6764 0 -1 1077944384 12297 0 0 0 157 10 0 0 20 0 28 0 97481235 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408772291312 140409443498626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24148] ppid=24135 vsize=26538700 memory=916 CPUtime=0 cores=0-7
/proc/24137/task/24148/stat : 24148 (java) S 24135 24135 6764 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 97481235 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408771237600 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24149] ppid=24135 vsize=26538700 memory=280593436040160 CPUtime=0 cores=0-7
/proc/24137/task/24149/stat : 24149 (java) S 24135 24135 6764 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 28 0 97481235 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408770184448 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24150] ppid=24135 vsize=26538700 memory=6369892408169687657 CPUtime=0 cores=0-7
/proc/24137/task/24150/stat : 24150 (java) S 24135 24135 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97481238 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408769133008 140409443506075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24151] ppid=24135 vsize=26538700 memory=6791534058613427641 CPUtime=3.09 cores=0-7
/proc/24137/task/24151/stat : 24151 (java) S 24135 24135 6764 0 -1 1077944384 26694 0 0 0 304 5 0 0 20 0 28 0 97481238 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408768080112 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24152] ppid=24135 vsize=26538700 memory=6369892408169687657 CPUtime=2.38 cores=0-7
/proc/24137/task/24152/stat : 24152 (java) S 24135 24135 6764 0 -1 1077944384 25651 0 0 0 233 5 0 0 20 0 28 0 97481238 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408767027568 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24153] ppid=24135 vsize=26538700 memory=7378978004999498048 CPUtime=2.38 cores=0-7
/proc/24137/task/24153/stat : 24153 (java) S 24135 24135 6764 0 -1 1077944384 23961 0 0 0 234 4 0 0 20 0 28 0 97481238 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408765974512 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24154] ppid=24135 vsize=26538700 memory=6369892408169687657 CPUtime=1.02 cores=0-7
/proc/24137/task/24154/stat : 24154 (java) S 24135 24135 6764 0 -1 1077944384 21240 0 0 0 98 4 0 0 20 0 28 0 97481238 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408764921968 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24155] ppid=24135 vsize=26538700 memory=140296718935700 CPUtime=0 cores=0-7
/proc/24137/task/24155/stat : 24155 (java) S 24135 24135 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97481238 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408763870176 140409443497685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24156] ppid=24135 vsize=26538700 memory=7450473761497235556 CPUtime=0.09 cores=0-7
/proc/24137/task/24156/stat : 24156 (java) S 24135 24135 6764 0 -1 1077944384 2397 0 0 0 2 7 0 0 20 0 28 0 97481238 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408762817712 140409443498626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24158] ppid=24135 vsize=26538700 memory=7378978004999498048 CPUtime=173.15 cores=0-7
/proc/24137/task/24158/stat : 24158 (java) R 24135 24135 6764 0 -1 4202560 5201 0 0 0 17310 5 0 0 20 0 28 0 97488586 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408754805752 140409082668187 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24159] ppid=24135 vsize=26538700 memory=7378978004999498048 CPUtime=173.44 cores=0-7
/proc/24137/task/24159/stat : 24159 (java) R 24135 24135 6764 0 -1 4202560 7341 0 0 0 17337 7 0 0 20 0 28 0 97488586 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408753754064 140409082995904 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24160] ppid=24135 vsize=26538700 memory=7450473761497235556 CPUtime=173.53 cores=0-7
/proc/24137/task/24160/stat : 24160 (java) R 24135 24135 6764 0 -1 4202560 6866 0 0 0 17338 15 0 0 20 0 28 0 97488586 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408752701176 140409082075287 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24161] ppid=24135 vsize=26538700 memory=7378978004999498048 CPUtime=173.85 cores=0-7
/proc/24137/task/24161/stat : 24161 (java) R 24135 24135 6764 0 -1 4202560 7758 0 0 0 17367 18 0 0 20 0 28 0 97488586 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408751648632 140409082392754 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24162] ppid=24135 vsize=26538700 memory=6369892408169687657 CPUtime=173.98 cores=0-7
/proc/24137/task/24162/stat : 24162 (java) R 24135 24135 6764 0 -1 4202560 7525 0 0 0 17385 13 0 0 20 0 28 0 97488586 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408750595576 140409082668826 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24163] ppid=24135 vsize=26538700 memory=7163646340689516646 CPUtime=172.92 cores=0-7
/proc/24137/task/24163/stat : 24163 (java) R 24135 24135 6764 0 -1 4202560 6295 0 0 0 17285 7 0 0 20 0 28 0 97488586 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408749543112 140409082288001 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24164] ppid=24135 vsize=26538700 memory=640 CPUtime=172.67 cores=0-7
/proc/24137/task/24164/stat : 24164 (java) R 24135 24135 6764 0 -1 4202560 4644 0 0 0 17261 6 0 0 20 0 28 0 97488586 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408748493408 140409077617500 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
[pid=24137/tid=24165] ppid=24135 vsize=26538700 memory=960 CPUtime=173.8 cores=0-7
/proc/24137/task/24165/stat : 24165 (java) R 24135 24135 6764 0 -1 4202560 6034 0 0 0 17370 10 0 0 20 0 28 0 97488587 27175628800 899824 33554432000 4194304 4196468 140726447220512 140408747437976 140409082074567 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 38023168 140726447223960 140726447224136 140726447224136 140726447226831 0
Current children cumulated CPU time: 1516.65 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3600680 KiB

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

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

[startup+252.12 s]
# the end of solver process 24137 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1507.32 s, system=10.0505 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): 252.12
CPU time (s): 1517.37
CPU user time (s): 1507.32
CPU system time (s): 10.0505
CPU usage (%): 601.844
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 3876000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1507.32
system time used= 10.0505
maximum resident set size= 3874616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284148
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20459
involuntary context switches= 16815


# summary of solver processes directly reported to runsolver:
#   pid: 24135,24137
#   total CPU time (s): 1517.37
#   total CPU user time (s): 1507.32
#   total CPU system time (s): 10.0505

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.09522 second user time and 2.85436 second system time

The end

Launcher Data 

Begin job on node105 at 2017-08-13 18:53:58
IDJOB=4254705
IDBENCH=130622
IDSOLVER=2636
FILE ID=node105/4254705-1502644096
RUNJOBID= node105-1502638143-6791
PBS_JOBID= 20628331
Free space on /tmp= 60664 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-15.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-4254705-1502644096/watcher-4254705-1502644096 -o /tmp/evaluation-result-4254705-1502644096/solver-4254705-1502644096 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502638143-6791 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 432629264 HOME/instance-4254705-1502644096.xml

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

MD5SUM BENCH= ab7b26918dfc59e965233a0e800431a7
RANDOM SEED=432629264

node105.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.17
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.17
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.17
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.17
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:        26507064 kB
MemAvailable:   31973592 kB
Buffers:          177436 kB
Cached:          5564208 kB
SwapCached:            0 kB
Active:           729128 kB
Inactive:        5069548 kB
Active(anon):      59888 kB
Inactive(anon):    25060 kB
Active(file):     669240 kB
Inactive(file):  5044488 kB
Unevictable:        6248 kB
Mlocked:            6248 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7840 kB
Writeback:             0 kB
AnonPages:         84648 kB
Mapped:            43860 kB
Shmem:             25228 kB
Slab:             163112 kB
SReclaimable:     137272 kB
SUnreclaim:        25840 kB
KernelStack:        3536 kB
PageTables:         4744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60656 MiB
End job on node105 at 2017-08-13 18:58:10