Trace number 4399015

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 NameAnswerCPU timeWall clock time
choco-solver 2019-09-16? (TO) 2520.43 633.39

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-29-093.xml
MD5SUMbf633c2727f59b2e783fa7e248dd5fc9
Bench CategoryCSP (decision 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 variables58
Number of constraints406
Number of domains29
Minimum domain size65
Maximum domain size93
Distribution of domain sizes[{"size":65,"count":2},{"size":66,"count":2},{"size":67,"count":2},{"size":68,"count":2},{"size":69,"count":2},{"size":70,"count":2},{"size":71,"count":2},{"size":72,"count":2},{"size":73,"count":2},{"size":74,"count":2},{"size":75,"count":2},{"size":76,"count":2},{"size":77,"count":2},{"size":78,"count":2},{"size":79,"count":2},{"size":80,"count":2},{"size":81,"count":2},{"size":82,"count":2},{"size":83,"count":2},{"size":84,"count":2},{"size":85,"count":2},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":2},{"size":89,"count":2},{"size":90,"count":2},{"size":91,"count":2},{"size":92,"count":2},{"size":93,"count":2}]
Minimum variable degree28
Maximum variable degree28
Distribution of variable degrees[{"degree":28,"count":58}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":406}]
Number of extensional constraints0
Number of intensional constraints406
Distribution of constraint types[{"type":"intension","count":406}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399015-1568700359.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4399015-1568700359.xml, -tl, 2520s, -p, 4]
0.13/0.22	c 4 solvers in parallel
0.35/0.28	c parse instance...
3.08/1.18	c solve instance...
2520.10/633.36	s UNKNOWN
2520.10/633.36	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 (13807 MiB free)
  memory of node 1: 16384 MiB (14654 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399015-1568700359/watcher-4399015-1568700359 -o /tmp/evaluation-result-4399015-1568700359/solver-4399015-1568700359 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568699048-7919 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1751485874 HOME/instance-4399015-1568700359.xml 

running on 4 cores: 0,2,4,6

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

solver pid=8818, runsolver pid=8815

[startup+0.100058 s]*
/proc/loadavg: 8.57 8.38 6.58 7/234 8834
/proc/meminfo: memFree=29128236/32770624 swapFree=66998768/67108860
[pid=8818] ppid=8815 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8818/stat : 8818 (xcsp3-exec) S 8815 8818 7888 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446300731 115843072 363 33554432000 4194304 5098028 140735363425792 140735363423896 140146249446012 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27353088 140735363429242 140735363429485 140735363429485 140735363432394 0
/proc/8818/statm: 28282 363 304 221 0 87 0
[pid=8820] ppid=8818 vsize=15144776 memory=29020 CPUtime=0.13 cores=0,2,4,6
/proc/8820/stat : 8820 (java) S 8818 8818 7888 0 -1 1077944320 5705 0 0 0 12 1 0 0 20 0 15 0 446300731 15508250624 7255 33554432000 4194304 4196468 140732477857632 140732477840176 140116105060087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
/proc/8820/statm: 3786194 7255 3185 1 0 3748377 0
[pid=8820/tid=8821] ppid=8818 vsize=15144776 memory=8180089925722843723 CPUtime=0.09 cores=0,2,4,6
/proc/8820/task/8821/stat : 8821 (java) R 8818 8818 7888 0 -1 4202560 3567 0 0 0 9 0 0 0 20 0 15 0 446300731 15508250624 7255 33554432000 4194304 4196468 140732477857632 140116109281552 140116105072022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8822] ppid=8818 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8822/stat : 8822 (java) S 8818 8818 7888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446300732 15508250624 7255 33554432000 4194304 4196468 140732477857632 140116061612688 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8823] ppid=8818 vsize=15144776 memory=139749987833472 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8823/stat : 8823 (java) S 8818 8818 7888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446300732 15508250624 7255 33554432000 4194304 4196468 140732477857632 140115696605712 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8824] ppid=8818 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8824/stat : 8824 (java) S 8818 8818 7888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446300732 15508250624 7255 33554432000 4194304 4196468 140732477857632 140115695552912 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8825] ppid=8818 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8825/stat : 8825 (java) S 8818 8818 7888 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446300732 15508250624 7255 33554432000 4194304 4196468 140732477857632 140115694500112 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8826] ppid=8818 vsize=15144776 memory=139749987833472 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8826/stat : 8826 (java) S 8818 8818 7888 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446300733 15508250624 7255 33554432000 4194304 4196468 140732477857632 140115573697392 140116105071234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8827] ppid=8818 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8827/stat : 8827 (java) S 8818 8818 7888 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446300734 15508250624 7255 33554432000 4194304 4196468 140732477857632 140115572643360 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8828] ppid=8818 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8828/stat : 8828 (java) S 8818 8818 7888 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446300734 15508250624 7255 33554432000 4194304 4196468 140732477857632 140115571590512 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8829] ppid=8818 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8829/stat : 8829 (java) S 8818 8818 7888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446300736 15508250624 7255 33554432000 4194304 4196468 140732477857632 140115570538832 140116105078683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8830] ppid=8818 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8830/stat : 8830 (java) S 8818 8818 7888 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 446300736 15508250624 7255 33554432000 4194304 4196468 140732477857632 140115569486192 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8831] ppid=8818 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8831/stat : 8831 (java) S 8818 8818 7888 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 446300736 15508250624 7255 33554432000 4194304 4196468 140732477857632 140115568433392 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8832] ppid=8818 vsize=15144776 memory=139749987833472 CPUtime=0.02 cores=0,2,4,6
/proc/8820/task/8832/stat : 8832 (java) R 8818 8818 7888 0 -1 4202560 386 0 0 0 2 0 0 0 20 0 15 0 446300736 15508250624 7255 33554432000 4194304 4196468 140732477857632 140115567380592 140116083992377 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8833] ppid=8818 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8833/stat : 8833 (java) S 8818 8818 7888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446300737 15508250624 7255 33554432000 4194304 4196468 140732477857632 140115566328032 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8834] ppid=8818 vsize=15144776 memory=139749987833472 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8834/stat : 8834 (java) S 8818 8818 7888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446300737 15508250624 7255 33554432000 4194304 4196468 140732477857632 140115565276336 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30472 KiB

[startup+0.213684 s]*
/proc/loadavg: 8.29 8.32 6.57 6/234 8834
/proc/meminfo: memFree=29115464/32770624 swapFree=66998768/67108860
[pid=8818] ppid=8815 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8818/stat : 8818 (xcsp3-exec) S 8815 8818 7888 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446300731 115843072 363 33554432000 4194304 5098028 140735363425792 140735363423896 140146249446012 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27353088 140735363429242 140735363429485 140735363429485 140735363432394 0
/proc/8818/statm: 28282 363 304 221 0 87 0
[pid=8820] ppid=8818 vsize=15144776 memory=41004 CPUtime=0.35 cores=0,2,4,6
/proc/8820/stat : 8820 (java) S 8818 8818 7888 0 -1 1077944320 9469 0 0 0 32 3 0 0 20 0 15 0 446300731 15508250624 10251 33554432000 4194304 4196468 140732477857632 140732477840176 140116105060087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
/proc/8820/statm: 3786194 10251 3318 1 0 3748377 0
[pid=8820/tid=8821] ppid=8818 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/8820/task/8821/stat : 8821 (java) R 8818 8818 7888 0 -1 4202560 6608 0 0 0 18 2 0 0 20 0 15 0 446300731 15508250624 10251 33554432000 4194304 4196468 140732477857632 140116109295072 140116105082013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8822] ppid=8818 vsize=15144776 memory=9776 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8822/stat : 8822 (java) S 8818 8818 7888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446300732 15508250624 10251 33554432000 4194304 4196468 140732477857632 140116061612688 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8823] ppid=8818 vsize=15144776 memory=139749991120392 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8823/stat : 8823 (java) S 8818 8818 7888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446300732 15508250624 10251 33554432000 4194304 4196468 140732477857632 140115696605712 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8824] ppid=8818 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8824/stat : 8824 (java) S 8818 8818 7888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446300732 15508250624 10251 33554432000 4194304 4196468 140732477857632 140115695552912 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8825] ppid=8818 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8825/stat : 8825 (java) S 8818 8818 7888 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446300732 15508250624 10251 33554432000 4194304 4196468 140732477857632 140115694500112 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8826] ppid=8818 vsize=15144776 memory=139749987833472 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8826/stat : 8826 (java) S 8818 8818 7888 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446300733 15508250624 10251 33554432000 4194304 4196468 140732477857632 140115573697392 140116105071234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8827] ppid=8818 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8827/stat : 8827 (java) S 8818 8818 7888 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446300734 15508250624 10251 33554432000 4194304 4196468 140732477857632 140115572643360 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8828] ppid=8818 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8828/stat : 8828 (java) S 8818 8818 7888 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446300734 15508250624 10251 33554432000 4194304 4196468 140732477857632 140115571590512 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8829] ppid=8818 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8829/stat : 8829 (java) S 8818 8818 7888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446300736 15508250624 10313 33554432000 4194304 4196468 140732477857632 140115570538832 140116105078683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8830] ppid=8818 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8820/task/8830/stat : 8830 (java) S 8818 8818 7888 0 -1 1077944384 344 0 0 0 2 0 0 0 20 0 15 0 446300736 15508250624 10313 33554432000 4194304 4196468 140732477857632 140115569486192 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8831] ppid=8818 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8820/task/8831/stat : 8831 (java) S 8818 8818 7888 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 15 0 446300736 15508250624 10313 33554432000 4194304 4196468 140732477857632 140115568433392 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8832] ppid=8818 vsize=15144776 memory=139749987833472 CPUtime=0.08 cores=0,2,4,6
/proc/8820/task/8832/stat : 8832 (java) S 8818 8818 7888 0 -1 1077944384 823 0 0 0 8 0 0 0 20 0 15 0 446300736 15508250624 10313 33554432000 4194304 4196468 140732477857632 140115567380592 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8833] ppid=8818 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8833/stat : 8833 (java) S 8818 8818 7888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446300737 15508250624 10313 33554432000 4194304 4196468 140732477857632 140115566328032 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8834] ppid=8818 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8834/stat : 8834 (java) S 8818 8818 7888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446300737 15508250624 10313 33554432000 4194304 4196468 140732477857632 140115565276336 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42456 KiB

[startup+0.310699 s]*
/proc/loadavg: 8.29 8.32 6.57 8/234 8834
/proc/meminfo: memFree=29107684/32770624 swapFree=66998768/67108860
[pid=8818] ppid=8815 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8818/stat : 8818 (xcsp3-exec) S 8815 8818 7888 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446300731 115843072 363 33554432000 4194304 5098028 140735363425792 140735363423896 140146249446012 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27353088 140735363429242 140735363429485 140735363429485 140735363432394 0
/proc/8818/statm: 28282 363 304 221 0 87 0
[pid=8820] ppid=8818 vsize=15149032 memory=49988 CPUtime=0.53 cores=0,2,4,6
/proc/8820/stat : 8820 (java) S 8818 8818 7888 0 -1 1077944320 10848 0 0 0 49 4 0 0 20 0 15 0 446300731 15512608768 12497 33554432000 4194304 4196468 140732477857632 140732477840176 140116105060087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
/proc/8820/statm: 3787258 12497 3357 1 0 3748377 0
[pid=8820/tid=8821] ppid=8818 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/8820/task/8821/stat : 8821 (java) R 8818 8818 7888 0 -1 4202560 7780 0 0 0 27 3 0 0 20 0 15 0 446300731 15512608768 12567 33554432000 4194304 4196468 140732477857632 140116109291200 140116089140574 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8822] ppid=8818 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8822/stat : 8822 (java) S 8818 8818 7888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446300732 15512608768 12567 33554432000 4194304 4196468 140732477857632 140116061612688 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8823] ppid=8818 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8823/stat : 8823 (java) S 8818 8818 7888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446300732 15512608768 12567 33554432000 4194304 4196468 140732477857632 140115696605712 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8824] ppid=8818 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8824/stat : 8824 (java) S 8818 8818 7888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446300732 15512608768 12567 33554432000 4194304 4196468 140732477857632 140115695552912 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8825] ppid=8818 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8825/stat : 8825 (java) S 8818 8818 7888 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446300732 15512608768 12567 33554432000 4194304 4196468 140732477857632 140115694500112 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8826] ppid=8818 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8826/stat : 8826 (java) S 8818 8818 7888 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446300733 15512608768 12567 33554432000 4194304 4196468 140732477857632 140115573697392 140116105071234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8827] ppid=8818 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8827/stat : 8827 (java) S 8818 8818 7888 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446300734 15512608768 12567 33554432000 4194304 4196468 140732477857632 140115572643360 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8828] ppid=8818 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8828/stat : 8828 (java) S 8818 8818 7888 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446300734 15512608768 12567 33554432000 4194304 4196468 140732477857632 140115571590512 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8829] ppid=8818 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8829/stat : 8829 (java) S 8818 8818 7888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446300736 15512608768 12567 33554432000 4194304 4196468 140732477857632 140115570538832 140116105078683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8830] ppid=8818 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=0,2,4,6
/proc/8820/task/8830/stat : 8830 (java) S 8818 8818 7888 0 -1 1077944384 365 0 0 0 4 0 0 0 20 0 15 0 446300736 15512608768 12567 33554432000 4194304 4196468 140732477857632 140115569486192 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8831] ppid=8818 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8820/task/8831/stat : 8831 (java) R 8818 8818 7888 0 -1 4202560 482 0 0 0 5 0 0 0 20 0 15 0 446300736 15512608768 12567 33554432000 4194304 4196468 140732477857632 140115568423776 140116082321344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8832] ppid=8818 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8820/task/8832/stat : 8832 (java) S 8818 8818 7888 0 -1 1077944384 929 0 0 0 12 0 0 0 20 0 15 0 446300736 15512608768 12567 33554432000 4194304 4196468 140732477857632 140115567380592 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8833] ppid=8818 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8833/stat : 8833 (java) S 8818 8818 7888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446300737 15512608768 12567 33554432000 4194304 4196468 140732477857632 140115566328032 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8834] ppid=8818 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8834/stat : 8834 (java) S 8818 8818 7888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446300737 15512608768 12567 33554432000 4194304 4196468 140732477857632 140115565276336 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51440 KiB

[startup+0.700948 s]
/proc/loadavg: 8.29 8.32 6.57 10/234 8834
/proc/meminfo: memFree=29089892/32770624 swapFree=66998768/67108860
[pid=8818] ppid=8815 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8818/stat : 8818 (xcsp3-exec) S 8815 8818 7888 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446300731 115843072 363 33554432000 4194304 5098028 140735363425792 140735363423896 140146249446012 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27353088 140735363429242 140735363429485 140735363429485 140735363432394 0
/proc/8818/statm: 28282 363 304 221 0 87 0
[pid=8820] ppid=8818 vsize=15151156 memory=93044 CPUtime=1.72 cores=0,2,4,6
/proc/8820/stat : 8820 (java) S 8818 8818 7888 0 -1 1077944320 15281 0 0 0 165 7 0 0 20 0 15 0 446300731 15514783744 23261 33554432000 4194304 4196468 140732477857632 140732477840176 140116105060087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
/proc/8820/statm: 3787789 23261 3456 1 0 3748889 0
[pid=8820/tid=8821] ppid=8818 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/8820/task/8821/stat : 8821 (java) R 8818 8818 7888 0 -1 4202560 9071 0 0 0 63 4 0 0 20 0 15 0 446300731 15514783744 23261 33554432000 4194304 4196468 140732477857632 140116109293112 140115741540852 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8822] ppid=8818 vsize=15151156 memory=46072 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8822/stat : 8822 (java) S 8818 8818 7888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446300732 15514783744 23261 33554432000 4194304 4196468 140732477857632 140116061612688 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8823] ppid=8818 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8823/stat : 8823 (java) S 8818 8818 7888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446300732 15514783744 23261 33554432000 4194304 4196468 140732477857632 140115696605712 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8824] ppid=8818 vsize=15151156 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8824/stat : 8824 (java) S 8818 8818 7888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446300732 15514783744 23261 33554432000 4194304 4196468 140732477857632 140115695552912 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8825] ppid=8818 vsize=15151156 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8825/stat : 8825 (java) S 8818 8818 7888 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446300732 15514783744 23261 33554432000 4194304 4196468 140732477857632 140115694500112 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8826] ppid=8818 vsize=15151156 memory=9396 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8826/stat : 8826 (java) S 8818 8818 7888 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446300733 15514783744 23261 33554432000 4194304 4196468 140732477857632 140115573697392 140116105071234 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8827] ppid=8818 vsize=15151156 memory=656 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8827/stat : 8827 (java) S 8818 8818 7888 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446300734 15514783744 23261 33554432000 4194304 4196468 140732477857632 140115572643360 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8828] ppid=8818 vsize=15151156 memory=4036 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8828/stat : 8828 (java) S 8818 8818 7888 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446300734 15514783744 23261 33554432000 4194304 4196468 140732477857632 140115571590512 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8829] ppid=8818 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8829/stat : 8829 (java) S 8818 8818 7888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446300736 15514783744 23261 33554432000 4194304 4196468 140732477857632 140115570538832 140116105078683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8830] ppid=8818 vsize=15151156 memory=1552 CPUtime=0.3 cores=0,2,4,6
/proc/8820/task/8830/stat : 8830 (java) R 8818 8818 7888 0 -1 4202560 1291 0 0 0 30 0 0 0 20 0 15 0 446300736 15514783744 23261 33554432000 4194304 4196468 140732477857632 140115569468688 140116089050655 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8831] ppid=8818 vsize=15151156 memory=1204 CPUtime=0.29 cores=0,2,4,6
/proc/8820/task/8831/stat : 8831 (java) R 8818 8818 7888 0 -1 4202560 1360 0 0 0 29 0 0 0 20 0 15 0 446300736 15514783744 23261 33554432000 4194304 4196468 140732477857632 140115568416592 140116086365988 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8832] ppid=8818 vsize=15151156 memory=1072 CPUtime=0.42 cores=0,2,4,6
/proc/8820/task/8832/stat : 8832 (java) S 8818 8818 7888 0 -1 1077944384 2253 0 0 0 42 0 0 0 20 0 15 0 446300736 15514783744 23261 33554432000 4194304 4196468 140732477857632 140115567380592 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8833] ppid=8818 vsize=15151156 memory=5860 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8833/stat : 8833 (java) S 8818 8818 7888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446300737 15514783744 23261 33554432000 4194304 4196468 140732477857632 140115566328032 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8834] ppid=8818 vsize=15151156 memory=1544 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8834/stat : 8834 (java) S 8818 8818 7888 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446300737 15514783744 23261 33554432000 4194304 4196468 140732477857632 140115565276336 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94496 KiB

[startup+1.50495 s]
/proc/loadavg: 8.29 8.32 6.57 8/234 8834
/proc/meminfo: memFree=28979936/32770624 swapFree=66998768/67108860
[pid=8818] ppid=8815 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8818/stat : 8818 (xcsp3-exec) S 8815 8818 7888 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446300731 115843072 363 33554432000 4194304 5098028 140735363425792 140735363423896 140146249446012 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27353088 140735363429242 140735363429485 140735363429485 140735363432394 0
/proc/8818/statm: 28282 363 304 221 0 87 0

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

/proc/8820/stat : 8820 (java) S 8818 8818 7888 0 -1 1077944320 87424 0 0 0 231641 62 0 0 20 0 19 0 446300731 15789527040 301007 33554432000 4194304 4196468 140732477857632 140732477840176 140116105060087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
/proc/8820/statm: 3854865 301007 3534 1 0 3815965 0
[pid=8820/tid=8821] ppid=8818 vsize=15419460 memory=1452 CPUtime=1.14 cores=0,2,4,6
/proc/8820/task/8821/stat : 8821 (java) S 8818 8818 7888 0 -1 1077944384 10458 0 0 0 108 6 0 0 20 0 19 0 446300731 15789527040 301007 33554432000 4194304 4196468 140732477857632 140116109300864 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8822] ppid=8818 vsize=15419460 memory=1204028 CPUtime=0.23 cores=0,2,4,6
/proc/8820/task/8822/stat : 8822 (java) S 8818 8818 7888 0 -1 1077944384 2458 0 0 0 16 7 0 0 20 0 19 0 446300732 15789527040 301007 33554432000 4194304 4196468 140732477857632 140116061612688 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8823] ppid=8818 vsize=15419460 memory=1452 CPUtime=0.21 cores=0,2,4,6
/proc/8820/task/8823/stat : 8823 (java) S 8818 8818 7888 0 -1 1077944384 2605 0 0 0 15 6 0 0 20 0 19 0 446300732 15789527040 301007 33554432000 4194304 4196468 140732477857632 140115696605712 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8824] ppid=8818 vsize=15419460 memory=1204028 CPUtime=0.22 cores=0,2,4,6
/proc/8820/task/8824/stat : 8824 (java) S 8818 8818 7888 0 -1 1077944384 2226 0 0 0 15 7 0 0 20 0 19 0 446300732 15789527040 301007 33554432000 4194304 4196468 140732477857632 140115695552912 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8825] ppid=8818 vsize=15419460 memory=1198904 CPUtime=0.23 cores=0,2,4,6
/proc/8820/task/8825/stat : 8825 (java) S 8818 8818 7888 0 -1 1077944384 2093 0 0 0 16 7 0 0 20 0 19 0 446300732 15789527040 301007 33554432000 4194304 4196468 140732477857632 140115694500112 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8826] ppid=8818 vsize=15419460 memory=1198904 CPUtime=0.06 cores=0,2,4,6
/proc/8820/task/8826/stat : 8826 (java) S 8818 8818 7888 0 -1 1077944384 3678 0 0 0 4 2 0 0 20 0 19 0 446300733 15789527040 301007 33554432000 4194304 4196468 140732477857632 140115573697392 140116105071234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8827] ppid=8818 vsize=15419460 memory=1198904 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8827/stat : 8827 (java) S 8818 8818 7888 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 446300734 15789527040 301007 33554432000 4194304 4196468 140732477857632 140115572643424 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8828] ppid=8818 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8828/stat : 8828 (java) S 8818 8818 7888 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 446300734 15789527040 301007 33554432000 4194304 4196468 140732477857632 140115571590528 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8829] ppid=8818 vsize=15419460 memory=5860 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8829/stat : 8829 (java) S 8818 8818 7888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446300736 15789527040 301007 33554432000 4194304 4196468 140732477857632 140115570538832 140116105078683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8830] ppid=8818 vsize=15419460 memory=1544 CPUtime=2.36 cores=0,2,4,6
/proc/8820/task/8830/stat : 8830 (java) S 8818 8818 7888 0 -1 1077944384 14445 0 0 0 235 1 0 0 20 0 19 0 446300736 15789527040 301007 33554432000 4194304 4196468 140732477857632 140115569486192 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8831] ppid=8818 vsize=15419460 memory=8112282956445269571 CPUtime=2.3 cores=0,2,4,6
/proc/8820/task/8831/stat : 8831 (java) S 8818 8818 7888 0 -1 1077944384 15341 0 0 0 227 3 0 0 20 0 19 0 446300736 15789527040 301007 33554432000 4194304 4196468 140732477857632 140115568433392 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8832] ppid=8818 vsize=15419460 memory=656 CPUtime=0.82 cores=0,2,4,6
/proc/8820/task/8832/stat : 8832 (java) S 8818 8818 7888 0 -1 1077944384 9579 0 0 0 81 1 0 0 20 0 19 0 446300736 15789527040 301007 33554432000 4194304 4196468 140732477857632 140115567380592 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8833] ppid=8818 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8833/stat : 8833 (java) S 8818 8818 7888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446300737 15789527040 301007 33554432000 4194304 4196468 140732477857632 140115566328032 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8834] ppid=8818 vsize=15419460 memory=1204028 CPUtime=0.51 cores=0,2,4,6
/proc/8820/task/8834/stat : 8834 (java) S 8818 8818 7888 0 -1 1077944384 430 0 0 0 0 51 0 0 20 0 19 0 446300737 15789527040 301007 33554432000 4194304 4196468 140732477857632 140115565276336 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8835] ppid=8818 vsize=15419460 memory=932 CPUtime=576.35 cores=0,2,4,6
/proc/8820/task/8835/stat : 8835 (java) R 8818 8818 7888 0 -1 4202560 1401 0 0 0 57635 0 0 0 20 0 19 0 446300850 15789527040 301007 33554432000 4194304 4196468 140732477857632 140115556056360 140115748436792 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8836] ppid=8818 vsize=15419460 memory=1980 CPUtime=577.62 cores=0,2,4,6
/proc/8820/task/8836/stat : 8836 (java) R 8818 8818 7888 0 -1 4202560 14543 0 0 0 57746 16 0 0 20 0 19 0 446300850 15789527040 301007 33554432000 4194304 4196468 140732477857632 140115555004760 140115748246023 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8837] ppid=8818 vsize=15419460 memory=2020 CPUtime=577.01 cores=0,2,4,6
/proc/8820/task/8837/stat : 8837 (java) R 8818 8818 7888 0 -1 4202560 1438 0 0 0 57701 0 0 0 20 0 19 0 446300850 15789527040 301007 33554432000 4194304 4196468 140732477857632 140115553951936 140115748735687 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8838] ppid=8818 vsize=15419460 memory=1432 CPUtime=577.83 cores=0,2,4,6
/proc/8820/task/8838/stat : 8838 (java) R 8818 8818 7888 0 -1 4202560 5360 0 0 0 57782 1 0 0 20 0 19 0 446300850 15789527040 301007 33554432000 4194304 4196468 140732477857632 140115552901888 140115749055545 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
Current children cumulated CPU time: 2317.03 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1205480 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+633.301 s]
/proc/loadavg: 4.03 4.61 5.39 5/211 8941
/proc/meminfo: memFree=29131672/32770624 swapFree=66998768/67108860
[pid=8818] ppid=8815 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8818/stat : 8818 (xcsp3-exec) S 8815 8818 7888 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446300731 115843072 363 33554432000 4194304 5098028 140735363425792 140735363423896 140146249446012 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27353088 140735363429242 140735363429485 140735363429485 140735363432394 0
/proc/8818/statm: 28282 363 304 221 0 87 0
[pid=8820] ppid=8818 vsize=15419460 memory=1205016 CPUtime=2520.1 cores=0,2,4,6
/proc/8820/stat : 8820 (java) S 8818 8818 7888 0 -1 1077944320 88506 0 0 0 251946 64 0 0 20 0 19 0 446300731 15789527040 301254 33554432000 4194304 4196468 140732477857632 140732477840176 140116105060087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
/proc/8820/statm: 3854865 301254 3534 1 0 3815965 0
[pid=8820/tid=8821] ppid=8818 vsize=15419460 memory=1205016 CPUtime=1.14 cores=0,2,4,6
/proc/8820/task/8821/stat : 8821 (java) S 8818 8818 7888 0 -1 1077944384 10458 0 0 0 108 6 0 0 20 0 19 0 446300731 15789527040 301254 33554432000 4194304 4196468 140732477857632 140116109300864 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8822] ppid=8818 vsize=15419460 memory=1452 CPUtime=0.24 cores=0,2,4,6
/proc/8820/task/8822/stat : 8822 (java) S 8818 8818 7888 0 -1 1077944384 2501 0 0 0 17 7 0 0 20 0 19 0 446300732 15789527040 301254 33554432000 4194304 4196468 140732477857632 140116061612688 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8823] ppid=8818 vsize=15419460 memory=1205016 CPUtime=0.23 cores=0,2,4,6
/proc/8820/task/8823/stat : 8823 (java) S 8818 8818 7888 0 -1 1077944384 2622 0 0 0 16 7 0 0 20 0 19 0 446300732 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115696605712 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8824] ppid=8818 vsize=15419460 memory=1205016 CPUtime=0.23 cores=0,2,4,6
/proc/8820/task/8824/stat : 8824 (java) S 8818 8818 7888 0 -1 1077944384 2266 0 0 0 16 7 0 0 20 0 19 0 446300732 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115695552912 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8825] ppid=8818 vsize=15419460 memory=1205016 CPUtime=0.25 cores=0,2,4,6
/proc/8820/task/8825/stat : 8825 (java) S 8818 8818 7888 0 -1 1077944384 2378 0 0 0 17 8 0 0 20 0 19 0 446300732 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115694500112 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8826] ppid=8818 vsize=15419460 memory=1205016 CPUtime=0.06 cores=0,2,4,6
/proc/8820/task/8826/stat : 8826 (java) S 8818 8818 7888 0 -1 1077944384 3706 0 0 0 4 2 0 0 20 0 19 0 446300733 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115573697392 140116105071234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8827] ppid=8818 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8827/stat : 8827 (java) S 8818 8818 7888 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 446300734 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115572643424 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8828] ppid=8818 vsize=15419460 memory=1205016 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8828/stat : 8828 (java) S 8818 8818 7888 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 446300734 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115571590528 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8829] ppid=8818 vsize=15419460 memory=46084 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8829/stat : 8829 (java) S 8818 8818 7888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446300736 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115570538832 140116105078683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8830] ppid=8818 vsize=15419460 memory=988 CPUtime=2.36 cores=0,2,4,6
/proc/8820/task/8830/stat : 8830 (java) S 8818 8818 7888 0 -1 1077944384 14448 0 0 0 235 1 0 0 20 0 19 0 446300736 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115569486192 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8831] ppid=8818 vsize=15419460 memory=800 CPUtime=2.3 cores=0,2,4,6
/proc/8820/task/8831/stat : 8831 (java) S 8818 8818 7888 0 -1 1077944384 15344 0 0 0 227 3 0 0 20 0 19 0 446300736 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115568433392 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8832] ppid=8818 vsize=15419460 memory=4096 CPUtime=0.82 cores=0,2,4,6
/proc/8820/task/8832/stat : 8832 (java) S 8818 8818 7888 0 -1 1077944384 9587 0 0 0 81 1 0 0 20 0 19 0 446300736 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115567380592 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8833] ppid=8818 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8833/stat : 8833 (java) S 8818 8818 7888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446300737 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115566328032 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8834] ppid=8818 vsize=15419460 memory=1205016 CPUtime=0.56 cores=0,2,4,6
/proc/8820/task/8834/stat : 8834 (java) S 8818 8818 7888 0 -1 1077944384 456 0 0 0 0 56 0 0 20 0 19 0 446300737 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115565276336 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8835] ppid=8818 vsize=15419460 memory=1452 CPUtime=626.62 cores=0,2,4,6
/proc/8820/task/8835/stat : 8835 (java) R 8818 8818 7888 0 -1 4202560 1490 0 0 0 62662 0 0 0 20 0 19 0 446300850 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115556056192 140115748436937 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8836] ppid=8818 vsize=15419460 memory=1205016 CPUtime=628.58 cores=0,2,4,6
/proc/8820/task/8836/stat : 8836 (java) R 8818 8818 7888 0 -1 4202560 14735 0 0 0 62842 16 0 0 20 0 19 0 446300850 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115555004840 140115745376126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8837] ppid=8818 vsize=15419460 memory=1205016 CPUtime=627.8 cores=0,2,4,6
/proc/8820/task/8837/stat : 8837 (java) R 8818 8818 7888 0 -1 4202560 1554 0 0 0 62780 0 0 0 20 0 19 0 446300850 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115553952120 140115748512762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8838] ppid=8818 vsize=15419460 memory=1452 CPUtime=628.78 cores=0,2,4,6
/proc/8820/task/8838/stat : 8838 (java) R 8818 8818 7888 0 -1 4202560 5592 0 0 0 62877 1 0 0 20 0 19 0 446300850 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115552901664 140115748512913 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1206468 KiB

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

[startup+633.328 s]
# the end of solver process 8818 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001573 s, system=0.000786 s

[startup+633.389 s]
# the end of solver process 8820 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.77 s, system=0.658508 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

[startup+633.301 s]
/proc/loadavg: 4.03 4.61 5.39 5/211 8941
/proc/meminfo: memFree=29131672/32770624 swapFree=66998768/67108860
[pid=8818] ppid=8815 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8818/stat : 8818 (xcsp3-exec) S 8815 8818 7888 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446300731 115843072 363 33554432000 4194304 5098028 140735363425792 140735363423896 140146249446012 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27353088 140735363429242 140735363429485 140735363429485 140735363432394 0
/proc/8818/statm: 28282 363 304 221 0 87 0
[pid=8820] ppid=8818 vsize=15419460 memory=1205016 CPUtime=2520.1 cores=0,2,4,6
/proc/8820/stat : 8820 (java) S 8818 8818 7888 0 -1 1077944320 88506 0 0 0 251946 64 0 0 20 0 19 0 446300731 15789527040 301254 33554432000 4194304 4196468 140732477857632 140732477840176 140116105060087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
/proc/8820/statm: 3854865 301254 3534 1 0 3815965 0
[pid=8820/tid=8821] ppid=8818 vsize=15419460 memory=1205016 CPUtime=1.14 cores=0,2,4,6
/proc/8820/task/8821/stat : 8821 (java) S 8818 8818 7888 0 -1 1077944384 10458 0 0 0 108 6 0 0 20 0 19 0 446300731 15789527040 301254 33554432000 4194304 4196468 140732477857632 140116109300864 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8822] ppid=8818 vsize=15419460 memory=1452 CPUtime=0.24 cores=0,2,4,6
/proc/8820/task/8822/stat : 8822 (java) S 8818 8818 7888 0 -1 1077944384 2501 0 0 0 17 7 0 0 20 0 19 0 446300732 15789527040 301254 33554432000 4194304 4196468 140732477857632 140116061612688 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8823] ppid=8818 vsize=15419460 memory=1205016 CPUtime=0.23 cores=0,2,4,6
/proc/8820/task/8823/stat : 8823 (java) S 8818 8818 7888 0 -1 1077944384 2622 0 0 0 16 7 0 0 20 0 19 0 446300732 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115696605712 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8824] ppid=8818 vsize=15419460 memory=1205016 CPUtime=0.23 cores=0,2,4,6
/proc/8820/task/8824/stat : 8824 (java) S 8818 8818 7888 0 -1 1077944384 2266 0 0 0 16 7 0 0 20 0 19 0 446300732 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115695552912 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8825] ppid=8818 vsize=15419460 memory=1205016 CPUtime=0.25 cores=0,2,4,6
/proc/8820/task/8825/stat : 8825 (java) S 8818 8818 7888 0 -1 1077944384 2378 0 0 0 17 8 0 0 20 0 19 0 446300732 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115694500112 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8826] ppid=8818 vsize=15419460 memory=1205016 CPUtime=0.06 cores=0,2,4,6
/proc/8820/task/8826/stat : 8826 (java) S 8818 8818 7888 0 -1 1077944384 3706 0 0 0 4 2 0 0 20 0 19 0 446300733 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115573697392 140116105071234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8827] ppid=8818 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8827/stat : 8827 (java) S 8818 8818 7888 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 446300734 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115572643424 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8828] ppid=8818 vsize=15419460 memory=1205016 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8828/stat : 8828 (java) S 8818 8818 7888 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 446300734 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115571590528 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8829] ppid=8818 vsize=15419460 memory=46084 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8829/stat : 8829 (java) S 8818 8818 7888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446300736 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115570538832 140116105078683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8830] ppid=8818 vsize=15419460 memory=988 CPUtime=2.36 cores=0,2,4,6
/proc/8820/task/8830/stat : 8830 (java) S 8818 8818 7888 0 -1 1077944384 14448 0 0 0 235 1 0 0 20 0 19 0 446300736 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115569486192 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8831] ppid=8818 vsize=15419460 memory=800 CPUtime=2.3 cores=0,2,4,6
/proc/8820/task/8831/stat : 8831 (java) S 8818 8818 7888 0 -1 1077944384 15344 0 0 0 227 3 0 0 20 0 19 0 446300736 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115568433392 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8832] ppid=8818 vsize=15419460 memory=4096 CPUtime=0.82 cores=0,2,4,6
/proc/8820/task/8832/stat : 8832 (java) S 8818 8818 7888 0 -1 1077944384 9587 0 0 0 81 1 0 0 20 0 19 0 446300736 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115567380592 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8833] ppid=8818 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8820/task/8833/stat : 8833 (java) S 8818 8818 7888 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446300737 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115566328032 140116105070293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8834] ppid=8818 vsize=15419460 memory=1205016 CPUtime=0.56 cores=0,2,4,6
/proc/8820/task/8834/stat : 8834 (java) S 8818 8818 7888 0 -1 1077944384 456 0 0 0 0 56 0 0 20 0 19 0 446300737 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115565276336 140116105071234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8835] ppid=8818 vsize=15419460 memory=1452 CPUtime=626.62 cores=0,2,4,6
/proc/8820/task/8835/stat : 8835 (java) R 8818 8818 7888 0 -1 4202560 1490 0 0 0 62662 0 0 0 20 0 19 0 446300850 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115556056192 140115748436937 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8836] ppid=8818 vsize=15419460 memory=1205016 CPUtime=628.58 cores=0,2,4,6
/proc/8820/task/8836/stat : 8836 (java) R 8818 8818 7888 0 -1 4202560 14735 0 0 0 62842 16 0 0 20 0 19 0 446300850 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115555004840 140115745376126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8837] ppid=8818 vsize=15419460 memory=1205016 CPUtime=627.8 cores=0,2,4,6
/proc/8820/task/8837/stat : 8837 (java) R 8818 8818 7888 0 -1 4202560 1554 0 0 0 62780 0 0 0 20 0 19 0 446300850 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115553952120 140115748512762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
[pid=8820/tid=8838] ppid=8818 vsize=15419460 memory=1452 CPUtime=628.78 cores=0,2,4,6
/proc/8820/task/8838/stat : 8838 (java) R 8818 8818 7888 0 -1 4202560 5592 0 0 0 62877 1 0 0 20 0 19 0 446300850 15789527040 301254 33554432000 4194304 4196468 140732477857632 140115552901664 140115748512913 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38572032 140732477862895 140732477863066 140732477863066 140732477865935 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1206468 KiB

Child status: 143
Real time (s): 633.39
CPU time (s): 2520.43
CPU user time (s): 2519.77
CPU system time (s): 0.658508
CPU usage (%): 397.927
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 1208004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.77
system time used= 0.658508
maximum resident set size= 1208600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89721
page faults= 0
swaps= 0
block input operations= 0
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17157
involuntary context switches= 25848


# summary of solver processes directly reported to runsolver:
#   pid: 8818,8820
#   total CPU time (s): 2520.43
#   total CPU user time (s): 2519.77
#   total CPU system time (s): 0.658508

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.87897 second user time and 7.30201 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-17 08:05:20
IDJOB=4399015
IDBENCH=141743
IDSOLVER=2853
FILE ID=node123/4399015-1568700359
RUNJOBID= node123-1568699048-7919
PBS_JOBID= 21703821
Free space on /tmp= 59160 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-29-093.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399015-1568700359/watcher-4399015-1568700359 -o /tmp/evaluation-result-4399015-1568700359/solver-4399015-1568700359 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568699048-7919 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1751485874 HOME/instance-4399015-1568700359.xml

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

MD5SUM BENCH= bf633c2727f59b2e783fa7e248dd5fc9
RANDOM SEED=1751485874

node123.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.49
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.49
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.49
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.49
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:        29144808 kB
MemAvailable:   30739388 kB
Buffers:          125180 kB
Cached:          1767560 kB
SwapCached:         7604 kB
Active:          2412444 kB
Inactive:         648400 kB
Active(anon):    1167332 kB
Inactive(anon):    48664 kB
Active(file):    1245112 kB
Inactive(file):   599736 kB
Unevictable:      107572 kB
Mlocked:          107572 kB
SwapTotal:      67108860 kB
SwapFree:       66998768 kB
Dirty:             26084 kB
Writeback:             0 kB
AnonPages:       1227556 kB
Mapped:            61212 kB
Shmem:             39812 kB
Slab:             161452 kB
SReclaimable:     131136 kB
SUnreclaim:        30316 kB
KernelStack:        4192 kB
PageTables:         8180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3445864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1114112 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 59160 MiB
End job on node123 at 2019-09-17 08:15:53