Trace number 4283632

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-08-18)? (TO) 2520.0601 2453.6101

General information on the benchmark

NameColouredQueens/ColouredQueens-m1-s1/
ColouredQueens-10.xml
MD5SUMdd9b438f7b2aa476e711f04952c9024a
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 variables100
Number of constraints54
Number of domains1
Minimum domain size10
Maximum domain size10
Distribution of domain sizes[{"size":10,"count":100}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":96}]
Minimum constraint arity2
Maximum constraint arity10
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":22}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":54}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283632-1503179563.xml"  -tl '2520s' -p 1 -x 3
0.09/0.27	c [HOME/instance-4283632-1503179563.xml, -tl, 2520s, -p, 1, -x, 3]
0.28/0.33	c simple solver
0.28/0.40	c parse instance...
0.65/0.58	c solve instance...
2520.03/2453.60	s UNKNOWN
2520.03/2453.60	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 (14381 MiB free)
  memory of node 1: 16384 MiB (15256 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283632-1503179563/watcher-4283632-1503179563 -o /tmp/evaluation-result-4283632-1503179563/solver-4283632-1503179563 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503171261-25501 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1684583051 HOME/instance-4283632-1503179563.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=26944, runsolver pid=26941

[startup+0.100173 s]*
/proc/loadavg: 1.71 1.72 1.77 3/202 26951
/proc/meminfo: memFree=30343192/32770624 swapFree=67108860/67108860
[pid=26944] ppid=26941 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26944/stat : 26944 (xcsp3-exec) S 26941 26944 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120176794 9740288 345 18446744073709551615 4194304 5098028 140728975500832 140728975498936 140501720445564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 27983872 140728975503736 140728975503941 140728975503941 140728975507435 0
/proc/26944/statm: 2378 345 289 221 0 87 0
[pid=26946] ppid=26944 vsize=13441356 memory=15424 CPUtime=0.01 cores=1,3,5,7
/proc/26946/stat : 26946 (java) S 26944 26944 8563 0 -1 1077944320 3627 0 0 0 1 0 0 0 20 0 7 0 120176802 13763948544 3856 18446744073709551615 4194304 4196468 140723772729248 140723772711792 139850714099447 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
/proc/26946/statm: 3360339 3856 1962 1 0 3349836 0
[pid=26946/tid=26947] ppid=26944 vsize=13441356 memory=-8713483618642589536 CPUtime=0.01 cores=1,3,5,7
/proc/26946/task/26947/stat : 26947 (java) R 26944 26944 8563 0 -1 4202560 2428 0 0 0 1 0 0 0 20 0 7 0 120176803 13763948544 3922 18446744073709551615 4194304 4196468 140723772729248 139850718341904 139850698179934 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26948] ppid=26944 vsize=13441356 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26948/stat : 26948 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 120176803 13763948544 3922 18446744073709551615 4194304 4196468 140723772729248 139850648533904 139850714109653 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26949] ppid=26944 vsize=13441356 memory=139997194430080 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26949/stat : 26949 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 120176803 13763948544 3922 18446744073709551615 4194304 4196468 140723772729248 139850647481104 139850714109653 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26950] ppid=26944 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26950/stat : 26950 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 120176803 13763948544 3922 18446744073709551615 4194304 4196468 140723772729248 139850646428816 139850714109653 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26951] ppid=26944 vsize=13441356 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26951/stat : 26951 (java) S 26944 26944 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 120176803 13763948544 3922 18446744073709551615 4194304 4196468 140723772729248 139850310925328 139850714109653 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26952] ppid=26944 vsize=13441356 memory=139997194430080 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26952/stat : 26952 (java) S 26944 26944 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 120176805 13763948544 3922 18446744073709551615 4194304 4196468 140723772729248 139850192550000 139850714110594 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 16804 KiB

[startup+0.209806 s]*
/proc/loadavg: 1.71 1.72 1.77 4/211 26960
/proc/meminfo: memFree=30334188/32770624 swapFree=67108860/67108860
[pid=26944] ppid=26941 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26944/stat : 26944 (xcsp3-exec) S 26941 26944 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120176794 9740288 345 18446744073709551615 4194304 5098028 140728975500832 140728975498936 140501720445564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 27983872 140728975503736 140728975503941 140728975503941 140728975507435 0
/proc/26944/statm: 2378 345 289 221 0 87 0
[pid=26946] ppid=26944 vsize=13974352 memory=27384 CPUtime=0.09 cores=1,3,5,7
/proc/26946/stat : 26946 (java) S 26944 26944 8563 0 -1 1077944320 5306 0 0 0 8 1 0 0 20 0 15 0 120176802 14309736448 6846 18446744073709551615 4194304 4196468 140723772729248 140723772711792 139850714099447 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
/proc/26946/statm: 3493588 6846 2727 1 0 3482964 0
[pid=26946/tid=26947] ppid=26944 vsize=13974352 memory=-6871798056524144002 CPUtime=0.06 cores=1,3,5,7
/proc/26946/task/26947/stat : 26947 (java) R 26944 26944 8563 0 -1 4202560 3445 0 0 0 6 0 0 0 20 0 15 0 120176803 14309736448 6846 18446744073709551615 4194304 4196468 140723772729248 139850718332688 139850714121373 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26948] ppid=26944 vsize=13974352 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26948/stat : 26948 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120176803 14309736448 6846 18446744073709551615 4194304 4196468 140723772729248 139850648533904 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26949] ppid=26944 vsize=13974352 memory=139997194430080 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26949/stat : 26949 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120176803 14309736448 6846 18446744073709551615 4194304 4196468 140723772729248 139850647481104 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26950] ppid=26944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26950/stat : 26950 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120176803 14309736448 6846 18446744073709551615 4194304 4196468 140723772729248 139850646428816 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26951] ppid=26944 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26951/stat : 26951 (java) S 26944 26944 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120176803 14309736448 6846 18446744073709551615 4194304 4196468 140723772729248 139850310925328 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26952] ppid=26944 vsize=13974352 memory=139997194430080 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26952/stat : 26952 (java) S 26944 26944 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120176805 14309736448 6910 18446744073709551615 4194304 4196468 140723772729248 139850192550000 139850714110594 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26953] ppid=26944 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26953/stat : 26953 (java) S 26944 26944 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120176805 14309736448 6910 18446744073709551615 4194304 4196468 140723772729248 139850191495968 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26954] ppid=26944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26954/stat : 26954 (java) S 26944 26944 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120176805 14309736448 6910 18446744073709551615 4194304 4196468 140723772729248 139850190443632 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26955] ppid=26944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26955/stat : 26955 (java) S 26944 26944 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120176808 14309736448 6910 18446744073709551615 4194304 4196468 140723772729248 139850189391952 139850714118043 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26956] ppid=26944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26956/stat : 26956 (java) R 26944 26944 8563 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 120176808 14309736448 6910 18446744073709551615 4194304 4196468 140723772729248 139850188339824 139850714110594 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26957] ppid=26944 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26957/stat : 26957 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120176808 14309736448 6910 18446744073709551615 4194304 4196468 140723772729248 139850187287024 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26958] ppid=26944 vsize=13974352 memory=139997194430080 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26958/stat : 26958 (java) R 26944 26944 8563 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 15 0 120176808 14309736448 6910 18446744073709551615 4194304 4196468 140723772729248 139850186234736 139850714110594 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26959] ppid=26944 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26959/stat : 26959 (java) S 26944 26944 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120176808 14309736448 6910 18446744073709551615 4194304 4196468 140723772729248 139850185182176 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26960] ppid=26944 vsize=13974352 memory=139997194430080 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26960/stat : 26960 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120176813 14309736448 6910 18446744073709551615 4194304 4196468 140723772729248 139850184128944 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28764 KiB

[startup+0.313019 s]*
/proc/loadavg: 1.71 1.72 1.77 5/211 26960
/proc/meminfo: memFree=30321952/32770624 swapFree=67108860/67108860
[pid=26944] ppid=26941 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26944/stat : 26944 (xcsp3-exec) S 26941 26944 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120176794 9740288 345 18446744073709551615 4194304 5098028 140728975500832 140728975498936 140501720445564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 27983872 140728975503736 140728975503941 140728975503941 140728975507435 0
/proc/26944/statm: 2378 345 289 221 0 87 0
[pid=26946] ppid=26944 vsize=13974352 memory=36996 CPUtime=0.28 cores=1,3,5,7
/proc/26946/stat : 26946 (java) S 26944 26944 8563 0 -1 1077944320 8824 0 0 0 26 2 0 0 20 0 15 0 120176802 14309736448 9249 18446744073709551615 4194304 4196468 140723772729248 140723772711792 139850714099447 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
/proc/26946/statm: 3493588 9249 2993 1 0 3482964 0
[pid=26946/tid=26947] ppid=26944 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/26946/task/26947/stat : 26947 (java) R 26944 26944 8563 0 -1 4202560 6116 0 0 0 15 2 0 0 20 0 15 0 120176803 14309736448 9249 18446744073709551615 4194304 4196468 140723772729248 139850718326512 139850714121373 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26948] ppid=26944 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26948/stat : 26948 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120176803 14309736448 9249 18446744073709551615 4194304 4196468 140723772729248 139850648533904 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26949] ppid=26944 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26949/stat : 26949 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120176803 14309736448 9249 18446744073709551615 4194304 4196468 140723772729248 139850647481104 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26950] ppid=26944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26950/stat : 26950 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120176803 14309736448 9249 18446744073709551615 4194304 4196468 140723772729248 139850646428816 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26951] ppid=26944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26951/stat : 26951 (java) S 26944 26944 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120176803 14309736448 9249 18446744073709551615 4194304 4196468 140723772729248 139850310925328 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26952] ppid=26944 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26952/stat : 26952 (java) S 26944 26944 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120176805 14309736448 9249 18446744073709551615 4194304 4196468 140723772729248 139850192550000 139850714110594 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26953] ppid=26944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26953/stat : 26953 (java) S 26944 26944 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120176805 14309736448 9249 18446744073709551615 4194304 4196468 140723772729248 139850191495968 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26954] ppid=26944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26954/stat : 26954 (java) S 26944 26944 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120176805 14309736448 9249 18446744073709551615 4194304 4196468 140723772729248 139850190443632 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26955] ppid=26944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26955/stat : 26955 (java) S 26944 26944 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120176808 14309736448 9249 18446744073709551615 4194304 4196468 140723772729248 139850189391952 139850714118043 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26956] ppid=26944 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26946/task/26956/stat : 26956 (java) R 26944 26944 8563 0 -1 1077944384 622 0 0 0 2 0 0 0 20 0 15 0 120176808 14309736448 9249 18446744073709551615 4194304 4196468 140723772729248 139850188339824 139850714110594 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26957] ppid=26944 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26946/task/26957/stat : 26957 (java) R 26944 26944 8563 0 -1 4202560 73 0 0 0 2 0 0 0 20 0 15 0 120176808 14309736448 9249 18446744073709551615 4194304 4196468 140723772729248 139850187287024 139850697631080 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26958] ppid=26944 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/26946/task/26958/stat : 26958 (java) R 26944 26944 8563 0 -1 4202560 709 0 0 0 6 0 0 0 20 0 15 0 120176808 14309736448 9249 18446744073709551615 4194304 4196468 140723772729248 139850186234736 139850714120794 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26959] ppid=26944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26959/stat : 26959 (java) S 26944 26944 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120176808 14309736448 9249 18446744073709551615 4194304 4196468 140723772729248 139850185182176 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26960] ppid=26944 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26960/stat : 26960 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120176813 14309736448 9249 18446744073709551615 4194304 4196468 140723772729248 139850184128944 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38376 KiB

[startup+0.701136 s]
/proc/loadavg: 1.71 1.72 1.77 4/211 26960
/proc/meminfo: memFree=30310268/32770624 swapFree=67108860/67108860
[pid=26944] ppid=26941 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26944/stat : 26944 (xcsp3-exec) S 26941 26944 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120176794 9740288 345 18446744073709551615 4194304 5098028 140728975500832 140728975498936 140501720445564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 27983872 140728975503736 140728975503941 140728975503941 140728975507435 0
/proc/26944/statm: 2378 345 289 221 0 87 0
[pid=26946] ppid=26944 vsize=13980732 memory=65440 CPUtime=1.23 cores=1,3,5,7
/proc/26946/stat : 26946 (java) S 26944 26944 8563 0 -1 1077944320 14004 0 0 0 117 6 0 0 20 0 15 0 120176802 14316269568 16360 18446744073709551615 4194304 4196468 140723772729248 140723772711792 139850714099447 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
/proc/26946/statm: 3495183 16360 3181 1 0 3483476 0
[pid=26946/tid=26947] ppid=26944 vsize=13980732 memory=2472223442689 CPUtime=0.55 cores=1,3,5,7
/proc/26946/task/26947/stat : 26947 (java) R 26944 26944 8563 0 -1 4202560 8540 0 0 0 51 4 0 0 20 0 15 0 120176803 14316269568 16360 18446744073709551615 4194304 4196468 140723772729248 139850718335552 139850329037207 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26948] ppid=26944 vsize=13980732 memory=218130118 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26948/stat : 26948 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120176803 14316269568 16360 18446744073709551615 4194304 4196468 140723772729248 139850648533904 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26949] ppid=26944 vsize=13980732 memory=-7453528518462155811 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26949/stat : 26949 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120176803 14316269568 16360 18446744073709551615 4194304 4196468 140723772729248 139850647481104 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26950] ppid=26944 vsize=13980732 memory=7301849377030890327 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26950/stat : 26950 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120176803 14316269568 16360 18446744073709551615 4194304 4196468 140723772729248 139850646428816 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26951] ppid=26944 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26951/stat : 26951 (java) S 26944 26944 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120176803 14316269568 16360 18446744073709551615 4194304 4196468 140723772729248 139850310925328 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26952] ppid=26944 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26952/stat : 26952 (java) S 26944 26944 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120176805 14316269568 16360 18446744073709551615 4194304 4196468 140723772729248 139850192550000 139850714110594 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26953] ppid=26944 vsize=13980732 memory=139997076267632 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26953/stat : 26953 (java) S 26944 26944 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120176805 14316269568 16360 18446744073709551615 4194304 4196468 140723772729248 139850191495968 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26954] ppid=26944 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26954/stat : 26954 (java) S 26944 26944 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120176805 14316269568 16360 18446744073709551615 4194304 4196468 140723772729248 139850190443632 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26955] ppid=26944 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26955/stat : 26955 (java) S 26944 26944 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120176808 14316269568 16360 18446744073709551615 4194304 4196468 140723772729248 139850189391952 139850714118043 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26956] ppid=26944 vsize=13980732 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/26946/task/26956/stat : 26956 (java) R 26944 26944 8563 0 -1 4202560 1636 0 0 0 20 0 0 0 20 0 15 0 120176808 14316269568 16360 18446744073709551615 4194304 4196468 140723772729248 139850188325848 139850695644669 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26957] ppid=26944 vsize=13980732 memory=7809523229951467568 CPUtime=0.16 cores=1,3,5,7
/proc/26946/task/26957/stat : 26957 (java) R 26944 26944 8563 0 -1 4202560 692 0 0 0 16 0 0 0 20 0 15 0 120176808 14316269568 16360 18446744073709551615 4194304 4196468 140723772729248 139850187268040 139850694801111 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26958] ppid=26944 vsize=13980732 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/26946/task/26958/stat : 26958 (java) R 26944 26944 8563 0 -1 4202560 1829 0 0 0 29 0 0 0 20 0 15 0 120176808 14316269568 16360 18446744073709551615 4194304 4196468 140723772729248 139850186231672 139850692903760 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26959] ppid=26944 vsize=13980732 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26959/stat : 26959 (java) S 26944 26944 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120176808 14316269568 16360 18446744073709551615 4194304 4196468 140723772729248 139850185182176 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26960] ppid=26944 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26960/stat : 26960 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120176813 14316269568 16360 18446744073709551615 4194304 4196468 140723772729248 139850184128944 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66820 KiB

[startup+1.50087 s]
/proc/loadavg: 1.71 1.72 1.77 6/211 26960
/proc/meminfo: memFree=30273328/32770624 swapFree=67108860/67108860
[pid=26944] ppid=26941 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26944/stat : 26944 (xcsp3-exec) S 26941 26944 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120176794 9740288 345 18446744073709551615 4194304 5098028 140728975500832 140728975498936 140501720445564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 27983872 140728975503736 140728975503941 140728975503941 140728975507435 0
/proc/26944/statm: 2378 345 289 221 0 87 0
[pid=26946] ppid=26944 vsize=13980732 memory=115208 CPUtime=3.77 cores=1,3,5,7
/proc/26946/stat : 26946 (java) S 26944 26944 8563 0 -1 1077944320 25503 0 0 0 369 8 0 0 20 0 15 0 120176802 14316269568 28802 18446744073709551615 4194304 4196468 140723772729248 140723772711792 139850714099447 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
/proc/26946/statm: 3495183 28802 3200 1 0 3483476 0
[pid=26946/tid=26947] ppid=26944 vsize=13980732 memory=279991535325423 CPUtime=1.34 cores=1,3,5,7
/proc/26946/task/26947/stat : 26947 (java) R 26944 26944 8563 0 -1 4202560 9567 0 0 0 129 5 0 0 20 0 15 0 120176803 14316269568 28802 18446744073709551615 4194304 4196468 140723772729248 139850718338560 139850330319199 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26948] ppid=26944 vsize=13980732 memory=-2672971630493134941 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26948/stat : 26948 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120176803 14316269568 28802 18446744073709551615 4194304 4196468 140723772729248 139850648533904 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26949] ppid=26944 vsize=13980732 memory=-7984860791149076064 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26949/stat : 26949 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120176803 14316269568 28802 18446744073709551615 4194304 4196468 140723772729248 139850647481104 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26950] ppid=26944 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26950/stat : 26950 (java) S 26944 26944 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120176803 14316269568 28802 18446744073709551615 4194304 4196468 140723772729248 139850646428816 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26951] ppid=26944 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26951/stat : 26951 (java) S 26944 26944 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120176803 14316269568 28802 18446744073709551615 4194304 4196468 140723772729248 139850310925328 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26952] ppid=26944 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26952/stat : 26952 (java) S 26944 26944 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120176805 14316269568 28802 18446744073709551615 4194304 4196468 140723772729248 139850192550000 139850714110594 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26953] ppid=26944 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7

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

/proc/26946/task/26954/stat : 26954 (java) S 26944 26944 8563 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 120176805 14316269568 84394 18446744073709551615 4194304 4196468 140723772729248 139850190443632 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26955] ppid=26944 vsize=13980732 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26955/stat : 26955 (java) S 26944 26944 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120176808 14316269568 84394 18446744073709551615 4194304 4196468 140723772729248 139850189391952 139850714118043 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26956] ppid=26944 vsize=13980732 memory=342560 CPUtime=3.12 cores=1,3,5,7
/proc/26946/task/26956/stat : 26956 (java) S 26944 26944 8563 0 -1 1077944384 15953 0 0 0 310 2 0 0 20 0 15 0 120176808 14316269568 84394 18446744073709551615 4194304 4196468 140723772729248 139850188339824 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26957] ppid=26944 vsize=13980732 memory=1380 CPUtime=2.77 cores=1,3,5,7
/proc/26946/task/26957/stat : 26957 (java) S 26944 26944 8563 0 -1 1077944384 11882 0 0 0 275 2 0 0 20 0 15 0 120176808 14316269568 84394 18446744073709551615 4194304 4196468 140723772729248 139850187287024 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26958] ppid=26944 vsize=13980732 memory=4116 CPUtime=0.68 cores=1,3,5,7
/proc/26946/task/26958/stat : 26958 (java) S 26944 26944 8563 0 -1 1077944384 11076 0 0 0 66 2 0 0 20 0 15 0 120176808 14316269568 84394 18446744073709551615 4194304 4196468 140723772729248 139850186234736 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26959] ppid=26944 vsize=13980732 memory=64888 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26959/stat : 26959 (java) S 26944 26944 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120176808 14316269568 84394 18446744073709551615 4194304 4196468 140723772729248 139850185182176 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26960] ppid=26944 vsize=13980732 memory=1380 CPUtime=1.17 cores=1,3,5,7
/proc/26946/task/26960/stat : 26960 (java) S 26944 26944 8563 0 -1 1077944384 999 0 0 0 53 64 0 0 20 0 15 0 120176813 14316269568 84394 18446744073709551615 4194304 4196468 140723772729248 139850184128944 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
Current children cumulated CPU time: 2385.39 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 338956 KiB

[startup+2382.3 s]
/proc/loadavg: 1.63 1.68 1.64 3/211 27221
/proc/meminfo: memFree=28800056/32770624 swapFree=67108860/67108860
[pid=26944] ppid=26941 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26944/stat : 26944 (xcsp3-exec) S 26941 26944 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120176794 9740288 345 18446744073709551615 4194304 5098028 140728975500832 140728975498936 140501720445564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 27983872 140728975503736 140728975503941 140728975503941 140728975507435 0
/proc/26944/statm: 2378 345 289 221 0 87 0
[pid=26946] ppid=26944 vsize=13980732 memory=407096 CPUtime=2446.92 cores=1,3,5,7
/proc/26946/stat : 26946 (java) S 26944 26944 8563 0 -1 1077944320 270507 0 0 0 244253 439 0 0 20 0 15 0 120176802 14316269568 101774 18446744073709551615 4194304 4196468 140723772729248 140723772711792 139850714099447 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
/proc/26946/statm: 3495183 101774 3257 1 0 3483476 0
[pid=26946/tid=26947] ppid=26944 vsize=13980732 memory=415168 CPUtime=2360.1 cores=1,3,5,7
/proc/26946/task/26947/stat : 26947 (java) R 26944 26944 8563 0 -1 4202560 81844 0 0 0 235989 21 0 0 20 0 15 0 120176803 14316269568 101774 18446744073709551615 4194304 4196468 140723772729248 139850718338928 139850330319022 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26948] ppid=26944 vsize=13980732 memory=411060 CPUtime=19.24 cores=1,3,5,7
/proc/26946/task/26948/stat : 26948 (java) S 26944 26944 8563 0 -1 1077944384 25183 0 0 0 1843 81 0 0 20 0 15 0 120176803 14316269568 101774 18446744073709551615 4194304 4196468 140723772729248 139850648533904 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26949] ppid=26944 vsize=13980732 memory=411060 CPUtime=19.24 cores=1,3,5,7
/proc/26946/task/26949/stat : 26949 (java) S 26944 26944 8563 0 -1 1077944384 26032 0 0 0 1841 83 0 0 20 0 15 0 120176803 14316269568 101774 18446744073709551615 4194304 4196468 140723772729248 139850647481104 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26950] ppid=26944 vsize=13980732 memory=407096 CPUtime=19.26 cores=1,3,5,7
/proc/26946/task/26950/stat : 26950 (java) S 26944 26944 8563 0 -1 1077944384 24916 0 0 0 1843 83 0 0 20 0 15 0 120176803 14316269568 101774 18446744073709551615 4194304 4196468 140723772729248 139850646428816 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26951] ppid=26944 vsize=13980732 memory=407096 CPUtime=19.25 cores=1,3,5,7
/proc/26946/task/26951/stat : 26951 (java) S 26944 26944 8563 0 -1 1077944384 22741 0 0 0 1843 82 0 0 20 0 15 0 120176803 14316269568 101774 18446744073709551615 4194304 4196468 140723772729248 139850310925328 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26952] ppid=26944 vsize=13980732 memory=407096 CPUtime=1.95 cores=1,3,5,7
/proc/26946/task/26952/stat : 26952 (java) S 26944 26944 8563 0 -1 1077944384 48506 0 0 0 156 39 0 0 20 0 15 0 120176805 14316269568 101774 18446744073709551615 4194304 4196468 140723772729248 139850192550000 139850714110594 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26953] ppid=26944 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26953/stat : 26953 (java) S 26944 26944 8563 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 120176805 14316269568 101774 18446744073709551615 4194304 4196468 140723772729248 139850191495968 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26954] ppid=26944 vsize=13980732 memory=407096 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26954/stat : 26954 (java) S 26944 26944 8563 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 120176805 14316269568 101774 18446744073709551615 4194304 4196468 140723772729248 139850190443632 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26955] ppid=26944 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26955/stat : 26955 (java) S 26944 26944 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120176808 14316269568 101774 18446744073709551615 4194304 4196468 140723772729248 139850189391952 139850714118043 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26956] ppid=26944 vsize=13980732 memory=336552 CPUtime=3.12 cores=1,3,5,7
/proc/26946/task/26956/stat : 26956 (java) S 26944 26944 8563 0 -1 1077944384 15955 0 0 0 310 2 0 0 20 0 15 0 120176808 14316269568 101774 18446744073709551615 4194304 4196468 140723772729248 139850188339824 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26957] ppid=26944 vsize=13980732 memory=1380 CPUtime=2.77 cores=1,3,5,7
/proc/26946/task/26957/stat : 26957 (java) S 26944 26944 8563 0 -1 1077944384 11884 0 0 0 275 2 0 0 20 0 15 0 120176808 14316269568 101774 18446744073709551615 4194304 4196468 140723772729248 139850187287024 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26958] ppid=26944 vsize=13980732 memory=366780 CPUtime=0.68 cores=1,3,5,7
/proc/26946/task/26958/stat : 26958 (java) S 26944 26944 8563 0 -1 1077944384 11079 0 0 0 66 2 0 0 20 0 15 0 120176808 14316269568 101774 18446744073709551615 4194304 4196468 140723772729248 139850186234736 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26959] ppid=26944 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26959/stat : 26959 (java) S 26944 26944 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120176808 14316269568 101774 18446744073709551615 4194304 4196468 140723772729248 139850185182176 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26960] ppid=26944 vsize=13980732 memory=407096 CPUtime=1.2 cores=1,3,5,7
/proc/26946/task/26960/stat : 26960 (java) S 26944 26944 8563 0 -1 1077944384 1013 0 0 0 55 65 0 0 20 0 15 0 120176813 14316269568 101774 18446744073709551615 4194304 4196468 140723772729248 139850184128944 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
Current children cumulated CPU time: 2446.92 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 408476 KiB

[startup+2442.3 s]
/proc/loadavg: 1.59 1.66 1.63 3/211 27223
/proc/meminfo: memFree=28954160/32770624 swapFree=67108860/67108860
[pid=26944] ppid=26941 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26944/stat : 26944 (xcsp3-exec) S 26941 26944 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120176794 9740288 345 18446744073709551615 4194304 5098028 140728975500832 140728975498936 140501720445564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 27983872 140728975503736 140728975503941 140728975503941 140728975507435 0
/proc/26944/statm: 2378 345 289 221 0 87 0
[pid=26946] ppid=26944 vsize=13980732 memory=417440 CPUtime=2508.41 cores=1,3,5,7
/proc/26946/stat : 26946 (java) S 26944 26944 8563 0 -1 1077944320 273950 0 0 0 250388 453 0 0 20 0 15 0 120176802 14316269568 104360 18446744073709551615 4194304 4196468 140723772729248 140723772711792 139850714099447 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
/proc/26946/statm: 3495183 104360 3257 1 0 3483476 0
[pid=26946/tid=26947] ppid=26944 vsize=13980732 memory=417440 CPUtime=2419.53 cores=1,3,5,7
/proc/26946/task/26947/stat : 26947 (java) R 26944 26944 8563 0 -1 4202560 83033 0 0 0 241932 21 0 0 20 0 15 0 120176803 14316269568 104360 18446744073709551615 4194304 4196468 140723772729248 139850718339056 139850330637819 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26948] ppid=26944 vsize=13980732 memory=373176 CPUtime=19.74 cores=1,3,5,7
/proc/26946/task/26948/stat : 26948 (java) S 26944 26944 8563 0 -1 1077944384 25610 0 0 0 1890 84 0 0 20 0 15 0 120176803 14316269568 104360 18446744073709551615 4194304 4196468 140723772729248 139850648533904 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26949] ppid=26944 vsize=13980732 memory=362916 CPUtime=19.73 cores=1,3,5,7
/proc/26946/task/26949/stat : 26949 (java) S 26944 26944 8563 0 -1 1077944384 26360 0 0 0 1887 86 0 0 20 0 15 0 120176803 14316269568 104360 18446744073709551615 4194304 4196468 140723772729248 139850647481104 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26950] ppid=26944 vsize=13980732 memory=376236 CPUtime=19.76 cores=1,3,5,7
/proc/26946/task/26950/stat : 26950 (java) S 26944 26944 8563 0 -1 1077944384 25440 0 0 0 1890 86 0 0 20 0 15 0 120176803 14316269568 104360 18446744073709551615 4194304 4196468 140723772729248 139850646428816 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26951] ppid=26944 vsize=13980732 memory=415708 CPUtime=19.74 cores=1,3,5,7
/proc/26946/task/26951/stat : 26951 (java) S 26944 26944 8563 0 -1 1077944384 23137 0 0 0 1890 84 0 0 20 0 15 0 120176803 14316269568 104360 18446744073709551615 4194304 4196468 140723772729248 139850310925328 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26952] ppid=26944 vsize=13980732 memory=1380 CPUtime=2 cores=1,3,5,7
/proc/26946/task/26952/stat : 26952 (java) S 26944 26944 8563 0 -1 1077944384 49064 0 0 0 160 40 0 0 20 0 15 0 120176805 14316269568 104360 18446744073709551615 4194304 4196468 140723772729248 139850192550000 139850714110594 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26953] ppid=26944 vsize=13980732 memory=417440 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26953/stat : 26953 (java) S 26944 26944 8563 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 120176805 14316269568 104360 18446744073709551615 4194304 4196468 140723772729248 139850191495968 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26954] ppid=26944 vsize=13980732 memory=417440 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26954/stat : 26954 (java) S 26944 26944 8563 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 120176805 14316269568 104360 18446744073709551615 4194304 4196468 140723772729248 139850190443632 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26955] ppid=26944 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26955/stat : 26955 (java) S 26944 26944 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120176808 14316269568 104360 18446744073709551615 4194304 4196468 140723772729248 139850189391952 139850714118043 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26956] ppid=26944 vsize=13980732 memory=1380 CPUtime=3.12 cores=1,3,5,7
/proc/26946/task/26956/stat : 26956 (java) S 26944 26944 8563 0 -1 1077944384 15957 0 0 0 310 2 0 0 20 0 15 0 120176808 14316269568 104360 18446744073709551615 4194304 4196468 140723772729248 139850188339824 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26957] ppid=26944 vsize=13980732 memory=417440 CPUtime=2.77 cores=1,3,5,7
/proc/26946/task/26957/stat : 26957 (java) S 26944 26944 8563 0 -1 1077944384 11886 0 0 0 275 2 0 0 20 0 15 0 120176808 14316269568 104360 18446744073709551615 4194304 4196468 140723772729248 139850187287024 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26958] ppid=26944 vsize=13980732 memory=1380 CPUtime=0.68 cores=1,3,5,7
/proc/26946/task/26958/stat : 26958 (java) S 26944 26944 8563 0 -1 1077944384 11081 0 0 0 66 2 0 0 20 0 15 0 120176808 14316269568 104360 18446744073709551615 4194304 4196468 140723772729248 139850186234736 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26959] ppid=26944 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26959/stat : 26959 (java) S 26944 26944 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120176808 14316269568 104360 18446744073709551615 4194304 4196468 140723772729248 139850185182176 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26960] ppid=26944 vsize=13980732 memory=7897517683652307531 CPUtime=1.23 cores=1,3,5,7
/proc/26946/task/26960/stat : 26960 (java) S 26944 26944 8563 0 -1 1077944384 1028 0 0 0 56 67 0 0 20 0 15 0 120176813 14316269568 104360 18446744073709551615 4194304 4196468 140723772729248 139850184128944 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
Current children cumulated CPU time: 2508.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 418820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2453.6 s]
/proc/loadavg: 1.68 1.68 1.64 3/211 27223
/proc/meminfo: memFree=28980648/32770624 swapFree=67108860/67108860
[pid=26944] ppid=26941 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26944/stat : 26944 (xcsp3-exec) S 26941 26944 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 120176794 9740288 345 18446744073709551615 4194304 5098028 140728975500832 140728975498936 140501720445564 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 27983872 140728975503736 140728975503941 140728975503941 140728975507435 0
/proc/26944/statm: 2378 345 289 221 0 87 0
[pid=26946] ppid=26944 vsize=13980732 memory=392560 CPUtime=2520.03 cores=1,3,5,7
/proc/26946/stat : 26946 (java) S 26944 26944 8563 0 -1 1077944320 274826 0 0 0 251550 453 0 0 20 0 15 0 120176802 14316269568 98140 18446744073709551615 4194304 4196468 140723772729248 140723772711792 139850714099447 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
/proc/26946/statm: 3495183 98140 3257 1 0 3483476 0
[pid=26946/tid=26947] ppid=26944 vsize=13980732 memory=4116 CPUtime=2430.7 cores=1,3,5,7
/proc/26946/task/26947/stat : 26947 (java) R 26944 26944 8563 0 -1 4202560 83043 0 0 0 243049 21 0 0 20 0 15 0 120176803 14316269568 98140 18446744073709551615 4194304 4196468 140723772729248 139850718339072 139850330568832 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26948] ppid=26944 vsize=13980732 memory=64888 CPUtime=19.85 cores=1,3,5,7
/proc/26946/task/26948/stat : 26948 (java) S 26944 26944 8563 0 -1 1077944384 25619 0 0 0 1901 84 0 0 20 0 15 0 120176803 14316269568 98140 18446744073709551615 4194304 4196468 140723772729248 139850648533904 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26949] ppid=26944 vsize=13980732 memory=1292 CPUtime=19.84 cores=1,3,5,7
/proc/26946/task/26949/stat : 26949 (java) S 26944 26944 8563 0 -1 1077944384 26363 0 0 0 1898 86 0 0 20 0 15 0 120176803 14316269568 98140 18446744073709551615 4194304 4196468 140723772729248 139850647481104 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26950] ppid=26944 vsize=13980732 memory=4116 CPUtime=19.87 cores=1,3,5,7
/proc/26946/task/26950/stat : 26950 (java) S 26944 26944 8563 0 -1 1077944384 25448 0 0 0 1901 86 0 0 20 0 15 0 120176803 14316269568 98140 18446744073709551615 4194304 4196468 140723772729248 139850646428816 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26951] ppid=26944 vsize=13980732 memory=64888 CPUtime=19.85 cores=1,3,5,7
/proc/26946/task/26951/stat : 26951 (java) S 26944 26944 8563 0 -1 1077944384 23142 0 0 0 1901 84 0 0 20 0 15 0 120176803 14316269568 98140 18446744073709551615 4194304 4196468 140723772729248 139850310925328 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26952] ppid=26944 vsize=13980732 memory=1292 CPUtime=2.02 cores=1,3,5,7
/proc/26946/task/26952/stat : 26952 (java) S 26944 26944 8563 0 -1 1077944384 49905 0 0 0 162 40 0 0 20 0 15 0 120176805 14316269568 98140 18446744073709551615 4194304 4196468 140723772729248 139850192550000 139850714110594 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26953] ppid=26944 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26953/stat : 26953 (java) S 26944 26944 8563 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 120176805 14316269568 98140 18446744073709551615 4194304 4196468 140723772729248 139850191495968 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26954] ppid=26944 vsize=13980732 memory=64888 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26954/stat : 26954 (java) S 26944 26944 8563 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 120176805 14316269568 98140 18446744073709551615 4194304 4196468 140723772729248 139850190443632 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26955] ppid=26944 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26955/stat : 26955 (java) S 26944 26944 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120176808 14316269568 98140 18446744073709551615 4194304 4196468 140723772729248 139850189391952 139850714118043 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26956] ppid=26944 vsize=13980732 memory=2316 CPUtime=3.12 cores=1,3,5,7
/proc/26946/task/26956/stat : 26956 (java) S 26944 26944 8563 0 -1 1077944384 15957 0 0 0 310 2 0 0 20 0 15 0 120176808 14316269568 98140 18446744073709551615 4194304 4196468 140723772729248 139850188339824 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26957] ppid=26944 vsize=13980732 memory=796 CPUtime=2.77 cores=1,3,5,7
/proc/26946/task/26957/stat : 26957 (java) S 26944 26944 8563 0 -1 1077944384 11886 0 0 0 275 2 0 0 20 0 15 0 120176808 14316269568 98140 18446744073709551615 4194304 4196468 140723772729248 139850187287024 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26958] ppid=26944 vsize=13980732 memory=5788 CPUtime=0.68 cores=1,3,5,7
/proc/26946/task/26958/stat : 26958 (java) S 26944 26944 8563 0 -1 1077944384 11081 0 0 0 66 2 0 0 20 0 15 0 120176808 14316269568 98140 18446744073709551615 4194304 4196468 140723772729248 139850186234736 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26959] ppid=26944 vsize=13980732 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/26946/task/26959/stat : 26959 (java) S 26944 26944 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120176808 14316269568 98140 18446744073709551615 4194304 4196468 140723772729248 139850185182176 139850714109653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
[pid=26946/tid=26960] ppid=26944 vsize=13980732 memory=4616 CPUtime=1.24 cores=1,3,5,7
/proc/26946/task/26960/stat : 26960 (java) S 26944 26944 8563 0 -1 1077944384 1028 0 0 0 56 68 0 0 20 0 15 0 120176813 14316269568 98140 18446744073709551615 4194304 4196468 140723772729248 139850184128944 139850714110594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9842688 140723772735921 140723772736097 140723772736097 140723772739535 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 393940 KiB

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

[startup+2453.61 s]
# the end of solver process 26944 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000916 s, system=0.000916 s

[startup+2453.61 s]
# the end of solver process 26946 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.52 s, system=4.53933 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): 2453.61
CPU time (s): 2520.06
CPU user time (s): 2515.52
CPU system time (s): 4.53933
CPU usage (%): 102.708
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 518584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.52
system time used= 4.53933
maximum resident set size= 518160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275483
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94477
involuntary context switches= 3871


# summary of solver processes directly reported to runsolver:
#   pid: 26944,26946
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2515.52
#   total CPU system time (s): 4.53933

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1903 second user time and 25.6037 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-19 23:38:35
IDJOB=4283632
IDBENCH=115861
IDSOLVER=2679
FILE ID=node125/4283632-1503179563
RUNJOBID= node125-1503171261-25501
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-10.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-4283632-1503179563/watcher-4283632-1503179563 -o /tmp/evaluation-result-4283632-1503179563/solver-4283632-1503179563 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503171261-25501 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1684583051 HOME/instance-4283632-1503179563.xml

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

MD5SUM BENCH= dd9b438f7b2aa476e711f04952c9024a
RANDOM SEED=1684583051

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30348980 kB
MemAvailable:   31523280 kB
Buffers:          327512 kB
Cached:          1153652 kB
SwapCached:            0 kB
Active:          1298288 kB
Inactive:         682700 kB
Active(anon):     500292 kB
Inactive(anon):    49484 kB
Active(file):     797996 kB
Inactive(file):   633216 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7856 kB
Writeback:             0 kB
AnonPages:        501416 kB
Mapped:            74540 kB
Shmem:             49828 kB
Slab:             144324 kB
SReclaimable:     117844 kB
SUnreclaim:        26480 kB
KernelStack:        3584 kB
PageTables:         6152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1044348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    434176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node125 at 2017-08-20 00:19:29