Trace number 4283482

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 5a (2017-08-18)? (TO) 2520.1101 2486.4099

General information on the benchmark

NameScheduling/Scheduling-fs-taillard/
Taillard-fs-050-05-9.xml
MD5SUMb5db2d1209ce62208741c56e17334157
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark2830
Best CPU time to get the best result obtained on this benchmark2400.12
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints305
Number of domains1
Minimum domain size2882
Maximum domain size2882
Distribution of domain sizes[{"size":2882,"count":300}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":50},{"degree":3,"count":250}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":50},{"arity":2,"count":250},{"arity":50,"count":5}]
Number of extensional constraints0
Number of intensional constraints300
Distribution of constraint types[{"type":"intension","count":300},{"type":"noOverlap","count":5}]
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-4283482-1503172824.xml"  -tl '2520s' -p 1 -x 3
0.05/0.29	c [HOME/instance-4283482-1503172824.xml, -tl, 2520s, -p, 1, -x, 3]
0.24/0.36	c simple solver
0.41/0.42	c parse instance...
1.07/0.75	c solve instance...
2520.07/2486.40	s UNKNOWN
2520.07/2486.40	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 (14820 MiB free)
  memory of node 1: 16384 MiB (14769 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283482-1503172824/watcher-4283482-1503172824 -o /tmp/evaluation-result-4283482-1503172824/solver-4283482-1503172824 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503171261-25500 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1160819989 HOME/instance-4283482-1503172824.xml 

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

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


[startup+0.100148 s]*
/proc/loadavg: 4.39 3.61 2.62 2/196 26116
/proc/meminfo: memFree=30300344/32770624 swapFree=67108860/67108860
[pid=26115] ppid=26112 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/26115/stat : 26115 (runsolver) D 26112 26115 8563 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 119502865 34791424 114 18446744073709551615 4194304 4346622 140732833868896 140732833865528 139713856553687 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6446216 6449568 22573056 140732833873974 140732833874468 140732833874468 140732833877962 0
/proc/26115/statm: 8494 114 52 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.209105 s]*
/proc/loadavg: 4.39 3.61 2.62 2/210 26130
/proc/meminfo: memFree=30289372/32770624 swapFree=67108860/67108860
[pid=26115] ppid=26112 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26115/stat : 26115 (xcsp3-exec) S 26112 26115 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119502865 9740288 345 18446744073709551615 4194304 5098028 140737102230656 140737102228760 139993216848508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 11 0 0 7196144 7232144 14999552 140737102238072 140737102238277 140737102238277 140737102241771 0
/proc/26115/statm: 2378 345 289 221 0 87 0
[pid=26117] ppid=26115 vsize=13973868 memory=21656 CPUtime=0.05 cores=0,2,4,6
/proc/26117/stat : 26117 (java) S 26115 26115 8563 0 -1 1077944320 4853 0 0 0 4 1 0 0 20 0 15 0 119502877 14309240832 5414 18446744073709551615 4194304 4196468 140722102526560 140722102509104 140675274301175 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
/proc/26117/statm: 3493467 5414 2576 1 0 3482964 0
[pid=26117/tid=26118] ppid=26115 vsize=13973868 memory=7311146985107750967 CPUtime=0.05 cores=0,2,4,6
/proc/26117/task/26118/stat : 26118 (java) R 26115 26115 8563 0 -1 4202560 3006 0 0 0 4 1 0 0 20 0 15 0 119502877 14309240832 5414 18446744073709551615 4194304 4196468 140722102526560 140675278543456 140675274323101 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26119] ppid=26115 vsize=13973868 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26119/stat : 26119 (java) S 26115 26115 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119502878 14309240832 5414 18446744073709551615 4194304 4196468 140722102526560 140675216247312 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26120] ppid=26115 vsize=13973868 memory=139713860623211 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26120/stat : 26120 (java) S 26115 26115 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119502878 14309240832 5414 18446744073709551615 4194304 4196468 140722102526560 140675215194768 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26121] ppid=26115 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26121/stat : 26121 (java) S 26115 26115 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119502878 14309240832 5414 18446744073709551615 4194304 4196468 140722102526560 140675214141712 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26122] ppid=26115 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26122/stat : 26122 (java) S 26115 26115 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119502878 14309240832 5414 18446744073709551615 4194304 4196468 140722102526560 140675213089168 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26123] ppid=26115 vsize=13973868 memory=139713859503744 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26123/stat : 26123 (java) S 26115 26115 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119502879 14309240832 5414 18446744073709551615 4194304 4196468 140722102526560 140674820033264 140675274312322 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26124] ppid=26115 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26124/stat : 26124 (java) S 26115 26115 8563 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 119502880 14309240832 5414 18446744073709551615 4194304 4196468 140722102526560 140674818979488 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26125] ppid=26115 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26125/stat : 26125 (java) S 26115 26115 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119502880 14309240832 5414 18446744073709551615 4194304 4196468 140722102526560 140674817926384 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26126] ppid=26115 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26126/stat : 26126 (java) S 26115 26115 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119502882 14309240832 5414 18446744073709551615 4194304 4196468 140722102526560 140674816874960 140675274319771 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26127] ppid=26115 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26127/stat : 26127 (java) S 26115 26115 8563 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 119502882 14309240832 5414 18446744073709551615 4194304 4196468 140722102526560 140674815822064 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26128] ppid=26115 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26128/stat : 26128 (java) S 26115 26115 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119502882 14309240832 5414 18446744073709551615 4194304 4196468 140722102526560 140674814769520 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26129] ppid=26115 vsize=13973868 memory=139713859503744 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26129/stat : 26129 (java) S 26115 26115 8563 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 119502882 14309240832 5414 18446744073709551615 4194304 4196468 140722102526560 140674813716464 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26130] ppid=26115 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26130/stat : 26130 (java) S 26115 26115 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119502883 14309240832 5414 18446744073709551615 4194304 4196468 140722102526560 140674812664160 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26131] ppid=26115 vsize=13973868 memory=139713859503744 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26131/stat : 26131 (java) S 26115 26115 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119502887 14309240832 5414 18446744073709551615 4194304 4196468 140722102526560 140674811612208 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 23036 KiB

[startup+0.310139 s]*
/proc/loadavg: 4.19 3.58 2.62 3/211 26131
/proc/meminfo: memFree=30276104/32770624 swapFree=67108860/67108860
[pid=26115] ppid=26112 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26115/stat : 26115 (xcsp3-exec) S 26112 26115 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119502865 9740288 345 18446744073709551615 4194304 5098028 140737102230656 140737102228760 139993216848508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 11 0 0 7196144 7232144 14999552 140737102238072 140737102238277 140737102238277 140737102241771 0
/proc/26115/statm: 2378 345 289 221 0 87 0
[pid=26117] ppid=26115 vsize=13974352 memory=36568 CPUtime=0.24 cores=0,2,4,6
/proc/26117/stat : 26117 (java) S 26115 26115 8563 0 -1 1077944320 8722 0 0 0 21 3 0 0 20 0 15 0 119502877 14309736448 9142 18446744073709551615 4194304 4196468 140722102526560 140722102509104 140675274301175 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
/proc/26117/statm: 3493588 9142 2978 1 0 3482964 0
[pid=26117/tid=26118] ppid=26115 vsize=13974352 memory=-8774313645642428999 CPUtime=0.14 cores=0,2,4,6
/proc/26117/task/26118/stat : 26118 (java) S 26115 26115 8563 0 -1 1077944384 5929 0 0 0 12 2 0 0 20 0 15 0 119502877 14309736448 9142 18446744073709551615 4194304 4196468 140722102526560 140675278523552 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26119] ppid=26115 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26119/stat : 26119 (java) S 26115 26115 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119502878 14309736448 9142 18446744073709551615 4194304 4196468 140722102526560 140675216247312 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26120] ppid=26115 vsize=13974352 memory=139713859503744 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26120/stat : 26120 (java) S 26115 26115 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119502878 14309736448 9142 18446744073709551615 4194304 4196468 140722102526560 140675215194768 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26121] ppid=26115 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26121/stat : 26121 (java) S 26115 26115 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119502878 14309736448 9142 18446744073709551615 4194304 4196468 140722102526560 140675214141712 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26122] ppid=26115 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26122/stat : 26122 (java) S 26115 26115 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119502878 14309736448 9142 18446744073709551615 4194304 4196468 140722102526560 140675213089168 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26123] ppid=26115 vsize=13974352 memory=139713859503744 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26123/stat : 26123 (java) S 26115 26115 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119502879 14309736448 9142 18446744073709551615 4194304 4196468 140722102526560 140674820033264 140675274312322 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26124] ppid=26115 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26124/stat : 26124 (java) S 26115 26115 8563 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 119502880 14309736448 9142 18446744073709551615 4194304 4196468 140722102526560 140674818979488 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26125] ppid=26115 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26125/stat : 26125 (java) S 26115 26115 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119502880 14309736448 9142 18446744073709551615 4194304 4196468 140722102526560 140674817926384 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26126] ppid=26115 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26126/stat : 26126 (java) S 26115 26115 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119502882 14309736448 9142 18446744073709551615 4194304 4196468 140722102526560 140674816874960 140675274319771 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26127] ppid=26115 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26117/task/26127/stat : 26127 (java) S 26115 26115 8563 0 -1 1077944384 535 0 0 0 1 0 0 0 20 0 15 0 119502882 14309736448 9142 18446744073709551615 4194304 4196468 140722102526560 140674815822064 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26128] ppid=26115 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26117/task/26128/stat : 26128 (java) S 26115 26115 8563 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 15 0 119502882 14309736448 9142 18446744073709551615 4194304 4196468 140722102526560 140674814769520 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26129] ppid=26115 vsize=13974352 memory=139713859503744 CPUtime=0.04 cores=0,2,4,6
/proc/26117/task/26129/stat : 26129 (java) R 26115 26115 8563 0 -1 4202560 706 0 0 0 4 0 0 0 20 0 15 0 119502882 14309736448 9142 18446744073709551615 4194304 4196468 140722102526560 140674813716464 140675274313110 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26130] ppid=26115 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26130/stat : 26130 (java) S 26115 26115 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119502883 14309736448 9142 18446744073709551615 4194304 4196468 140722102526560 140674812664160 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26131] ppid=26115 vsize=13974352 memory=139713859503744 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26131/stat : 26131 (java) S 26115 26115 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119502887 14309736448 9142 18446744073709551615 4194304 4196468 140722102526560 140674811612208 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37948 KiB

[startup+0.703422 s]
/proc/loadavg: 4.19 3.58 2.62 3/211 26131
/proc/meminfo: memFree=30264940/32770624 swapFree=67108860/67108860
[pid=26115] ppid=26112 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26115/stat : 26115 (xcsp3-exec) S 26112 26115 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119502865 9740288 345 18446744073709551615 4194304 5098028 140737102230656 140737102228760 139993216848508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 11 0 0 7196144 7232144 14999552 140737102238072 140737102238277 140737102238277 140737102241771 0
/proc/26115/statm: 2378 345 289 221 0 87 0
[pid=26117] ppid=26115 vsize=13980732 memory=64756 CPUtime=1.07 cores=0,2,4,6
/proc/26117/stat : 26117 (java) S 26115 26115 8563 0 -1 1077944320 12812 0 0 0 101 6 0 0 20 0 15 0 119502877 14316269568 16189 18446744073709551615 4194304 4196468 140722102526560 140722102509104 140675274301175 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
/proc/26117/statm: 3495183 16189 3166 1 0 3483476 0
[pid=26117/tid=26118] ppid=26115 vsize=13980732 memory=7660742144744843625 CPUtime=0.53 cores=0,2,4,6
/proc/26117/task/26118/stat : 26118 (java) R 26115 26115 8563 0 -1 4202560 8482 0 0 0 49 4 0 0 20 0 15 0 119502877 14316269568 16189 18446744073709551615 4194304 4196468 140722102526560 140675278539456 140675253378641 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26119] ppid=26115 vsize=13980732 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26119/stat : 26119 (java) S 26115 26115 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119502878 14316269568 16189 18446744073709551615 4194304 4196468 140722102526560 140675216247312 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26120] ppid=26115 vsize=13980732 memory=6940416806629691476 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26120/stat : 26120 (java) S 26115 26115 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119502878 14316269568 16189 18446744073709551615 4194304 4196468 140722102526560 140675215194768 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26121] ppid=26115 vsize=13980732 memory=-7098080424032564416 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26121/stat : 26121 (java) S 26115 26115 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119502878 14316269568 16189 18446744073709551615 4194304 4196468 140722102526560 140675214141712 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26122] ppid=26115 vsize=13980732 memory=8370611207638964880 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26122/stat : 26122 (java) S 26115 26115 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119502878 14316269568 16189 18446744073709551615 4194304 4196468 140722102526560 140675213089168 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26123] ppid=26115 vsize=13980732 memory=-7737605734073691286 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26123/stat : 26123 (java) S 26115 26115 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119502879 14316269568 16189 18446744073709551615 4194304 4196468 140722102526560 140674820033264 140675274312322 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26124] ppid=26115 vsize=13980732 memory=4427207343990470186 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26124/stat : 26124 (java) S 26115 26115 8563 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 119502880 14316269568 16189 18446744073709551615 4194304 4196468 140722102526560 140674818979488 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26125] ppid=26115 vsize=13980732 memory=-8815662549083463029 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26125/stat : 26125 (java) S 26115 26115 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119502880 14316269568 16189 18446744073709551615 4194304 4196468 140722102526560 140674817926384 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26126] ppid=26115 vsize=13980732 memory=1533 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26126/stat : 26126 (java) S 26115 26115 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119502882 14316269568 16189 18446744073709551615 4194304 4196468 140722102526560 140674816874960 140675274319771 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26127] ppid=26115 vsize=13980732 memory=400 CPUtime=0.11 cores=0,2,4,6
/proc/26117/task/26127/stat : 26127 (java) R 26115 26115 8563 0 -1 4202560 973 0 0 0 11 0 0 0 20 0 15 0 119502882 14316269568 16189 18446744073709551615 4194304 4196468 140722102526560 140674815807944 140675259418342 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26128] ppid=26115 vsize=13980732 memory=116 CPUtime=0.11 cores=0,2,4,6
/proc/26117/task/26128/stat : 26128 (java) R 26115 26115 8563 0 -1 4202560 693 0 0 0 11 0 0 0 20 0 15 0 119502882 14316269568 16189 18446744073709551615 4194304 4196468 140722102526560 140674814755400 140675257687997 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26129] ppid=26115 vsize=13980732 memory=7 CPUtime=0.28 cores=0,2,4,6
/proc/26117/task/26129/stat : 26129 (java) R 26115 26115 8563 0 -1 4202560 1393 0 0 0 28 0 0 0 20 0 15 0 119502882 14316269568 16189 18446744073709551615 4194304 4196468 140722102526560 140674813716464 140675253284900 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26130] ppid=26115 vsize=13980732 memory=615 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26130/stat : 26130 (java) S 26115 26115 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119502883 14316269568 16189 18446744073709551615 4194304 4196468 140722102526560 140674812664160 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26131] ppid=26115 vsize=13980732 memory=1 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26131/stat : 26131 (java) S 26115 26115 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119502887 14316269568 16189 18446744073709551615 4194304 4196468 140722102526560 140674811612208 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66136 KiB

[startup+1.50081 s]
/proc/loadavg: 4.19 3.58 2.62 5/211 26131
/proc/meminfo: memFree=30222552/32770624 swapFree=67108860/67108860
[pid=26115] ppid=26112 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26115/stat : 26115 (xcsp3-exec) S 26112 26115 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119502865 9740288 345 18446744073709551615 4194304 5098028 140737102230656 140737102228760 139993216848508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 11 0 0 7196144 7232144 14999552 140737102238072 140737102238277 140737102238277 140737102241771 0
/proc/26115/statm: 2378 345 289 221 0 87 0
[pid=26117] ppid=26115 vsize=13980732 memory=107496 CPUtime=3.53 cores=0,2,4,6
/proc/26117/stat : 26117 (java) S 26115 26115 8563 0 -1 1077944320 32058 0 0 0 344 9 0 0 20 0 15 0 119502877 14316269568 26874 18446744073709551615 4194304 4196468 140722102526560 140722102509104 140675274301175 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
/proc/26117/statm: 3495183 26874 3190 1 0 3483476 0
[pid=26117/tid=26118] ppid=26115 vsize=13980732 memory=139713742675056 CPUtime=1.32 cores=0,2,4,6
/proc/26117/task/26118/stat : 26118 (java) R 26115 26115 8563 0 -1 4202560 9586 0 0 0 128 4 0 0 20 0 15 0 119502877 14316269568 26874 18446744073709551615 4194304 4196468 140722102526560 140675278539336 140674897083586 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26119] ppid=26115 vsize=13980732 memory=1533 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26119/stat : 26119 (java) S 26115 26115 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119502878 14316269568 26874 18446744073709551615 4194304 4196468 140722102526560 140675216247312 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26120] ppid=26115 vsize=13980732 memory=400 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26120/stat : 26120 (java) S 26115 26115 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119502878 14316269568 26940 18446744073709551615 4194304 4196468 140722102526560 140675215194768 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26121] ppid=26115 vsize=13980732 memory=116 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26121/stat : 26121 (java) S 26115 26115 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119502878 14316269568 26940 18446744073709551615 4194304 4196468 140722102526560 140675214141712 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26122] ppid=26115 vsize=13980732 memory=7 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26122/stat : 26122 (java) S 26115 26115 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119502878 14316269568 26940 18446744073709551615 4194304 4196468 140722102526560 140675213089168 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26123] ppid=26115 vsize=13980732 memory=279427485637520 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26123/stat : 26123 (java) S 26115 26115 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119502879 14316269568 26940 18446744073709551615 4194304 4196468 140722102526560 140674820033264 140675274312322 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26124] ppid=26115 vsize=13980732 memory=12858 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26124/stat : 26124 (java) S 26115 26115 8563 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 119502880 14316269568 26940 18446744073709551615 4194304 4196468 140722102526560 140674818979488 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26125] ppid=26115 vsize=13980732 memory=25369 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26125/stat : 26125 (java) S 26115 26115 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119502880 14316269568 26940 18446744073709551615 4194304 4196468 140722102526560 140674817926384 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26126] ppid=26115 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26126/stat : 26126 (java) S 26115 26115 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119502882 14316269568 26940 18446744073709551615 4194304 4196468 140722102526560 140674816874960 140675274319771 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26127] ppid=26115 vsize=13980732 memory=0 CPUtime=0.87 cores=0,2,4,6
/proc/26117/task/26127/stat : 26127 (java) R 26115 26115 8563 0 -1 4202560 6053 0 0 0 86 1 0 0 20 0 15 0 119502882 14316269568 26940 18446744073709551615 4194304 4196468 140722102526560 140674815807528 140675259071363 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26128] ppid=26115 vsize=13980732 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/26117/task/26128/stat : 26128 (java) R 26115 26115 8563 0 -1 4202560 12902 0 0 0 87 2 0 0 20 0 15 0 119502882 14316269568 26940 18446744073709551615 4194304 4196468 140722102526560 140674814754184 140675255001472 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26129] ppid=26115 vsize=13980732 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/26117/task/26129/stat : 26129 (java) S 26115 26115 8563 0 -1 1077944384 2268 0 0 0 40 1 0 0 20 0 15 0 119502882 14316269568 26940 18446744073709551615 4194304 4196468 140722102526560 140674813716464 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26130] ppid=26115 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26130/stat : 26130 (java) S 26115 26115 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119502883 14316269568 26940 18446744073709551615 4194304 4196468 140722102526560 140674812664160 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26131] ppid=26115 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26131/stat : 26131 (java) S 26115 26115 8563 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 119502887 14316269568 26940 18446744073709551615 4194304 4196468 140722102526560 140674811612208 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0

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

/proc/26117/task/26125/stat : 26125 (java) S 26115 26115 8563 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 119502880 14316269568 88351 18446744073709551615 4194304 4196468 140722102526560 140674817926400 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26126] ppid=26115 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26126/stat : 26126 (java) S 26115 26115 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119502882 14316269568 88351 18446744073709551615 4194304 4196468 140722102526560 140674816874960 140675274319771 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26127] ppid=26115 vsize=13980732 memory=1380 CPUtime=8.45 cores=0,2,4,6
/proc/26117/task/26127/stat : 26127 (java) S 26115 26115 8563 0 -1 1077944384 40632 0 0 0 841 4 0 0 20 0 15 0 119502882 14316269568 88351 18446744073709551615 4194304 4196468 140722102526560 140674815822064 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26128] ppid=26115 vsize=13980732 memory=1440 CPUtime=8.02 cores=0,2,4,6
/proc/26117/task/26128/stat : 26128 (java) S 26115 26115 8563 0 -1 1077944384 39201 0 0 0 798 4 0 0 20 0 15 0 119502882 14316269568 88351 18446744073709551615 4194304 4196468 140722102526560 140674814769520 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26129] ppid=26115 vsize=13980732 memory=2000 CPUtime=0.93 cores=0,2,4,6
/proc/26117/task/26129/stat : 26129 (java) S 26115 26115 8563 0 -1 1077944384 12714 0 0 0 90 3 0 0 20 0 15 0 119502882 14316269568 88351 18446744073709551615 4194304 4196468 140722102526560 140674813716464 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26130] ppid=26115 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26130/stat : 26130 (java) S 26115 26115 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119502883 14316269568 88351 18446744073709551615 4194304 4196468 140722102526560 140674812664160 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26131] ppid=26115 vsize=13980732 memory=353404 CPUtime=0.81 cores=0,2,4,6
/proc/26117/task/26131/stat : 26131 (java) S 26115 26115 8563 0 -1 1077944384 1574 0 0 0 39 42 0 0 20 0 15 0 119502887 14316269568 88351 18446744073709551615 4194304 4196468 140722102526560 140674811612208 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
Current children cumulated CPU time: 2354.99 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 354784 KiB

[startup+2382.3 s]
/proc/loadavg: 1.72 1.71 1.75 3/211 26371
/proc/meminfo: memFree=30186692/32770624 swapFree=67108860/67108860
[pid=26115] ppid=26112 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26115/stat : 26115 (xcsp3-exec) S 26112 26115 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119502865 9740288 345 18446744073709551615 4194304 5098028 140737102230656 140737102228760 139993216848508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 11 0 0 7196144 7232144 14999552 140737102238072 140737102238277 140737102238277 140737102241771 0
/proc/26115/statm: 2378 345 289 221 0 87 0
[pid=26117] ppid=26115 vsize=13980732 memory=352892 CPUtime=2415.15 cores=0,2,4,6
/proc/26117/stat : 26117 (java) S 26115 26115 8563 0 -1 1077944320 182198 0 0 0 241390 125 0 0 20 0 15 0 119502877 14316269568 88223 18446744073709551615 4194304 4196468 140722102526560 140722102509104 140675274301175 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
/proc/26117/statm: 3495183 88223 3260 1 0 3483476 0
[pid=26117/tid=26118] ppid=26115 vsize=13980732 memory=352892 CPUtime=2375.59 cores=0,2,4,6
/proc/26117/task/26118/stat : 26118 (java) R 26115 26115 8563 0 -1 4202560 44324 0 0 0 237547 12 0 0 20 0 15 0 119502877 14316269568 88223 18446744073709551615 4194304 4196468 140722102526560 140675278540448 140674899064443 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26119] ppid=26115 vsize=13980732 memory=1380 CPUtime=5.04 cores=0,2,4,6
/proc/26117/task/26119/stat : 26119 (java) S 26115 26115 8563 0 -1 1077944384 7517 0 0 0 488 16 0 0 20 0 15 0 119502878 14316269568 88223 18446744073709551615 4194304 4196468 140722102526560 140675216247312 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26120] ppid=26115 vsize=13980732 memory=1380 CPUtime=5.06 cores=0,2,4,6
/proc/26117/task/26120/stat : 26120 (java) S 26115 26115 8563 0 -1 1077944384 7514 0 0 0 491 15 0 0 20 0 15 0 119502878 14316269568 88223 18446744073709551615 4194304 4196468 140722102526560 140675215194768 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26121] ppid=26115 vsize=13980732 memory=279427486238400 CPUtime=5.05 cores=0,2,4,6
/proc/26117/task/26121/stat : 26121 (java) S 26115 26115 8563 0 -1 1077944384 8561 0 0 0 492 13 0 0 20 0 15 0 119502878 14316269568 88223 18446744073709551615 4194304 4196468 140722102526560 140675214141712 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26122] ppid=26115 vsize=13980732 memory=352892 CPUtime=5.02 cores=0,2,4,6
/proc/26117/task/26122/stat : 26122 (java) S 26115 26115 8563 0 -1 1077944384 7614 0 0 0 486 16 0 0 20 0 15 0 119502878 14316269568 88223 18446744073709551615 4194304 4196468 140722102526560 140675213089168 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26123] ppid=26115 vsize=13980732 memory=1380 CPUtime=0.99 cores=0,2,4,6
/proc/26117/task/26123/stat : 26123 (java) S 26115 26115 8563 0 -1 1077944384 10805 0 0 0 89 10 0 0 20 0 15 0 119502879 14316269568 88223 18446744073709551615 4194304 4196468 140722102526560 140674820033264 140675274312322 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26124] ppid=26115 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26124/stat : 26124 (java) S 26115 26115 8563 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 119502880 14316269568 88223 18446744073709551615 4194304 4196468 140722102526560 140674818979552 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26125] ppid=26115 vsize=13980732 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26125/stat : 26125 (java) S 26115 26115 8563 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 119502880 14316269568 88223 18446744073709551615 4194304 4196468 140722102526560 140674817926400 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26126] ppid=26115 vsize=13980732 memory=352892 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26126/stat : 26126 (java) S 26115 26115 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119502882 14316269568 88223 18446744073709551615 4194304 4196468 140722102526560 140674816874960 140675274319771 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26127] ppid=26115 vsize=13980732 memory=1380 CPUtime=8.5 cores=0,2,4,6
/proc/26117/task/26127/stat : 26127 (java) S 26115 26115 8563 0 -1 1077944384 40979 0 0 0 846 4 0 0 20 0 15 0 119502882 14316269568 88223 18446744073709551615 4194304 4196468 140722102526560 140674815822064 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26128] ppid=26115 vsize=13980732 memory=-8774313645642428999 CPUtime=8.02 cores=0,2,4,6
/proc/26117/task/26128/stat : 26128 (java) S 26115 26115 8563 0 -1 1077944384 39203 0 0 0 798 4 0 0 20 0 15 0 119502882 14316269568 88223 18446744073709551615 4194304 4196468 140722102526560 140674814769520 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26129] ppid=26115 vsize=13980732 memory=3188 CPUtime=0.93 cores=0,2,4,6
/proc/26117/task/26129/stat : 26129 (java) S 26115 26115 8563 0 -1 1077944384 12716 0 0 0 90 3 0 0 20 0 15 0 119502882 14316269568 88223 18446744073709551615 4194304 4196468 140722102526560 140674813716464 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26130] ppid=26115 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26130/stat : 26130 (java) S 26115 26115 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119502883 14316269568 88223 18446744073709551615 4194304 4196468 140722102526560 140674812664160 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26131] ppid=26115 vsize=13980732 memory=352892 CPUtime=0.83 cores=0,2,4,6
/proc/26117/task/26131/stat : 26131 (java) S 26115 26115 8563 0 -1 1077944384 1590 0 0 0 40 43 0 0 20 0 15 0 119502887 14316269568 88223 18446744073709551615 4194304 4196468 140722102526560 140674811612208 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
Current children cumulated CPU time: 2415.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 354272 KiB

[startup+2442.3 s]
/proc/loadavg: 1.80 1.74 1.76 3/211 26373
/proc/meminfo: memFree=30191056/32770624 swapFree=67108860/67108860
[pid=26115] ppid=26112 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26115/stat : 26115 (xcsp3-exec) S 26112 26115 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119502865 9740288 345 18446744073709551615 4194304 5098028 140737102230656 140737102228760 139993216848508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 11 0 0 7196144 7232144 14999552 140737102238072 140737102238277 140737102238277 140737102241771 0
/proc/26115/statm: 2378 345 289 221 0 87 0
[pid=26117] ppid=26115 vsize=13980732 memory=353956 CPUtime=2475.75 cores=0,2,4,6
/proc/26117/stat : 26117 (java) S 26115 26115 8563 0 -1 1077944320 186141 0 0 0 247450 125 0 0 20 0 15 0 119502877 14316269568 88489 18446744073709551615 4194304 4196468 140722102526560 140722102509104 140675274301175 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
/proc/26117/statm: 3495183 88489 3260 1 0 3483476 0
[pid=26117/tid=26118] ppid=26115 vsize=13980732 memory=353956 CPUtime=2435.44 cores=0,2,4,6
/proc/26117/task/26118/stat : 26118 (java) R 26115 26115 8563 0 -1 4202560 44961 0 0 0 243532 12 0 0 20 0 15 0 119502877 14316269568 88489 18446744073709551615 4194304 4196468 140722102526560 140675278540400 140674899064431 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26119] ppid=26115 vsize=13980732 memory=353956 CPUtime=5.16 cores=0,2,4,6
/proc/26117/task/26119/stat : 26119 (java) S 26115 26115 8563 0 -1 1077944384 7884 0 0 0 500 16 0 0 20 0 15 0 119502878 14316269568 88489 18446744073709551615 4194304 4196468 140722102526560 140675216247312 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26120] ppid=26115 vsize=13980732 memory=1380 CPUtime=5.18 cores=0,2,4,6
/proc/26117/task/26120/stat : 26120 (java) S 26115 26115 8563 0 -1 1077944384 7945 0 0 0 503 15 0 0 20 0 15 0 119502878 14316269568 88489 18446744073709551615 4194304 4196468 140722102526560 140675215194768 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26121] ppid=26115 vsize=13980732 memory=354964 CPUtime=5.17 cores=0,2,4,6
/proc/26117/task/26121/stat : 26121 (java) S 26115 26115 8563 0 -1 1077944384 8936 0 0 0 504 13 0 0 20 0 15 0 119502878 14316269568 88489 18446744073709551615 4194304 4196468 140722102526560 140675214141712 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26122] ppid=26115 vsize=13980732 memory=1380 CPUtime=5.15 cores=0,2,4,6
/proc/26117/task/26122/stat : 26122 (java) S 26115 26115 8563 0 -1 1077944384 8052 0 0 0 498 17 0 0 20 0 15 0 119502878 14316269568 88489 18446744073709551615 4194304 4196468 140722102526560 140675213089168 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26123] ppid=26115 vsize=13980732 memory=1380 CPUtime=1.02 cores=0,2,4,6
/proc/26117/task/26123/stat : 26123 (java) S 26115 26115 8563 0 -1 1077944384 11711 0 0 0 91 11 0 0 20 0 15 0 119502879 14316269568 88489 18446744073709551615 4194304 4196468 140722102526560 140674820033264 140675274312322 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26124] ppid=26115 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26124/stat : 26124 (java) S 26115 26115 8563 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 119502880 14316269568 88489 18446744073709551615 4194304 4196468 140722102526560 140674818979552 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26125] ppid=26115 vsize=13980732 memory=353956 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26125/stat : 26125 (java) S 26115 26115 8563 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 119502880 14316269568 88489 18446744073709551615 4194304 4196468 140722102526560 140674817926400 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26126] ppid=26115 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26126/stat : 26126 (java) S 26115 26115 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119502882 14316269568 88489 18446744073709551615 4194304 4196468 140722102526560 140674816874960 140675274319771 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26127] ppid=26115 vsize=13980732 memory=1380 CPUtime=8.58 cores=0,2,4,6
/proc/26117/task/26127/stat : 26127 (java) S 26115 26115 8563 0 -1 1077944384 41102 0 0 0 854 4 0 0 20 0 15 0 119502882 14316269568 88489 18446744073709551615 4194304 4196468 140722102526560 140674815822064 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26128] ppid=26115 vsize=13980732 memory=928 CPUtime=8.17 cores=0,2,4,6
/proc/26117/task/26128/stat : 26128 (java) S 26115 26115 8563 0 -1 1077944384 39493 0 0 0 813 4 0 0 20 0 15 0 119502882 14316269568 88489 18446744073709551615 4194304 4196468 140722102526560 140674814769520 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26129] ppid=26115 vsize=13980732 memory=2164 CPUtime=0.93 cores=0,2,4,6
/proc/26117/task/26129/stat : 26129 (java) S 26115 26115 8563 0 -1 1077944384 13087 0 0 0 90 3 0 0 20 0 15 0 119502882 14316269568 88489 18446744073709551615 4194304 4196468 140722102526560 140674813716464 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26130] ppid=26115 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26130/stat : 26130 (java) S 26115 26115 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119502883 14316269568 88489 18446744073709551615 4194304 4196468 140722102526560 140674812664160 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26131] ppid=26115 vsize=13980732 memory=1380 CPUtime=0.85 cores=0,2,4,6
/proc/26117/task/26131/stat : 26131 (java) S 26115 26115 8563 0 -1 1077944384 1595 0 0 0 41 44 0 0 20 0 15 0 119502887 14316269568 88489 18446744073709551615 4194304 4196468 140722102526560 140674811612208 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
Current children cumulated CPU time: 2475.75 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 355336 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2486.4 s]
/proc/loadavg: 1.73 1.73 1.76 3/211 26375
/proc/meminfo: memFree=30192276/32770624 swapFree=67108860/67108860
[pid=26115] ppid=26112 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26115/stat : 26115 (xcsp3-exec) S 26112 26115 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119502865 9740288 345 18446744073709551615 4194304 5098028 140737102230656 140737102228760 139993216848508 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 11 0 0 7196144 7232144 14999552 140737102238072 140737102238277 140737102238277 140737102241771 0
/proc/26115/statm: 2378 345 289 221 0 87 0
[pid=26117] ppid=26115 vsize=13980732 memory=351392 CPUtime=2520.07 cores=0,2,4,6
/proc/26117/stat : 26117 (java) S 26115 26115 8563 0 -1 1077944320 187389 0 0 0 251880 127 0 0 20 0 15 0 119502877 14316269568 87848 18446744073709551615 4194304 4196468 140722102526560 140722102509104 140675274301175 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
/proc/26117/statm: 3495183 87848 3260 1 0 3483476 0
[pid=26117/tid=26118] ppid=26115 vsize=13980732 memory=351392 CPUtime=2479.39 cores=0,2,4,6
/proc/26117/task/26118/stat : 26118 (java) R 26115 26115 8563 0 -1 4202560 45468 0 0 0 247927 12 0 0 20 0 15 0 119502877 14316269568 87848 18446744073709551615 4194304 4196468 140722102526560 140675278540480 140674899064403 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26119] ppid=26115 vsize=13980732 memory=1380 CPUtime=5.24 cores=0,2,4,6
/proc/26117/task/26119/stat : 26119 (java) S 26115 26115 8563 0 -1 1077944384 7956 0 0 0 508 16 0 0 20 0 15 0 119502878 14316269568 87848 18446744073709551615 4194304 4196468 140722102526560 140675216247312 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26120] ppid=26115 vsize=13980732 memory=351392 CPUtime=5.26 cores=0,2,4,6
/proc/26117/task/26120/stat : 26120 (java) S 26115 26115 8563 0 -1 1077944384 8032 0 0 0 510 16 0 0 20 0 15 0 119502878 14316269568 87848 18446744073709551615 4194304 4196468 140722102526560 140675215194768 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26121] ppid=26115 vsize=13980732 memory=10180 CPUtime=5.25 cores=0,2,4,6
/proc/26117/task/26121/stat : 26121 (java) S 26115 26115 8563 0 -1 1077944384 9016 0 0 0 512 13 0 0 20 0 15 0 119502878 14316269568 87848 18446744073709551615 4194304 4196468 140722102526560 140675214141712 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26122] ppid=26115 vsize=13980732 memory=1292 CPUtime=5.23 cores=0,2,4,6
/proc/26117/task/26122/stat : 26122 (java) S 26115 26115 8563 0 -1 1077944384 8361 0 0 0 506 17 0 0 20 0 15 0 119502878 14316269568 87848 18446744073709551615 4194304 4196468 140722102526560 140675213089168 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26123] ppid=26115 vsize=13980732 memory=2316 CPUtime=1.06 cores=0,2,4,6
/proc/26117/task/26123/stat : 26123 (java) S 26115 26115 8563 0 -1 1077944384 11884 0 0 0 95 11 0 0 20 0 15 0 119502879 14316269568 87848 18446744073709551615 4194304 4196468 140722102526560 140674820033264 140675274312322 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26124] ppid=26115 vsize=13980732 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26124/stat : 26124 (java) S 26115 26115 8563 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 119502880 14316269568 87848 18446744073709551615 4194304 4196468 140722102526560 140674818979552 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26125] ppid=26115 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26125/stat : 26125 (java) S 26115 26115 8563 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 119502880 14316269568 87848 18446744073709551615 4194304 4196468 140722102526560 140674817926400 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26126] ppid=26115 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26126/stat : 26126 (java) S 26115 26115 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119502882 14316269568 87848 18446744073709551615 4194304 4196468 140722102526560 140674816874960 140675274319771 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26127] ppid=26115 vsize=13980732 memory=5788 CPUtime=8.58 cores=0,2,4,6
/proc/26117/task/26127/stat : 26127 (java) S 26115 26115 8563 0 -1 1077944384 41104 0 0 0 854 4 0 0 20 0 15 0 119502882 14316269568 87848 18446744073709551615 4194304 4196468 140722102526560 140674815822064 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26128] ppid=26115 vsize=13980732 memory=1720 CPUtime=8.17 cores=0,2,4,6
/proc/26117/task/26128/stat : 26128 (java) S 26115 26115 8563 0 -1 1077944384 39495 0 0 0 813 4 0 0 20 0 15 0 119502882 14316269568 87848 18446744073709551615 4194304 4196468 140722102526560 140674814769520 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26129] ppid=26115 vsize=13980732 memory=4616 CPUtime=0.93 cores=0,2,4,6
/proc/26117/task/26129/stat : 26129 (java) S 26115 26115 8563 0 -1 1077944384 13089 0 0 0 90 3 0 0 20 0 15 0 119502882 14316269568 87848 18446744073709551615 4194304 4196468 140722102526560 140674813716464 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26130] ppid=26115 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/26117/task/26130/stat : 26130 (java) S 26115 26115 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119502883 14316269568 87848 18446744073709551615 4194304 4196468 140722102526560 140674812664160 140675274311381 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
[pid=26117/tid=26131] ppid=26115 vsize=13980732 memory=-8774313645642428999 CPUtime=0.87 cores=0,2,4,6
/proc/26117/task/26131/stat : 26131 (java) S 26115 26115 8563 0 -1 1077944384 1609 0 0 0 41 46 0 0 20 0 15 0 119502887 14316269568 87848 18446744073709551615 4194304 4196468 140722102526560 140674811612208 140675274312322 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 37253120 140722102530481 140722102530657 140722102530657 140722102534095 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 352772 KiB

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

[startup+2486.41 s]
# the end of solver process 26115 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001889 s, system=0.000123 s

[startup+2486.41 s]
# the end of solver process 26117 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.82 s, system=1.2808 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): 2486.41
CPU time (s): 2520.11
CPU user time (s): 2518.82
CPU system time (s): 1.2808
CPU usage (%): 101.355
Max. virtual memory (cumulated for all children) (KiB): 13993792
Max. memory (cumulated for all children) (KiB): 524432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.82
system time used= 1.2808
maximum resident set size= 523660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188225
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 81615
involuntary context switches= 3699


# summary of solver processes directly reported to runsolver:
#   pid: 26115,26117
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2518.82
#   total CPU system time (s): 1.2808

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.834 second user time and 22.4285 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-19 21:46:16
IDJOB=4283482
IDBENCH=115608
IDSOLVER=2679
FILE ID=node125/4283482-1503172824
RUNJOBID= node125-1503171261-25500
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-050-05-9.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-4283482-1503172824/watcher-4283482-1503172824 -o /tmp/evaluation-result-4283482-1503172824/solver-4283482-1503172824 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503171261-25500 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1160819989 HOME/instance-4283482-1503172824.xml

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

MD5SUM BENCH= b5db2d1209ce62208741c56e17334157
RANDOM SEED=1160819989

node125.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.07
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.07
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.07
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.07
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:        30300408 kB
MemAvailable:   31472052 kB
Buffers:          327172 kB
Cached:          1150944 kB
SwapCached:            0 kB
Active:          1349588 kB
Inactive:         681288 kB
Active(anon):     552840 kB
Inactive(anon):    49484 kB
Active(file):     796748 kB
Inactive(file):   631804 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7716 kB
Writeback:             0 kB
AnonPages:        707772 kB
Mapped:            74476 kB
Shmem:             49828 kB
Slab:             144184 kB
SReclaimable:     117856 kB
SUnreclaim:        26328 kB
KernelStack:        3760 kB
PageTables:         6380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1069520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    624640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node125 at 2017-08-19 22:27:43