Trace number 4269410

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 4.0.5 seq (2017-08-09)? (TO) 2520.1001 2510.71

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-85-05.xml
MD5SUM5a3f618f89c6aa3a803c36caec9b03ca
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark25.191601
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1453
Number of domains2
Minimum domain size2
Maximum domain size26
Distribution of domain sizes[{"size":2,"count":1000},{"size":26,"count":200}]
Minimum variable degree2
Maximum variable degree89
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":2}, {"degree":85,"count":2}, {"degree":86,"count":2}, {"degree":87,"count":2}, {"degree":88,"count":3}, {"degree":89,"count":29}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":32,"count":2},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":38,"count":3},{"arity":40,"count":3},{"arity":41,"count":2},{"arity":42,"count":1},{"arity":44,"count":3},{"arity":45,"count":2},{"arity":46,"count":1},{"arity":47,"count":2},{"arity":48,"count":1},{"arity":50,"count":5},{"arity":52,"count":1},{"arity":53,"count":2},{"arity":54,"count":1},{"arity":55,"count":2},{"arity":56,"count":3},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1252},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269410-1502796613.xml"  -tl '2520s' -p 1 -x 0
0.08/0.28	c [HOME/instance-4269410-1502796613.xml, -tl, 2520s, -p, 1, -x, 0]
0.26/0.34	c simple solver
0.26/0.40	c parse instance...
1.89/0.87	c solve instance...
2520.07/2510.70	s UNKNOWN
2520.07/2510.70	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 (14871 MiB free)
  memory of node 1: 16384 MiB (15574 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269410-1502796613/watcher-4269410-1502796613 -o /tmp/evaluation-result-4269410-1502796613/solver-4269410-1502796613 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 49762255 HOME/instance-4269410-1502796613.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
solver pid=7309, runsolver pid=7306
Current StackSize limit: 8192 KiB


[startup+0.100189 s]*
/proc/loadavg: 1.97 1.94 1.95 3/197 7311
/proc/meminfo: memFree=31176488/32770624 swapFree=67108860/67108860
[pid=7309] ppid=7306 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7309/stat : 7309 (xcsp3-exec) S 7306 7309 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 68001906 9740288 345 18446744073709551615 4194304 5098028 140733386801392 140733386799496 140328295662204 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 26365952 140733386805626 140733386805829 140733386805829 140733386809323 0
/proc/7309/statm: 2378 345 289 221 0 87 0
[pid=7311] ppid=7309 vsize=11657624 memory=8832 CPUtime=0 cores=1,3,5,7
/proc/7311/stat : 7311 (java) S 7309 7309 11586 0 -1 1077944320 1947 0 0 0 0 0 0 0 20 0 2 0 68001916 11937406976 2208 18446744073709551615 4194304 4196468 140732722208240 140732722190784 140682322976503 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
/proc/7311/statm: 2914406 2208 1151 1 0 2904376 0
[pid=7311/tid=7312] ppid=7309 vsize=13356504 memory=1404226546319073930 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7312/stat : 7312 (java) R 7309 7309 11586 0 -1 4202560 1052 0 0 0 0 0 0 0 20 0 6 0 68001916 13677060096 2532 18446744073709551615 4194304 4196468 140732722208240 140682327218280 140682309057791 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7313] ppid=7309 vsize=13356504 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7313/stat : 7313 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 68001917 13677060096 2532 18446744073709551615 4194304 4196468 140732722208240 140682264922384 140682322986709 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7314] ppid=7309 vsize=13356504 memory=139757799974528 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7314/stat : 7314 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 68001917 13677060096 2532 18446744073709551615 4194304 4196468 140732722208240 140682263869840 140682322986709 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7315] ppid=7309 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7315/stat : 7315 (java) S 7309 7309 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 68001917 13677060096 2532 18446744073709551615 4194304 4196468 140732722208240 140682262817296 140682322986709 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7316] ppid=7309 vsize=13356504 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7316/stat : 7316 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 68001917 13677060096 2598 18446744073709551615 4194304 4196468 140732722208240 140682261764752 140682322986709 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11667136 KiB
Current children cumulated memory: 10212 KiB

[startup+0.210101 s]*
/proc/loadavg: 1.97 1.94 1.95 3/211 7325
/proc/meminfo: memFree=31165184/32770624 swapFree=67108860/67108860
[pid=7309] ppid=7306 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7309/stat : 7309 (xcsp3-exec) S 7306 7309 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 68001906 9740288 345 18446744073709551615 4194304 5098028 140733386801392 140733386799496 140328295662204 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 26365952 140733386805626 140733386805829 140733386805829 140733386809323 0
/proc/7309/statm: 2378 345 289 221 0 87 0
[pid=7311] ppid=7309 vsize=13974352 memory=24760 CPUtime=0.08 cores=1,3,5,7
/proc/7311/stat : 7311 (java) S 7309 7309 11586 0 -1 1077944320 5096 0 0 0 7 1 0 0 20 0 15 0 68001916 14309736448 6190 18446744073709551615 4194304 4196468 140732722208240 140732722190784 140682322976503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
/proc/7311/statm: 3493588 6190 2724 1 0 3482964 0
[pid=7311/tid=7312] ppid=7309 vsize=13974352 memory=7022364594140610616 CPUtime=0.05 cores=1,3,5,7
/proc/7311/task/7312/stat : 7312 (java) R 7309 7309 11586 0 -1 4202560 3252 0 0 0 5 0 0 0 20 0 15 0 68001916 14309736448 6201 18446744073709551615 4194304 4196468 140732722208240 140682327202192 140682307056990 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7313] ppid=7309 vsize=13974352 memory=4294968654 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7313/stat : 7313 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68001917 14309736448 6201 18446744073709551615 4194304 4196468 140732722208240 140682264922384 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7314] ppid=7309 vsize=13974352 memory=139757800711207 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7314/stat : 7314 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68001917 14309736448 6201 18446744073709551615 4194304 4196468 140732722208240 140682263869840 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7315] ppid=7309 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7315/stat : 7315 (java) S 7309 7309 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 68001917 14309736448 6201 18446744073709551615 4194304 4196468 140732722208240 140682262817296 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7316] ppid=7309 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7316/stat : 7316 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68001917 14309736448 6201 18446744073709551615 4194304 4196468 140732722208240 140682261764752 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7317] ppid=7309 vsize=13974352 memory=139757799974528 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7317/stat : 7317 (java) S 7309 7309 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 68001918 14309736448 6201 18446744073709551615 4194304 4196468 140732722208240 140681868749296 140682322987650 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7318] ppid=7309 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7318/stat : 7318 (java) S 7309 7309 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 68001918 14309736448 6201 18446744073709551615 4194304 4196468 140732722208240 140681867695520 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7319] ppid=7309 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7319/stat : 7319 (java) S 7309 7309 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 68001919 14309736448 6201 18446744073709551615 4194304 4196468 140732722208240 140681866642928 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7320] ppid=7309 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7320/stat : 7320 (java) S 7309 7309 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68001921 14309736448 6201 18446744073709551615 4194304 4196468 140732722208240 140681865591504 140682322995099 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7321] ppid=7309 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7321/stat : 7321 (java) S 7309 7309 11586 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 68001921 14309736448 6201 18446744073709551615 4194304 4196468 140732722208240 140681864538096 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7322] ppid=7309 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7322/stat : 7322 (java) S 7309 7309 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68001921 14309736448 6201 18446744073709551615 4194304 4196468 140732722208240 140681863485552 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7323] ppid=7309 vsize=13974352 memory=139757799974528 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7323/stat : 7323 (java) S 7309 7309 11586 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 68001921 14309736448 6201 18446744073709551615 4194304 4196468 140732722208240 140681862433008 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7324] ppid=7309 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7324/stat : 7324 (java) S 7309 7309 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68001921 14309736448 6201 18446744073709551615 4194304 4196468 140732722208240 140681861380704 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7325] ppid=7309 vsize=13974352 memory=139757799974528 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7325/stat : 7325 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68001926 14309736448 6201 18446744073709551615 4194304 4196468 140732722208240 140681860328240 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26140 KiB

[startup+0.310119 s]*
/proc/loadavg: 1.97 1.94 1.95 4/211 7325
/proc/meminfo: memFree=31149776/32770624 swapFree=67108860/67108860
[pid=7309] ppid=7306 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7309/stat : 7309 (xcsp3-exec) S 7306 7309 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 68001906 9740288 345 18446744073709551615 4194304 5098028 140733386801392 140733386799496 140328295662204 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 26365952 140733386805626 140733386805829 140733386805829 140733386809323 0
/proc/7309/statm: 2378 345 289 221 0 87 0
[pid=7311] ppid=7309 vsize=13974352 memory=36824 CPUtime=0.26 cores=1,3,5,7
/proc/7311/stat : 7311 (java) S 7309 7309 11586 0 -1 1077944320 8764 0 0 0 23 3 0 0 20 0 15 0 68001916 14309736448 9206 18446744073709551615 4194304 4196468 140732722208240 140732722190784 140682322976503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
/proc/7311/statm: 3493588 9206 2978 1 0 3482964 0
[pid=7311/tid=7312] ppid=7309 vsize=13974352 memory=6933928925625698159 CPUtime=0.16 cores=1,3,5,7
/proc/7311/task/7312/stat : 7312 (java) R 7309 7309 11586 0 -1 4202560 6063 0 0 0 14 2 0 0 20 0 15 0 68001916 14309736448 9206 18446744073709551615 4194304 4196468 140732722208240 140682327188944 140682322997850 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7313] ppid=7309 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7313/stat : 7313 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68001917 14309736448 9206 18446744073709551615 4194304 4196468 140732722208240 140682264922384 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7314] ppid=7309 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7314/stat : 7314 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68001917 14309736448 9206 18446744073709551615 4194304 4196468 140732722208240 140682263869840 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7315] ppid=7309 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7315/stat : 7315 (java) S 7309 7309 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 68001917 14309736448 9206 18446744073709551615 4194304 4196468 140732722208240 140682262817296 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7316] ppid=7309 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7316/stat : 7316 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68001917 14309736448 9206 18446744073709551615 4194304 4196468 140732722208240 140682261764752 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7317] ppid=7309 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7317/stat : 7317 (java) S 7309 7309 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 68001918 14309736448 9206 18446744073709551615 4194304 4196468 140732722208240 140681868749296 140682322987650 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7318] ppid=7309 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7318/stat : 7318 (java) S 7309 7309 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 68001918 14309736448 9206 18446744073709551615 4194304 4196468 140732722208240 140681867695520 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7319] ppid=7309 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7319/stat : 7319 (java) S 7309 7309 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 68001919 14309736448 9206 18446744073709551615 4194304 4196468 140732722208240 140681866642928 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7320] ppid=7309 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7320/stat : 7320 (java) S 7309 7309 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68001921 14309736448 9206 18446744073709551615 4194304 4196468 140732722208240 140681865591504 140682322995099 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7321] ppid=7309 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7311/task/7321/stat : 7321 (java) R 7309 7309 11586 0 -1 1077944384 609 0 0 0 2 0 0 0 20 0 15 0 68001921 14309736448 9206 18446744073709551615 4194304 4196468 140732722208240 140681864538096 140682322987650 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7322] ppid=7309 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/7311/task/7322/stat : 7322 (java) R 7309 7309 11586 0 -1 4202560 93 0 0 0 1 0 0 0 20 0 15 0 68001921 14309736448 9206 18446744073709551615 4194304 4196468 140732722208240 140681863485552 140682315265952 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7323] ppid=7309 vsize=13974352 memory=139757799974528 CPUtime=0.05 cores=1,3,5,7
/proc/7311/task/7323/stat : 7323 (java) R 7309 7309 11586 0 -1 4202560 712 0 0 0 5 0 0 0 20 0 15 0 68001921 14309736448 9206 18446744073709551615 4194304 4196468 140732722208240 140681862433008 140682322997850 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7324] ppid=7309 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7324/stat : 7324 (java) S 7309 7309 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68001921 14309736448 9206 18446744073709551615 4194304 4196468 140732722208240 140681861380704 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7325] ppid=7309 vsize=13974352 memory=139757799974528 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7325/stat : 7325 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68001926 14309736448 9206 18446744073709551615 4194304 4196468 140732722208240 140681860328240 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38204 KiB

[startup+0.701106 s]
/proc/loadavg: 1.97 1.94 1.95 6/211 7325
/proc/meminfo: memFree=31133416/32770624 swapFree=67108860/67108860
[pid=7309] ppid=7306 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7309/stat : 7309 (xcsp3-exec) S 7306 7309 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 68001906 9740288 345 18446744073709551615 4194304 5098028 140733386801392 140733386799496 140328295662204 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 26365952 140733386805626 140733386805829 140733386805829 140733386809323 0
/proc/7309/statm: 2378 345 289 221 0 87 0
[pid=7311] ppid=7309 vsize=13980732 memory=77272 CPUtime=1.35 cores=1,3,5,7
/proc/7311/stat : 7311 (java) S 7309 7309 11586 0 -1 1077944320 13997 0 0 0 129 6 0 0 20 0 15 0 68001916 14316269568 19318 18446744073709551615 4194304 4196468 140732722208240 140732722190784 140682322976503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
/proc/7311/statm: 3495183 19318 3171 1 0 3483476 0
[pid=7311/tid=7312] ppid=7309 vsize=13980732 memory=313 CPUtime=0.54 cores=1,3,5,7
/proc/7311/task/7312/stat : 7312 (java) R 7309 7309 11586 0 -1 4202560 7976 0 0 0 50 4 0 0 20 0 15 0 68001916 14316269568 19318 18446744073709551615 4194304 4196468 140732722208240 140682327212592 140682315654517 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7313] ppid=7309 vsize=13980732 memory=439 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7313/stat : 7313 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68001917 14316269568 19318 18446744073709551615 4194304 4196468 140732722208240 140682264922384 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7314] ppid=7309 vsize=13980732 memory=972 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7314/stat : 7314 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68001917 14316269568 19318 18446744073709551615 4194304 4196468 140732722208240 140682263869840 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7315] ppid=7309 vsize=13980732 memory=139757699080976 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7315/stat : 7315 (java) S 7309 7309 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 68001917 14316269568 19318 18446744073709551615 4194304 4196468 140732722208240 140682262817296 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7316] ppid=7309 vsize=13980732 memory=8514726395714825875 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7316/stat : 7316 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68001917 14316269568 19318 18446744073709551615 4194304 4196468 140732722208240 140682261764752 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7317] ppid=7309 vsize=13980732 memory=-8412658754298548083 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7317/stat : 7317 (java) S 7309 7309 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 68001918 14316269568 19318 18446744073709551615 4194304 4196468 140732722208240 140681868749296 140682322987650 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7318] ppid=7309 vsize=13980732 memory=-7522837583045875833 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7318/stat : 7318 (java) S 7309 7309 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 68001918 14316269568 19318 18446744073709551615 4194304 4196468 140732722208240 140681867695520 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7319] ppid=7309 vsize=13980732 memory=6944656592452807323 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7319/stat : 7319 (java) S 7309 7309 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 68001919 14316269568 19318 18446744073709551615 4194304 4196468 140732722208240 140681866642928 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7320] ppid=7309 vsize=13980732 memory=2721 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7320/stat : 7320 (java) S 7309 7309 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68001921 14316269568 19318 18446744073709551615 4194304 4196468 140732722208240 140681865591504 140682322995099 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7321] ppid=7309 vsize=13980732 memory=139757699075520 CPUtime=0.25 cores=1,3,5,7
/proc/7311/task/7321/stat : 7321 (java) R 7309 7309 11586 0 -1 4202560 1720 0 0 0 25 0 0 0 20 0 15 0 68001921 14316269568 19318 18446744073709551615 4194304 4196468 140732722208240 140681864519632 140682300993482 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7322] ppid=7309 vsize=13980732 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/7311/task/7322/stat : 7322 (java) R 7309 7309 11586 0 -1 4202560 1223 0 0 0 21 0 0 0 20 0 15 0 68001921 14316269568 19318 18446744073709551615 4194304 4196468 140732722208240 140681863466568 140682303677974 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7323] ppid=7309 vsize=13980732 memory=2796 CPUtime=0.31 cores=1,3,5,7
/proc/7311/task/7323/stat : 7323 (java) S 7309 7309 11586 0 -1 1077944384 1771 0 0 0 31 0 0 0 20 0 15 0 68001921 14316269568 19318 18446744073709551615 4194304 4196468 140732722208240 140681862433008 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7324] ppid=7309 vsize=13980732 memory=6933928925625698159 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7324/stat : 7324 (java) S 7309 7309 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68001921 14316269568 19318 18446744073709551615 4194304 4196468 140732722208240 140681861380704 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7325] ppid=7309 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7325/stat : 7325 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68001926 14316269568 19318 18446744073709551615 4194304 4196468 140732722208240 140681860328240 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 78652 KiB

[startup+1.50088 s]
/proc/loadavg: 1.97 1.94 1.95 6/211 7325
/proc/meminfo: memFree=31079588/32770624 swapFree=67108860/67108860
[pid=7309] ppid=7306 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7309/stat : 7309 (xcsp3-exec) S 7306 7309 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 68001906 9740288 345 18446744073709551615 4194304 5098028 140733386801392 140733386799496 140328295662204 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 26365952 140733386805626 140733386805829 140733386805829 140733386809323 0
/proc/7309/statm: 2378 345 289 221 0 87 0
[pid=7311] ppid=7309 vsize=13980732 memory=120544 CPUtime=3.96 cores=1,3,5,7
/proc/7311/stat : 7311 (java) S 7309 7309 11586 0 -1 1077944320 23846 0 0 0 388 8 0 0 20 0 15 0 68001916 14316269568 30136 18446744073709551615 4194304 4196468 140732722208240 140732722190784 140682322976503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
/proc/7311/statm: 3495183 30136 3193 1 0 3483476 0
[pid=7311/tid=7312] ppid=7309 vsize=13980732 memory=63838834 CPUtime=1.34 cores=1,3,5,7
/proc/7311/task/7312/stat : 7312 (java) R 7309 7309 11586 0 -1 4202560 9006 0 0 0 129 5 0 0 20 0 15 0 68001916 14316269568 30136 18446744073709551615 4194304 4196468 140732722208240 140682327215344 140681944243874 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7313] ppid=7309 vsize=13980732 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7313/stat : 7313 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68001917 14316269568 30136 18446744073709551615 4194304 4196468 140732722208240 140682264922384 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7314] ppid=7309 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7314/stat : 7314 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68001917 14316269568 30136 18446744073709551615 4194304 4196468 140732722208240 140682263869840 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7315] ppid=7309 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7315/stat : 7315 (java) S 7309 7309 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 68001917 14316269568 30136 18446744073709551615 4194304 4196468 140732722208240 140682262817296 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7316] ppid=7309 vsize=13980732 memory=77272 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7316/stat : 7316 (java) S 7309 7309 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 68001917 14316269568 30136 18446744073709551615 4194304 4196468 140732722208240 140682261764752 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7317] ppid=7309 vsize=13980732 memory=313 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7317/stat : 7317 (java) S 7309 7309 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 68001918 14316269568 30136 18446744073709551615 4194304 4196468 140732722208240 140681868749296 140682322987650 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7318] ppid=7309 vsize=13980732 memory=439 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7318/stat : 7318 (java) S 7309 7309 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 68001918 14316269568 30136 18446744073709551615 4194304 4196468 140732722208240 140681867695520 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7319] ppid=7309 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7

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

/proc/7311/task/7319/stat : 7319 (java) S 7309 7309 11586 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 68001919 14316269568 64027 18446744073709551615 4194304 4196468 140732722208240 140681866642928 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7320] ppid=7309 vsize=13980732 memory=256108 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7320/stat : 7320 (java) S 7309 7309 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68001921 14316269568 64027 18446744073709551615 4194304 4196468 140732722208240 140681865591504 140682322995099 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7321] ppid=7309 vsize=13980732 memory=256108 CPUtime=3.28 cores=1,3,5,7
/proc/7311/task/7321/stat : 7321 (java) S 7309 7309 11586 0 -1 1077944384 22712 0 0 0 326 2 0 0 20 0 15 0 68001921 14316269568 64027 18446744073709551615 4194304 4196468 140732722208240 140681864538096 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7322] ppid=7309 vsize=13980732 memory=1380 CPUtime=3.18 cores=1,3,5,7
/proc/7311/task/7322/stat : 7322 (java) S 7309 7309 11586 0 -1 1077944384 19590 0 0 0 316 2 0 0 20 0 15 0 68001921 14316269568 64027 18446744073709551615 4194304 4196468 140732722208240 140681863485552 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7323] ppid=7309 vsize=13980732 memory=1380 CPUtime=0.75 cores=1,3,5,7
/proc/7311/task/7323/stat : 7323 (java) S 7309 7309 11586 0 -1 1077944384 10642 0 0 0 73 2 0 0 20 0 15 0 68001921 14316269568 64027 18446744073709551615 4194304 4196468 140732722208240 140681862433008 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7324] ppid=7309 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7324/stat : 7324 (java) S 7309 7309 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68001921 14316269568 64027 18446744073709551615 4194304 4196468 140732722208240 140681861380704 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7325] ppid=7309 vsize=13980732 memory=256108 CPUtime=0.69 cores=1,3,5,7
/proc/7311/task/7325/stat : 7325 (java) S 7309 7309 11586 0 -1 1077944384 1704 0 0 0 30 39 0 0 20 0 15 0 68001926 14316269568 64027 18446744073709551615 4194304 4196468 140732722208240 140681860328240 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
Current children cumulated CPU time: 2451.55 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 257488 KiB

[startup+2502.3 s]
/proc/loadavg: 1.61 1.53 1.63 3/211 7547
/proc/meminfo: memFree=31115656/32770624 swapFree=67108860/67108860
[pid=7309] ppid=7306 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7309/stat : 7309 (xcsp3-exec) S 7306 7309 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 68001906 9740288 345 18446744073709551615 4194304 5098028 140733386801392 140733386799496 140328295662204 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 26365952 140733386805626 140733386805829 140733386805829 140733386809323 0
/proc/7309/statm: 2378 345 289 221 0 87 0
[pid=7311] ppid=7309 vsize=13980732 memory=262252 CPUtime=2511.66 cores=1,3,5,7
/proc/7311/stat : 7311 (java) S 7309 7309 11586 0 -1 1077944320 98750 0 0 0 251091 75 0 0 20 0 15 0 68001916 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140732722190784 140682322976503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
/proc/7311/statm: 3495183 65563 3245 1 0 3483476 0
[pid=7311/tid=7312] ppid=7309 vsize=13980732 memory=260204 CPUtime=2500.97 cores=1,3,5,7
/proc/7311/task/7312/stat : 7312 (java) R 7309 7309 11586 0 -1 4202560 23289 0 0 0 250089 8 0 0 20 0 15 0 68001916 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140682327215936 140681945828525 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7313] ppid=7309 vsize=13980732 memory=260204 CPUtime=0.58 cores=1,3,5,7
/proc/7311/task/7313/stat : 7313 (java) S 7309 7309 11586 0 -1 1077944384 5181 0 0 0 52 6 0 0 20 0 15 0 68001917 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140682264922384 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7314] ppid=7309 vsize=13980732 memory=260204 CPUtime=0.58 cores=1,3,5,7
/proc/7311/task/7314/stat : 7314 (java) S 7309 7309 11586 0 -1 1077944384 2081 0 0 0 52 6 0 0 20 0 15 0 68001917 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140682263869840 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7315] ppid=7309 vsize=13980732 memory=260204 CPUtime=0.58 cores=1,3,5,7
/proc/7311/task/7315/stat : 7315 (java) S 7309 7309 11586 0 -1 1077944384 2352 0 0 0 51 7 0 0 20 0 15 0 68001917 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140682262817296 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7316] ppid=7309 vsize=13980732 memory=260204 CPUtime=0.58 cores=1,3,5,7
/proc/7311/task/7316/stat : 7316 (java) S 7309 7309 11586 0 -1 1077944384 5286 0 0 0 52 6 0 0 20 0 15 0 68001917 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140682261764752 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7317] ppid=7309 vsize=13980732 memory=262252 CPUtime=0.34 cores=1,3,5,7
/proc/7311/task/7317/stat : 7317 (java) S 7309 7309 11586 0 -1 1077944384 4546 0 0 0 30 4 0 0 20 0 15 0 68001918 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681868749296 140682322987650 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7318] ppid=7309 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7318/stat : 7318 (java) S 7309 7309 11586 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 68001918 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681867695520 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7319] ppid=7309 vsize=13980732 memory=260204 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7319/stat : 7319 (java) S 7309 7309 11586 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 68001919 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681866642928 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7320] ppid=7309 vsize=13980732 memory=262252 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7320/stat : 7320 (java) S 7309 7309 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68001921 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681865591504 140682322995099 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7321] ppid=7309 vsize=13980732 memory=1380 CPUtime=3.28 cores=1,3,5,7
/proc/7311/task/7321/stat : 7321 (java) S 7309 7309 11586 0 -1 1077944384 22712 0 0 0 326 2 0 0 20 0 15 0 68001921 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681864538096 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7322] ppid=7309 vsize=13980732 memory=1380 CPUtime=3.18 cores=1,3,5,7
/proc/7311/task/7322/stat : 7322 (java) S 7309 7309 11586 0 -1 1077944384 19590 0 0 0 316 2 0 0 20 0 15 0 68001921 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681863485552 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7323] ppid=7309 vsize=13980732 memory=1380 CPUtime=0.75 cores=1,3,5,7
/proc/7311/task/7323/stat : 7323 (java) S 7309 7309 11586 0 -1 1077944384 10642 0 0 0 73 2 0 0 20 0 15 0 68001921 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681862433008 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7324] ppid=7309 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7324/stat : 7324 (java) S 7309 7309 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68001921 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681861380704 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7325] ppid=7309 vsize=13980732 memory=260204 CPUtime=0.72 cores=1,3,5,7
/proc/7311/task/7325/stat : 7325 (java) S 7309 7309 11586 0 -1 1077944384 1708 0 0 0 31 41 0 0 20 0 15 0 68001926 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681860328240 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
Current children cumulated CPU time: 2511.66 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 263632 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2510.7 s]
/proc/loadavg: 1.67 1.55 1.64 3/211 7547
/proc/meminfo: memFree=31115656/32770624 swapFree=67108860/67108860
[pid=7309] ppid=7306 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7309/stat : 7309 (xcsp3-exec) S 7306 7309 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 68001906 9740288 345 18446744073709551615 4194304 5098028 140733386801392 140733386799496 140328295662204 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 26365952 140733386805626 140733386805829 140733386805829 140733386809323 0
/proc/7309/statm: 2378 345 289 221 0 87 0
[pid=7311] ppid=7309 vsize=13980732 memory=262252 CPUtime=2520.07 cores=1,3,5,7
/proc/7311/stat : 7311 (java) S 7309 7309 11586 0 -1 1077944320 98767 0 0 0 251932 75 0 0 20 0 15 0 68001916 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140732722190784 140682322976503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
/proc/7311/statm: 3495183 65563 3245 1 0 3483476 0
[pid=7311/tid=7312] ppid=7309 vsize=13980732 memory=1380 CPUtime=2509.36 cores=1,3,5,7
/proc/7311/task/7312/stat : 7312 (java) R 7309 7309 11586 0 -1 4202560 23293 0 0 0 250928 8 0 0 20 0 15 0 68001916 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140682327216048 140681945827790 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7313] ppid=7309 vsize=13980732 memory=260204 CPUtime=0.58 cores=1,3,5,7
/proc/7311/task/7313/stat : 7313 (java) S 7309 7309 11586 0 -1 1077944384 5183 0 0 0 52 6 0 0 20 0 15 0 68001917 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140682264922384 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7314] ppid=7309 vsize=13980732 memory=262252 CPUtime=0.58 cores=1,3,5,7
/proc/7311/task/7314/stat : 7314 (java) S 7309 7309 11586 0 -1 1077944384 2089 0 0 0 52 6 0 0 20 0 15 0 68001917 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140682263869840 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7315] ppid=7309 vsize=13980732 memory=1380 CPUtime=0.59 cores=1,3,5,7
/proc/7311/task/7315/stat : 7315 (java) S 7309 7309 11586 0 -1 1077944384 2353 0 0 0 52 7 0 0 20 0 15 0 68001917 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140682262817296 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7316] ppid=7309 vsize=13980732 memory=262252 CPUtime=0.58 cores=1,3,5,7
/proc/7311/task/7316/stat : 7316 (java) S 7309 7309 11586 0 -1 1077944384 5288 0 0 0 52 6 0 0 20 0 15 0 68001917 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140682261764752 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7317] ppid=7309 vsize=13980732 memory=1380 CPUtime=0.35 cores=1,3,5,7
/proc/7311/task/7317/stat : 7317 (java) S 7309 7309 11586 0 -1 1077944384 4546 0 0 0 31 4 0 0 20 0 15 0 68001918 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681868749296 140682322987650 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7318] ppid=7309 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7318/stat : 7318 (java) S 7309 7309 11586 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 68001918 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681867695520 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7319] ppid=7309 vsize=13980732 memory=3472468053274198396 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7319/stat : 7319 (java) S 7309 7309 11586 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 68001919 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681866642928 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7320] ppid=7309 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7320/stat : 7320 (java) S 7309 7309 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68001921 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681865591504 140682322995099 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7321] ppid=7309 vsize=13980732 memory=1380 CPUtime=3.28 cores=1,3,5,7
/proc/7311/task/7321/stat : 7321 (java) S 7309 7309 11586 0 -1 1077944384 22712 0 0 0 326 2 0 0 20 0 15 0 68001921 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681864538096 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7322] ppid=7309 vsize=13980732 memory=1380 CPUtime=3.18 cores=1,3,5,7
/proc/7311/task/7322/stat : 7322 (java) S 7309 7309 11586 0 -1 1077944384 19590 0 0 0 316 2 0 0 20 0 15 0 68001921 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681863485552 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7323] ppid=7309 vsize=13980732 memory=1380 CPUtime=0.75 cores=1,3,5,7
/proc/7311/task/7323/stat : 7323 (java) S 7309 7309 11586 0 -1 1077944384 10642 0 0 0 73 2 0 0 20 0 15 0 68001921 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681862433008 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7324] ppid=7309 vsize=13980732 memory=262252 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7324/stat : 7324 (java) S 7309 7309 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68001921 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681861380704 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7325] ppid=7309 vsize=13980732 memory=1380 CPUtime=0.72 cores=1,3,5,7
/proc/7311/task/7325/stat : 7325 (java) S 7309 7309 11586 0 -1 1077944384 1708 0 0 0 31 41 0 0 20 0 15 0 68001926 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681860328240 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 263632 KiB

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

[startup+2510.71 s]
# the end of solver process 7309 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000599 s, system=0.001199 s

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

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

[startup+2510.7 s]
/proc/loadavg: 1.67 1.55 1.64 3/211 7547
/proc/meminfo: memFree=31115656/32770624 swapFree=67108860/67108860
[pid=7309] ppid=7306 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7309/stat : 7309 (xcsp3-exec) S 7306 7309 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 68001906 9740288 345 18446744073709551615 4194304 5098028 140733386801392 140733386799496 140328295662204 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 26365952 140733386805626 140733386805829 140733386805829 140733386809323 0
/proc/7309/statm: 2378 345 289 221 0 87 0
[pid=7311] ppid=7309 vsize=13980732 memory=262252 CPUtime=2520.07 cores=1,3,5,7
/proc/7311/stat : 7311 (java) S 7309 7309 11586 0 -1 1077944320 98767 0 0 0 251932 75 0 0 20 0 15 0 68001916 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140732722190784 140682322976503 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
/proc/7311/statm: 3495183 65563 3245 1 0 3483476 0
[pid=7311/tid=7312] ppid=7309 vsize=13980732 memory=1380 CPUtime=2509.36 cores=1,3,5,7
/proc/7311/task/7312/stat : 7312 (java) R 7309 7309 11586 0 -1 4202560 23293 0 0 0 250928 8 0 0 20 0 15 0 68001916 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140682327216048 140681945827790 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7313] ppid=7309 vsize=13980732 memory=260204 CPUtime=0.58 cores=1,3,5,7
/proc/7311/task/7313/stat : 7313 (java) S 7309 7309 11586 0 -1 1077944384 5183 0 0 0 52 6 0 0 20 0 15 0 68001917 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140682264922384 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7314] ppid=7309 vsize=13980732 memory=262252 CPUtime=0.58 cores=1,3,5,7
/proc/7311/task/7314/stat : 7314 (java) S 7309 7309 11586 0 -1 1077944384 2089 0 0 0 52 6 0 0 20 0 15 0 68001917 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140682263869840 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7315] ppid=7309 vsize=13980732 memory=1380 CPUtime=0.59 cores=1,3,5,7
/proc/7311/task/7315/stat : 7315 (java) S 7309 7309 11586 0 -1 1077944384 2353 0 0 0 52 7 0 0 20 0 15 0 68001917 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140682262817296 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7316] ppid=7309 vsize=13980732 memory=262252 CPUtime=0.58 cores=1,3,5,7
/proc/7311/task/7316/stat : 7316 (java) S 7309 7309 11586 0 -1 1077944384 5288 0 0 0 52 6 0 0 20 0 15 0 68001917 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140682261764752 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7317] ppid=7309 vsize=13980732 memory=1380 CPUtime=0.35 cores=1,3,5,7
/proc/7311/task/7317/stat : 7317 (java) S 7309 7309 11586 0 -1 1077944384 4546 0 0 0 31 4 0 0 20 0 15 0 68001918 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681868749296 140682322987650 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7318] ppid=7309 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7318/stat : 7318 (java) S 7309 7309 11586 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 68001918 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681867695520 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7319] ppid=7309 vsize=13980732 memory=3472468053274198396 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7319/stat : 7319 (java) S 7309 7309 11586 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 68001919 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681866642928 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7320] ppid=7309 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7320/stat : 7320 (java) S 7309 7309 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68001921 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681865591504 140682322995099 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7321] ppid=7309 vsize=13980732 memory=1380 CPUtime=3.28 cores=1,3,5,7
/proc/7311/task/7321/stat : 7321 (java) S 7309 7309 11586 0 -1 1077944384 22712 0 0 0 326 2 0 0 20 0 15 0 68001921 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681864538096 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7322] ppid=7309 vsize=13980732 memory=1380 CPUtime=3.18 cores=1,3,5,7
/proc/7311/task/7322/stat : 7322 (java) S 7309 7309 11586 0 -1 1077944384 19590 0 0 0 316 2 0 0 20 0 15 0 68001921 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681863485552 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7323] ppid=7309 vsize=13980732 memory=1380 CPUtime=0.75 cores=1,3,5,7
/proc/7311/task/7323/stat : 7323 (java) S 7309 7309 11586 0 -1 1077944384 10642 0 0 0 73 2 0 0 20 0 15 0 68001921 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681862433008 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7324] ppid=7309 vsize=13980732 memory=262252 CPUtime=0 cores=1,3,5,7
/proc/7311/task/7324/stat : 7324 (java) S 7309 7309 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 68001921 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681861380704 140682322986709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
[pid=7311/tid=7325] ppid=7309 vsize=13980732 memory=1380 CPUtime=0.72 cores=1,3,5,7
/proc/7311/task/7325/stat : 7325 (java) S 7309 7309 11586 0 -1 1077944384 1708 0 0 0 31 41 0 0 20 0 15 0 68001926 14316269568 65563 18446744073709551615 4194304 4196468 140732722208240 140681860328240 140682322987650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17383424 140732722209201 140732722209377 140732722209377 140732722212815 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 263632 KiB

Child status: 143
Real time (s): 2510.71
CPU time (s): 2520.1
CPU user time (s): 2519.33
CPU system time (s): 0.764336
CPU usage (%): 100.374
Max. virtual memory (cumulated for all children) (KiB): 13992248
Max. memory (cumulated for all children) (KiB): 263632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.33
system time used= 0.764336
maximum resident set size= 262704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99529
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65204
involuntary context switches= 1581


# summary of solver processes directly reported to runsolver:
#   pid: 7309,7311
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2519.33
#   total CPU system time (s): 0.764336

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8191 second user time and 21.859 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-15 13:15:56
IDJOB=4269410
IDBENCH=128124
IDSOLVER=2660
FILE ID=node124/4269410-1502796613
RUNJOBID= node124-1502673801-14690
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-85-05.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-4269410-1502796613/watcher-4269410-1502796613 -o /tmp/evaluation-result-4269410-1502796613/solver-4269410-1502796613 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 49762255 HOME/instance-4269410-1502796613.xml

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

MD5SUM BENCH= 5a3f618f89c6aa3a803c36caec9b03ca
RANDOM SEED=49762255

node124.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.51
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.51
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.51
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.51
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:        31176488 kB
MemAvailable:   31598056 kB
Buffers:          239024 kB
Cached:           469508 kB
SwapCached:            0 kB
Active:           854928 kB
Inactive:         290728 kB
Active(anon):     388520 kB
Inactive(anon):    81948 kB
Active(file):     466408 kB
Inactive(file):   208780 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7844 kB
Writeback:             4 kB
AnonPages:        436668 kB
Mapped:            59588 kB
Shmem:             33512 kB
Slab:             151188 kB
SReclaimable:     124432 kB
SUnreclaim:        26756 kB
KernelStack:        3440 kB
PageTables:         6084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1362052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    374784 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= 62016 MiB
End job on node124 at 2017-08-15 13:57:47