Trace number 4302653

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
Concrete 3.9.2-SuperNG? (TO) 254.109 184.638

General information on the benchmark

NameCrosswordDesign/
CrosswordDesign-11-4-rom_c18.xml
MD5SUM63b9378ece2d6066ad6e61da47f93b8a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark252.011
Satisfiable
(Un)Satisfiability was proved
Number of variables385
Number of constraints88
Number of domains5
Minimum domain size2
Maximum domain size115571
Distribution of domain sizes[{"size":2,"count":22},{"size":12,"count":154},{"size":27,"count":121},{"size":115571,"count":88}]
Minimum variable degree1
Maximum variable degree8
Distribution of variable degrees[{"degree":1,"count":110},{"degree":2,"count":154},{"degree":8,"count":121}]
Minimum constraint arity14
Maximum constraint arity15
Distribution of constraint arities[{"arity":14,"count":22},{"arity":15,"count":66}]
Number of extensional constraints88
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":88}]
Optimization problemYES
Type of objectivemax SUM

Solver Data 

0.98/0.75	c Concrete v3.9.2.1532736233296 running

Verifier Data 

One s line expected

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302653-1532897024/watcher-4302653-1532897024 -o /tmp/evaluation-result-4302653-1532897024/solver-4302653-1532897024 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28701 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=321042290 -superng HOME/instance-4302653-1532897024.xml 

running on 4 cores: 1,3,5,7

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

[startup+0.10224 s]*
/proc/loadavg: 1.62 1.76 1.80 2/213 1995
/proc/meminfo: memFree=23752460/32770624 swapFree=67108744/67108860
[pid=1938] ppid=1935 vsize=10005480 memory=16816 CPUtime=0.08 cores=1,3,5,7
/proc/1938/stat : 1938 (java) S 1935 1938 19273 0 -1 1077944320 4342 13207 0 0 1 0 5 2 20 0 6 0 107265660 10245611520 4204 33554432000 4194304 4196468 140721017724544 140721017707088 139875991056119 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
/proc/1938/statm: 2501370 4204 1935 1 0 2489808 0
[pid=1938/tid=1991] ppid=1935 vsize=10005480 memory=-8171376296011865461 CPUtime=0.08 cores=1,3,5,7
/proc/1938/task/1991/stat : 1991 (java) R 1935 1938 19273 0 -1 4202560 2251 13207 0 0 1 0 5 2 20 0 6 0 107265669 10245611520 4270 33554432000 4194304 4196468 140721017724544 139875962892880 139875976179056 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1992] ppid=1935 vsize=10005480 memory=5792869726567804975 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1992/stat : 1992 (java) S 1935 1938 19273 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 6 0 107265670 10245611520 4270 33554432000 4194304 4196468 140721017724544 139875995298704 139875991066325 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1993] ppid=1935 vsize=10005480 memory=140718008288896 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1993/stat : 1993 (java) S 1935 1938 19273 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 6 0 107265670 10245611520 4270 33554432000 4194304 4196468 140721017724544 139875880495888 139875991066325 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1994] ppid=1935 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1994/stat : 1994 (java) S 1935 1938 19273 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 6 0 107265670 10245611520 4270 33554432000 4194304 4196468 140721017724544 139875879443600 139875991066325 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1995] ppid=1935 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1995/stat : 1995 (java) S 1935 1938 19273 0 -1 1077944384 2 13207 0 0 0 0 5 2 20 0 6 0 107265670 10245611520 4270 33554432000 4194304 4196468 140721017724544 139875528399888 139875991066325 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16816 KiB

[startup+0.210854 s]*
/proc/loadavg: 1.62 1.76 1.80 3/222 2004
/proc/meminfo: memFree=23732540/32770624 swapFree=67108744/67108860
[pid=1938] ppid=1935 vsize=10982744 memory=40296 CPUtime=0.24 cores=1,3,5,7
/proc/1938/stat : 1938 (java) S 1935 1938 19273 0 -1 1077944320 7284 13207 0 0 16 1 5 2 20 0 15 0 107265660 11246329856 10074 33554432000 4194304 4196468 140721017724544 140721017707088 139875991056119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
/proc/1938/statm: 2745686 10074 2976 1 0 2708109 0
[pid=1938/tid=1991] ppid=1935 vsize=10982744 memory=8389772277269004345 CPUtime=0.18 cores=1,3,5,7
/proc/1938/task/1991/stat : 1991 (java) R 1935 1938 19273 0 -1 4202560 3810 13207 0 0 10 1 5 2 20 0 15 0 107265669 11246329856 10074 33554432000 4194304 4196468 140721017724544 139875962878024 139875991070001 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1992] ppid=1935 vsize=10982744 memory=4294967660 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1992/stat : 1992 (java) S 1935 1938 19273 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 107265670 11246329856 10074 33554432000 4194304 4196468 140721017724544 139875995298704 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1993] ppid=1935 vsize=10982744 memory=3833046190357333664 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1993/stat : 1993 (java) S 1935 1938 19273 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 107265670 11246329856 10074 33554432000 4194304 4196468 140721017724544 139875880495888 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1994] ppid=1935 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1994/stat : 1994 (java) S 1935 1938 19273 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 107265670 11246329856 10074 33554432000 4194304 4196468 140721017724544 139875879443600 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1995] ppid=1935 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1995/stat : 1995 (java) S 1935 1938 19273 0 -1 1077944384 2 13207 0 0 0 0 5 2 20 0 15 0 107265670 11246329856 10074 33554432000 4194304 4196468 140721017724544 139875528399888 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1996] ppid=1935 vsize=10982744 memory=140718008288896 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1996/stat : 1996 (java) S 1935 1938 19273 0 -1 1077944384 2 13207 0 0 0 0 5 2 20 0 15 0 107265671 11246329856 10074 33554432000 4194304 4196468 140721017724544 139875484145776 139875991067266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1997] ppid=1935 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1997/stat : 1997 (java) S 1935 1938 19273 0 -1 1077944384 13 13207 0 0 0 0 5 2 20 0 15 0 107265672 11246329856 10074 33554432000 4194304 4196468 140721017724544 139874803901216 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1998] ppid=1935 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1998/stat : 1998 (java) S 1935 1938 19273 0 -1 1077944384 21 13207 0 0 0 0 5 2 20 0 15 0 107265672 11246329856 10074 33554432000 4194304 4196468 140721017724544 139874736788592 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1999] ppid=1935 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1999/stat : 1999 (java) S 1935 1938 19273 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 107265674 11246329856 10074 33554432000 4194304 4196468 140721017724544 139874429392976 139875991074715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2000] ppid=1935 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1938/task/2000/stat : 2000 (java) S 1935 1938 19273 0 -1 1077944384 564 13207 0 0 1 0 5 2 20 0 15 0 107265674 11246329856 10074 33554432000 4194304 4196468 140721017724544 139875483093616 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2001] ppid=1935 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1938/task/2001/stat : 2001 (java) S 1935 1938 19273 0 -1 1077944384 67 13207 0 0 1 0 5 2 20 0 15 0 107265674 11246329856 10074 33554432000 4194304 4196468 140721017724544 139875482040816 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2002] ppid=1935 vsize=10982744 memory=140718008288896 CPUtime=0.1 cores=1,3,5,7
/proc/1938/task/2002/stat : 2002 (java) S 1935 1938 19273 0 -1 1077944384 603 13207 0 0 3 0 5 2 20 0 15 0 107265675 11246329856 10074 33554432000 4194304 4196468 140721017724544 139875480988528 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2003] ppid=1935 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2003/stat : 2003 (java) S 1935 1938 19273 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 107265675 11246329856 10074 33554432000 4194304 4196468 140721017724544 139873998597088 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2004] ppid=1935 vsize=10982744 memory=140718008288896 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2004/stat : 2004 (java) S 1935 1938 19273 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 107265675 11246329856 10074 33554432000 4194304 4196468 140721017724544 139875479935408 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 40296 KiB

[startup+0.310524 s]*
/proc/loadavg: 1.62 1.76 1.80 3/222 2004
/proc/meminfo: memFree=23720880/32770624 swapFree=67108744/67108860
[pid=1938] ppid=1935 vsize=10983192 memory=52100 CPUtime=0.37 cores=1,3,5,7
/proc/1938/stat : 1938 (java) S 1935 1938 19273 0 -1 1077944320 10055 13207 0 0 28 2 5 2 20 0 15 0 107265660 11246788608 13025 33554432000 4194304 4196468 140721017724544 140721017707088 139875991056119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
/proc/1938/statm: 2745798 13025 3095 1 0 2708109 0
[pid=1938/tid=1991] ppid=1935 vsize=10983192 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/1938/task/1991/stat : 1991 (java) R 1935 1938 19273 0 -1 4202560 6968 13207 0 0 19 2 5 2 20 0 15 0 107265669 11246788608 13419 33554432000 4194304 4196468 140721017724544 139875962868128 139875971331879 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1992] ppid=1935 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1992/stat : 1992 (java) S 1935 1938 19273 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 107265670 11246788608 13419 33554432000 4194304 4196468 140721017724544 139875995298704 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1993] ppid=1935 vsize=10983192 memory=140718008288896 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1993/stat : 1993 (java) S 1935 1938 19273 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 107265670 11246788608 13419 33554432000 4194304 4196468 140721017724544 139875880495888 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1994] ppid=1935 vsize=10983192 memory=2208 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1994/stat : 1994 (java) S 1935 1938 19273 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 107265670 11246788608 13419 33554432000 4194304 4196468 140721017724544 139875879443600 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1995] ppid=1935 vsize=10983192 memory=2240 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1995/stat : 1995 (java) S 1935 1938 19273 0 -1 1077944384 2 13207 0 0 0 0 5 2 20 0 15 0 107265670 11246788608 13419 33554432000 4194304 4196468 140721017724544 139875528399888 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1996] ppid=1935 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1996/stat : 1996 (java) S 1935 1938 19273 0 -1 1077944384 2 13207 0 0 0 0 5 2 20 0 15 0 107265671 11246788608 13419 33554432000 4194304 4196468 140721017724544 139875484145776 139875991067266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1997] ppid=1935 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1997/stat : 1997 (java) S 1935 1938 19273 0 -1 1077944384 13 13207 0 0 0 0 5 2 20 0 15 0 107265672 11246788608 13419 33554432000 4194304 4196468 140721017724544 139874803901216 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1998] ppid=1935 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1998/stat : 1998 (java) S 1935 1938 19273 0 -1 1077944384 21 13207 0 0 0 0 5 2 20 0 15 0 107265672 11246788608 13419 33554432000 4194304 4196468 140721017724544 139874736788592 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1999] ppid=1935 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1999/stat : 1999 (java) S 1935 1938 19273 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 107265674 11246788608 13419 33554432000 4194304 4196468 140721017724544 139874429392976 139875991074715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2000] ppid=1935 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1938/task/2000/stat : 2000 (java) S 1935 1938 19273 0 -1 1077944384 567 13207 0 0 1 0 5 2 20 0 15 0 107265674 11246788608 13419 33554432000 4194304 4196468 140721017724544 139875483093616 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2001] ppid=1935 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1938/task/2001/stat : 2001 (java) S 1935 1938 19273 0 -1 1077944384 69 13207 0 0 1 0 5 2 20 0 15 0 107265674 11246788608 13485 33554432000 4194304 4196468 140721017724544 139875482040816 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2002] ppid=1935 vsize=10983192 memory=140718008288896 CPUtime=0.11 cores=1,3,5,7
/proc/1938/task/2002/stat : 2002 (java) S 1935 1938 19273 0 -1 1077944384 609 13207 0 0 4 0 5 2 20 0 15 0 107265675 11246788608 13485 33554432000 4194304 4196468 140721017724544 139875480988528 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2003] ppid=1935 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2003/stat : 2003 (java) S 1935 1938 19273 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 107265675 11246788608 13485 33554432000 4194304 4196468 140721017724544 139873998597088 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2004] ppid=1935 vsize=10983192 memory=140718008288896 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2004/stat : 2004 (java) S 1935 1938 19273 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 107265675 11246788608 13485 33554432000 4194304 4196468 140721017724544 139875479935408 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 52100 KiB

[startup+0.700826 s]
/proc/loadavg: 1.62 1.76 1.80 3/222 2004
/proc/meminfo: memFree=23710212/32770624 swapFree=67108744/67108860
[pid=1938] ppid=1935 vsize=10983192 memory=86400 CPUtime=0.98 cores=1,3,5,7
/proc/1938/stat : 1938 (java) S 1935 1938 19273 0 -1 1077944320 16760 13207 0 0 86 5 5 2 20 0 15 0 107265660 11246788608 21600 33554432000 4194304 4196468 140721017724544 140721017707088 139875991056119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
/proc/1938/statm: 2745798 21600 3247 1 0 2708109 0
[pid=1938/tid=1991] ppid=1935 vsize=10983192 memory=30708 CPUtime=0.65 cores=1,3,5,7
/proc/1938/task/1991/stat : 1991 (java) R 1935 1938 19273 0 -1 4202560 12260 13207 0 0 55 3 5 2 20 0 15 0 107265669 11246788608 21600 33554432000 4194304 4196468 140721017724544 139875962869240 139875972619648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1992] ppid=1935 vsize=10983192 memory=4548 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1992/stat : 1992 (java) S 1935 1938 19273 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 107265670 11246788608 21600 33554432000 4194304 4196468 140721017724544 139875995298704 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1993] ppid=1935 vsize=10983192 memory=288230621787193645 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1993/stat : 1993 (java) S 1935 1938 19273 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 107265670 11246788608 21600 33554432000 4194304 4196468 140721017724544 139875880495888 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1994] ppid=1935 vsize=10983192 memory=15821084087813536 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1994/stat : 1994 (java) S 1935 1938 19273 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 107265670 11246788608 21600 33554432000 4194304 4196468 140721017724544 139875879443600 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1995] ppid=1935 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1995/stat : 1995 (java) S 1935 1938 19273 0 -1 1077944384 2 13207 0 0 0 0 5 2 20 0 15 0 107265670 11246788608 21600 33554432000 4194304 4196468 140721017724544 139875528399888 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1996] ppid=1935 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1996/stat : 1996 (java) S 1935 1938 19273 0 -1 1077944384 5 13207 0 0 0 0 5 2 20 0 15 0 107265671 11246788608 21600 33554432000 4194304 4196468 140721017724544 139875484145776 139875991067266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1997] ppid=1935 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1997/stat : 1997 (java) S 1935 1938 19273 0 -1 1077944384 13 13207 0 0 0 0 5 2 20 0 15 0 107265672 11246788608 21600 33554432000 4194304 4196468 140721017724544 139874803901216 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1998] ppid=1935 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1998/stat : 1998 (java) S 1935 1938 19273 0 -1 1077944384 21 13207 0 0 0 0 5 2 20 0 15 0 107265672 11246788608 21600 33554432000 4194304 4196468 140721017724544 139874736788592 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1999] ppid=1935 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1999/stat : 1999 (java) S 1935 1938 19273 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 107265674 11246788608 21600 33554432000 4194304 4196468 140721017724544 139874429392976 139875991074715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2000] ppid=1935 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/1938/task/2000/stat : 2000 (java) S 1935 1938 19273 0 -1 1077944384 936 13207 0 0 7 0 5 2 20 0 15 0 107265674 11246788608 21600 33554432000 4194304 4196468 140721017724544 139875483093616 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2001] ppid=1935 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/1938/task/2001/stat : 2001 (java) S 1935 1938 19273 0 -1 1077944384 648 13207 0 0 9 0 5 2 20 0 15 0 107265674 11246788608 21600 33554432000 4194304 4196468 140721017724544 139875482040816 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2002] ppid=1935 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/1938/task/2002/stat : 2002 (java) S 1935 1938 19273 0 -1 1077944384 673 13207 0 0 13 0 5 2 20 0 15 0 107265675 11246788608 21600 33554432000 4194304 4196468 140721017724544 139875480988528 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2003] ppid=1935 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2003/stat : 2003 (java) S 1935 1938 19273 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 107265675 11246788608 21600 33554432000 4194304 4196468 140721017724544 139873998597088 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2004] ppid=1935 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2004/stat : 2004 (java) S 1935 1938 19273 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 107265675 11246788608 21600 33554432000 4194304 4196468 140721017724544 139875479935408 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86400 KiB

[startup+1.50077 s]
/proc/loadavg: 1.62 1.76 1.80 4/222 2004
/proc/meminfo: memFree=23666548/32770624 swapFree=67108744/67108860
[pid=1938] ppid=1935 vsize=10991948 memory=314628 CPUtime=2.75 cores=1,3,5,7
/proc/1938/stat : 1938 (java) S 1935 1938 19273 0 -1 1077944320 24840 13207 0 0 246 22 5 2 20 0 15 0 107265660 11255754752 78657 33554432000 4194304 4196468 140721017724544 140721017707088 139875991056119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
/proc/1938/statm: 2747987 78657 3463 1 0 2709645 0
[pid=1938/tid=1991] ppid=1935 vsize=10991948 memory=281435785346592 CPUtime=1.39 cores=1,3,5,7
/proc/1938/task/1991/stat : 1991 (java) R 1935 1938 19273 0 -1 4202560 15004 13207 0 0 125 7 5 2 20 0 15 0 107265669 11255754752 78657 33554432000 4194304 4196468 140721017724544 139875962889168 139875562576564 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1992] ppid=1935 vsize=10991948 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/1938/task/1992/stat : 1992 (java) S 1935 1938 19273 0 -1 1077944384 57 13207 0 0 2 2 5 2 20 0 15 0 107265670 11255754752 78657 33554432000 4194304 4196468 140721017724544 139875995298704 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1993] ppid=1935 vsize=10991948 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/1938/task/1993/stat : 1993 (java) S 1935 1938 19273 0 -1 1077944384 66 13207 0 0 2 2 5 2 20 0 15 0 107265670 11255754752 78657 33554432000 4194304 4196468 140721017724544 139875880495888 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1994] ppid=1935 vsize=10991948 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/1938/task/1994/stat : 1994 (java) S 1935 1938 19273 0 -1 1077944384 43 13207 0 0 2 2 5 2 20 0 15 0 107265670 11255754752 78657 33554432000 4194304 4196468 140721017724544 139875879443600 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1995] ppid=1935 vsize=10991948 memory=8112282956445269571 CPUtime=0.12 cores=1,3,5,7
/proc/1938/task/1995/stat : 1995 (java) S 1935 1938 19273 0 -1 1077944384 316 13207 0 0 2 3 5 2 20 0 15 0 107265670 11255754752 78657 33554432000 4194304 4196468 140721017724544 139875528399888 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1996] ppid=1935 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1996/stat : 1996 (java) S 1935 1938 19273 0 -1 1077944384 87 13207 0 0 0 0 5 2 20 0 15 0 107265671 11255754752 78657 33554432000 4194304 4196468 140721017724544 139875484145776 139875991067266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1997] ppid=1935 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1997/stat : 1997 (java) S 1935 1938 19273 0 -1 1077944384 14 13207 0 0 0 0 5 2 20 0 15 0 107265672 11255754752 78657 33554432000 4194304 4196468 140721017724544 139874803901216 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1998] ppid=1935 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1998/stat : 1998 (java) S 1935 1938 19273 0 -1 1077944384 44 13207 0 0 0 0 5 2 20 0 15 0 107265672 11255754752 78657 33554432000 4194304 4196468 140721017724544 139874736788608 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1999] ppid=1935 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1999/stat : 1999 (java) S 1935 1938 19273 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 107265674 11255754752 78657 33554432000 4194304 4196468 140721017724544 139874429392976 139875991074715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2000] ppid=1935 vsize=10991948 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/1938/task/2000/stat : 2000 (java) R 1935 1938 19273 0 -1 4202560 2996 13207 0 0 33 1 5 2 20 0 15 0 107265674 11255754752 78657 33554432000 4194304 4196468 140721017724544 139875483079640 139875975446000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2001] ppid=1935 vsize=10991948 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/1938/task/2001/stat : 2001 (java) R 1935 1938 19273 0 -1 4202560 2715 13207 0 0 42 0 5 2 20 0 15 0 107265674 11255754752 78657 33554432000 4194304 4196468 140721017724544 139875482026840 139875972600337 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2002] ppid=1935 vsize=10991948 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/1938/task/2002/stat : 2002 (java) S 1935 1938 19273 0 -1 1077944384 1299 13207 0 0 33 0 5 2 20 0 15 0 107265675 11255754752 78657 33554432000 4194304 4196468 140721017724544 139875480988528 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2003] ppid=1935 vsize=10991948 memory=-4695052241013923951 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2003/stat : 2003 (java) S 1935 1938 19273 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 107265675 11255754752 78657 33554432000 4194304 4196468 140721017724544 139873998597088 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2004] ppid=1935 vsize=10991948 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2004/stat : 2004 (java) S 1935 1938 19273 0 -1 1077944384 1 13207 0 0 0 0 5 2 20 0 15 0 107265675 11255754752 78657 33554432000 4194304 4196468 140721017724544 139875479935408 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 10991948 KiB

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

/proc/1938/task/1996/stat : 1996 (java) S 1935 1938 19273 0 -1 1077944384 34541 13207 0 0 118 3 5 2 20 0 15 0 107265671 11272552448 1148810 33554432000 4194304 4196468 140721017724544 139875484145776 139875991067266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1997] ppid=1935 vsize=11008352 memory=644 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1997/stat : 1997 (java) S 1935 1938 19273 0 -1 1077944384 23 13207 0 0 0 0 5 2 20 0 15 0 107265672 11272552448 1148810 33554432000 4194304 4196468 140721017724544 139874803901280 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1998] ppid=1935 vsize=11008352 memory=836 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1998/stat : 1998 (java) S 1935 1938 19273 0 -1 1077944384 50 13207 0 0 0 0 5 2 20 0 15 0 107265672 11272552448 1148810 33554432000 4194304 4196468 140721017724544 139874736788608 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1999] ppid=1935 vsize=11008352 memory=1796 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1999/stat : 1999 (java) S 1935 1938 19273 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 107265674 11272552448 1148810 33554432000 4194304 4196468 140721017724544 139874429392976 139875991074715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2000] ppid=1935 vsize=11008352 memory=916 CPUtime=3.63 cores=1,3,5,7
/proc/1938/task/2000/stat : 2000 (java) S 1935 1938 19273 0 -1 1077944384 11426 13207 0 0 353 3 5 2 20 0 15 0 107265674 11272552448 1148810 33554432000 4194304 4196468 140721017724544 139875483093616 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2001] ppid=1935 vsize=11008352 memory=3848 CPUtime=3.91 cores=1,3,5,7
/proc/1938/task/2001/stat : 2001 (java) S 1935 1938 19273 0 -1 1077944384 11741 13207 0 0 382 2 5 2 20 0 15 0 107265674 11272552448 1148810 33554432000 4194304 4196468 140721017724544 139875482040816 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2002] ppid=1935 vsize=11008352 memory=4108 CPUtime=1.37 cores=1,3,5,7
/proc/1938/task/2002/stat : 2002 (java) S 1935 1938 19273 0 -1 1077944384 7263 13207 0 0 127 3 5 2 20 0 15 0 107265675 11272552448 1148810 33554432000 4194304 4196468 140721017724544 139875480988528 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2003] ppid=1935 vsize=11008352 memory=4595240 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2003/stat : 2003 (java) S 1935 1938 19273 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 15 0 107265675 11272552448 1148810 33554432000 4194304 4196468 140721017724544 139873998597088 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2004] ppid=1935 vsize=11008352 memory=55 CPUtime=0.17 cores=1,3,5,7
/proc/1938/task/2004/stat : 2004 (java) S 1935 1938 19273 0 -1 1077944384 717 13207 0 0 4 6 5 2 20 0 15 0 107265675 11272552448 1148810 33554432000 4194304 4196468 140721017724544 139875479935408 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 4595240 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+184.638 s]
# the end of solver process 1938 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.421 s, system=3.68863 s

Solver just ended.
Dumping a history of the last processes samples

[startup+184.001 s]*
/proc/loadavg: 1.82 1.80 1.80 5/224 2265
/proc/meminfo: memFree=21518228/32770624 swapFree=67108744/67108860
[pid=1938] ppid=1935 vsize=11270504 memory=4599348 CPUtime=253.45 cores=1,3,5,7
/proc/1938/stat : 1938 (java) S 1935 1938 19273 0 -1 1077944320 212196 13207 0 0 24976 362 5 2 20 0 17 0 107265660 11540996096 1149837 33554432000 4194304 4196468 140721017724544 140721017707088 139875991056119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
/proc/1938/statm: 2817626 1149837 3512 1 0 2779279 0
[pid=1938/tid=1991] ppid=1935 vsize=11270504 memory=6935054825532540783 CPUtime=162.11 cores=1,3,5,7
/proc/1938/task/1991/stat : 1991 (java) R 1935 1938 19273 0 -1 4202560 52975 13207 0 0 16163 41 5 2 20 0 17 0 107265669 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875962885040 139875570837883 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1992] ppid=1935 vsize=11270504 memory=4872558044660077418 CPUtime=20.32 cores=1,3,5,7
/proc/1938/task/1992/stat : 1992 (java) S 1935 1938 19273 0 -1 1077944384 23280 13207 0 0 1949 76 5 2 20 0 17 0 107265670 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875995298704 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1993] ppid=1935 vsize=11270504 memory=1796 CPUtime=20.38 cores=1,3,5,7
/proc/1938/task/1993/stat : 1993 (java) S 1935 1938 19273 0 -1 1077944384 25252 13207 0 0 1954 77 5 2 20 0 17 0 107265670 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875880495888 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1994] ppid=1935 vsize=11270504 memory=916 CPUtime=20.39 cores=1,3,5,7
/proc/1938/task/1994/stat : 1994 (java) S 1935 1938 19273 0 -1 1077944384 20433 13207 0 0 1957 75 5 2 20 0 17 0 107265670 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875879443600 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1995] ppid=1935 vsize=11270504 memory=3848 CPUtime=20.39 cores=1,3,5,7
/proc/1938/task/1995/stat : 1995 (java) S 1935 1938 19273 0 -1 1077944384 22208 13207 0 0 1959 73 5 2 20 0 17 0 107265670 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875528399888 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1996] ppid=1935 vsize=11270504 memory=4108 CPUtime=1.28 cores=1,3,5,7
/proc/1938/task/1996/stat : 1996 (java) S 1935 1938 19273 0 -1 1077944384 34541 13207 0 0 118 3 5 2 20 0 17 0 107265671 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875484145776 139875991067266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1997] ppid=1935 vsize=11270504 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1997/stat : 1997 (java) S 1935 1938 19273 0 -1 1077944384 23 13207 0 0 0 0 5 2 20 0 17 0 107265672 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139874803901280 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1998] ppid=1935 vsize=11270504 memory=2600 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1998/stat : 1998 (java) S 1935 1938 19273 0 -1 1077944384 50 13207 0 0 0 0 5 2 20 0 17 0 107265672 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139874736788608 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1999] ppid=1935 vsize=11270504 memory=4108 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1999/stat : 1999 (java) S 1935 1938 19273 0 -1 1077944384 45 13207 0 0 0 0 5 2 20 0 17 0 107265674 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139874429392976 139875991074715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2000] ppid=1935 vsize=11270504 memory=2832 CPUtime=3.65 cores=1,3,5,7
/proc/1938/task/2000/stat : 2000 (java) S 1935 1938 19273 0 -1 1077944384 11447 13207 0 0 355 3 5 2 20 0 17 0 107265674 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875483093616 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2001] ppid=1935 vsize=11270504 memory=4872558044660077418 CPUtime=3.91 cores=1,3,5,7
/proc/1938/task/2001/stat : 2001 (java) S 1935 1938 19273 0 -1 1077944384 11741 13207 0 0 382 2 5 2 20 0 17 0 107265674 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875482040816 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2002] ppid=1935 vsize=11270504 memory=6935054825532540783 CPUtime=1.37 cores=1,3,5,7
/proc/1938/task/2002/stat : 2002 (java) S 1935 1938 19273 0 -1 1077944384 7263 13207 0 0 127 3 5 2 20 0 17 0 107265675 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875480988528 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2003] ppid=1935 vsize=11270504 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2003/stat : 2003 (java) S 1935 1938 19273 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 17 0 107265675 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139873998597088 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2004] ppid=1935 vsize=11270504 memory=30708 CPUtime=0.18 cores=1,3,5,7
/proc/1938/task/2004/stat : 2004 (java) S 1935 1938 19273 0 -1 1077944384 717 13207 0 0 5 6 5 2 20 0 17 0 107265675 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875479935408 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2264] ppid=1935 vsize=11270504 memory=2396 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2264/stat : 2264 (java) S 1935 1938 19273 0 -1 1077944384 19 13207 0 0 0 0 5 2 20 0 17 0 107283920 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139873797267440 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2265] ppid=1935 vsize=11270504 memory=281435786193376 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2265/stat : 2265 (java) S 1935 1938 19273 0 -1 1077944384 6 13207 0 0 0 0 5 2 20 0 17 0 107283920 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139873595942240 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
Current children cumulated CPU time: 253.45 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 4599348 KiB

[startup+184.401 s]
/proc/loadavg: 1.82 1.80 1.80 5/224 2265
/proc/meminfo: memFree=21518228/32770624 swapFree=67108744/67108860
[pid=1938] ppid=1935 vsize=11270504 memory=4599348 CPUtime=253.85 cores=1,3,5,7
/proc/1938/stat : 1938 (java) S 1935 1938 19273 0 -1 1077944320 212196 13207 0 0 25016 362 5 2 20 0 17 0 107265660 11540996096 1149837 33554432000 4194304 4196468 140721017724544 140721017707088 139875991056119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
/proc/1938/statm: 2817626 1149837 3512 1 0 2779279 0
[pid=1938/tid=1991] ppid=1935 vsize=11270504 memory=2396 CPUtime=162.5 cores=1,3,5,7
/proc/1938/task/1991/stat : 1991 (java) R 1935 1938 19273 0 -1 4202560 52975 13207 0 0 16202 41 5 2 20 0 17 0 107265669 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875962885040 139875560073432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1992] ppid=1935 vsize=11270504 memory=8112282956445269571 CPUtime=20.32 cores=1,3,5,7
/proc/1938/task/1992/stat : 1992 (java) S 1935 1938 19273 0 -1 1077944384 23280 13207 0 0 1949 76 5 2 20 0 17 0 107265670 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875995298704 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1993] ppid=1935 vsize=11270504 memory=281435785377472 CPUtime=20.38 cores=1,3,5,7
/proc/1938/task/1993/stat : 1993 (java) S 1935 1938 19273 0 -1 1077944384 25252 13207 0 0 1954 77 5 2 20 0 17 0 107265670 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875880495888 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1994] ppid=1935 vsize=11270504 memory=3760963290276175816 CPUtime=20.39 cores=1,3,5,7
/proc/1938/task/1994/stat : 1994 (java) S 1935 1938 19273 0 -1 1077944384 20433 13207 0 0 1957 75 5 2 20 0 17 0 107265670 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875879443600 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1995] ppid=1935 vsize=11270504 memory=1952 CPUtime=20.39 cores=1,3,5,7
/proc/1938/task/1995/stat : 1995 (java) S 1935 1938 19273 0 -1 1077944384 22208 13207 0 0 1959 73 5 2 20 0 17 0 107265670 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875528399888 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1996] ppid=1935 vsize=11270504 memory=10592 CPUtime=1.28 cores=1,3,5,7
/proc/1938/task/1996/stat : 1996 (java) S 1935 1938 19273 0 -1 1077944384 34541 13207 0 0 118 3 5 2 20 0 17 0 107265671 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875484145776 139875991067266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1997] ppid=1935 vsize=11270504 memory=15872 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1997/stat : 1997 (java) S 1935 1938 19273 0 -1 1077944384 23 13207 0 0 0 0 5 2 20 0 17 0 107265672 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139874803901280 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1998] ppid=1935 vsize=11270504 memory=18280 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1998/stat : 1998 (java) S 1935 1938 19273 0 -1 1077944384 50 13207 0 0 0 0 5 2 20 0 17 0 107265672 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139874736788608 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1999] ppid=1935 vsize=11270504 memory=1236 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1999/stat : 1999 (java) S 1935 1938 19273 0 -1 1077944384 45 13207 0 0 0 0 5 2 20 0 17 0 107265674 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139874429392976 139875991074715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2000] ppid=1935 vsize=11270504 memory=17480 CPUtime=3.65 cores=1,3,5,7
/proc/1938/task/2000/stat : 2000 (java) S 1935 1938 19273 0 -1 1077944384 11447 13207 0 0 355 3 5 2 20 0 17 0 107265674 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875483093616 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2001] ppid=1935 vsize=11270504 memory=4052 CPUtime=3.91 cores=1,3,5,7
/proc/1938/task/2001/stat : 2001 (java) S 1935 1938 19273 0 -1 1077944384 11741 13207 0 0 382 2 5 2 20 0 17 0 107265674 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875482040816 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2002] ppid=1935 vsize=11270504 memory=644 CPUtime=1.37 cores=1,3,5,7
/proc/1938/task/2002/stat : 2002 (java) S 1935 1938 19273 0 -1 1077944384 7263 13207 0 0 127 3 5 2 20 0 17 0 107265675 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875480988528 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2003] ppid=1935 vsize=11270504 memory=1800 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2003/stat : 2003 (java) S 1935 1938 19273 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 17 0 107265675 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139873998597088 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2004] ppid=1935 vsize=11270504 memory=956 CPUtime=0.18 cores=1,3,5,7
/proc/1938/task/2004/stat : 2004 (java) S 1935 1938 19273 0 -1 1077944384 717 13207 0 0 5 6 5 2 20 0 17 0 107265675 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875479935408 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2264] ppid=1935 vsize=11270504 memory=4599348 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2264/stat : 2264 (java) S 1935 1938 19273 0 -1 1077944384 19 13207 0 0 0 0 5 2 20 0 17 0 107283920 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139873797267440 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2265] ppid=1935 vsize=11270504 memory=6155122542661161058 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2265/stat : 2265 (java) S 1935 1938 19273 0 -1 1077944384 6 13207 0 0 0 0 5 2 20 0 17 0 107283920 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139873595942240 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
Current children cumulated CPU time: 253.85 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 4599348 KiB

[startup+184.601 s]
/proc/loadavg: 1.82 1.80 1.80 5/224 2265
/proc/meminfo: memFree=21518228/32770624 swapFree=67108744/67108860
[pid=1938] ppid=1935 vsize=11270504 memory=4599348 CPUtime=254.05 cores=1,3,5,7
/proc/1938/stat : 1938 (java) S 1935 1938 19273 0 -1 1077944320 212196 13207 0 0 25036 362 5 2 20 0 17 0 107265660 11540996096 1149837 33554432000 4194304 4196468 140721017724544 140721017707088 139875991056119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
/proc/1938/statm: 2817626 1149837 3512 1 0 2779279 0
[pid=1938/tid=1991] ppid=1935 vsize=11270504 memory=7373918039300919632 CPUtime=162.7 cores=1,3,5,7
/proc/1938/task/1991/stat : 1991 (java) R 1935 1938 19273 0 -1 4202560 52975 13207 0 0 16222 41 5 2 20 0 17 0 107265669 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875962885040 139875569963028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1992] ppid=1935 vsize=11270504 memory=7163063607815984491 CPUtime=20.32 cores=1,3,5,7
/proc/1938/task/1992/stat : 1992 (java) S 1935 1938 19273 0 -1 1077944384 23280 13207 0 0 1949 76 5 2 20 0 17 0 107265670 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875995298704 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1993] ppid=1935 vsize=11270504 memory=6933690287860520857 CPUtime=20.38 cores=1,3,5,7
/proc/1938/task/1993/stat : 1993 (java) S 1935 1938 19273 0 -1 1077944384 25252 13207 0 0 1954 77 5 2 20 0 17 0 107265670 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875880495888 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1994] ppid=1935 vsize=11270504 memory=9047017150487036575 CPUtime=20.39 cores=1,3,5,7
/proc/1938/task/1994/stat : 1994 (java) S 1935 1938 19273 0 -1 1077944384 20433 13207 0 0 1957 75 5 2 20 0 17 0 107265670 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875879443600 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1995] ppid=1935 vsize=11270504 memory=4427205132082312746 CPUtime=20.39 cores=1,3,5,7
/proc/1938/task/1995/stat : 1995 (java) S 1935 1938 19273 0 -1 1077944384 22208 13207 0 0 1959 73 5 2 20 0 17 0 107265670 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875528399888 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1996] ppid=1935 vsize=11270504 memory=-8486080722631693414 CPUtime=1.28 cores=1,3,5,7
/proc/1938/task/1996/stat : 1996 (java) S 1935 1938 19273 0 -1 1077944384 34541 13207 0 0 118 3 5 2 20 0 17 0 107265671 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875484145776 139875991067266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1997] ppid=1935 vsize=11270504 memory=4629546024076873078 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1997/stat : 1997 (java) S 1935 1938 19273 0 -1 1077944384 23 13207 0 0 0 0 5 2 20 0 17 0 107265672 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139874803901280 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1998] ppid=1935 vsize=11270504 memory=-8412652152092201843 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1998/stat : 1998 (java) S 1935 1938 19273 0 -1 1077944384 50 13207 0 0 0 0 5 2 20 0 17 0 107265672 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139874736788608 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=1999] ppid=1935 vsize=11270504 memory=-7023579799431922829 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/1999/stat : 1999 (java) S 1935 1938 19273 0 -1 1077944384 45 13207 0 0 0 0 5 2 20 0 17 0 107265674 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139874429392976 139875991074715 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2000] ppid=1935 vsize=11270504 memory=4426639978525455914 CPUtime=3.65 cores=1,3,5,7
/proc/1938/task/2000/stat : 2000 (java) S 1935 1938 19273 0 -1 1077944384 11447 13207 0 0 355 3 5 2 20 0 17 0 107265674 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875483093616 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2001] ppid=1935 vsize=11270504 memory=3047711553219693942 CPUtime=3.91 cores=1,3,5,7
/proc/1938/task/2001/stat : 2001 (java) S 1935 1938 19273 0 -1 1077944384 11741 13207 0 0 382 2 5 2 20 0 17 0 107265674 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875482040816 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2002] ppid=1935 vsize=11270504 memory=-7521736447810188379 CPUtime=1.37 cores=1,3,5,7
/proc/1938/task/2002/stat : 2002 (java) S 1935 1938 19273 0 -1 1077944384 7263 13207 0 0 127 3 5 2 20 0 17 0 107265675 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875480988528 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2003] ppid=1935 vsize=11270504 memory=-8412652160765825907 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2003/stat : 2003 (java) S 1935 1938 19273 0 -1 1077944384 3 13207 0 0 0 0 5 2 20 0 17 0 107265675 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139873998597088 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2004] ppid=1935 vsize=11270504 memory=-8634980985311628903 CPUtime=0.18 cores=1,3,5,7
/proc/1938/task/2004/stat : 2004 (java) S 1935 1938 19273 0 -1 1077944384 717 13207 0 0 5 6 5 2 20 0 17 0 107265675 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139875479935408 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2264] ppid=1935 vsize=11270504 memory=7306058423943195752 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2264/stat : 2264 (java) S 1935 1938 19273 0 -1 1077944384 19 13207 0 0 0 0 5 2 20 0 17 0 107283920 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139873797267440 139875991066325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
[pid=1938/tid=2265] ppid=1935 vsize=11270504 memory=7595129801919653481 CPUtime=0.07 cores=1,3,5,7
/proc/1938/task/2265/stat : 2265 (java) S 1935 1938 19273 0 -1 1077944384 6 13207 0 0 0 0 5 2 20 0 17 0 107283920 11540996096 1149837 33554432000 4194304 4196468 140721017724544 139873595942240 139875991067266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19296256 140721017731689 140721017734497 140721017734497 140721017737167 0
Current children cumulated CPU time: 254.05 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 4599348 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 184.638
CPU time (s): 254.109
CPU user time (s): 250.421
CPU system time (s): 3.68863
CPU usage (%): 137.625
Max. virtual memory (cumulated for all children) (KiB): 11270504
Max. memory (cumulated for all children) (KiB): 5183328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.421
system time used= 3.68863
maximum resident set size= 5199752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225405
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12863
involuntary context switches= 1150


# summary of solver processes directly reported to runsolver:
#   pid: 1938
#   total CPU time (s): 254.109
#   total CPU user time (s): 250.421
#   total CPU system time (s): 3.68863

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45687 second user time and 1.53206 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-29 22:43:44
IDJOB=4302653
IDBENCH=141315
IDSOLVER=2777
FILE ID=node134/4302653-1532897024
RUNJOBID= node134-1532893331-28701
PBS_JOBID= 21022511
Free space on /tmp= 60872 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/CrosswordDesign/CrosswordDesign-11-4-rom_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302653-1532897024/watcher-4302653-1532897024 -o /tmp/evaluation-result-4302653-1532897024/solver-4302653-1532897024 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28701 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=321042290 -superng HOME/instance-4302653-1532897024.xml

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

MD5SUM BENCH= 63b9378ece2d6066ad6e61da47f93b8a
RANDOM SEED=321042290

node134.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.68
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.68
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.68
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.68
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:        23760996 kB
MemAvailable:   27471928 kB
Buffers:          209840 kB
Cached:          3770936 kB
SwapCached:            0 kB
Active:          6253400 kB
Inactive:        2269020 kB
Active(anon):    4490716 kB
Inactive(anon):    78480 kB
Active(file):    1762684 kB
Inactive(file):  2190540 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108860 kB
SwapFree:       67108744 kB
Dirty:              7148 kB
Writeback:         61692 kB
AnonPages:       4620556 kB
Mapped:            58008 kB
Shmem:             25132 kB
Slab:             176088 kB
SReclaimable:     147088 kB
SUnreclaim:        29000 kB
KernelStack:        3872 kB
PageTables:        13920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6159972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4376576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60864 MiB
End job on node134 at 2018-07-29 22:46:49