Trace number 4272751

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 5a (2017-07-26)? (TO) 2520.1101 2455.72

General information on the benchmark

NameSportsScheduling/SportsScheduling-m1-s1/
SportsScheduling-28.xml
MD5SUMec4845efd826c884e0cb314c730a074b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1162
Number of constraints490
Number of domains2
Minimum domain size28
Maximum domain size378
Distribution of domain sizes[{"size":28,"count":784},{"size":378,"count":378}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":392},{"degree":4,"count":770}]
Minimum constraint arity1
Maximum constraint arity378
Distribution of constraint arities[{"arity":1,"count":14},{"arity":2,"count":14},{"arity":3,"count":378},{"arity":14,"count":27},{"arity":28,"count":28},{"arity":54,"count":14},{"arity":56,"count":14},{"arity":378,"count":1}]
Number of extensional constraints378
Number of intensional constraints28
Distribution of constraint types[{"type":"extension","count":378},{"type":"intension","count":28},{"type":"allDifferent","count":29},{"type":"count","count":27},{"type":"cardinality","count":28}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272751-1502814649.xml"  -tl '2520s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4272751-1502814649.xml, -tl, 2520s, -p, 1, -x, 3]
0.12/0.19	c simple solver
0.34/0.26	c parse instance...
1.36/0.70	c solve instance...
2520.07/2455.71	s UNKNOWN
2520.07/2455.71	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 (13220 MiB free)
  memory of node 1: 16384 MiB (14137 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272751-1502814649/watcher-4272751-1502814649 -o /tmp/evaluation-result-4272751-1502814649/solver-4272751-1502814649 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502793297-5950 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1315490826 HOME/instance-4272751-1502814649.xml 

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

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

solver pid=9227, runsolver pid=9224

[startup+0.100059 s]*
/proc/loadavg: 1.80 1.88 1.88 3/217 9244
/proc/meminfo: memFree=27997364/32770624 swapFree=67108860/67108860
[pid=9227] ppid=9224 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9227/stat : 9227 (xcsp3-exec) S 9224 9227 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114552914 9740288 346 33554432000 4194304 5098028 140737269215504 140737269213608 140165674500732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20283392 140737269220462 140737269220667 140737269220667 140737269223403 0
/proc/9227/statm: 2378 346 289 221 0 87 0
[pid=9229] ppid=9227 vsize=13978596 memory=28380 CPUtime=0.12 cores=1,3,5,7
/proc/9229/stat : 9229 (java) S 9227 9227 5918 0 -1 1077944320 5395 0 0 0 11 1 0 0 20 0 15 0 114552914 14314082304 7095 33554432000 4194304 4196468 140731795878256 140731795860800 140661471469303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
/proc/9229/statm: 3494649 7095 2902 1 0 3482966 0
[pid=9229/tid=9231] ppid=9227 vsize=13978596 memory=8189133601398559579 CPUtime=0.09 cores=1,3,5,7
/proc/9229/task/9231/stat : 9231 (java) R 9227 9227 5918 0 -1 4202560 3324 0 0 0 8 1 0 0 20 0 15 0 114552915 14314082304 7095 33554432000 4194304 4196468 140731795878256 140661475705728 140661471481238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9232] ppid=9227 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9232/stat : 9232 (java) S 9227 9227 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552916 14314082304 7095 33554432000 4194304 4196468 140731795878256 140661401557520 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9233] ppid=9227 vsize=13978596 memory=139813174048384 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9233/stat : 9233 (java) S 9227 9227 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552916 14314082304 7095 33554432000 4194304 4196468 140731795878256 140661400504976 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9234] ppid=9227 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9234/stat : 9234 (java) S 9227 9227 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552916 14314082304 7095 33554432000 4194304 4196468 140731795878256 140661399451920 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9235] ppid=9227 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9235/stat : 9235 (java) S 9227 9227 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552916 14314082304 7095 33554432000 4194304 4196468 140731795878256 140661398399376 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9236] ppid=9227 vsize=13978596 memory=139813174048384 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9236/stat : 9236 (java) S 9227 9227 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552917 14314082304 7095 33554432000 4194304 4196468 140731795878256 140660967570160 140661471480450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9237] ppid=9227 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9237/stat : 9237 (java) S 9227 9227 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114552917 14314082304 7095 33554432000 4194304 4196468 140731795878256 140660966516384 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9238] ppid=9227 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9238/stat : 9238 (java) S 9227 9227 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114552917 14314082304 7095 33554432000 4194304 4196468 140731795878256 140660965463280 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9239] ppid=9227 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9239/stat : 9239 (java) S 9227 9227 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552920 14314082304 7095 33554432000 4194304 4196468 140731795878256 140660964411856 140661471487899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9240] ppid=9227 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9240/stat : 9240 (java) S 9227 9227 5918 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 114552920 14314082304 7095 33554432000 4194304 4196468 140731795878256 140660963358960 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9241] ppid=9227 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9241/stat : 9241 (java) S 9227 9227 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552920 14314082304 7095 33554432000 4194304 4196468 140731795878256 140660962306416 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9242] ppid=9227 vsize=13978596 memory=139813174048384 CPUtime=0.01 cores=1,3,5,7
/proc/9229/task/9242/stat : 9242 (java) R 9227 9227 5918 0 -1 4202560 344 0 0 0 1 0 0 0 20 0 15 0 114552920 14314082304 7095 33554432000 4194304 4196468 140731795878256 140660961253360 140661471490650 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9243] ppid=9227 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9243/stat : 9243 (java) S 9227 9227 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552920 14314082304 7095 33554432000 4194304 4196468 140731795878256 140660960201056 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9244] ppid=9227 vsize=13978596 memory=139813174048384 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9244/stat : 9244 (java) S 9227 9227 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552920 14314082304 7095 33554432000 4194304 4196468 140731795878256 140660959149104 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29764 KiB

[startup+0.210702 s]*
/proc/loadavg: 1.80 1.88 1.88 4/217 9244
/proc/meminfo: memFree=27985820/32770624 swapFree=67108860/67108860
[pid=9227] ppid=9224 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9227/stat : 9227 (xcsp3-exec) S 9224 9227 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114552914 9740288 346 33554432000 4194304 5098028 140737269215504 140737269213608 140165674500732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20283392 140737269220462 140737269220667 140737269220667 140737269223403 0
/proc/9227/statm: 2378 346 289 221 0 87 0
[pid=9229] ppid=9227 vsize=13982852 memory=40328 CPUtime=0.34 cores=1,3,5,7
/proc/9229/stat : 9229 (java) S 9227 9227 5918 0 -1 1077944320 8195 0 0 0 31 3 0 0 20 0 15 0 114552914 14318440448 10082 33554432000 4194304 4196468 140731795878256 140731795860800 140661471469303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
/proc/9229/statm: 3495713 10082 3060 1 0 3482966 0
[pid=9229/tid=9231] ppid=9227 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/9229/task/9231/stat : 9231 (java) R 9227 9227 5918 0 -1 4202560 5380 0 0 0 18 2 0 0 20 0 15 0 114552915 14318440448 10082 33554432000 4194304 4196468 140731795878256 140661475692640 140661471492893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9232] ppid=9227 vsize=13982852 memory=12474 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9232/stat : 9232 (java) S 9227 9227 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552916 14318440448 10082 33554432000 4194304 4196468 140731795878256 140661401557520 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9233] ppid=9227 vsize=13982852 memory=139813174610124 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9233/stat : 9233 (java) S 9227 9227 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552916 14318440448 10082 33554432000 4194304 4196468 140731795878256 140661400504976 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9234] ppid=9227 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9234/stat : 9234 (java) S 9227 9227 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552916 14318440448 10082 33554432000 4194304 4196468 140731795878256 140661399451920 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9235] ppid=9227 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9235/stat : 9235 (java) S 9227 9227 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552916 14318440448 10082 33554432000 4194304 4196468 140731795878256 140661398399376 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9236] ppid=9227 vsize=13982852 memory=139813174048384 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9236/stat : 9236 (java) S 9227 9227 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552917 14318440448 10082 33554432000 4194304 4196468 140731795878256 140660967570160 140661471480450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9237] ppid=9227 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9237/stat : 9237 (java) S 9227 9227 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114552917 14318440448 10082 33554432000 4194304 4196468 140731795878256 140660966516384 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9238] ppid=9227 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9238/stat : 9238 (java) S 9227 9227 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114552917 14318440448 10082 33554432000 4194304 4196468 140731795878256 140660965463280 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9239] ppid=9227 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9239/stat : 9239 (java) S 9227 9227 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552920 14318440448 10082 33554432000 4194304 4196468 140731795878256 140660964411856 140661471487899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9240] ppid=9227 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9229/task/9240/stat : 9240 (java) S 9227 9227 5918 0 -1 1077944384 582 0 0 0 3 0 0 0 20 0 15 0 114552920 14318440448 10082 33554432000 4194304 4196468 140731795878256 140660963358960 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9241] ppid=9227 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9229/task/9241/stat : 9241 (java) S 9227 9227 5918 0 -1 1077944384 201 0 0 0 1 0 0 0 20 0 15 0 114552920 14318440448 10082 33554432000 4194304 4196468 140731795878256 140660962306416 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9242] ppid=9227 vsize=13982852 memory=139813174048384 CPUtime=0.08 cores=1,3,5,7
/proc/9229/task/9242/stat : 9242 (java) S 9227 9227 5918 0 -1 1077944384 728 0 0 0 8 0 0 0 20 0 15 0 114552920 14318440448 10082 33554432000 4194304 4196468 140731795878256 140660961253360 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9243] ppid=9227 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9243/stat : 9243 (java) S 9227 9227 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552920 14318440448 10082 33554432000 4194304 4196468 140731795878256 140660960201056 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9244] ppid=9227 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9244/stat : 9244 (java) S 9227 9227 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552920 14318440448 10082 33554432000 4194304 4196468 140731795878256 140660959149104 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41712 KiB

[startup+0.311846 s]*
/proc/loadavg: 1.80 1.88 1.88 5/217 9244
/proc/meminfo: memFree=27979004/32770624 swapFree=67108860/67108860
[pid=9227] ppid=9224 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9227/stat : 9227 (xcsp3-exec) S 9224 9227 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114552914 9740288 346 33554432000 4194304 5098028 140737269215504 140737269213608 140165674500732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20283392 140737269220462 140737269220667 140737269220667 140737269223403 0
/proc/9227/statm: 2378 346 289 221 0 87 0
[pid=9229] ppid=9227 vsize=13982852 memory=47208 CPUtime=0.52 cores=1,3,5,7
/proc/9229/stat : 9229 (java) S 9227 9227 5918 0 -1 1077944320 9014 0 0 0 49 3 0 0 20 0 15 0 114552914 14318440448 11802 33554432000 4194304 4196468 140731795878256 140731795860800 140661471469303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
/proc/9229/statm: 3495713 11802 3121 1 0 3482966 0
[pid=9229/tid=9231] ppid=9227 vsize=13982852 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/9229/task/9231/stat : 9231 (java) R 9227 9227 5918 0 -1 4202560 5947 0 0 0 27 3 0 0 20 0 15 0 114552915 14318440448 11802 33554432000 4194304 4196468 140731795878256 140661475707104 140661471491229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9232] ppid=9227 vsize=13982852 memory=12804 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9232/stat : 9232 (java) S 9227 9227 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552916 14318440448 11802 33554432000 4194304 4196468 140731795878256 140661401557520 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9233] ppid=9227 vsize=13982852 memory=571526 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9233/stat : 9233 (java) S 9227 9227 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552916 14318440448 11802 33554432000 4194304 4196468 140731795878256 140661400504976 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9234] ppid=9227 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9234/stat : 9234 (java) S 9227 9227 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552916 14318440448 11802 33554432000 4194304 4196468 140731795878256 140661399451920 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9235] ppid=9227 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9235/stat : 9235 (java) S 9227 9227 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552916 14318440448 11802 33554432000 4194304 4196468 140731795878256 140661398399376 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9236] ppid=9227 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9236/stat : 9236 (java) S 9227 9227 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552917 14318440448 11802 33554432000 4194304 4196468 140731795878256 140660967570160 140661471480450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9237] ppid=9227 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9237/stat : 9237 (java) S 9227 9227 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114552917 14318440448 11802 33554432000 4194304 4196468 140731795878256 140660966516384 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9238] ppid=9227 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9238/stat : 9238 (java) S 9227 9227 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114552917 14318440448 11802 33554432000 4194304 4196468 140731795878256 140660965463280 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9239] ppid=9227 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9239/stat : 9239 (java) S 9227 9227 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552920 14318440448 11802 33554432000 4194304 4196468 140731795878256 140660964411856 140661471487899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9240] ppid=9227 vsize=13982852 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9229/task/9240/stat : 9240 (java) R 9227 9227 5918 0 -1 4202560 650 0 0 0 5 0 0 0 20 0 15 0 114552920 14318440448 11802 33554432000 4194304 4196468 140731795878256 140660963358960 140661463758757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9241] ppid=9227 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9229/task/9241/stat : 9241 (java) R 9227 9227 5918 0 -1 1077944384 281 0 0 0 3 0 0 0 20 0 15 0 114552920 14318440448 11802 33554432000 4194304 4196468 140731795878256 140660962306416 140661471480450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9242] ppid=9227 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/9229/task/9242/stat : 9242 (java) R 9227 9227 5918 0 -1 4202560 835 0 0 0 13 0 0 0 20 0 15 0 114552920 14318440448 11802 33554432000 4194304 4196468 140731795878256 140660961250264 140661450052608 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9243] ppid=9227 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9243/stat : 9243 (java) S 9227 9227 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552920 14318440448 11802 33554432000 4194304 4196468 140731795878256 140660960201056 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9244] ppid=9227 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9244/stat : 9244 (java) S 9227 9227 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552920 14318440448 11802 33554432000 4194304 4196468 140731795878256 140660959149104 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48592 KiB

[startup+0.700736 s]
/proc/loadavg: 1.80 1.88 1.88 4/217 9244
/proc/meminfo: memFree=27965728/32770624 swapFree=67108860/67108860
[pid=9227] ppid=9224 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9227/stat : 9227 (xcsp3-exec) S 9224 9227 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114552914 9740288 346 33554432000 4194304 5098028 140737269215504 140737269213608 140165674500732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20283392 140737269220462 140737269220667 140737269220667 140737269223403 0
/proc/9227/statm: 2378 346 289 221 0 87 0
[pid=9229] ppid=9227 vsize=13984976 memory=80356 CPUtime=1.64 cores=1,3,5,7
/proc/9229/stat : 9229 (java) S 9227 9227 5918 0 -1 1077944320 11680 0 0 0 159 5 0 0 20 0 15 0 114552914 14320615424 20089 33554432000 4194304 4196468 140731795878256 140731795860800 140661471469303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
/proc/9229/statm: 3496244 20089 3207 1 0 3483478 0
[pid=9229/tid=9231] ppid=9227 vsize=13984976 memory=4044 CPUtime=0.67 cores=1,3,5,7
/proc/9229/task/9231/stat : 9231 (java) D 9227 9227 5918 0 -1 1077944384 6764 0 0 0 64 3 0 0 20 0 15 0 114552915 14320615424 20089 33554432000 4194304 4196468 140731795878256 140661475679968 140661464148525 0 4 0 16800975 18446744072101617188 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9232] ppid=9227 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9232/stat : 9232 (java) S 9227 9227 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552916 14320615424 20089 33554432000 4194304 4196468 140731795878256 140661401557520 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9233] ppid=9227 vsize=13984976 memory=636 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9233/stat : 9233 (java) S 9227 9227 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552916 14320615424 20089 33554432000 4194304 4196468 140731795878256 140661400504976 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9234] ppid=9227 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9234/stat : 9234 (java) S 9227 9227 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552916 14320615424 20089 33554432000 4194304 4196468 140731795878256 140661399451920 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9235] ppid=9227 vsize=13984976 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9235/stat : 9235 (java) S 9227 9227 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114552916 14320615424 20089 33554432000 4194304 4196468 140731795878256 140661398399376 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9236] ppid=9227 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9236/stat : 9236 (java) S 9227 9227 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114552917 14320615424 20089 33554432000 4194304 4196468 140731795878256 140660967570160 140661471480450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9237] ppid=9227 vsize=13984976 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9237/stat : 9237 (java) S 9227 9227 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114552917 14320615424 20089 33554432000 4194304 4196468 140731795878256 140660966516384 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9238] ppid=9227 vsize=13984976 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9238/stat : 9238 (java) S 9227 9227 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114552917 14320615424 20089 33554432000 4194304 4196468 140731795878256 140660965463280 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9239] ppid=9227 vsize=13984976 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9239/stat : 9239 (java) S 9227 9227 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552920 14320615424 20089 33554432000 4194304 4196468 140731795878256 140660964411856 140661471487899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9240] ppid=9227 vsize=13984976 memory=932 CPUtime=0.3 cores=1,3,5,7
/proc/9229/task/9240/stat : 9240 (java) S 9227 9227 5918 0 -1 1077944384 1152 0 0 0 30 0 0 0 20 0 15 0 114552920 14320615424 20089 33554432000 4194304 4196468 140731795878256 140660963358960 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9241] ppid=9227 vsize=13984976 memory=2200 CPUtime=0.26 cores=1,3,5,7
/proc/9229/task/9241/stat : 9241 (java) S 9227 9227 5918 0 -1 1077944384 816 0 0 0 26 0 0 0 20 0 15 0 114552920 14320615424 20089 33554432000 4194304 4196468 140731795878256 140660962306416 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9242] ppid=9227 vsize=13984976 memory=6504 CPUtime=0.38 cores=1,3,5,7
/proc/9229/task/9242/stat : 9242 (java) S 9227 9227 5918 0 -1 1077944384 1639 0 0 0 38 0 0 0 20 0 15 0 114552920 14320615424 20089 33554432000 4194304 4196468 140731795878256 140660961253360 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9243] ppid=9227 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9243/stat : 9243 (java) S 9227 9227 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552920 14320615424 20089 33554432000 4194304 4196468 140731795878256 140660960201056 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9244] ppid=9227 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9244/stat : 9244 (java) S 9227 9227 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114552920 14320615424 20089 33554432000 4194304 4196468 140731795878256 140660959149104 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 81740 KiB

[startup+1.5008 s]
/proc/loadavg: 1.80 1.88 1.88 5/217 9244
/proc/meminfo: memFree=27939072/32770624 swapFree=67108860/67108860
[pid=9227] ppid=9224 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9227/stat : 9227 (xcsp3-exec) S 9224 9227 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114552914 9740288 346 33554432000 4194304 5098028 140737269215504 140737269213608 140165674500732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20283392 140737269220462 140737269220667 140737269220667 140737269223403 0
/proc/9227/statm: 2378 346 289 221 0 87 0

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

/proc/9229/task/9238/stat : 9238 (java) S 9227 9227 5918 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 114552917 14320615424 276727 33554432000 4194304 4196468 140731795878256 140660965463296 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9239] ppid=9227 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9239/stat : 9239 (java) S 9227 9227 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552920 14320615424 276727 33554432000 4194304 4196468 140731795878256 140660964411856 140661471487899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9240] ppid=9227 vsize=13984976 memory=8112282956445269571 CPUtime=5.33 cores=1,3,5,7
/proc/9229/task/9240/stat : 9240 (java) S 9227 9227 5918 0 -1 1077944384 19549 0 0 0 532 1 0 0 20 0 15 0 114552920 14320615424 276727 33554432000 4194304 4196468 140731795878256 140660963358960 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9241] ppid=9227 vsize=13984976 memory=1118708 CPUtime=5.15 cores=1,3,5,7
/proc/9229/task/9241/stat : 9241 (java) S 9227 9227 5918 0 -1 1077944384 15247 0 0 0 513 2 0 0 20 0 15 0 114552920 14320615424 276727 33554432000 4194304 4196468 140731795878256 140660962306416 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9242] ppid=9227 vsize=13984976 memory=1384 CPUtime=0.97 cores=1,3,5,7
/proc/9229/task/9242/stat : 9242 (java) S 9227 9227 5918 0 -1 1077944384 10321 0 0 0 94 3 0 0 20 0 15 0 114552920 14320615424 276727 33554432000 4194304 4196468 140731795878256 140660961253360 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9243] ppid=9227 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9243/stat : 9243 (java) S 9227 9227 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552920 14320615424 276727 33554432000 4194304 4196468 140731795878256 140660960201056 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9244] ppid=9227 vsize=13984976 memory=1384 CPUtime=1.19 cores=1,3,5,7
/proc/9229/task/9244/stat : 9244 (java) S 9227 9227 5918 0 -1 1077944384 982 0 0 0 57 62 0 0 20 0 15 0 114552920 14320615424 276727 33554432000 4194304 4196468 140731795878256 140660959149104 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
Current children cumulated CPU time: 2445.06 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1108292 KiB

[startup+2442.3 s]
/proc/loadavg: 1.67 1.58 1.53 3/217 10706
/proc/meminfo: memFree=27772248/32770624 swapFree=67108860/67108860
[pid=9227] ppid=9224 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9227/stat : 9227 (xcsp3-exec) S 9224 9227 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114552914 9740288 346 33554432000 4194304 5098028 140737269215504 140737269213608 140165674500732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20283392 140737269220462 140737269220667 140737269220667 140737269223403 0
/proc/9227/statm: 2378 346 289 221 0 87 0
[pid=9229] ppid=9227 vsize=13984976 memory=983104 CPUtime=2506.5 cores=1,3,5,7
/proc/9229/stat : 9229 (java) S 9227 9227 5918 0 -1 1077944320 246425 0 0 0 250022 628 0 0 20 0 15 0 114552914 14320615424 245776 33554432000 4194304 4196468 140731795878256 140731795860800 140661471469303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
/proc/9229/statm: 3496244 245776 3284 1 0 3483478 0
[pid=9229/tid=9231] ppid=9227 vsize=13984976 memory=987208 CPUtime=2423 cores=1,3,5,7
/proc/9229/task/9231/stat : 9231 (java) R 9227 9227 5918 0 -1 4202560 76384 0 0 0 242273 27 0 0 20 0 15 0 114552915 14320615424 245776 33554432000 4194304 4196468 140731795878256 140661475708800 140661076924416 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9232] ppid=9227 vsize=13984976 memory=987208 CPUtime=17.33 cores=1,3,5,7
/proc/9229/task/9232/stat : 9232 (java) S 9227 9227 5918 0 -1 1077944384 19770 0 0 0 1600 133 0 0 20 0 15 0 114552916 14320615424 245776 33554432000 4194304 4196468 140731795878256 140661401557520 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9233] ppid=9227 vsize=13984976 memory=999632 CPUtime=17.31 cores=1,3,5,7
/proc/9229/task/9233/stat : 9233 (java) S 9227 9227 5918 0 -1 1077944384 17994 0 0 0 1598 133 0 0 20 0 15 0 114552916 14320615424 245776 33554432000 4194304 4196468 140731795878256 140661400504976 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9234] ppid=9227 vsize=13984976 memory=1009892 CPUtime=17.26 cores=1,3,5,7
/proc/9229/task/9234/stat : 9234 (java) S 9227 9227 5918 0 -1 1077944384 17699 0 0 0 1590 136 0 0 20 0 15 0 114552916 14320615424 245776 33554432000 4194304 4196468 140731795878256 140661399451920 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9235] ppid=9227 vsize=13984976 memory=995528 CPUtime=17.31 cores=1,3,5,7
/proc/9229/task/9235/stat : 9235 (java) S 9227 9227 5918 0 -1 1077944384 16067 0 0 0 1600 131 0 0 20 0 15 0 114552916 14320615424 245776 33554432000 4194304 4196468 140731795878256 140661398399376 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9236] ppid=9227 vsize=13984976 memory=984644 CPUtime=1.36 cores=1,3,5,7
/proc/9229/task/9236/stat : 9236 (java) S 9227 9227 5918 0 -1 1077944384 50658 0 0 0 117 19 0 0 20 0 15 0 114552917 14320615424 245776 33554432000 4194304 4196468 140731795878256 140660967570160 140661471480450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9237] ppid=9227 vsize=13984976 memory=983104 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9237/stat : 9237 (java) S 9227 9227 5918 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 114552917 14320615424 245776 33554432000 4194304 4196468 140731795878256 140660966516448 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9238] ppid=9227 vsize=13984976 memory=983104 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9238/stat : 9238 (java) S 9227 9227 5918 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 114552917 14320615424 245776 33554432000 4194304 4196468 140731795878256 140660965463296 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9239] ppid=9227 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9239/stat : 9239 (java) S 9227 9227 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552920 14320615424 245776 33554432000 4194304 4196468 140731795878256 140660964411856 140661471487899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9240] ppid=9227 vsize=13984976 memory=1384 CPUtime=5.51 cores=1,3,5,7
/proc/9229/task/9240/stat : 9240 (java) S 9227 9227 5918 0 -1 1077944384 19876 0 0 0 550 1 0 0 20 0 15 0 114552920 14320615424 245776 33554432000 4194304 4196468 140731795878256 140660963358960 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9241] ppid=9227 vsize=13984976 memory=1037084 CPUtime=5.15 cores=1,3,5,7
/proc/9229/task/9241/stat : 9241 (java) S 9227 9227 5918 0 -1 1077944384 15249 0 0 0 513 2 0 0 20 0 15 0 114552920 14320615424 245776 33554432000 4194304 4196468 140731795878256 140660962306416 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9242] ppid=9227 vsize=13984976 memory=1384 CPUtime=0.97 cores=1,3,5,7
/proc/9229/task/9242/stat : 9242 (java) S 9227 9227 5918 0 -1 1077944384 10397 0 0 0 94 3 0 0 20 0 15 0 114552920 14320615424 245776 33554432000 4194304 4196468 140731795878256 140660961253360 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9243] ppid=9227 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9243/stat : 9243 (java) S 9227 9227 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552920 14320615424 245776 33554432000 4194304 4196468 140731795878256 140660960201056 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9244] ppid=9227 vsize=13984976 memory=288230574492221466 CPUtime=1.22 cores=1,3,5,7
/proc/9229/task/9244/stat : 9244 (java) S 9227 9227 5918 0 -1 1077944384 989 0 0 0 59 63 0 0 20 0 15 0 114552920 14320615424 245776 33554432000 4194304 4196468 140731795878256 140660959149104 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
Current children cumulated CPU time: 2506.5 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 984488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2455.7 s]
/proc/loadavg: 1.80 1.61 1.54 3/217 10706
/proc/meminfo: memFree=27790368/32770624 swapFree=67108860/67108860
[pid=9227] ppid=9224 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9227/stat : 9227 (xcsp3-exec) S 9224 9227 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114552914 9740288 346 33554432000 4194304 5098028 140737269215504 140737269213608 140165674500732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20283392 140737269220462 140737269220667 140737269220667 140737269223403 0
/proc/9227/statm: 2378 346 289 221 0 87 0
[pid=9229] ppid=9227 vsize=13984976 memory=965236 CPUtime=2520.07 cores=1,3,5,7
/proc/9229/stat : 9229 (java) S 9227 9227 5918 0 -1 1077944320 247023 0 0 0 251378 629 0 0 20 0 15 0 114552914 14320615424 241309 33554432000 4194304 4196468 140731795878256 140731795860800 140661471469303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
/proc/9229/statm: 3496244 241309 3284 1 0 3483478 0
[pid=9229/tid=9231] ppid=9227 vsize=13984976 memory=965236 CPUtime=2436.34 cores=1,3,5,7
/proc/9229/task/9231/stat : 9231 (java) R 9227 9227 5918 0 -1 4202560 76600 0 0 0 243607 27 0 0 20 0 15 0 114552915 14320615424 241309 33554432000 4194304 4196468 140731795878256 140661475708624 140661078152518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9232] ppid=9227 vsize=13984976 memory=965236 CPUtime=17.38 cores=1,3,5,7
/proc/9229/task/9232/stat : 9232 (java) S 9227 9227 5918 0 -1 1077944384 19782 0 0 0 1605 133 0 0 20 0 15 0 114552916 14320615424 241309 33554432000 4194304 4196468 140731795878256 140661401557520 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9233] ppid=9227 vsize=13984976 memory=966264 CPUtime=17.36 cores=1,3,5,7
/proc/9229/task/9233/stat : 9233 (java) S 9227 9227 5918 0 -1 1077944384 18157 0 0 0 1603 133 0 0 20 0 15 0 114552916 14320615424 241309 33554432000 4194304 4196468 140731795878256 140661400504976 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9234] ppid=9227 vsize=13984976 memory=974472 CPUtime=17.32 cores=1,3,5,7
/proc/9229/task/9234/stat : 9234 (java) S 9227 9227 5918 0 -1 1077944384 17717 0 0 0 1596 136 0 0 20 0 15 0 114552916 14320615424 241309 33554432000 4194304 4196468 140731795878256 140661399451920 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9235] ppid=9227 vsize=13984976 memory=984644 CPUtime=17.36 cores=1,3,5,7
/proc/9229/task/9235/stat : 9235 (java) S 9227 9227 5918 0 -1 1077944384 16078 0 0 0 1605 131 0 0 20 0 15 0 114552916 14320615424 241309 33554432000 4194304 4196468 140731795878256 140661398399376 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9236] ppid=9227 vsize=13984976 memory=995528 CPUtime=1.36 cores=1,3,5,7
/proc/9229/task/9236/stat : 9236 (java) S 9227 9227 5918 0 -1 1077944384 50818 0 0 0 117 19 0 0 20 0 15 0 114552917 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660967570160 140661471480450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9237] ppid=9227 vsize=13984976 memory=1009892 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9237/stat : 9237 (java) S 9227 9227 5918 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 114552917 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660966516448 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9238] ppid=9227 vsize=13984976 memory=966264 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9238/stat : 9238 (java) S 9227 9227 5918 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 114552917 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660965463296 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9239] ppid=9227 vsize=13984976 memory=965236 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9239/stat : 9239 (java) S 9227 9227 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552920 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660964411856 140661471487899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9240] ppid=9227 vsize=13984976 memory=1384 CPUtime=5.51 cores=1,3,5,7
/proc/9229/task/9240/stat : 9240 (java) S 9227 9227 5918 0 -1 1077944384 19876 0 0 0 550 1 0 0 20 0 15 0 114552920 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660963358960 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9241] ppid=9227 vsize=13984976 memory=1037084 CPUtime=5.15 cores=1,3,5,7
/proc/9229/task/9241/stat : 9241 (java) S 9227 9227 5918 0 -1 1077944384 15249 0 0 0 513 2 0 0 20 0 15 0 114552920 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660962306416 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9242] ppid=9227 vsize=13984976 memory=1384 CPUtime=0.97 cores=1,3,5,7
/proc/9229/task/9242/stat : 9242 (java) S 9227 9227 5918 0 -1 1077944384 10397 0 0 0 94 3 0 0 20 0 15 0 114552920 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660961253360 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9243] ppid=9227 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9243/stat : 9243 (java) S 9227 9227 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552920 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660960201056 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9244] ppid=9227 vsize=13984976 memory=1384 CPUtime=1.23 cores=1,3,5,7
/proc/9229/task/9244/stat : 9244 (java) S 9227 9227 5918 0 -1 1077944384 1007 0 0 0 59 64 0 0 20 0 15 0 114552920 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660959149104 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 966620 KiB

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

[startup+2455.71 s]
# the end of solver process 9227 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001913 s

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

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

[startup+2455.7 s]
/proc/loadavg: 1.80 1.61 1.54 3/217 10706
/proc/meminfo: memFree=27790368/32770624 swapFree=67108860/67108860
[pid=9227] ppid=9224 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9227/stat : 9227 (xcsp3-exec) S 9224 9227 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114552914 9740288 346 33554432000 4194304 5098028 140737269215504 140737269213608 140165674500732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20283392 140737269220462 140737269220667 140737269220667 140737269223403 0
/proc/9227/statm: 2378 346 289 221 0 87 0
[pid=9229] ppid=9227 vsize=13984976 memory=965236 CPUtime=2520.07 cores=1,3,5,7
/proc/9229/stat : 9229 (java) S 9227 9227 5918 0 -1 1077944320 247023 0 0 0 251378 629 0 0 20 0 15 0 114552914 14320615424 241309 33554432000 4194304 4196468 140731795878256 140731795860800 140661471469303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
/proc/9229/statm: 3496244 241309 3284 1 0 3483478 0
[pid=9229/tid=9231] ppid=9227 vsize=13984976 memory=965236 CPUtime=2436.34 cores=1,3,5,7
/proc/9229/task/9231/stat : 9231 (java) R 9227 9227 5918 0 -1 4202560 76600 0 0 0 243607 27 0 0 20 0 15 0 114552915 14320615424 241309 33554432000 4194304 4196468 140731795878256 140661475708624 140661078152518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9232] ppid=9227 vsize=13984976 memory=965236 CPUtime=17.38 cores=1,3,5,7
/proc/9229/task/9232/stat : 9232 (java) S 9227 9227 5918 0 -1 1077944384 19782 0 0 0 1605 133 0 0 20 0 15 0 114552916 14320615424 241309 33554432000 4194304 4196468 140731795878256 140661401557520 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9233] ppid=9227 vsize=13984976 memory=966264 CPUtime=17.36 cores=1,3,5,7
/proc/9229/task/9233/stat : 9233 (java) S 9227 9227 5918 0 -1 1077944384 18157 0 0 0 1603 133 0 0 20 0 15 0 114552916 14320615424 241309 33554432000 4194304 4196468 140731795878256 140661400504976 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9234] ppid=9227 vsize=13984976 memory=974472 CPUtime=17.32 cores=1,3,5,7
/proc/9229/task/9234/stat : 9234 (java) S 9227 9227 5918 0 -1 1077944384 17717 0 0 0 1596 136 0 0 20 0 15 0 114552916 14320615424 241309 33554432000 4194304 4196468 140731795878256 140661399451920 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9235] ppid=9227 vsize=13984976 memory=984644 CPUtime=17.36 cores=1,3,5,7
/proc/9229/task/9235/stat : 9235 (java) S 9227 9227 5918 0 -1 1077944384 16078 0 0 0 1605 131 0 0 20 0 15 0 114552916 14320615424 241309 33554432000 4194304 4196468 140731795878256 140661398399376 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9236] ppid=9227 vsize=13984976 memory=995528 CPUtime=1.36 cores=1,3,5,7
/proc/9229/task/9236/stat : 9236 (java) S 9227 9227 5918 0 -1 1077944384 50818 0 0 0 117 19 0 0 20 0 15 0 114552917 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660967570160 140661471480450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9237] ppid=9227 vsize=13984976 memory=1009892 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9237/stat : 9237 (java) S 9227 9227 5918 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 114552917 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660966516448 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9238] ppid=9227 vsize=13984976 memory=966264 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9238/stat : 9238 (java) S 9227 9227 5918 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 114552917 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660965463296 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9239] ppid=9227 vsize=13984976 memory=965236 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9239/stat : 9239 (java) S 9227 9227 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552920 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660964411856 140661471487899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9240] ppid=9227 vsize=13984976 memory=1384 CPUtime=5.51 cores=1,3,5,7
/proc/9229/task/9240/stat : 9240 (java) S 9227 9227 5918 0 -1 1077944384 19876 0 0 0 550 1 0 0 20 0 15 0 114552920 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660963358960 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9241] ppid=9227 vsize=13984976 memory=1037084 CPUtime=5.15 cores=1,3,5,7
/proc/9229/task/9241/stat : 9241 (java) S 9227 9227 5918 0 -1 1077944384 15249 0 0 0 513 2 0 0 20 0 15 0 114552920 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660962306416 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9242] ppid=9227 vsize=13984976 memory=1384 CPUtime=0.97 cores=1,3,5,7
/proc/9229/task/9242/stat : 9242 (java) S 9227 9227 5918 0 -1 1077944384 10397 0 0 0 94 3 0 0 20 0 15 0 114552920 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660961253360 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9243] ppid=9227 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9229/task/9243/stat : 9243 (java) S 9227 9227 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114552920 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660960201056 140661471479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
[pid=9229/tid=9244] ppid=9227 vsize=13984976 memory=1384 CPUtime=1.23 cores=1,3,5,7
/proc/9229/task/9244/stat : 9244 (java) S 9227 9227 5918 0 -1 1077944384 1007 0 0 0 59 64 0 0 20 0 15 0 114552920 14320615424 241309 33554432000 4194304 4196468 140731795878256 140660959149104 140661471480450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16396288 140731795883159 140731795883335 140731795883335 140731795886031 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 966620 KiB

Child status: 143
Real time (s): 2455.72
CPU time (s): 2520.11
CPU user time (s): 2513.81
CPU system time (s): 6.30203
CPU usage (%): 102.622
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 1335012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.81
system time used= 6.30203
maximum resident set size= 1337780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247808
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70776
involuntary context switches= 2670


# summary of solver processes directly reported to runsolver:
#   pid: 9227,9229
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2513.81
#   total CPU system time (s): 6.30203

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0912 second user time and 19.3703 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-15 18:16:30
IDJOB=4272751
IDBENCH=133924
IDSOLVER=2664
FILE ID=node107/4272751-1502814649
RUNJOBID= node107-1502793297-5950
PBS_JOBID= 20629130
Free space on /tmp= 61656 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-28.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-4272751-1502814649/watcher-4272751-1502814649 -o /tmp/evaluation-result-4272751-1502814649/solver-4272751-1502814649 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502793297-5950 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1315490826 HOME/instance-4272751-1502814649.xml

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

MD5SUM BENCH= ec4845efd826c884e0cb314c730a074b
RANDOM SEED=1315490826

node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28014836 kB
MemAvailable:   30946388 kB
Buffers:          226760 kB
Cached:          2991844 kB
SwapCached:            0 kB
Active:          1621068 kB
Inactive:        2689348 kB
Active(anon):    1094724 kB
Inactive(anon):    24972 kB
Active(file):     526344 kB
Inactive(file):  2664376 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7808 kB
Writeback:             4 kB
AnonPages:       1097800 kB
Mapped:            58384 kB
Shmem:             25228 kB
Slab:             139608 kB
SReclaimable:     113336 kB
SUnreclaim:        26272 kB
KernelStack:        3504 kB
PageTables:         8048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1663272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1024000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61648 MiB
End job on node107 at 2017-08-15 18:57:26