Trace number 4284600

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) 247.8 240.035

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-46.xml
MD5SUM6af071621bab6d4e45a1e2acc37440b7
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark240.04201
Satisfiable
(Un)Satisfiability was proved
Number of variables2116
Number of constraints15180
Number of domains1
Minimum domain size1035
Maximum domain size1035
Distribution of domain sizes[{"size":1035,"count":1035}]
Minimum variable degree0
Maximum variable degree45
Distribution of variable degrees[{"degree":0,"count":1081},{"degree":45,"count":1035}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":15180}]
Number of extensional constraints0
Number of intensional constraints15180
Distribution of constraint types[{"type":"intension","count":15180}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284600-1503216108.xml"  -tl '264s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4284600-1503216108.xml, -tl, 264s, -p, 1, -x, 3]
0.12/0.20	c simple solver
0.34/0.26	c parse instance...
4.90/1.76	c solve instance...
247.76/240.01	s UNKNOWN
247.76/240.01	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12495 MiB free)
  memory of node 1: 16384 MiB (11460 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284600-1503216108/watcher-4284600-1503216108 -o /tmp/evaluation-result-4284600-1503216108/solver-4284600-1503216108 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503208953-13389 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 429256627 HOME/instance-4284600-1503216108.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=18948, runsolver pid=18945


[startup+0.100127 s]*
/proc/loadavg: 1.39 1.73 1.83 4/218 18964
/proc/meminfo: memFree=24514012/32770624 swapFree=67108860/67108860
[pid=18948] ppid=18945 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18948/stat : 18948 (xcsp3-exec) S 18945 18948 13358 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154698435 9740288 345 33554432000 4194304 5098028 140728971815680 140728971813784 140382331761276 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30056448 140728971818101 140728971818304 140728971818304 140728971821035 0
/proc/18948/statm: 2378 345 289 221 0 87 0
[pid=18950] ppid=18948 vsize=13978596 memory=27868 CPUtime=0.12 cores=0,2,4,6
/proc/18950/stat : 18950 (java) S 18948 18948 13358 0 -1 1077944320 5322 0 0 0 11 1 0 0 20 0 15 0 154698435 14314082304 6967 33554432000 4194304 4196468 140722872434144 140722872416688 140091493060343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
/proc/18950/statm: 3494649 6967 2882 1 0 3482966 0
[pid=18950/tid=18951] ppid=18948 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/18950/task/18951/stat : 18951 (java) R 18948 18948 13358 0 -1 4202560 3326 0 0 0 8 1 0 0 20 0 15 0 154698436 14314082304 6967 33554432000 4194304 4196468 140722872434144 140091497293696 140091493072278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18952] ppid=18948 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18952/stat : 18952 (java) S 18948 18948 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154698436 14314082304 6967 33554432000 4194304 4196468 140722872434144 140091445680528 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18953] ppid=18948 vsize=13978596 memory=139796081804928 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18953/stat : 18953 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698436 14314082304 6967 33554432000 4194304 4196468 140722872434144 140091444627728 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18954] ppid=18948 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18954/stat : 18954 (java) S 18948 18948 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154698436 14314082304 7032 33554432000 4194304 4196468 140722872434144 140091443575440 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18955] ppid=18948 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18955/stat : 18955 (java) S 18948 18948 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154698437 14314082304 7032 33554432000 4194304 4196468 140722872434144 140091442522640 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18956] ppid=18948 vsize=13978596 memory=139796081804928 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18956/stat : 18956 (java) S 18948 18948 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154698438 14314082304 7032 33554432000 4194304 4196468 140722872434144 140091034471024 140091493071490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18957] ppid=18948 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18957/stat : 18957 (java) S 18948 18948 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154698438 14314082304 7032 33554432000 4194304 4196468 140722872434144 140091033416992 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18958] ppid=18948 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18958/stat : 18958 (java) S 18948 18948 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154698438 14314082304 7032 33554432000 4194304 4196468 140722872434144 140091032364656 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18959] ppid=18948 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18959/stat : 18959 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698441 14314082304 7032 33554432000 4194304 4196468 140722872434144 140091031312976 140091493078939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18960] ppid=18948 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18960/stat : 18960 (java) S 18948 18948 13358 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 154698441 14314082304 7032 33554432000 4194304 4196468 140722872434144 140091030259824 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18961] ppid=18948 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18961/stat : 18961 (java) S 18948 18948 13358 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 15 0 154698441 14314082304 7032 33554432000 4194304 4196468 140722872434144 140090961553392 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18962] ppid=18948 vsize=13978596 memory=139796081804928 CPUtime=0.01 cores=0,2,4,6
/proc/18950/task/18962/stat : 18962 (java) R 18948 18948 13358 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 15 0 154698441 14314082304 7032 33554432000 4194304 4196468 140722872434144 140090960501104 140091472080052 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18963] ppid=18948 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18963/stat : 18963 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698441 14314082304 7032 33554432000 4194304 4196468 140722872434144 140090959448544 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18964] ppid=18948 vsize=13978596 memory=139796081804928 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18964/stat : 18964 (java) S 18948 18948 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154698441 14314082304 7032 33554432000 4194304 4196468 140722872434144 140090958396336 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29248 KiB

[startup+0.2107 s]*
/proc/loadavg: 1.39 1.73 1.83 3/218 18964
/proc/meminfo: memFree=24502600/32770624 swapFree=67108860/67108860
[pid=18948] ppid=18945 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18948/stat : 18948 (xcsp3-exec) S 18945 18948 13358 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154698435 9740288 345 33554432000 4194304 5098028 140728971815680 140728971813784 140382331761276 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30056448 140728971818101 140728971818304 140728971818304 140728971821035 0
/proc/18948/statm: 2378 345 289 221 0 87 0
[pid=18950] ppid=18948 vsize=13982852 memory=40388 CPUtime=0.34 cores=0,2,4,6
/proc/18950/stat : 18950 (java) S 18948 18948 13358 0 -1 1077944320 8105 0 0 0 32 2 0 0 20 0 15 0 154698435 14318440448 10097 33554432000 4194304 4196468 140722872434144 140722872416688 140091493060343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
/proc/18950/statm: 3495713 10097 3066 1 0 3482966 0
[pid=18950/tid=18951] ppid=18948 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/18950/task/18951/stat : 18951 (java) D 18948 18948 13358 0 -1 1077944384 5294 0 0 0 18 1 0 0 20 0 15 0 154698436 14318440448 10118 33554432000 4194304 4196468 140722872434144 140091497271136 140091485739565 0 4 0 16800975 18446744072101625380 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18952] ppid=18948 vsize=13982852 memory=2898 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18952/stat : 18952 (java) S 18948 18948 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154698436 14318440448 10118 33554432000 4194304 4196468 140722872434144 140091445680528 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18953] ppid=18948 vsize=13982852 memory=3545095246269384352 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18953/stat : 18953 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698436 14318440448 10118 33554432000 4194304 4196468 140722872434144 140091444627728 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18954] ppid=18948 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18954/stat : 18954 (java) S 18948 18948 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154698436 14318440448 10118 33554432000 4194304 4196468 140722872434144 140091443575440 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18955] ppid=18948 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18955/stat : 18955 (java) S 18948 18948 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154698437 14318473216 10118 33554432000 4194304 4196468 140722872434144 140091442522640 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18956] ppid=18948 vsize=13982884 memory=139796081804928 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18956/stat : 18956 (java) S 18948 18948 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154698438 14318473216 10118 33554432000 4194304 4196468 140722872434144 140091034471024 140091493071490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18957] ppid=18948 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18957/stat : 18957 (java) S 18948 18948 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154698438 14318440448 10118 33554432000 4194304 4196468 140722872434144 140091033416992 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18958] ppid=18948 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18958/stat : 18958 (java) S 18948 18948 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154698438 14318440448 10118 33554432000 4194304 4196468 140722872434144 140091032364656 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18959] ppid=18948 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18959/stat : 18959 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698441 14318440448 10118 33554432000 4194304 4196468 140722872434144 140091031312976 140091493078939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18960] ppid=18948 vsize=13982852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18950/task/18960/stat : 18960 (java) S 18948 18948 13358 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 15 0 154698441 14318440448 10118 33554432000 4194304 4196468 140722872434144 140091030259824 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18961] ppid=18948 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/18950/task/18961/stat : 18961 (java) S 18948 18948 13358 0 -1 1077944384 400 0 0 0 3 0 0 0 20 0 15 0 154698441 14318440448 10118 33554432000 4194304 4196468 140722872434144 140090961553392 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18962] ppid=18948 vsize=13982884 memory=139796081804928 CPUtime=0.08 cores=0,2,4,6
/proc/18950/task/18962/stat : 18962 (java) S 18948 18948 13358 0 -1 1077944384 750 0 0 0 8 0 0 0 20 0 15 0 154698441 14318473216 10118 33554432000 4194304 4196468 140722872434144 140090960501104 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18963] ppid=18948 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18963/stat : 18963 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698441 14318473216 10118 33554432000 4194304 4196468 140722872434144 140090959448544 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18964] ppid=18948 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18964/stat : 18964 (java) S 18948 18948 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154698441 14318440448 10118 33554432000 4194304 4196468 140722872434144 140090958396336 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41768 KiB

[startup+0.31049 s]*
/proc/loadavg: 1.39 1.73 1.83 4/218 18964
/proc/meminfo: memFree=24496148/32770624 swapFree=67108860/67108860
[pid=18948] ppid=18945 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18948/stat : 18948 (xcsp3-exec) S 18945 18948 13358 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154698435 9740288 345 33554432000 4194304 5098028 140728971815680 140728971813784 140382331761276 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30056448 140728971818101 140728971818304 140728971818304 140728971821035 0
/proc/18948/statm: 2378 345 289 221 0 87 0
[pid=18950] ppid=18948 vsize=13982852 memory=47316 CPUtime=0.51 cores=0,2,4,6
/proc/18950/stat : 18950 (java) S 18948 18948 13358 0 -1 1077944320 8988 0 0 0 49 2 0 0 20 0 15 0 154698435 14318440448 11829 33554432000 4194304 4196468 140722872434144 140722872416688 140091493060343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
/proc/18950/statm: 3495713 11829 3088 1 0 3482966 0
[pid=18950/tid=18951] ppid=18948 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/18950/task/18951/stat : 18951 (java) R 18948 18948 13358 0 -1 4202560 5940 0 0 0 28 2 0 0 20 0 15 0 154698436 14318440448 11829 33554432000 4194304 4196468 140722872434144 140091497299680 140091477140830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18952] ppid=18948 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18952/stat : 18952 (java) S 18948 18948 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154698436 14318440448 11829 33554432000 4194304 4196468 140722872434144 140091445680528 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18953] ppid=18948 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18953/stat : 18953 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698436 14318440448 11829 33554432000 4194304 4196468 140722872434144 140091444627728 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18954] ppid=18948 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18954/stat : 18954 (java) S 18948 18948 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154698436 14318440448 11829 33554432000 4194304 4196468 140722872434144 140091443575440 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18955] ppid=18948 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18955/stat : 18955 (java) S 18948 18948 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154698437 14318440448 11829 33554432000 4194304 4196468 140722872434144 140091442522640 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18956] ppid=18948 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18956/stat : 18956 (java) S 18948 18948 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154698438 14318440448 11829 33554432000 4194304 4196468 140722872434144 140091034471024 140091493071490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18957] ppid=18948 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18957/stat : 18957 (java) S 18948 18948 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154698438 14318440448 11829 33554432000 4194304 4196468 140722872434144 140091033416992 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18958] ppid=18948 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18958/stat : 18958 (java) S 18948 18948 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154698438 14318440448 11829 33554432000 4194304 4196468 140722872434144 140091032364656 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18959] ppid=18948 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18959/stat : 18959 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698441 14318440448 11829 33554432000 4194304 4196468 140722872434144 140091031312976 140091493078939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18960] ppid=18948 vsize=13982852 memory=4713750055892520310 CPUtime=0.02 cores=0,2,4,6
/proc/18950/task/18960/stat : 18960 (java) R 18948 18948 13358 0 -1 4202560 385 0 0 0 2 0 0 0 20 0 15 0 154698441 14318440448 11829 33554432000 4194304 4196468 140722872434144 140091030259824 140091473224303 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18961] ppid=18948 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/18950/task/18961/stat : 18961 (java) R 18948 18948 13358 0 -1 1077944384 472 0 0 0 4 0 0 0 20 0 15 0 154698441 14318440448 11829 33554432000 4194304 4196468 140722872434144 140090961553392 140091493071490 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18962] ppid=18948 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/18950/task/18962/stat : 18962 (java) R 18948 18948 13358 0 -1 4202560 891 0 0 0 13 0 0 0 20 0 15 0 154698441 14318440448 11829 33554432000 4194304 4196468 140722872434144 140090960501104 140091485297470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18963] ppid=18948 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18963/stat : 18963 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698441 14318440448 11829 33554432000 4194304 4196468 140722872434144 140090959448544 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18964] ppid=18948 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18964/stat : 18964 (java) S 18948 18948 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154698441 14318440448 11829 33554432000 4194304 4196468 140722872434144 140090958396336 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48696 KiB

[startup+0.701742 s]
/proc/loadavg: 1.39 1.73 1.83 6/218 18964
/proc/meminfo: memFree=24470120/32770624 swapFree=67108860/67108860
[pid=18948] ppid=18945 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18948/stat : 18948 (xcsp3-exec) S 18945 18948 13358 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154698435 9740288 345 33554432000 4194304 5098028 140728971815680 140728971813784 140382331761276 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30056448 140728971818101 140728971818304 140728971818304 140728971821035 0
/proc/18948/statm: 2378 345 289 221 0 87 0
[pid=18950] ppid=18948 vsize=13982928 memory=142676 CPUtime=1.75 cores=0,2,4,6
/proc/18950/stat : 18950 (java) S 18948 18948 13358 0 -1 1077944320 12388 0 0 0 170 5 0 0 20 0 15 0 154698435 14318518272 35669 33554432000 4194304 4196468 140722872434144 140722872416688 140091493060343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
/proc/18950/statm: 3495732 35669 3195 1 0 3482966 0
[pid=18950/tid=18951] ppid=18948 vsize=13982928 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/18950/task/18951/stat : 18951 (java) R 18948 18948 13358 0 -1 4202560 6261 0 0 0 64 3 0 0 20 0 15 0 154698436 14318518272 35669 33554432000 4194304 4196468 140722872434144 140091497293584 140091112872992 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18952] ppid=18948 vsize=13982928 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18952/stat : 18952 (java) S 18948 18948 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154698436 14318518272 35669 33554432000 4194304 4196468 140722872434144 140091445680528 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18953] ppid=18948 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18953/stat : 18953 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698436 14318518272 35669 33554432000 4194304 4196468 140722872434144 140091444627728 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18954] ppid=18948 vsize=13982928 memory=43084 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18954/stat : 18954 (java) S 18948 18948 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154698436 14318518272 35669 33554432000 4194304 4196468 140722872434144 140091443575440 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18955] ppid=18948 vsize=13982928 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18955/stat : 18955 (java) S 18948 18948 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154698437 14318518272 35669 33554432000 4194304 4196468 140722872434144 140091442522640 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18956] ppid=18948 vsize=13982928 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18956/stat : 18956 (java) S 18948 18948 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154698438 14318518272 35669 33554432000 4194304 4196468 140722872434144 140091034471024 140091493071490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18957] ppid=18948 vsize=13982928 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18957/stat : 18957 (java) S 18948 18948 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154698438 14318518272 35669 33554432000 4194304 4196468 140722872434144 140091033416992 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18958] ppid=18948 vsize=13982928 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18958/stat : 18958 (java) S 18948 18948 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154698438 14318518272 35669 33554432000 4194304 4196468 140722872434144 140091032364656 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18959] ppid=18948 vsize=13982928 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18959/stat : 18959 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698441 14318518272 35669 33554432000 4194304 4196468 140722872434144 140091031312976 140091493078939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18960] ppid=18948 vsize=13982928 memory=796 CPUtime=0.38 cores=0,2,4,6
/proc/18950/task/18960/stat : 18960 (java) R 18948 18948 13358 0 -1 4202560 1570 0 0 0 38 0 0 0 20 0 15 0 154698441 14318518272 35669 33554432000 4194304 4196468 140722872434144 140091030251472 140091473756143 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18961] ppid=18948 vsize=13982928 memory=10088 CPUtime=0.38 cores=0,2,4,6
/proc/18950/task/18961/stat : 18961 (java) R 18948 18948 13358 0 -1 4202560 1673 0 0 0 38 0 0 0 20 0 15 0 154698441 14318518272 35669 33554432000 4194304 4196468 140722872434144 140090961534592 140091477960828 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18962] ppid=18948 vsize=13982928 memory=1948 CPUtime=0.27 cores=0,2,4,6
/proc/18950/task/18962/stat : 18962 (java) S 18948 18948 13358 0 -1 1077944384 1576 0 0 0 27 0 0 0 20 0 15 0 154698441 14318518272 35669 33554432000 4194304 4196468 140722872434144 140090960501104 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18963] ppid=18948 vsize=13982928 memory=8584 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18963/stat : 18963 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698441 14318518272 35669 33554432000 4194304 4196468 140722872434144 140090959448544 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18964] ppid=18948 vsize=13982928 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18964/stat : 18964 (java) S 18948 18948 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154698441 14318518272 35669 33554432000 4194304 4196468 140722872434144 140090958396336 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 144056 KiB

[startup+1.50174 s]
/proc/loadavg: 1.39 1.73 1.83 5/218 18964
/proc/meminfo: memFree=24348240/32770624 swapFree=67108860/67108860
[pid=18948] ppid=18945 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18948/stat : 18948 (xcsp3-exec) S 18945 18948 13358 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154698435 9740288 345 33554432000 4194304 5098028 140728971815680 140728971813784 140382331761276 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30056448 140728971818101 140728971818304 140728971818304 140728971821035 0
/proc/18948/statm: 2378 345 289 221 0 87 0

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

/proc/18950/task/18958/stat : 18958 (java) S 18948 18948 13358 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154698438 14320615424 551142 33554432000 4194304 4196468 140722872434144 140091032364672 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18959] ppid=18948 vsize=13984976 memory=288370014967565085 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18959/stat : 18959 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698441 14320615424 551142 33554432000 4194304 4196468 140722872434144 140091031312976 140091493078939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18960] ppid=18948 vsize=13984976 memory=1380 CPUtime=1.57 cores=0,2,4,6
/proc/18950/task/18960/stat : 18960 (java) S 18948 18948 13358 0 -1 1077944384 5318 0 0 0 156 1 0 0 20 0 15 0 154698441 14320615424 551142 33554432000 4194304 4196468 140722872434144 140091030259824 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18961] ppid=18948 vsize=13984976 memory=1992688 CPUtime=1.53 cores=0,2,4,6
/proc/18950/task/18961/stat : 18961 (java) S 18948 18948 13358 0 -1 1077944384 5442 0 0 0 152 1 0 0 20 0 15 0 154698441 14320615424 551142 33554432000 4194304 4196468 140722872434144 140090961553392 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18962] ppid=18948 vsize=13984976 memory=1160 CPUtime=0.64 cores=0,2,4,6
/proc/18950/task/18962/stat : 18962 (java) S 18948 18948 13358 0 -1 1077944384 3548 0 0 0 63 1 0 0 20 0 15 0 154698441 14320615424 551142 33554432000 4194304 4196468 140722872434144 140090960501104 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18963] ppid=18948 vsize=13984976 memory=1837 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18963/stat : 18963 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698441 14320615424 551142 33554432000 4194304 4196468 140722872434144 140090959448544 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18964] ppid=18948 vsize=13984976 memory=686 CPUtime=0.05 cores=0,2,4,6
/proc/18950/task/18964/stat : 18964 (java) S 18948 18948 13358 0 -1 1077944384 604 0 0 0 3 2 0 0 20 0 15 0 154698441 14320615424 551142 33554432000 4194304 4196468 140722872434144 140090958396336 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
Current children cumulated CPU time: 106.81 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2205948 KiB

[startup+162.301 s]
/proc/loadavg: 2.57 2.01 1.91 3/219 18974
/proc/meminfo: memFree=22285956/32770624 swapFree=67108860/67108860
[pid=18948] ppid=18945 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18948/stat : 18948 (xcsp3-exec) S 18945 18948 13358 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154698435 9740288 345 33554432000 4194304 5098028 140728971815680 140728971813784 140382331761276 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30056448 140728971818101 140728971818304 140728971818304 140728971821035 0
/proc/18948/statm: 2378 345 289 221 0 87 0
[pid=18950] ppid=18948 vsize=13984976 memory=2208060 CPUtime=166.87 cores=0,2,4,6
/proc/18950/stat : 18950 (java) S 18948 18948 13358 0 -1 1077944320 41494 0 0 0 16623 64 0 0 20 0 15 0 154698435 14320615424 552015 33554432000 4194304 4196468 140722872434144 140722872416688 140091493060343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
/proc/18950/statm: 3496244 552015 3262 1 0 3483478 0
[pid=18950/tid=18951] ppid=18948 vsize=13984976 memory=1380 CPUtime=162.01 cores=0,2,4,6
/proc/18950/task/18951/stat : 18951 (java) R 18948 18948 13358 0 -1 4202560 16319 0 0 0 16170 31 0 0 20 0 15 0 154698436 14320615424 552015 33554432000 4194304 4196468 140722872434144 140091497300224 140091119752399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18952] ppid=18948 vsize=13984976 memory=2208060 CPUtime=0.22 cores=0,2,4,6
/proc/18950/task/18952/stat : 18952 (java) S 18948 18948 13358 0 -1 1077944384 2667 0 0 0 16 6 0 0 20 0 15 0 154698436 14320615424 552015 33554432000 4194304 4196468 140722872434144 140091445680528 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18953] ppid=18948 vsize=13984976 memory=1380 CPUtime=0.23 cores=0,2,4,6
/proc/18950/task/18953/stat : 18953 (java) S 18948 18948 13358 0 -1 1077944384 891 0 0 0 17 6 0 0 20 0 15 0 154698436 14320615424 552015 33554432000 4194304 4196468 140722872434144 140091444627728 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18954] ppid=18948 vsize=13984976 memory=1380 CPUtime=0.24 cores=0,2,4,6
/proc/18950/task/18954/stat : 18954 (java) S 18948 18948 13358 0 -1 1077944384 1468 0 0 0 18 6 0 0 20 0 15 0 154698436 14320615424 552015 33554432000 4194304 4196468 140722872434144 140091443575440 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18955] ppid=18948 vsize=13984976 memory=2424 CPUtime=0.23 cores=0,2,4,6
/proc/18950/task/18955/stat : 18955 (java) S 18948 18948 13358 0 -1 1077944384 1942 0 0 0 17 6 0 0 20 0 15 0 154698437 14320615424 552015 33554432000 4194304 4196468 140722872434144 140091442522640 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18956] ppid=18948 vsize=13984976 memory=2236 CPUtime=0.02 cores=0,2,4,6
/proc/18950/task/18956/stat : 18956 (java) S 18948 18948 13358 0 -1 1077944384 1919 0 0 0 2 0 0 0 20 0 15 0 154698438 14320615424 552015 33554432000 4194304 4196468 140722872434144 140091034471024 140091493071490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18957] ppid=18948 vsize=13984976 memory=2208060 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18957/stat : 18957 (java) S 18948 18948 13358 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 154698438 14320615424 552015 33554432000 4194304 4196468 140722872434144 140091033417056 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18958] ppid=18948 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18958/stat : 18958 (java) S 18948 18948 13358 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154698438 14320615424 552015 33554432000 4194304 4196468 140722872434144 140091032364672 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18959] ppid=18948 vsize=13984976 memory=2208060 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18959/stat : 18959 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698441 14320615424 552015 33554432000 4194304 4196468 140722872434144 140091031312976 140091493078939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18960] ppid=18948 vsize=13984976 memory=1380 CPUtime=1.57 cores=0,2,4,6
/proc/18950/task/18960/stat : 18960 (java) S 18948 18948 13358 0 -1 1077944384 5321 0 0 0 156 1 0 0 20 0 15 0 154698441 14320615424 552015 33554432000 4194304 4196468 140722872434144 140091030259824 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18961] ppid=18948 vsize=13984976 memory=1380 CPUtime=1.53 cores=0,2,4,6
/proc/18950/task/18961/stat : 18961 (java) S 18948 18948 13358 0 -1 1077944384 5444 0 0 0 152 1 0 0 20 0 15 0 154698441 14320615424 552015 33554432000 4194304 4196468 140722872434144 140090961553392 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18962] ppid=18948 vsize=13984976 memory=2208060 CPUtime=0.64 cores=0,2,4,6
/proc/18950/task/18962/stat : 18962 (java) S 18948 18948 13358 0 -1 1077944384 3556 0 0 0 63 1 0 0 20 0 15 0 154698441 14320615424 552015 33554432000 4194304 4196468 140722872434144 140090960501104 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18963] ppid=18948 vsize=13984976 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18963/stat : 18963 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698441 14320615424 552015 33554432000 4194304 4196468 140722872434144 140090959448544 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18964] ppid=18948 vsize=13984976 memory=43096 CPUtime=0.1 cores=0,2,4,6
/proc/18950/task/18964/stat : 18964 (java) S 18948 18948 13358 0 -1 1077944384 638 0 0 0 6 4 0 0 20 0 15 0 154698441 14320615424 552015 33554432000 4194304 4196468 140722872434144 140090958396336 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
Current children cumulated CPU time: 166.87 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2209440 KiB

[startup+222.301 s]
/proc/loadavg: 1.76 1.90 1.88 2/196 19023
/proc/meminfo: memFree=21320928/32770624 swapFree=67108860/67108860
[pid=18948] ppid=18945 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18948/stat : 18948 (xcsp3-exec) S 18945 18948 13358 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154698435 9740288 345 33554432000 4194304 5098028 140728971815680 140728971813784 140382331761276 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30056448 140728971818101 140728971818304 140728971818304 140728971821035 0
/proc/18948/statm: 2378 345 289 221 0 87 0
[pid=18950] ppid=18948 vsize=13984976 memory=3905456 CPUtime=230 cores=0,2,4,6
/proc/18950/stat : 18950 (java) S 18948 18948 13358 0 -1 1077944320 58664 0 0 0 22888 112 0 0 20 0 15 0 154698435 14320615424 976364 33554432000 4194304 4196468 140722872434144 140722872416688 140091493060343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
/proc/18950/statm: 3496244 976364 3274 1 0 3483478 0
[pid=18950/tid=18951] ppid=18948 vsize=13984976 memory=1380 CPUtime=221.9 cores=0,2,4,6
/proc/18950/task/18951/stat : 18951 (java) R 18948 18948 13358 0 -1 4202560 20988 0 0 0 22129 61 0 0 20 0 15 0 154698436 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091497297832 140091119751618 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18952] ppid=18948 vsize=13984976 memory=5788 CPUtime=0.32 cores=0,2,4,6
/proc/18950/task/18952/stat : 18952 (java) S 18948 18948 13358 0 -1 1077944384 3298 0 0 0 22 10 0 0 20 0 15 0 154698436 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091445680528 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18953] ppid=18948 vsize=13984976 memory=3905456 CPUtime=0.32 cores=0,2,4,6
/proc/18950/task/18953/stat : 18953 (java) S 18948 18948 13358 0 -1 1077944384 1164 0 0 0 22 10 0 0 20 0 15 0 154698436 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091444627728 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18954] ppid=18948 vsize=13984976 memory=1380 CPUtime=0.32 cores=0,2,4,6
/proc/18950/task/18954/stat : 18954 (java) S 18948 18948 13358 0 -1 1077944384 1708 0 0 0 23 9 0 0 20 0 15 0 154698436 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091443575440 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18955] ppid=18948 vsize=13984976 memory=1380 CPUtime=0.32 cores=0,2,4,6
/proc/18950/task/18955/stat : 18955 (java) S 18948 18948 13358 0 -1 1077944384 2095 0 0 0 23 9 0 0 20 0 15 0 154698437 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091442522640 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18956] ppid=18948 vsize=13984976 memory=1380 CPUtime=0.02 cores=0,2,4,6
/proc/18950/task/18956/stat : 18956 (java) S 18948 18948 13358 0 -1 1077944384 2870 0 0 0 2 0 0 0 20 0 15 0 154698438 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091034471024 140091493071490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18957] ppid=18948 vsize=13984976 memory=3520424 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18957/stat : 18957 (java) S 18948 18948 13358 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154698438 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091033417056 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18958] ppid=18948 vsize=13984976 memory=2227696 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18958/stat : 18958 (java) S 18948 18948 13358 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154698438 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091032364672 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18959] ppid=18948 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18959/stat : 18959 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698441 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091031312976 140091493078939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18960] ppid=18948 vsize=13984976 memory=4132 CPUtime=2.73 cores=0,2,4,6
/proc/18950/task/18960/stat : 18960 (java) S 18948 18948 13358 0 -1 1077944384 8114 0 0 0 272 1 0 0 20 0 15 0 154698441 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091030259824 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18961] ppid=18948 vsize=13984976 memory=1380 CPUtime=3 cores=0,2,4,6
/proc/18950/task/18961/stat : 18961 (java) S 18948 18948 13358 0 -1 1077944384 10395 0 0 0 298 2 0 0 20 0 15 0 154698441 14320615424 976364 33554432000 4194304 4196468 140722872434144 140090961553392 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18962] ppid=18948 vsize=13984976 memory=3905456 CPUtime=0.83 cores=0,2,4,6
/proc/18950/task/18962/stat : 18962 (java) S 18948 18948 13358 0 -1 1077944384 6031 0 0 0 82 1 0 0 20 0 15 0 154698441 14320615424 976364 33554432000 4194304 4196468 140722872434144 140090960501104 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18963] ppid=18948 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18963/stat : 18963 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698441 14320615424 976364 33554432000 4194304 4196468 140722872434144 140090959448544 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18964] ppid=18948 vsize=13984976 memory=3905456 CPUtime=0.14 cores=0,2,4,6
/proc/18950/task/18964/stat : 18964 (java) S 18948 18948 13358 0 -1 1077944384 647 0 0 0 8 6 0 0 20 0 15 0 154698441 14320615424 976364 33554432000 4194304 4196468 140722872434144 140090958396336 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
Current children cumulated CPU time: 230 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3906836 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.59 1.85 1.87 2/196 19023
/proc/meminfo: memFree=21320928/32770624 swapFree=67108860/67108860
[pid=18948] ppid=18945 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18948/stat : 18948 (xcsp3-exec) S 18945 18948 13358 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154698435 9740288 345 33554432000 4194304 5098028 140728971815680 140728971813784 140382331761276 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 30056448 140728971818101 140728971818304 140728971818304 140728971821035 0
/proc/18948/statm: 2378 345 289 221 0 87 0
[pid=18950] ppid=18948 vsize=13984976 memory=3905456 CPUtime=247.76 cores=0,2,4,6
/proc/18950/stat : 18950 (java) S 18948 18948 13358 0 -1 1077944320 58674 0 0 0 24664 112 0 0 20 0 15 0 154698435 14320615424 976364 33554432000 4194304 4196468 140722872434144 140722872416688 140091493060343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
/proc/18950/statm: 3496244 976364 3274 1 0 3483478 0
[pid=18950/tid=18951] ppid=18948 vsize=13984976 memory=6791534058613427641 CPUtime=239.6 cores=0,2,4,6
/proc/18950/task/18951/stat : 18951 (java) R 18948 18948 13358 0 -1 4202560 20992 0 0 0 23899 61 0 0 20 0 15 0 154698436 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091497299080 140091119751618 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18952] ppid=18948 vsize=13984976 memory=4872558044660077418 CPUtime=0.32 cores=0,2,4,6
/proc/18950/task/18952/stat : 18952 (java) S 18948 18948 13358 0 -1 1077944384 3298 0 0 0 22 10 0 0 20 0 15 0 154698436 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091445680528 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18953] ppid=18948 vsize=13984976 memory=648 CPUtime=0.32 cores=0,2,4,6
/proc/18950/task/18953/stat : 18953 (java) S 18948 18948 13358 0 -1 1077944384 1164 0 0 0 22 10 0 0 20 0 15 0 154698436 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091444627728 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18954] ppid=18948 vsize=13984976 memory=1236 CPUtime=0.32 cores=0,2,4,6
/proc/18950/task/18954/stat : 18954 (java) S 18948 18948 13358 0 -1 1077944384 1708 0 0 0 23 9 0 0 20 0 15 0 154698436 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091443575440 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18955] ppid=18948 vsize=13984976 memory=960 CPUtime=0.32 cores=0,2,4,6
/proc/18950/task/18955/stat : 18955 (java) S 18948 18948 13358 0 -1 1077944384 2095 0 0 0 23 9 0 0 20 0 15 0 154698437 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091442522640 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18956] ppid=18948 vsize=13984976 memory=2424 CPUtime=0.02 cores=0,2,4,6
/proc/18950/task/18956/stat : 18956 (java) S 18948 18948 13358 0 -1 1077944384 2870 0 0 0 2 0 0 0 20 0 15 0 154698438 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091034471024 140091493071490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18957] ppid=18948 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18957/stat : 18957 (java) S 18948 18948 13358 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154698438 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091033417056 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18958] ppid=18948 vsize=13984976 memory=-7023579799431922829 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18958/stat : 18958 (java) S 18948 18948 13358 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154698438 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091032364672 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18959] ppid=18948 vsize=13984976 memory=-8412652152092201843 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18959/stat : 18959 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698441 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091031312976 140091493078939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18960] ppid=18948 vsize=13984976 memory=-8486080722631693414 CPUtime=2.75 cores=0,2,4,6
/proc/18950/task/18960/stat : 18960 (java) S 18948 18948 13358 0 -1 1077944384 8118 0 0 0 274 1 0 0 20 0 15 0 154698441 14320615424 976364 33554432000 4194304 4196468 140722872434144 140091030259824 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18961] ppid=18948 vsize=13984976 memory=3047711553219693942 CPUtime=3.03 cores=0,2,4,6
/proc/18950/task/18961/stat : 18961 (java) S 18948 18948 13358 0 -1 1077944384 10395 0 0 0 301 2 0 0 20 0 15 0 154698441 14320615424 976364 33554432000 4194304 4196468 140722872434144 140090961553392 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18962] ppid=18948 vsize=13984976 memory=4426639978525455914 CPUtime=0.84 cores=0,2,4,6
/proc/18950/task/18962/stat : 18962 (java) S 18948 18948 13358 0 -1 1077944384 6033 0 0 0 83 1 0 0 20 0 15 0 154698441 14320615424 976364 33554432000 4194304 4196468 140722872434144 140090960501104 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18963] ppid=18948 vsize=13984976 memory=8328453600958622283 CPUtime=0 cores=0,2,4,6
/proc/18950/task/18963/stat : 18963 (java) S 18948 18948 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154698441 14320615424 976364 33554432000 4194304 4196468 140722872434144 140090959448544 140091493070549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
[pid=18950/tid=18964] ppid=18948 vsize=13984976 memory=1004 CPUtime=0.15 cores=0,2,4,6
/proc/18950/task/18964/stat : 18964 (java) S 18948 18948 13358 0 -1 1077944384 647 0 0 0 9 6 0 0 20 0 15 0 154698441 14320615424 976364 33554432000 4194304 4196468 140722872434144 140090958396336 140091493071490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140722872439965 140722872440140 140722872440140 140722872442831 0
Current children cumulated CPU time: 247.76 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3906836 KiB

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

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

[startup+240.035 s]
# the end of solver process 18950 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=246.65 s, system=1.1498 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): 240.035
CPU time (s): 247.8
CPU user time (s): 246.65
CPU system time (s): 1.1498
CPU usage (%): 103.235
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 3906836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.65
system time used= 1.1498
maximum resident set size= 3906112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8364
involuntary context switches= 1429


# summary of solver processes directly reported to runsolver:
#   pid: 18948,18950
#   total CPU time (s): 247.8
#   total CPU user time (s): 246.65
#   total CPU system time (s): 1.1498

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44839 second user time and 2.44394 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-20 09:47:28
IDJOB=4284600
IDBENCH=140591
IDSOLVER=2680
FILE ID=node112/4284600-1503216108
RUNJOBID= node112-1503208953-13389
PBS_JOBID= 20630869
Free space on /tmp= 61780 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-46.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-4284600-1503216108/watcher-4284600-1503216108 -o /tmp/evaluation-result-4284600-1503216108/solver-4284600-1503216108 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503208953-13389 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 429256627 HOME/instance-4284600-1503216108.xml

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

MD5SUM BENCH= 6af071621bab6d4e45a1e2acc37440b7
RANDOM SEED=429256627

node112.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.24
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.24
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.24
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.24
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:        24531468 kB
MemAvailable:   31291776 kB
Buffers:          255536 kB
Cached:          6794264 kB
SwapCached:            0 kB
Active:          1861232 kB
Inactive:        5923220 kB
Active(anon):     686372 kB
Inactive(anon):    84384 kB
Active(file):    1174860 kB
Inactive(file):  5838836 kB
Unevictable:        7844 kB
Mlocked:            7844 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8712 kB
Writeback:             0 kB
AnonPages:        807564 kB
Mapped:            64144 kB
Shmem:             33416 kB
Slab:             152308 kB
SReclaimable:     124892 kB
SUnreclaim:        27416 kB
KernelStack:        3856 kB
PageTables:         6756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2122800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    692224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61780 MiB
End job on node112 at 2017-08-20 09:51:28