Trace number 4253967

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 seq (2017-07-26)? (TO) 252.05 157.05

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s1/
ChessboardColoration-int-40-40.xml
MD5SUM2ccb4f0641fb73c42fbac15220770a0a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1600
Number of constraints608401
Number of domains1
Minimum domain size1600
Maximum domain size1600
Distribution of domain sizes[{"size":1600,"count":1600}]
Minimum variable degree1523
Maximum variable degree1523
Distribution of variable degrees[{"degree":1523,"count":1600}]
Minimum constraint arity4
Maximum constraint arity1600
Distribution of constraint arities[{"arity":4,"count":608400},{"arity":1600,"count":1}]
Number of extensional constraints0
Number of intensional constraints608400
Distribution of constraint types[{"type":"intension","count":608400},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.11	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4253967-1502645158.xml"  -tl '252s' -p 1 -x 0
0.05/0.30	c [HOME/instance-4253967-1502645158.xml, -tl, 252s, -p, 1, -x, 0]
0.23/0.36	c simple solver
0.40/0.43	c parse instance...
127.39/47.62	c solve instance...
252.01/157.01	s UNKNOWN
252.01/157.01	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 (10057 MiB free)
  memory of node 1: 16384 MiB (15302 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4253967-1502645158/watcher-4253967-1502645158 -o /tmp/evaluation-result-4253967-1502645158/solver-4253967-1502645158 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502644087-25851 --watchdog 312 ./xcsp3-exec -dir HOME -tl 252 -ml 11000 -tdir HOME -seed 504805099 HOME/instance-4253967-1502645158.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=26083, runsolver pid=26080

[startup+0.10011 s]*
/proc/loadavg: 2.00 2.17 2.36 2/199 26084
/proc/meminfo: memFree=25968272/32770624 swapFree=67108860/67108860
[pid=26083] ppid=26080 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/26083/stat : 26083 (runsolver) D 26080 26083 7968 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 1 0 18398528 34791424 114 18446744073709551615 4194304 4346622 140730383905712 140730383902344 140344142185175 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 19582976 140730383913025 140730383913514 140730383913514 140730383917002 0
/proc/26083/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.209281 s]*
/proc/loadavg: 2.00 2.17 2.36 2/213 26098
/proc/meminfo: memFree=25957608/32770624 swapFree=67108860/67108860
[pid=26083] ppid=26080 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26083/stat : 26083 (xcsp3-exec) S 26080 26083 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18398528 9740288 345 18446744073709551615 4194304 5098028 140729015765232 140729015763336 140352839635580 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 18116608 140729015767424 140729015767627 140729015767627 140729015771115 0
/proc/26083/statm: 2378 345 289 221 0 87 0
[pid=26085] ppid=26083 vsize=13907304 memory=20388 CPUtime=0.05 cores=1,3,5,7
/proc/26085/stat : 26085 (java) S 26083 26083 7968 0 -1 1077944320 4552 0 0 0 4 1 0 0 20 0 14 0 18398540 14241079296 5097 18446744073709551615 4194304 4196468 140734793506304 140734793488848 139661954764535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
/proc/26085/statm: 3476826 5097 2560 1 0 3466323 0
[pid=26085/tid=26086] ppid=26083 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/26085/task/26086/stat : 26086 (java) D 26083 26083 7968 0 -1 4202560 2725 0 0 0 3 1 0 0 20 0 14 0 18398540 14241079296 5097 18446744073709551615 4194304 4196468 140734793506304 139661959002016 139661954786557 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26087] ppid=26083 vsize=13907304 memory=11601 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26087/stat : 26087 (java) S 26083 26083 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 18398541 14241079296 5097 18446744073709551615 4194304 4196468 140734793506304 139661874178576 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26088] ppid=26083 vsize=13907304 memory=4122113999048197792 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26088/stat : 26088 (java) S 26083 26083 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 18398541 14241079296 5097 18446744073709551615 4194304 4196468 140734793506304 139661873126032 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26089] ppid=26083 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26089/stat : 26089 (java) S 26083 26083 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 18398541 14241079296 5097 18446744073709551615 4194304 4196468 140734793506304 139661872072976 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26090] ppid=26083 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26090/stat : 26090 (java) S 26083 26083 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 18398541 14241079296 5097 18446744073709551615 4194304 4196468 140734793506304 139661871020432 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26091] ppid=26083 vsize=13907304 memory=140344145135232 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26091/stat : 26091 (java) S 26083 26083 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 18398542 14241079296 5097 18446744073709551615 4194304 4196468 140734793506304 139661433334512 139661954775682 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26092] ppid=26083 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26092/stat : 26092 (java) S 26083 26083 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 18398543 14241079296 5097 18446744073709551615 4194304 4196468 140734793506304 139661432280736 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26093] ppid=26083 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26093/stat : 26093 (java) S 26083 26083 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 18398543 14241079296 5097 18446744073709551615 4194304 4196468 140734793506304 139661431227632 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26094] ppid=26083 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26094/stat : 26094 (java) S 26083 26083 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 18398545 14241079296 5097 18446744073709551615 4194304 4196468 140734793506304 139661430176208 139661954783131 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26095] ppid=26083 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26095/stat : 26095 (java) S 26083 26083 7968 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 14 0 18398545 14241079296 5097 18446744073709551615 4194304 4196468 140734793506304 139661429123312 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26096] ppid=26083 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26096/stat : 26096 (java) S 26083 26083 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 18398545 14241079296 5097 18446744073709551615 4194304 4196468 140734793506304 139661428070768 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26097] ppid=26083 vsize=13907304 memory=140344145135232 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26097/stat : 26097 (java) S 26083 26083 7968 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 14 0 18398545 14241079296 5097 18446744073709551615 4194304 4196468 140734793506304 139661427017712 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26098] ppid=26083 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26098/stat : 26098 (java) S 26083 26083 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 18398546 14241079296 5097 18446744073709551615 4194304 4196468 140734793506304 139661425965408 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 21768 KiB

[startup+0.311779 s]*
/proc/loadavg: 2.00 2.17 2.36 3/214 26099
/proc/meminfo: memFree=25947588/32770624 swapFree=67108860/67108860
[pid=26083] ppid=26080 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26083/stat : 26083 (xcsp3-exec) S 26080 26083 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18398528 9740288 345 18446744073709551615 4194304 5098028 140729015765232 140729015763336 140352839635580 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 18116608 140729015767424 140729015767627 140729015767627 140729015771115 0
/proc/26083/statm: 2378 345 289 221 0 87 0
[pid=26085] ppid=26083 vsize=13975376 memory=35972 CPUtime=0.23 cores=1,3,5,7
/proc/26085/stat : 26085 (java) S 26083 26083 7968 0 -1 1077944320 8318 0 0 0 20 3 0 0 20 0 15 0 18398540 14310785024 8993 18446744073709551615 4194304 4196468 140734793506304 140734793488848 139661954764535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
/proc/26085/statm: 3493844 8993 2972 1 0 3483220 0
[pid=26085/tid=26086] ppid=26083 vsize=13975376 memory=-8774313645642428999 CPUtime=0.14 cores=1,3,5,7
/proc/26085/task/26086/stat : 26086 (java) R 26083 26083 7968 0 -1 4202560 5575 0 0 0 12 2 0 0 20 0 15 0 18398540 14310785024 8993 18446744073709551615 4194304 4196468 140734793506304 139661958986912 139661947444253 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26087] ppid=26083 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26087/stat : 26087 (java) S 26083 26083 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18398541 14310785024 8993 18446744073709551615 4194304 4196468 140734793506304 139661874178576 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26088] ppid=26083 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26088/stat : 26088 (java) S 26083 26083 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18398541 14310785024 8993 18446744073709551615 4194304 4196468 140734793506304 139661873126032 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26089] ppid=26083 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26089/stat : 26089 (java) S 26083 26083 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18398541 14310785024 8993 18446744073709551615 4194304 4196468 140734793506304 139661872072976 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26090] ppid=26083 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26090/stat : 26090 (java) S 26083 26083 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18398541 14310785024 8993 18446744073709551615 4194304 4196468 140734793506304 139661871020432 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26091] ppid=26083 vsize=13975376 memory=140344145135232 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26091/stat : 26091 (java) S 26083 26083 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18398542 14310785024 8993 18446744073709551615 4194304 4196468 140734793506304 139661433334512 139661954775682 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26092] ppid=26083 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26092/stat : 26092 (java) S 26083 26083 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18398543 14310785024 8993 18446744073709551615 4194304 4196468 140734793506304 139661432280736 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26093] ppid=26083 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26093/stat : 26093 (java) S 26083 26083 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18398543 14310785024 8993 18446744073709551615 4194304 4196468 140734793506304 139661431227632 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26094] ppid=26083 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26094/stat : 26094 (java) S 26083 26083 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18398545 14310785024 8993 18446744073709551615 4194304 4196468 140734793506304 139661430176208 139661954783131 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26095] ppid=26083 vsize=13975376 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26085/task/26095/stat : 26095 (java) S 26083 26083 7968 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 15 0 18398545 14310785024 8993 18446744073709551615 4194304 4196468 140734793506304 139661429123312 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26096] ppid=26083 vsize=13975376 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26085/task/26096/stat : 26096 (java) S 26083 26083 7968 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 15 0 18398545 14310785024 8993 18446744073709551615 4194304 4196468 140734793506304 139661428070768 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26097] ppid=26083 vsize=13975376 memory=140344145135232 CPUtime=0.04 cores=1,3,5,7
/proc/26085/task/26097/stat : 26097 (java) S 26083 26083 7968 0 -1 1077944384 734 0 0 0 4 0 0 0 20 0 15 0 18398545 14310785024 8993 18446744073709551615 4194304 4196468 140734793506304 139661427017712 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26098] ppid=26083 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26098/stat : 26098 (java) S 26083 26083 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18398546 14310785024 8993 18446744073709551615 4194304 4196468 140734793506304 139661425965408 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26099] ppid=26083 vsize=13975376 memory=140344145135232 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26099/stat : 26099 (java) S 26083 26083 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18398551 14310785024 8993 18446744073709551615 4194304 4196468 140734793506304 139661424913456 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 37352 KiB

[startup+0.700857 s]
/proc/loadavg: 2.00 2.17 2.36 6/214 26099
/proc/meminfo: memFree=25927428/32770624 swapFree=67108860/67108860
[pid=26083] ppid=26080 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26083/stat : 26083 (xcsp3-exec) S 26080 26083 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18398528 9740288 345 18446744073709551615 4194304 5098028 140729015765232 140729015763336 140352839635580 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 18116608 140729015767424 140729015767627 140729015767627 140729015771115 0
/proc/26083/statm: 2378 345 289 221 0 87 0
[pid=26085] ppid=26083 vsize=13978608 memory=121124 CPUtime=1.09 cores=1,3,5,7
/proc/26085/stat : 26085 (java) S 26083 26083 7968 0 -1 1077944320 12156 0 0 0 103 6 0 0 20 0 15 0 18398540 14314094592 30281 18446744073709551615 4194304 4196468 140734793506304 140734793488848 139661954764535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
/proc/26085/statm: 3494652 30281 3122 1 0 3482964 0
[pid=26085/tid=26086] ppid=26083 vsize=13978608 memory=8174711894690641717 CPUtime=0.51 cores=1,3,5,7
/proc/26085/task/26086/stat : 26086 (java) R 26083 26083 7968 0 -1 4202560 7098 0 0 0 46 5 0 0 20 0 15 0 18398540 14314094592 30281 18446744073709551615 4194304 4196468 140734793506304 139661958995424 139661954786461 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26087] ppid=26083 vsize=13978608 memory=8751464017575753525 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26087/stat : 26087 (java) S 26083 26083 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18398541 14314094592 30281 18446744073709551615 4194304 4196468 140734793506304 139661874178576 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26088] ppid=26083 vsize=13978608 memory=5787215012490666578 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26088/stat : 26088 (java) S 26083 26083 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18398541 14314094592 30281 18446744073709551615 4194304 4196468 140734793506304 139661873126032 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26089] ppid=26083 vsize=13978608 memory=6370158477097656664 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26089/stat : 26089 (java) S 26083 26083 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18398541 14314094592 30281 18446744073709551615 4194304 4196468 140734793506304 139661872072976 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26090] ppid=26083 vsize=13978608 memory=7512092415070199872 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26090/stat : 26090 (java) S 26083 26083 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18398541 14314094592 30281 18446744073709551615 4194304 4196468 140734793506304 139661871020432 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26091] ppid=26083 vsize=13978608 memory=9047017150487036571 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26091/stat : 26091 (java) S 26083 26083 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18398542 14314094592 30281 18446744073709551615 4194304 4196468 140734793506304 139661433334512 139661954775682 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26092] ppid=26083 vsize=13978608 memory=1329904169539632281 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26092/stat : 26092 (java) S 26083 26083 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18398543 14314094592 30281 18446744073709551615 4194304 4196468 140734793506304 139661432280736 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26093] ppid=26083 vsize=13978608 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26093/stat : 26093 (java) S 26083 26083 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18398543 14314094592 30281 18446744073709551615 4194304 4196468 140734793506304 139661431227632 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26094] ppid=26083 vsize=13978608 memory=840 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26094/stat : 26094 (java) S 26083 26083 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18398545 14314094592 30281 18446744073709551615 4194304 4196468 140734793506304 139661430176208 139661954783131 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26095] ppid=26083 vsize=13978608 memory=3880 CPUtime=0.19 cores=1,3,5,7
/proc/26085/task/26095/stat : 26095 (java) S 26083 26083 7968 0 -1 1077944384 1017 0 0 0 19 0 0 0 20 0 15 0 18398545 14314094592 30281 18446744073709551615 4194304 4196468 140734793506304 139661429123312 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26096] ppid=26083 vsize=13978608 memory=3868 CPUtime=0.2 cores=1,3,5,7
/proc/26085/task/26096/stat : 26096 (java) S 26083 26083 7968 0 -1 1077944384 1357 0 0 0 20 0 0 0 20 0 15 0 18398545 14314094592 30281 18446744073709551615 4194304 4196468 140734793506304 139661428070768 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26097] ppid=26083 vsize=13978608 memory=3904 CPUtime=0.17 cores=1,3,5,7
/proc/26085/task/26097/stat : 26097 (java) S 26083 26083 7968 0 -1 1077944384 1380 0 0 0 17 0 0 0 20 0 15 0 18398545 14314094592 30281 18446744073709551615 4194304 4196468 140734793506304 139661427017712 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26098] ppid=26083 vsize=13978608 memory=4072 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26098/stat : 26098 (java) S 26083 26083 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18398546 14314094592 30281 18446744073709551615 4194304 4196468 140734793506304 139661425965408 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26099] ppid=26083 vsize=13978608 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26099/stat : 26099 (java) S 26083 26083 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18398551 14314094592 30281 18446744073709551615 4194304 4196468 140734793506304 139661424913456 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 122504 KiB

[startup+1.50606 s]
/proc/loadavg: 2.00 2.17 2.36 3/214 26099
/proc/meminfo: memFree=25686740/32770624 swapFree=67108860/67108860
[pid=26083] ppid=26080 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26083/stat : 26083 (xcsp3-exec) S 26080 26083 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18398528 9740288 345 18446744073709551615 4194304 5098028 140729015765232 140729015763336 140352839635580 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 18116608 140729015767424 140729015767627 140729015767627 140729015771115 0
/proc/26083/statm: 2378 345 289 221 0 87 0
[pid=26085] ppid=26083 vsize=13978608 memory=474164 CPUtime=3.31 cores=1,3,5,7
/proc/26085/stat : 26085 (java) S 26083 26083 7968 0 -1 1077944320 13960 0 0 0 284 47 0 0 20 0 15 0 18398540 14314094592 118541 18446744073709551615 4194304 4196468 140734793506304 140734793488848 139661954764535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
/proc/26085/statm: 3494652 118541 3156 1 0 3482964 0
[pid=26085/tid=26086] ppid=26083 vsize=13978608 memory=7739270282705393004 CPUtime=0.83 cores=1,3,5,7
/proc/26085/task/26086/stat : 26086 (java) S 26083 26083 7968 0 -1 1077944384 7126 0 0 0 78 5 0 0 20 0 15 0 18398540 14314094592 118541 18446744073709551615 4194304 4196468 140734793506304 139661959003712 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26087] ppid=26083 vsize=13978608 memory=7085997575192028823 CPUtime=0.46 cores=1,3,5,7
/proc/26085/task/26087/stat : 26087 (java) R 26083 26083 7968 0 -1 4202560 333 0 0 0 36 10 0 0 20 0 15 0 18398541 14314094592 118541 18446744073709551615 4194304 4196468 140734793506304 139661874178576 139661939760555 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26088] ppid=26083 vsize=13978608 memory=280688058430712 CPUtime=0.46 cores=1,3,5,7
/proc/26085/task/26088/stat : 26088 (java) R 26083 26083 7968 0 -1 4202560 340 0 0 0 37 9 0 0 20 0 15 0 18398541 14314094592 118541 18446744073709551615 4194304 4196468 140734793506304 139661873126032 139661939465168 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26089] ppid=26083 vsize=13978608 memory=280688058495312 CPUtime=0.45 cores=1,3,5,7
/proc/26085/task/26089/stat : 26089 (java) R 26083 26083 7968 0 -1 4202560 314 0 0 0 36 9 0 0 20 0 15 0 18398541 14314094592 118541 18446744073709551615 4194304 4196468 140734793506304 139661872073096 139661939465139 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26090] ppid=26083 vsize=13978608 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/26085/task/26090/stat : 26090 (java) R 26083 26083 7968 0 -1 4202560 692 0 0 0 36 10 0 0 20 0 15 0 18398541 14314094592 118541 18446744073709551615 4194304 4196468 140734793506304 139661871020432 139661939465146 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26091] ppid=26083 vsize=13978608 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26091/stat : 26091 (java) S 26083 26083 7968 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 18398542 14314094592 118541 18446744073709551615 4194304 4196468 140734793506304 139661433333056 139661954774741 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26092] ppid=26083 vsize=13978608 memory=459012 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26092/stat : 26092 (java) S 26083 26083 7968 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 18398543 14314094592 118541 18446744073709551615 4194304 4196468 140734793506304 139661432280736 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26093] ppid=26083 vsize=13978608 memory=280688058173912 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26093/stat : 26093 (java) S 26083 26083 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 18398543 14314094592 118541 18446744073709551615 4194304 4196468 140734793506304 139661431227632 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26094] ppid=26083 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26094/stat : 26094 (java) S 26083 26083 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18398545 14314094592 118541 18446744073709551615 4194304 4196468 140734793506304 139661430176208 139661954783131 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26095] ppid=26083 vsize=13978608 memory=280688058228840 CPUtime=0.19 cores=1,3,5,7
/proc/26085/task/26095/stat : 26095 (java) S 26083 26083 7968 0 -1 1077944384 1017 0 0 0 19 0 0 0 20 0 15 0 18398545 14314094592 118541 18446744073709551615 4194304 4196468 140734793506304 139661429123312 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26096] ppid=26083 vsize=13978608 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/26085/task/26096/stat : 26096 (java) S 26083 26083 7968 0 -1 1077944384 1357 0 0 0 20 0 0 0 20 0 15 0 18398545 14314094592 118541 18446744073709551615 4194304 4196468 140734793506304 139661428070768 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26097] ppid=26083 vsize=13978608 memory=7 CPUtime=0.18 cores=1,3,5,7
/proc/26085/task/26097/stat : 26097 (java) S 26083 26083 7968 0 -1 1077944384 1387 0 0 0 18 0 0 0 20 0 15 0 18398545 14314094592 118541 18446744073709551615 4194304 4196468 140734793506304 139661427017712 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26098] ppid=26083 vsize=13978608 memory=26 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26098/stat : 26098 (java) S 26083 26083 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18398546 14314094592 118541 18446744073709551615 4194304 4196468 140734793506304 139661425965408 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26099] ppid=26083 vsize=13978608 memory=78 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26099/stat : 26099 (java) S 26083 26083 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18398551 14314094592 118541 18446744073709551615 4194304 4196468 140734793506304 139661424913456 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
Current children cumulated CPU time: 3.31 s
Current children cumulated vsize: 13988120 KiB

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

/proc/26085/task/26093/stat : 26093 (java) S 26083 26083 7968 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 18398543 14316269568 1332553 18446744073709551615 4194304 4196468 140734793506304 139661431227648 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26094] ppid=26083 vsize=13980732 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26094/stat : 26094 (java) S 26083 26083 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18398545 14316269568 1332553 18446744073709551615 4194304 4196468 140734793506304 139661430176208 139661954783131 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26095] ppid=26083 vsize=13980732 memory=13596 CPUtime=2.49 cores=1,3,5,7
/proc/26085/task/26095/stat : 26095 (java) S 26083 26083 7968 0 -1 1077944384 6414 0 0 0 248 1 0 0 20 0 15 0 18398545 14316269568 1332553 18446744073709551615 4194304 4196468 140734793506304 139661429123312 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26096] ppid=26083 vsize=13980732 memory=2424 CPUtime=2.4 cores=1,3,5,7
/proc/26085/task/26096/stat : 26096 (java) S 26083 26083 7968 0 -1 1077944384 6648 0 0 0 240 0 0 0 20 0 15 0 18398545 14316269568 1332553 18446744073709551615 4194304 4196468 140734793506304 139661428070768 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26097] ppid=26083 vsize=13980732 memory=-8774313645642428999 CPUtime=0.53 cores=1,3,5,7
/proc/26085/task/26097/stat : 26097 (java) S 26083 26083 7968 0 -1 1077944384 2996 0 0 0 53 0 0 0 20 0 15 0 18398545 14316269568 1332553 18446744073709551615 4194304 4196468 140734793506304 139661427017712 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26098] ppid=26083 vsize=13980732 memory=8684 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26098/stat : 26098 (java) S 26083 26083 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18398546 14316269568 1332553 18446744073709551615 4194304 4196468 140734793506304 139661425965408 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26099] ppid=26083 vsize=13980732 memory=1440 CPUtime=0.01 cores=1,3,5,7
/proc/26085/task/26099/stat : 26099 (java) S 26083 26083 7968 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 15 0 18398551 14316269568 1332553 18446744073709551615 4194304 4196468 140734793506304 139661424913456 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 54 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
Current children cumulated CPU time: 63.62 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 5331592 KiB

[startup+51.1104 s]
/proc/loadavg: 2.31 2.22 2.36 3/214 26102
/proc/meminfo: memFree=19512008/32770624 swapFree=67108860/67108860
[pid=26083] ppid=26080 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26083/stat : 26083 (xcsp3-exec) S 26080 26083 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18398528 9740288 345 18446744073709551615 4194304 5098028 140729015765232 140729015763336 140352839635580 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 18116608 140729015767424 140729015767627 140729015767627 140729015771115 0
/proc/26083/statm: 2378 345 289 221 0 87 0
[pid=26085] ppid=26083 vsize=13980732 memory=6285920 CPUtime=131.26 cores=1,3,5,7
/proc/26085/stat : 26085 (java) S 26083 26083 7968 0 -1 1077944320 96494 0 0 0 12477 649 0 0 20 0 15 0 18398540 14316269568 1571480 18446744073709551615 4194304 4196468 140734793506304 140734793488848 139661954764535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
/proc/26085/statm: 3495183 1571480 3253 1 0 3483476 0
[pid=26085/tid=26086] ppid=26083 vsize=13980732 memory=0 CPUtime=20.61 cores=1,3,5,7
/proc/26085/task/26086/stat : 26086 (java) R 26083 26083 7968 0 -1 4202560 26497 0 0 0 2047 14 0 0 20 0 15 0 18398540 14316269568 1571480 18446744073709551615 4194304 4196468 140734793506304 139661959003320 139661556616503 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26087] ppid=26083 vsize=13980732 memory=280688058751504 CPUtime=24.96 cores=1,3,5,7
/proc/26085/task/26087/stat : 26087 (java) S 26083 26083 7968 0 -1 1077944384 9848 0 0 0 2343 153 0 0 20 0 15 0 18398541 14316269568 1571480 18446744073709551615 4194304 4196468 140734793506304 139661874178576 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26088] ppid=26083 vsize=13980732 memory=140344029215344 CPUtime=25.02 cores=1,3,5,7
/proc/26085/task/26088/stat : 26088 (java) S 26083 26083 7968 0 -1 1077944384 8581 0 0 0 2342 160 0 0 20 0 15 0 18398541 14316269568 1571480 18446744073709551615 4194304 4196468 140734793506304 139661873126032 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26089] ppid=26083 vsize=13980732 memory=6281480 CPUtime=24.84 cores=1,3,5,7
/proc/26085/task/26089/stat : 26089 (java) S 26083 26083 7968 0 -1 1077944384 10075 0 0 0 2326 158 0 0 20 0 15 0 18398541 14316269568 1571480 18446744073709551615 4194304 4196468 140734793506304 139661872072976 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26090] ppid=26083 vsize=13980732 memory=1380 CPUtime=24.98 cores=1,3,5,7
/proc/26085/task/26090/stat : 26090 (java) S 26083 26083 7968 0 -1 1077944384 9394 0 0 0 2342 156 0 0 20 0 15 0 18398541 14316269568 1571480 18446744073709551615 4194304 4196468 140734793506304 139661871020432 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26091] ppid=26083 vsize=13980732 memory=4124 CPUtime=4.71 cores=1,3,5,7
/proc/26085/task/26091/stat : 26091 (java) S 26083 26083 7968 0 -1 1077944384 10830 0 0 0 471 0 0 0 20 0 15 0 18398542 14316269568 1571480 18446744073709551615 4194304 4196468 140734793506304 139661433334512 139661954775682 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 44 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26092] ppid=26083 vsize=13980732 memory=13596 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26092/stat : 26092 (java) S 26083 26083 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 18398543 14316269568 1571480 18446744073709551615 4194304 4196468 140734793506304 139661432280800 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26093] ppid=26083 vsize=13980732 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26093/stat : 26093 (java) S 26083 26083 7968 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 18398543 14316269568 1571480 18446744073709551615 4194304 4196468 140734793506304 139661431227648 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26094] ppid=26083 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26094/stat : 26094 (java) S 26083 26083 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18398545 14316269568 1571480 18446744073709551615 4194304 4196468 140734793506304 139661430176208 139661954783131 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26095] ppid=26083 vsize=13980732 memory=1296 CPUtime=2.71 cores=1,3,5,7
/proc/26085/task/26095/stat : 26095 (java) S 26083 26083 7968 0 -1 1077944384 7488 0 0 0 270 1 0 0 20 0 15 0 18398545 14316269568 1571480 18446744073709551615 4194304 4196468 140734793506304 139661429123312 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26096] ppid=26083 vsize=13980732 memory=1732 CPUtime=2.65 cores=1,3,5,7
/proc/26085/task/26096/stat : 26096 (java) S 26083 26083 7968 0 -1 1077944384 8281 0 0 0 264 1 0 0 20 0 15 0 18398545 14316269568 1571480 18446744073709551615 4194304 4196468 140734793506304 139661428070768 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26097] ppid=26083 vsize=13980732 memory=1700 CPUtime=0.64 cores=1,3,5,7
/proc/26085/task/26097/stat : 26097 (java) S 26083 26083 7968 0 -1 1077944384 4039 0 0 0 63 1 0 0 20 0 15 0 18398545 14316269568 1571480 18446744073709551615 4194304 4196468 140734793506304 139661427017712 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26098] ppid=26083 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26098/stat : 26098 (java) S 26083 26083 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18398546 14316269568 1571480 18446744073709551615 4194304 4196468 140734793506304 139661425965408 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26099] ppid=26083 vsize=13980732 memory=6281244 CPUtime=0.03 cores=1,3,5,7
/proc/26085/task/26099/stat : 26099 (java) S 26083 26083 7968 0 -1 1077944384 87 0 0 0 2 1 0 0 20 0 15 0 18398551 14316269568 1571480 18446744073709551615 4194304 4196468 140734793506304 139661424913456 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 54 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
Current children cumulated CPU time: 131.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6287300 KiB

[startup+102.301 s]
/proc/loadavg: 2.33 2.22 2.35 6/214 26183
/proc/meminfo: memFree=21031336/32770624 swapFree=67108860/67108860
[pid=26083] ppid=26080 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26083/stat : 26083 (xcsp3-exec) S 26080 26083 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18398528 9740288 345 18446744073709551615 4194304 5098028 140729015765232 140729015763336 140352839635580 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 18116608 140729015767424 140729015767627 140729015767627 140729015771115 0
/proc/26083/statm: 2378 345 289 221 0 87 0
[pid=26085] ppid=26083 vsize=13980732 memory=7052484 CPUtime=194.87 cores=1,3,5,7
/proc/26085/stat : 26085 (java) S 26083 26083 7968 0 -1 1077944320 112094 0 0 0 18788 699 0 0 20 0 15 0 18398540 14316269568 1763121 18446744073709551615 4194304 4196468 140734793506304 140734793488848 139661954764535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
/proc/26085/statm: 3495183 1763121 3253 1 0 3483476 0
[pid=26085/tid=26086] ppid=26083 vsize=13980732 memory=7052484 CPUtime=67.62 cores=1,3,5,7
/proc/26085/task/26086/stat : 26086 (java) S 26083 26083 7968 0 -1 1077944384 29547 0 0 0 6748 14 0 0 20 0 15 0 18398540 14316269568 1763121 18446744073709551615 4194304 4196468 140734793506304 139661959004016 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26087] ppid=26083 vsize=13980732 memory=7052484 CPUtime=29.08 cores=1,3,5,7
/proc/26085/task/26087/stat : 26087 (java) R 26083 26083 7968 0 -1 4202560 13299 0 0 0 2743 165 0 0 20 0 15 0 18398541 14316269568 1763121 18446744073709551615 4194304 4196468 140734793506304 139661874178384 139661947392743 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26088] ppid=26083 vsize=13980732 memory=56 CPUtime=29.14 cores=1,3,5,7
/proc/26085/task/26088/stat : 26088 (java) R 26083 26083 7968 0 -1 4202560 9440 0 0 0 2742 172 0 0 20 0 15 0 18398541 14316269568 1763121 18446744073709551615 4194304 4196468 140734793506304 139661873126152 139661947392743 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26089] ppid=26083 vsize=13980732 memory=1380 CPUtime=28.98 cores=1,3,5,7
/proc/26085/task/26089/stat : 26089 (java) R 26083 26083 7968 0 -1 4202560 12700 0 0 0 2729 169 0 0 20 0 15 0 18398541 14316269568 1763121 18446744073709551615 4194304 4196468 140734793506304 139661872072784 139661947392743 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26090] ppid=26083 vsize=13980732 memory=7052484 CPUtime=29.13 cores=1,3,5,7
/proc/26085/task/26090/stat : 26090 (java) R 26083 26083 7968 0 -1 4202560 11401 0 0 0 2745 168 0 0 20 0 15 0 18398541 14316269568 1763121 18446744073709551615 4194304 4196468 140734793506304 139661871020632 139661939760902 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26091] ppid=26083 vsize=13980732 memory=1380 CPUtime=4.73 cores=1,3,5,7
/proc/26085/task/26091/stat : 26091 (java) S 26083 26083 7968 0 -1 1077944384 13984 0 0 0 472 1 0 0 20 0 15 0 18398542 14316269568 1763121 18446744073709551615 4194304 4196468 140734793506304 139661433333056 139661954774741 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26092] ppid=26083 vsize=13980732 memory=7042232 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26092/stat : 26092 (java) S 26083 26083 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 18398543 14316269568 1763121 18446744073709551615 4194304 4196468 140734793506304 139661432280800 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26093] ppid=26083 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26093/stat : 26093 (java) S 26083 26083 7968 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 18398543 14316269568 1763121 18446744073709551615 4194304 4196468 140734793506304 139661431227648 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26094] ppid=26083 vsize=13980732 memory=6526096 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26094/stat : 26094 (java) S 26083 26083 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18398545 14316269568 1763121 18446744073709551615 4194304 4196468 140734793506304 139661430176208 139661954783131 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26095] ppid=26083 vsize=13980732 memory=1380 CPUtime=2.71 cores=1,3,5,7
/proc/26085/task/26095/stat : 26095 (java) S 26083 26083 7968 0 -1 1077944384 7493 0 0 0 270 1 0 0 20 0 15 0 18398545 14316269568 1763121 18446744073709551615 4194304 4196468 140734793506304 139661429123360 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26096] ppid=26083 vsize=13980732 memory=6526052 CPUtime=2.65 cores=1,3,5,7
/proc/26085/task/26096/stat : 26096 (java) S 26083 26083 7968 0 -1 1077944384 8285 0 0 0 264 1 0 0 20 0 15 0 18398545 14316269568 1763121 18446744073709551615 4194304 4196468 140734793506304 139661428070528 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26097] ppid=26083 vsize=13980732 memory=1380 CPUtime=0.65 cores=1,3,5,7
/proc/26085/task/26097/stat : 26097 (java) S 26083 26083 7968 0 -1 1077944384 4450 0 0 0 64 1 0 0 20 0 15 0 18398545 14316269568 1763121 18446744073709551615 4194304 4196468 140734793506304 139661427017760 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26098] ppid=26083 vsize=13980732 memory=5330368 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26098/stat : 26098 (java) S 26083 26083 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18398546 14316269568 1763121 18446744073709551615 4194304 4196468 140734793506304 139661425965408 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26099] ppid=26083 vsize=13980732 memory=1380 CPUtime=0.08 cores=1,3,5,7
/proc/26085/task/26099/stat : 26099 (java) S 26083 26083 7968 0 -1 1077944384 121 0 0 0 4 4 0 0 20 0 15 0 18398551 14316269568 1763121 18446744073709551615 4194304 4196468 140734793506304 139661424913456 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 54 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
Current children cumulated CPU time: 194.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 7053864 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+157.001 s]*
/proc/loadavg: 2.12 2.18 2.33 3/214 26187
/proc/meminfo: memFree=16549928/32770624 swapFree=67108860/67108860
[pid=26083] ppid=26080 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26083/stat : 26083 (xcsp3-exec) S 26080 26083 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18398528 9740288 345 18446744073709551615 4194304 5098028 140729015765232 140729015763336 140352839635580 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 18116608 140729015767424 140729015767627 140729015767627 140729015771115 0
/proc/26083/statm: 2378 345 289 221 0 87 0
[pid=26085] ppid=26083 vsize=13980732 memory=7053360 CPUtime=252.01 cores=1,3,5,7
/proc/26085/stat : 26085 (java) S 26083 26083 7968 0 -1 1077944320 124708 0 0 0 24497 704 0 0 20 0 15 0 18398540 14316269568 1763340 18446744073709551615 4194304 4196468 140734793506304 140734793488848 139661954764535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
/proc/26085/statm: 3495183 1763340 3253 1 0 3483476 0
[pid=26085/tid=26086] ppid=26083 vsize=13980732 memory=928 CPUtime=120.8 cores=1,3,5,7
/proc/26085/task/26086/stat : 26086 (java) R 26083 26083 7968 0 -1 4202560 39874 0 0 0 12065 15 0 0 20 0 15 0 18398540 14316269568 1763340 18446744073709551615 4194304 4196468 140734793506304 139661959003904 139661556629209 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26087] ppid=26083 vsize=13980732 memory=2164 CPUtime=29.88 cores=1,3,5,7
/proc/26085/task/26087/stat : 26087 (java) S 26083 26083 7968 0 -1 1077944384 13303 0 0 0 2823 165 0 0 20 0 15 0 18398541 14316269568 1763340 18446744073709551615 4194304 4196468 140734793506304 139661874178576 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26088] ppid=26083 vsize=13980732 memory=-8774313645642428999 CPUtime=29.92 cores=1,3,5,7
/proc/26085/task/26088/stat : 26088 (java) S 26083 26083 7968 0 -1 1077944384 9462 0 0 0 2820 172 0 0 20 0 15 0 18398541 14316269568 1763340 18446744073709551615 4194304 4196468 140734793506304 139661873126032 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26089] ppid=26083 vsize=13980732 memory=1380 CPUtime=29.78 cores=1,3,5,7
/proc/26085/task/26089/stat : 26089 (java) S 26083 26083 7968 0 -1 1077944384 12706 0 0 0 2809 169 0 0 20 0 15 0 18398541 14316269568 1763340 18446744073709551615 4194304 4196468 140734793506304 139661872072976 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26090] ppid=26083 vsize=13980732 memory=960 CPUtime=29.94 cores=1,3,5,7
/proc/26085/task/26090/stat : 26090 (java) S 26083 26083 7968 0 -1 1077944384 11424 0 0 0 2826 168 0 0 20 0 15 0 18398541 14316269568 1763340 18446744073709551615 4194304 4196468 140734793506304 139661871020432 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26091] ppid=26083 vsize=13980732 memory=2248 CPUtime=5.45 cores=1,3,5,7
/proc/26085/task/26091/stat : 26091 (java) S 26083 26083 7968 0 -1 1077944384 15763 0 0 0 544 1 0 0 20 0 15 0 18398542 14316269568 1763340 18446744073709551615 4194304 4196468 140734793506304 139661433334512 139661954775682 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26092] ppid=26083 vsize=13980732 memory=4304 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26092/stat : 26092 (java) S 26083 26083 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 18398543 14316269568 1763340 18446744073709551615 4194304 4196468 140734793506304 139661432280800 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26093] ppid=26083 vsize=13980732 memory=1588 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26093/stat : 26093 (java) S 26083 26083 7968 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 18398543 14316269568 1763340 18446744073709551615 4194304 4196468 140734793506304 139661431227648 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26094] ppid=26083 vsize=13980732 memory=928 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26094/stat : 26094 (java) S 26083 26083 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18398545 14316269568 1763340 18446744073709551615 4194304 4196468 140734793506304 139661430176208 139661954783131 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26095] ppid=26083 vsize=13980732 memory=2164 CPUtime=2.71 cores=1,3,5,7
/proc/26085/task/26095/stat : 26095 (java) S 26083 26083 7968 0 -1 1077944384 7500 0 0 0 270 1 0 0 20 0 15 0 18398545 14316269568 1763340 18446744073709551615 4194304 4196468 140734793506304 139661429123312 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26096] ppid=26083 vsize=13980732 memory=840 CPUtime=2.65 cores=1,3,5,7
/proc/26085/task/26096/stat : 26096 (java) S 26083 26083 7968 0 -1 1077944384 8288 0 0 0 264 1 0 0 20 0 15 0 18398545 14316269568 1763340 18446744073709551615 4194304 4196468 140734793506304 139661428070768 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26097] ppid=26083 vsize=13980732 memory=3880 CPUtime=0.66 cores=1,3,5,7
/proc/26085/task/26097/stat : 26097 (java) S 26083 26083 7968 0 -1 1077944384 4850 0 0 0 65 1 0 0 20 0 15 0 18398545 14316269568 1763340 18446744073709551615 4194304 4196468 140734793506304 139661427017712 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26098] ppid=26083 vsize=13980732 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/26085/task/26098/stat : 26098 (java) S 26083 26083 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18398546 14316269568 1763340 18446744073709551615 4194304 4196468 140734793506304 139661425965408 139661954774741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
[pid=26085/tid=26099] ppid=26083 vsize=13980732 memory=7053360 CPUtime=0.11 cores=1,3,5,7
/proc/26085/task/26099/stat : 26099 (java) S 26083 26083 7968 0 -1 1077944384 164 0 0 0 4 7 0 0 20 0 15 0 18398551 14316269568 1763340 18446744073709551615 4194304 4196468 140734793506304 139661424913456 139661954775682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 54 0 0 6293624 6294260 7491584 140734793511352 140734793511527 140734793511527 140734793514959 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 7054740 KiB

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

[startup+157.045 s]
# the end of solver process 26083 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.00197 s, system=0.000122 s

[startup+157.05 s]
# the end of solver process 26085 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=244.975 s, system=7.07519 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 157.05
CPU time (s): 252.05
CPU user time (s): 244.975
CPU system time (s): 7.07519
CPU usage (%): 160.49
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 7059768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.975
system time used= 7.07519
maximum resident set size= 7058388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125793
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6843
involuntary context switches= 1205


# summary of solver processes directly reported to runsolver:
#   pid: 26083,26085
#   total CPU time (s): 252.05
#   total CPU user time (s): 244.975
#   total CPU system time (s): 7.07519

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.0028 second user time and 1.71353 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-13 19:12:02
IDJOB=4253967
IDBENCH=139739
IDSOLVER=2635
FILE ID=node128/4253967-1502645158
RUNJOBID= node128-1502644087-25851
PBS_JOBID= 
Free space on /tmp= 61968 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s1/ChessboardColoration-int-40-40.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4253967-1502645158/watcher-4253967-1502645158 -o /tmp/evaluation-result-4253967-1502645158/solver-4253967-1502645158 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502644087-25851 --watchdog 312  ./xcsp3-exec -dir HOME -tl 252 -ml 11000 -tdir HOME -seed 504805099 HOME/instance-4253967-1502645158.xml

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

MD5SUM BENCH= 2ccb4f0641fb73c42fbac15220770a0a
RANDOM SEED=504805099

node128.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.94
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.94
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.94
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.94
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:        25968640 kB
MemAvailable:   26673540 kB
Buffers:          152896 kB
Cached:           838116 kB
SwapCached:            0 kB
Active:          5669940 kB
Inactive:         710064 kB
Active(anon):    5389228 kB
Inactive(anon):    16764 kB
Active(file):     280712 kB
Inactive(file):   693300 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42764 kB
Writeback:            20 kB
AnonPages:       5358040 kB
Mapped:            45724 kB
Shmem:             17116 kB
Slab:             118728 kB
SReclaimable:      93448 kB
SUnreclaim:        25280 kB
KernelStack:        3616 kB
PageTables:        16052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6867704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5187584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61980 MiB
End job on node128 at 2017-08-13 19:14:39