Trace number 4271557

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-09)SAT (TO)552 469.51199 252.048

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-21-a4.xml
MD5SUM982ba5645f5cd940fa49e525f3796150
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark432
Best CPU time to get the best result obtained on this benchmark249.993
Satisfiable
(Un)Satisfiability was proved
Number of variables21
Number of constraints20617
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":21}]
Minimum variable degree3801
Maximum variable degree3802
Distribution of variable degrees[{"degree":3801,"count":19},{"degree":3802,"count":2}]
Minimum constraint arity1
Maximum constraint arity21
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":2660},{"arity":4,"count":17955},{"arity":21,"count":1}]
Number of extensional constraints0
Number of intensional constraints20616
Distribution of constraint types[{"type":"intension","count":20616},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271557-1502643180.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271557-1502643180.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
34.03/7.83	c solve instance...
252.78/75.80	o 564 
354.18/150.46	o 552 
469.46/252.01	s SATISFIABLE
469.46/252.01	v <instantiation>
469.46/252.01	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] </list>
469.46/252.01	v 	<values>0 1 3 7 12 20 30 44 65 80 96 122 147 181 203 251 289 360 400 505 552 </values>
469.46/252.01	v </instantiation>
469.46/252.01	c Unexpected resolution interruption!

Verifier Data 

OK	552

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271557-1502643180/watcher-4271557-1502643180 -o /tmp/evaluation-result-4271557-1502643180/solver-4271557-1502643180 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1471818136 HOME/instance-4271557-1502643180.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 thread
Current StackSize limit: 8192 KiB

solver pid=15314, runsolver pid=15311

[startup+0.100169 s]*
/proc/loadavg: 1.63 3.54 5.40 3/199 15335
/proc/meminfo: memFree=29131584/32770624 swapFree=67108860/67108860
[pid=15314] ppid=15311 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15314/stat : 15314 (xcsp3-exec) S 15311 15314 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97406041 9740288 346 33554432000 4194304 5098028 140730504214608 140730504212712 140352468488828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24797184 140730504221802 140730504222012 140730504222012 140730504224747 0
/proc/15314/statm: 2378 346 289 221 0 87 0
[pid=15316] ppid=15314 vsize=25999808 memory=26512 CPUtime=0.11 cores=0-7
/proc/15316/stat : 15316 (java) S 15314 15314 3823 0 -1 1077944320 5571 0 0 0 10 1 0 0 20 0 20 0 97406041 26623803392 6628 33554432000 4194304 4196468 140730791968544 140730791951088 140047166099191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
/proc/15316/statm: 6499952 6628 2844 1 0 6488269 0
[pid=15316/tid=15317] ppid=15314 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/15316/task/15317/stat : 15317 (java) R 15314 15314 3823 0 -1 4202560 3570 0 0 0 8 1 0 0 20 0 20 0 97406041 26623803392 6628 33554432000 4194304 4196468 140730791968544 140047170332464 140047166111126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15318] ppid=15314 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/15316/task/15318/stat : 15318 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406042 26623803392 6628 33554432000 4194304 4196468 140730791968544 140047073659536 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15319] ppid=15314 vsize=25999808 memory=140064989324928 CPUtime=0 cores=0-7
/proc/15316/task/15319/stat : 15319 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406042 26623803392 6628 33554432000 4194304 4196468 140730791968544 140046723549712 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15320] ppid=15314 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15320/stat : 15320 (java) S 15314 15314 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97406042 26623803392 6628 33554432000 4194304 4196468 140730791968544 140046722496912 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15321] ppid=15314 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15321/stat : 15321 (java) S 15314 15314 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97406042 26623803392 6628 33554432000 4194304 4196468 140730791968544 140046721444112 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15322] ppid=15314 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15322/stat : 15322 (java) S 15314 15314 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97406042 26623803392 6628 33554432000 4194304 4196468 140730791968544 140046720392336 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15323] ppid=15314 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15316/task/15323/stat : 15323 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406042 26623803392 6628 33554432000 4194304 4196468 140730791968544 140046719339536 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15324] ppid=15314 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15324/stat : 15324 (java) S 15314 15314 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97406042 26623803392 6628 33554432000 4194304 4196468 140730791968544 140046718286736 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15325] ppid=15314 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15325/stat : 15325 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406042 26623803392 6628 33554432000 4194304 4196468 140730791968544 140046717233936 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15326] ppid=15314 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15326/stat : 15326 (java) S 15314 15314 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97406043 26623803392 6628 33554432000 4194304 4196468 140730791968544 140046674106736 140047166110338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15327] ppid=15314 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15327/stat : 15327 (java) S 15314 15314 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97406044 26623803392 6628 33554432000 4194304 4196468 140730791968544 140046673052704 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15328] ppid=15314 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15328/stat : 15328 (java) S 15314 15314 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97406044 26623803392 6628 33554432000 4194304 4196468 140730791968544 140046671999856 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15329] ppid=15314 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15329/stat : 15329 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406047 26623803392 6628 33554432000 4194304 4196468 140730791968544 140046670948176 140047166117787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15330] ppid=15314 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15330/stat : 15330 (java) S 15314 15314 3823 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 97406047 26623803392 6628 33554432000 4194304 4196468 140730791968544 140046221994864 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15331] ppid=15314 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15331/stat : 15331 (java) S 15314 15314 3823 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 97406047 26623803392 6628 33554432000 4194304 4196468 140730791968544 140046220942064 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15332] ppid=15314 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15332/stat : 15332 (java) S 15314 15314 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97406047 26623803392 6628 33554432000 4194304 4196468 140730791968544 140046219889264 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15333] ppid=15314 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/15316/task/15333/stat : 15333 (java) S 15314 15314 3823 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 97406047 26623803392 6628 33554432000 4194304 4196468 140730791968544 140046218836464 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15334] ppid=15314 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15334/stat : 15334 (java) S 15314 15314 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97406047 26623803392 6628 33554432000 4194304 4196468 140730791968544 140046217783904 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15335] ppid=15314 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15316/task/15335/stat : 15335 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406047 26623803392 6628 33554432000 4194304 4196468 140730791968544 140046216731184 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27896 KiB

[startup+0.210003 s]*
/proc/loadavg: 1.63 3.54 5.40 2/199 15335
/proc/meminfo: memFree=29120000/32770624 swapFree=67108860/67108860
[pid=15314] ppid=15311 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15314/stat : 15314 (xcsp3-exec) S 15311 15314 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97406041 9740288 346 33554432000 4194304 5098028 140730504214608 140730504212712 140352468488828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24797184 140730504221802 140730504222012 140730504222012 140730504224747 0
/proc/15314/statm: 2378 346 289 221 0 87 0
[pid=15316] ppid=15314 vsize=26004064 memory=39056 CPUtime=0.33 cores=0-7
/proc/15316/stat : 15316 (java) S 15314 15314 3823 0 -1 1077944320 8259 0 0 0 31 2 0 0 20 0 20 0 97406041 26628161536 9764 33554432000 4194304 4196468 140730791968544 140730791951088 140047166099191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
/proc/15316/statm: 6501016 9764 3060 1 0 6488269 0
[pid=15316/tid=15317] ppid=15314 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/15316/task/15317/stat : 15317 (java) R 15314 15314 3823 0 -1 4202560 5417 0 0 0 18 1 0 0 20 0 20 0 97406041 26628161536 9764 33554432000 4194304 4196468 140730791968544 140047170321120 140047158777205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15318] ppid=15314 vsize=26004064 memory=327 CPUtime=0 cores=0-7
/proc/15316/task/15318/stat : 15318 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406042 26628161536 9764 33554432000 4194304 4196468 140730791968544 140047073659536 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15319] ppid=15314 vsize=26004064 memory=3691175526236628640 CPUtime=0 cores=0-7
/proc/15316/task/15319/stat : 15319 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406042 26628161536 9764 33554432000 4194304 4196468 140730791968544 140046723549712 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15320] ppid=15314 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15316/task/15320/stat : 15320 (java) S 15314 15314 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97406042 26628161536 9764 33554432000 4194304 4196468 140730791968544 140046722496912 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15321] ppid=15314 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15321/stat : 15321 (java) S 15314 15314 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97406042 26628161536 9764 33554432000 4194304 4196468 140730791968544 140046721444112 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15322] ppid=15314 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15322/stat : 15322 (java) S 15314 15314 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97406042 26628161536 9764 33554432000 4194304 4196468 140730791968544 140046720392336 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15323] ppid=15314 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15316/task/15323/stat : 15323 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406042 26628161536 9764 33554432000 4194304 4196468 140730791968544 140046719339536 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15324] ppid=15314 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15324/stat : 15324 (java) S 15314 15314 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97406042 26628161536 9764 33554432000 4194304 4196468 140730791968544 140046718286736 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15325] ppid=15314 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15325/stat : 15325 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406042 26628161536 9764 33554432000 4194304 4196468 140730791968544 140046717233936 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15326] ppid=15314 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15326/stat : 15326 (java) S 15314 15314 3823 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 97406043 26628161536 9764 33554432000 4194304 4196468 140730791968544 140046674106736 140047166110338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15327] ppid=15314 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15327/stat : 15327 (java) S 15314 15314 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97406044 26628161536 9764 33554432000 4194304 4196468 140730791968544 140046673052704 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15328] ppid=15314 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15328/stat : 15328 (java) S 15314 15314 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97406044 26628161536 9764 33554432000 4194304 4196468 140730791968544 140046671999856 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15329] ppid=15314 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15329/stat : 15329 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406047 26628161536 9764 33554432000 4194304 4196468 140730791968544 140046670948176 140047166117787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15330] ppid=15314 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/15316/task/15330/stat : 15330 (java) S 15314 15314 3823 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 20 0 97406047 26628161536 9764 33554432000 4194304 4196468 140730791968544 140046221994864 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15331] ppid=15314 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/15316/task/15331/stat : 15331 (java) S 15314 15314 3823 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 20 0 97406047 26628161536 9764 33554432000 4194304 4196468 140730791968544 140046220942064 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15332] ppid=15314 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/15316/task/15332/stat : 15332 (java) S 15314 15314 3823 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 20 0 97406047 26628161536 9764 33554432000 4194304 4196468 140730791968544 140046219889264 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15333] ppid=15314 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/15316/task/15333/stat : 15333 (java) R 15314 15314 3823 0 -1 4202560 744 0 0 0 8 0 0 0 20 0 20 0 97406047 26628161536 9764 33554432000 4194304 4196468 140730791968544 140046218836464 140047145015921 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15334] ppid=15314 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15334/stat : 15334 (java) S 15314 15314 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97406047 26628161536 9764 33554432000 4194304 4196468 140730791968544 140046217783904 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15335] ppid=15314 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15316/task/15335/stat : 15335 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406047 26628161536 9764 33554432000 4194304 4196468 140730791968544 140046216731184 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40440 KiB

[startup+0.309447 s]*
/proc/loadavg: 1.63 3.54 5.40 3/199 15335
/proc/meminfo: memFree=29116056/32770624 swapFree=67108860/67108860
[pid=15314] ppid=15311 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15314/stat : 15314 (xcsp3-exec) S 15311 15314 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97406041 9740288 346 33554432000 4194304 5098028 140730504214608 140730504212712 140352468488828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24797184 140730504221802 140730504222012 140730504222012 140730504224747 0
/proc/15314/statm: 2378 346 289 221 0 87 0
[pid=15316] ppid=15314 vsize=26004064 memory=43976 CPUtime=0.5 cores=0-7
/proc/15316/stat : 15316 (java) S 15314 15314 3823 0 -1 1077944320 9171 0 0 0 47 3 0 0 20 0 20 0 97406041 26628161536 10994 33554432000 4194304 4196468 140730791968544 140730791951088 140047166099191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
/proc/15316/statm: 6501016 10994 3091 1 0 6488269 0
[pid=15316/tid=15317] ppid=15314 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15316/task/15317/stat : 15317 (java) R 15314 15314 3823 0 -1 4202560 6125 0 0 0 27 2 0 0 20 0 20 0 97406041 26628161536 10994 33554432000 4194304 4196468 140730791968544 140047170337200 140046753745933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15318] ppid=15314 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15318/stat : 15318 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406042 26628161536 10994 33554432000 4194304 4196468 140730791968544 140047073659536 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15319] ppid=15314 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15319/stat : 15319 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406042 26628161536 10994 33554432000 4194304 4196468 140730791968544 140046723549712 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15320] ppid=15314 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15320/stat : 15320 (java) S 15314 15314 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97406042 26628161536 10994 33554432000 4194304 4196468 140730791968544 140046722496912 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15321] ppid=15314 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15321/stat : 15321 (java) S 15314 15314 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97406042 26628161536 10994 33554432000 4194304 4196468 140730791968544 140046721444112 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15322] ppid=15314 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/15316/task/15322/stat : 15322 (java) S 15314 15314 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97406042 26628161536 10994 33554432000 4194304 4196468 140730791968544 140046720392336 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15323] ppid=15314 vsize=26004064 memory=140064856306607 CPUtime=0 cores=0-7
/proc/15316/task/15323/stat : 15323 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406042 26628161536 10994 33554432000 4194304 4196468 140730791968544 140046719339536 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15324] ppid=15314 vsize=26004064 memory=140064856308912 CPUtime=0 cores=0-7
/proc/15316/task/15324/stat : 15324 (java) S 15314 15314 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97406042 26628161536 10994 33554432000 4194304 4196468 140730791968544 140046718286736 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15325] ppid=15314 vsize=26004064 memory=140064856311216 CPUtime=0 cores=0-7
/proc/15316/task/15325/stat : 15325 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406042 26628161536 10994 33554432000 4194304 4196468 140730791968544 140046717233936 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15326] ppid=15314 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15326/stat : 15326 (java) S 15314 15314 3823 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 97406043 26628161536 10994 33554432000 4194304 4196468 140730791968544 140046674106736 140047166110338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15327] ppid=15314 vsize=26004064 memory=280129712629392 CPUtime=0 cores=0-7
/proc/15316/task/15327/stat : 15327 (java) S 15314 15314 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97406044 26628161536 10994 33554432000 4194304 4196468 140730791968544 140046673052704 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15328] ppid=15314 vsize=26004064 memory=280129712636304 CPUtime=0 cores=0-7
/proc/15316/task/15328/stat : 15328 (java) S 15314 15314 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97406044 26628161536 10994 33554432000 4194304 4196468 140730791968544 140046671999856 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15329] ppid=15314 vsize=26004064 memory=280129712577584 CPUtime=0 cores=0-7
/proc/15316/task/15329/stat : 15329 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406047 26628161536 10994 33554432000 4194304 4196468 140730791968544 140046670948176 140047166117787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15330] ppid=15314 vsize=26004064 memory=280129712650128 CPUtime=0.02 cores=0-7
/proc/15316/task/15330/stat : 15330 (java) R 15314 15314 3823 0 -1 4202560 479 0 0 0 2 0 0 0 20 0 20 0 97406047 26628161536 10994 33554432000 4194304 4196468 140730791968544 140046221994864 140047166120538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15331] ppid=15314 vsize=26004064 memory=280129712657040 CPUtime=0.01 cores=0-7
/proc/15316/task/15331/stat : 15331 (java) R 15314 15314 3823 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 20 0 97406047 26628161536 10994 33554432000 4194304 4196468 140730791968544 140046220942064 140047166110338 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15332] ppid=15314 vsize=26004064 memory=280129712654736 CPUtime=0.03 cores=0-7
/proc/15316/task/15332/stat : 15332 (java) S 15314 15314 3823 0 -1 1077944384 246 0 0 0 3 0 0 0 20 0 20 0 97406047 26628161536 10994 33554432000 4194304 4196468 140730791968544 140046219889264 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15333] ppid=15314 vsize=26004064 memory=280129712670896 CPUtime=0.12 cores=0-7
/proc/15316/task/15333/stat : 15333 (java) R 15314 15314 3823 0 -1 4202560 866 0 0 0 12 0 0 0 20 0 20 0 97406047 26628161536 10994 33554432000 4194304 4196468 140730791968544 140046218832832 140047166111126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15334] ppid=15314 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15334/stat : 15334 (java) S 15314 15314 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97406047 26628161536 10994 33554432000 4194304 4196468 140730791968544 140046217783904 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15335] ppid=15314 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15316/task/15335/stat : 15335 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406047 26628161536 10994 33554432000 4194304 4196468 140730791968544 140046216731184 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45360 KiB

[startup+0.700935 s]
/proc/loadavg: 1.63 3.54 5.40 5/199 15335
/proc/meminfo: memFree=29092024/32770624 swapFree=67108860/67108860
[pid=15314] ppid=15311 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15314/stat : 15314 (xcsp3-exec) S 15311 15314 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97406041 9740288 346 33554432000 4194304 5098028 140730504214608 140730504212712 140352468488828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24797184 140730504221802 140730504222012 140730504222012 140730504224747 0
/proc/15314/statm: 2378 346 289 221 0 87 0
[pid=15316] ppid=15314 vsize=26004140 memory=154392 CPUtime=2 cores=0-7
/proc/15316/stat : 15316 (java) S 15314 15314 3823 0 -1 1077944320 13803 0 0 0 194 6 0 0 20 0 20 0 97406041 26628239360 38598 33554432000 4194304 4196468 140730791968544 140730791951088 140047166099191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
/proc/15316/statm: 6501035 38598 3199 1 0 6488269 0
[pid=15316/tid=15317] ppid=15314 vsize=26004140 memory=280129713028784 CPUtime=0.67 cores=0-7
/proc/15316/task/15317/stat : 15317 (java) R 15314 15314 3823 0 -1 4202560 6457 0 0 0 63 4 0 0 20 0 20 0 97406041 26628239360 38598 33554432000 4194304 4196468 140730791968544 140047170335296 140046756598343 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15318] ppid=15314 vsize=26004140 memory=140064856515440 CPUtime=0 cores=0-7
/proc/15316/task/15318/stat : 15318 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406042 26628239360 38598 33554432000 4194304 4196468 140730791968544 140047073659536 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15319] ppid=15314 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/15316/task/15319/stat : 15319 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97406042 26628239360 38598 33554432000 4194304 4196468 140730791968544 140046723549712 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15320] ppid=15314 vsize=26004140 memory=5296 CPUtime=0 cores=0-7
/proc/15316/task/15320/stat : 15320 (java) S 15314 15314 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97406042 26628239360 38598 33554432000 4194304 4196468 140730791968544 140046722496912 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0

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

[pid=15316/tid=15367] ppid=15314 vsize=26538700 memory=5323892 CPUtime=0.63 cores=0-7
/proc/15316/task/15367/stat : 15367 (java) S 15314 15314 3823 0 -1 1077944384 349 0 0 0 62 1 0 0 20 0 28 0 97421088 27175628800 1330973 33554432000 4194304 4196468 140730791968544 140046208725968 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
Current children cumulated CPU time: 370.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5325276 KiB

[startup+222.301 s]
/proc/loadavg: 1.17 2.52 4.63 2/208 15367
/proc/meminfo: memFree=23712480/32770624 swapFree=67108860/67108860
[pid=15314] ppid=15311 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15314/stat : 15314 (xcsp3-exec) S 15311 15314 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97406041 9740288 346 33554432000 4194304 5098028 140730504214608 140730504212712 140352468488828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24797184 140730504221802 140730504222012 140730504222012 140730504224747 0
/proc/15314/statm: 2378 346 289 221 0 87 0
[pid=15316] ppid=15314 vsize=26538700 memory=5439728 CPUtime=436.76 cores=0-7
/proc/15316/stat : 15316 (java) S 15314 15314 3823 0 -1 1077944320 303146 0 0 0 42748 928 0 0 20 0 28 0 97406041 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140730791951088 140047166099191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
/proc/15316/statm: 6634675 1359932 3293 1 0 6621909 0
[pid=15316/tid=15317] ppid=15314 vsize=26538700 memory=1384 CPUtime=4.7 cores=0-7
/proc/15316/task/15317/stat : 15317 (java) S 15314 15314 3823 0 -1 1077944384 8890 0 0 0 452 18 0 0 20 0 28 0 97406041 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140047170339968 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15318] ppid=15314 vsize=26538700 memory=1384 CPUtime=9.67 cores=0-7
/proc/15316/task/15318/stat : 15318 (java) S 15314 15314 3823 0 -1 1077944384 7771 0 0 0 879 88 0 0 20 0 28 0 97406042 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140047073659536 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15319] ppid=15314 vsize=26538700 memory=1384 CPUtime=9.67 cores=0-7
/proc/15316/task/15319/stat : 15319 (java) S 15314 15314 3823 0 -1 1077944384 12704 0 0 0 881 86 0 0 20 0 28 0 97406042 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046723549712 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15320] ppid=15314 vsize=26538700 memory=0 CPUtime=9.62 cores=0-7
/proc/15316/task/15320/stat : 15320 (java) S 15314 15314 3823 0 -1 1077944384 9673 0 0 0 879 83 0 0 20 0 28 0 97406042 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046722496912 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15321] ppid=15314 vsize=26538700 memory=0 CPUtime=9.69 cores=0-7
/proc/15316/task/15321/stat : 15321 (java) S 15314 15314 3823 0 -1 1077944384 8468 0 0 0 883 86 0 0 20 0 28 0 97406042 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046721444112 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15322] ppid=15314 vsize=26538700 memory=6504 CPUtime=9.79 cores=0-7
/proc/15316/task/15322/stat : 15322 (java) S 15314 15314 3823 0 -1 1077944384 13558 0 0 0 885 94 0 0 20 0 28 0 97406042 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046720392336 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15323] ppid=15314 vsize=26538700 memory=840 CPUtime=9.68 cores=0-7
/proc/15316/task/15323/stat : 15323 (java) S 15314 15314 3823 0 -1 1077944384 8820 0 0 0 872 96 0 0 20 0 28 0 97406042 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046719339536 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15324] ppid=15314 vsize=26538700 memory=1384 CPUtime=9.6 cores=0-7
/proc/15316/task/15324/stat : 15324 (java) S 15314 15314 3823 0 -1 1077944384 10900 0 0 0 876 84 0 0 20 0 28 0 97406042 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046718286736 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15325] ppid=15314 vsize=26538700 memory=5396320 CPUtime=9.69 cores=0-7
/proc/15316/task/15325/stat : 15325 (java) S 15314 15314 3823 0 -1 1077944384 9264 0 0 0 869 100 0 0 20 0 28 0 97406042 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046717233936 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15326] ppid=15314 vsize=26538700 memory=1384 CPUtime=1.23 cores=0-7
/proc/15316/task/15326/stat : 15326 (java) S 15314 15314 3823 0 -1 1077944384 10772 0 0 0 118 5 0 0 20 0 28 0 97406043 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046674106736 140047166110338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15327] ppid=15314 vsize=26538700 memory=4274148 CPUtime=0 cores=0-7
/proc/15316/task/15327/stat : 15327 (java) S 15314 15314 3823 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 97406044 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046673052768 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15328] ppid=15314 vsize=26538700 memory=1160 CPUtime=0 cores=0-7
/proc/15316/task/15328/stat : 15328 (java) S 15314 15314 3823 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 28 0 97406044 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046671999872 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15329] ppid=15314 vsize=26538700 memory=5439728 CPUtime=0 cores=0-7
/proc/15316/task/15329/stat : 15329 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97406047 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046670948176 140047166117787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15330] ppid=15314 vsize=26538700 memory=5439728 CPUtime=3.19 cores=0-7
/proc/15316/task/15330/stat : 15330 (java) S 15314 15314 3823 0 -1 1077944384 18140 0 0 0 315 4 0 0 20 0 28 0 97406047 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046221994864 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15331] ppid=15314 vsize=26538700 memory=27856 CPUtime=3.42 cores=0-7
/proc/15316/task/15331/stat : 15331 (java) S 15314 15314 3823 0 -1 1077944384 17083 0 0 0 339 3 0 0 20 0 28 0 97406047 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046220942064 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15332] ppid=15314 vsize=26538700 memory=1384 CPUtime=3.62 cores=0-7
/proc/15316/task/15332/stat : 15332 (java) S 15314 15314 3823 0 -1 1077944384 19089 0 0 0 357 5 0 0 20 0 28 0 97406047 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046219889264 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15333] ppid=15314 vsize=26538700 memory=1384 CPUtime=0.95 cores=0-7
/proc/15316/task/15333/stat : 15333 (java) S 15314 15314 3823 0 -1 1077944384 13126 0 0 0 92 3 0 0 20 0 28 0 97406047 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046218836464 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15334] ppid=15314 vsize=26538700 memory=5439728 CPUtime=0 cores=0-7
/proc/15316/task/15334/stat : 15334 (java) S 15314 15314 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97406047 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046217783904 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15335] ppid=15314 vsize=26538700 memory=1384 CPUtime=0.11 cores=0-7
/proc/15316/task/15335/stat : 15335 (java) S 15314 15314 3823 0 -1 1077944384 2980 0 0 0 5 6 0 0 20 0 28 0 97406047 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046216731184 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15360] ppid=15314 vsize=26538700 memory=1420 CPUtime=0.29 cores=0-7
/proc/15316/task/15360/stat : 15360 (java) S 15314 15314 3823 0 -1 1077944384 67 0 0 0 29 0 0 0 20 0 28 0 97421087 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046206619120 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15361] ppid=15314 vsize=26538700 memory=11032 CPUtime=0.21 cores=0-7
/proc/15316/task/15361/stat : 15361 (java) S 15314 15314 3823 0 -1 1077944384 150 0 0 0 21 0 0 0 20 0 28 0 97421088 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046205567696 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15362] ppid=15314 vsize=26538700 memory=1712 CPUtime=0.27 cores=0-7
/proc/15316/task/15362/stat : 15362 (java) S 15314 15314 3823 0 -1 1077944384 2231 0 0 0 27 0 0 0 20 0 28 0 97421088 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046201357904 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15363] ppid=15314 vsize=26538700 memory=1952 CPUtime=0.26 cores=0-7
/proc/15316/task/15363/stat : 15363 (java) S 15314 15314 3823 0 -1 1077944384 49 0 0 0 26 0 0 0 20 0 28 0 97421088 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046202410448 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15364] ppid=15314 vsize=26538700 memory=8552 CPUtime=0.37 cores=0-7
/proc/15316/task/15364/stat : 15364 (java) S 15314 15314 3823 0 -1 1077944384 96 0 0 0 37 0 0 0 20 0 28 0 97421088 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046204515664 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15365] ppid=15314 vsize=26538700 memory=1224 CPUtime=0.71 cores=0-7
/proc/15316/task/15365/stat : 15365 (java) S 15314 15314 3823 0 -1 1077944384 81 0 0 0 70 1 0 0 20 0 28 0 97421088 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046207673552 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15366] ppid=15314 vsize=26538700 memory=792 CPUtime=70.75 cores=0-7
/proc/15316/task/15366/stat : 15366 (java) R 15314 15314 3823 0 -1 4202560 40952 0 0 0 7033 42 0 0 20 0 28 0 97421088 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046203459424 140046756404590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15367] ppid=15314 vsize=26538700 memory=1004 CPUtime=0.63 cores=0-7
/proc/15316/task/15367/stat : 15367 (java) S 15314 15314 3823 0 -1 1077944384 349 0 0 0 62 1 0 0 20 0 28 0 97421088 27175628800 1359932 33554432000 4194304 4196468 140730791968544 140046208725968 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
Current children cumulated CPU time: 436.76 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5441112 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 1.10 2.37 4.51 2/208 15367
/proc/meminfo: memFree=23625908/32770624 swapFree=67108860/67108860
[pid=15314] ppid=15311 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15314/stat : 15314 (xcsp3-exec) S 15311 15314 3823 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97406041 9740288 346 33554432000 4194304 5098028 140730504214608 140730504212712 140352468488828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24797184 140730504221802 140730504222012 140730504222012 140730504224747 0
/proc/15314/statm: 2378 346 289 221 0 87 0
[pid=15316] ppid=15314 vsize=26538700 memory=5525980 CPUtime=469.46 cores=0-7
/proc/15316/stat : 15316 (java) S 15314 15314 3823 0 -1 1077944320 314731 0 0 0 46001 945 0 0 20 0 28 0 97406041 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140730791951088 140047166099191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
/proc/15316/statm: 6634675 1381495 3293 1 0 6621909 0
[pid=15316/tid=15317] ppid=15314 vsize=26538700 memory=6791534058613427641 CPUtime=4.7 cores=0-7
/proc/15316/task/15317/stat : 15317 (java) S 15314 15314 3823 0 -1 1077944384 8890 0 0 0 452 18 0 0 20 0 28 0 97406041 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140047170339968 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15318] ppid=15314 vsize=26538700 memory=4126316290023845779 CPUtime=10.09 cores=0-7
/proc/15316/task/15318/stat : 15318 (java) S 15314 15314 3823 0 -1 1077944384 8720 0 0 0 920 89 0 0 20 0 28 0 97406042 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140047073659536 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15319] ppid=15314 vsize=26538700 memory=15872 CPUtime=10.1 cores=0-7
/proc/15316/task/15319/stat : 15319 (java) S 15314 15314 3823 0 -1 1077944384 14017 0 0 0 921 89 0 0 20 0 28 0 97406042 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046723549712 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15320] ppid=15314 vsize=26538700 memory=18448 CPUtime=10.04 cores=0-7
/proc/15316/task/15320/stat : 15320 (java) S 15314 15314 3823 0 -1 1077944384 9948 0 0 0 920 84 0 0 20 0 28 0 97406042 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046722496912 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15321] ppid=15314 vsize=26538700 memory=5525980 CPUtime=10.11 cores=0-7
/proc/15316/task/15321/stat : 15321 (java) S 15314 15314 3823 0 -1 1077944384 9642 0 0 0 923 88 0 0 20 0 28 0 97406042 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046721444112 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15322] ppid=15314 vsize=26538700 memory=1728 CPUtime=10.22 cores=0-7
/proc/15316/task/15322/stat : 15322 (java) S 15314 15314 3823 0 -1 1077944384 13865 0 0 0 926 96 0 0 20 0 28 0 97406042 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046720392336 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15323] ppid=15314 vsize=26538700 memory=1384 CPUtime=10.1 cores=0-7
/proc/15316/task/15323/stat : 15323 (java) S 15314 15314 3823 0 -1 1077944384 9480 0 0 0 913 97 0 0 20 0 28 0 97406042 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046719339536 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15324] ppid=15314 vsize=26538700 memory=5525980 CPUtime=10.02 cores=0-7
/proc/15316/task/15324/stat : 15324 (java) S 15314 15314 3823 0 -1 1077944384 11539 0 0 0 917 85 0 0 20 0 28 0 97406042 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046718286736 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15325] ppid=15314 vsize=26538700 memory=1712 CPUtime=10.11 cores=0-7
/proc/15316/task/15325/stat : 15325 (java) S 15314 15314 3823 0 -1 1077944384 9983 0 0 0 909 102 0 0 20 0 28 0 97406042 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046717233936 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15326] ppid=15314 vsize=26538700 memory=6791534058613427641 CPUtime=1.23 cores=0-7
/proc/15316/task/15326/stat : 15326 (java) S 15314 15314 3823 0 -1 1077944384 11034 0 0 0 118 5 0 0 20 0 28 0 97406043 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046674106736 140047166110338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15327] ppid=15314 vsize=26538700 memory=1712 CPUtime=0 cores=0-7
/proc/15316/task/15327/stat : 15327 (java) S 15314 15314 3823 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 97406044 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046673052768 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15328] ppid=15314 vsize=26538700 memory=1952 CPUtime=0 cores=0-7
/proc/15316/task/15328/stat : 15328 (java) S 15314 15314 3823 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 28 0 97406044 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046671999872 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15329] ppid=15314 vsize=26538700 memory=8552 CPUtime=0 cores=0-7
/proc/15316/task/15329/stat : 15329 (java) S 15314 15314 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97406047 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046670948176 140047166117787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15330] ppid=15314 vsize=26538700 memory=1224 CPUtime=3.19 cores=0-7
/proc/15316/task/15330/stat : 15330 (java) S 15314 15314 3823 0 -1 1077944384 18266 0 0 0 315 4 0 0 20 0 28 0 97406047 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046221994864 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15331] ppid=15314 vsize=26538700 memory=792 CPUtime=3.42 cores=0-7
/proc/15316/task/15331/stat : 15331 (java) S 15314 15314 3823 0 -1 1077944384 17677 0 0 0 339 3 0 0 20 0 28 0 97406047 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046220942064 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15332] ppid=15314 vsize=26538700 memory=4044 CPUtime=3.63 cores=0-7
/proc/15316/task/15332/stat : 15332 (java) S 15314 15314 3823 0 -1 1077944384 19148 0 0 0 358 5 0 0 20 0 28 0 97406047 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046219889264 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15333] ppid=15314 vsize=26538700 memory=1792 CPUtime=0.95 cores=0-7
/proc/15316/task/15333/stat : 15333 (java) S 15314 15314 3823 0 -1 1077944384 13211 0 0 0 92 3 0 0 20 0 28 0 97406047 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046218836464 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15334] ppid=15314 vsize=26538700 memory=636 CPUtime=0 cores=0-7
/proc/15316/task/15334/stat : 15334 (java) S 15314 15314 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97406047 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046217783904 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15335] ppid=15314 vsize=26538700 memory=956 CPUtime=0.13 cores=0-7
/proc/15316/task/15335/stat : 15335 (java) S 15314 15314 3823 0 -1 1077944384 3027 0 0 0 6 7 0 0 20 0 28 0 97406047 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046216731184 140047166110338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15360] ppid=15314 vsize=26538700 memory=2340 CPUtime=0.29 cores=0-7
/proc/15316/task/15360/stat : 15360 (java) S 15314 15314 3823 0 -1 1077944384 67 0 0 0 29 0 0 0 20 0 28 0 97421087 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046206619120 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15361] ppid=15314 vsize=26538700 memory=8552 CPUtime=0.21 cores=0-7
/proc/15316/task/15361/stat : 15361 (java) S 15314 15314 3823 0 -1 1077944384 150 0 0 0 21 0 0 0 20 0 28 0 97421088 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046205567696 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15362] ppid=15314 vsize=26538700 memory=1224 CPUtime=0.27 cores=0-7
/proc/15316/task/15362/stat : 15362 (java) S 15314 15314 3823 0 -1 1077944384 2231 0 0 0 27 0 0 0 20 0 28 0 97421088 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046201357904 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15363] ppid=15314 vsize=26538700 memory=792 CPUtime=0.26 cores=0-7
/proc/15316/task/15363/stat : 15363 (java) S 15314 15314 3823 0 -1 1077944384 49 0 0 0 26 0 0 0 20 0 28 0 97421088 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046202410448 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15364] ppid=15314 vsize=26538700 memory=1004 CPUtime=0.37 cores=0-7
/proc/15316/task/15364/stat : 15364 (java) S 15314 15314 3823 0 -1 1077944384 96 0 0 0 37 0 0 0 20 0 28 0 97421088 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046204515664 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15365] ppid=15314 vsize=26538700 memory=5296 CPUtime=0.71 cores=0-7
/proc/15316/task/15365/stat : 15365 (java) S 15314 15314 3823 0 -1 1077944384 81 0 0 0 70 1 0 0 20 0 28 0 97421088 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046207673552 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15366] ppid=15314 vsize=26538700 memory=1196 CPUtime=100.03 cores=0-7
/proc/15316/task/15366/stat : 15366 (java) R 15314 15314 3823 0 -1 4202560 45328 0 0 0 9958 45 0 0 20 0 28 0 97421088 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046203459472 140046760130746 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
[pid=15316/tid=15367] ppid=15314 vsize=26538700 memory=4612 CPUtime=0.63 cores=0-7
/proc/15316/task/15367/stat : 15367 (java) S 15314 15314 3823 0 -1 1077944384 349 0 0 0 62 1 0 0 20 0 28 0 97421088 27175628800 1381495 33554432000 4194304 4196468 140730791968544 140046208725968 140047166109397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140730791974040 140730791974216 140730791974216 140730791976911 0
Current children cumulated CPU time: 469.46 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5527364 KiB

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

[startup+252.021 s]
# the end of solver process 15314 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000661 s, system=0.001322 s

[startup+252.048 s]
# the end of solver process 15316 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=460.028 s, system=9.48426 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.048
CPU time (s): 469.512
CPU user time (s): 460.028
CPU system time (s): 9.48426
CPU usage (%): 186.279
Max. virtual memory (cumulated for all children) (KiB): 26549896
Max. memory (cumulated for all children) (KiB): 5527364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 460.028
system time used= 9.48426
maximum resident set size= 5526524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316052
page faults= 0
swaps= 0
block input operations= 0
block output operations= 592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15546
involuntary context switches= 3157


# summary of solver processes directly reported to runsolver:
#   pid: 15314,15316
#   total CPU time (s): 469.512
#   total CPU user time (s): 460.028
#   total CPU system time (s): 9.48426

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.08604 second user time and 2.8592 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-13 18:38:41
IDJOB=4271557
IDBENCH=126250
IDSOLVER=2663
FILE ID=node107/4271557-1502643180
RUNJOBID= node107-1502636397-3850
PBS_JOBID= 20628325
Free space on /tmp= 61660 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-21-a4.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271557-1502643180/watcher-4271557-1502643180 -o /tmp/evaluation-result-4271557-1502643180/solver-4271557-1502643180 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1471818136 HOME/instance-4271557-1502643180.xml

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

MD5SUM BENCH= 982ba5645f5cd940fa49e525f3796150
RANDOM SEED=1471818136

node107.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.84
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.84
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.84
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.84
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:        29148164 kB
MemAvailable:   31988856 kB
Buffers:          168520 kB
Cached:          2960788 kB
SwapCached:            0 kB
Active:           534460 kB
Inactive:        2647364 kB
Active(anon):      55468 kB
Inactive(anon):    24972 kB
Active(file):     478992 kB
Inactive(file):  2622392 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8492 kB
Writeback:             4 kB
AnonPages:         58440 kB
Mapped:            43916 kB
Shmem:             25228 kB
Slab:             136124 kB
SReclaimable:     110288 kB
SUnreclaim:        25836 kB
KernelStack:        3216 kB
PageTables:         5032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61652 MiB
End job on node107 at 2017-08-13 18:42:53