Trace number 4282207

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-18)? (TO) 2520.1101 2493.52

General information on the benchmark

NameDubois/Dubois-m1-s1/
Dubois-080.xml
MD5SUM48ff124294bde3e8e6ef7a0c7c897a65
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.01281
Satisfiable
(Un)Satisfiability was proved
Number of variables240
Number of constraints160
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":240}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":240}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":160}]
Number of extensional constraints160
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":160}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282207-1503129465.xml"  -tl '2520s' -p 1 -x 0
0.12/0.26	c [HOME/instance-4282207-1503129465.xml, -tl, 2520s, -p, 1, -x, 0]
0.12/0.32	c simple solver
0.32/0.38	c parse instance...
0.69/0.58	c solve instance...
2520.08/2493.50	s UNKNOWN
2520.08/2493.50	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 (13662 MiB free)
  memory of node 1: 16384 MiB (15512 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282207-1503129465/watcher-4282207-1503129465 -o /tmp/evaluation-result-4282207-1503129465/solver-4282207-1503129465 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503095780-14042 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 133526085 HOME/instance-4282207-1503129465.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=20567, runsolver pid=20564
Current StackSize limit: 8192 KiB


[startup+0.100155 s]*
/proc/loadavg: 2.00 2.06 2.05 3/204 20575
/proc/meminfo: memFree=29867480/32770624 swapFree=67108860/67108860
[pid=20567] ppid=20564 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20567/stat : 20567 (xcsp3-exec) S 20564 20567 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 101287101 9740288 345 18446744073709551615 4194304 5098028 140720431724384 140720431722488 140011232617084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 39165952 140720431731065 140720431731269 140720431731269 140720431734763 0
/proc/20567/statm: 2378 345 289 221 0 87 0
[pid=20569] ppid=20567 vsize=13574484 memory=18716 CPUtime=0.02 cores=1,3,5,7
/proc/20569/stat : 20569 (java) S 20567 20567 13977 0 -1 1077944320 3984 0 0 0 2 0 0 0 20 0 9 0 101287109 13900271616 4679 18446744073709551615 4194304 4196468 140734942665968 140734942648512 140572530208503 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
/proc/20569/statm: 3393621 4679 2086 1 0 3383118 0
[pid=20569/tid=20570] ppid=20567 vsize=13574484 memory=4206989191851631162 CPUtime=0.02 cores=1,3,5,7
/proc/20569/task/20570/stat : 20570 (java) R 20567 20567 13977 0 -1 4202560 2688 0 0 0 2 0 0 0 20 0 9 0 101287109 13900271616 4679 18446744073709551615 4194304 4196468 140734942665968 140572534444552 140572514288990 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20571] ppid=20567 vsize=13574484 memory=3461490677699122825 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20571/stat : 20571 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 101287110 13900271616 4679 18446744073709551615 4194304 4196468 140734942665968 140572472155152 140572530218709 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20572] ppid=20567 vsize=13574484 memory=140073069438592 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20572/stat : 20572 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 101287110 13900271616 4679 18446744073709551615 4194304 4196468 140734942665968 140572471102608 140572530218709 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20573] ppid=20567 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20573/stat : 20573 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 101287110 13900271616 4679 18446744073709551615 4194304 4196468 140734942665968 140572470049552 140572530218709 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20574] ppid=20567 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20574/stat : 20574 (java) S 20567 20567 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 101287110 13900271616 4679 18446744073709551615 4194304 4196468 140734942665968 140572468997008 140572530218709 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20575] ppid=20567 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20575/stat : 20575 (java) S 20567 20567 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 101287111 13900271616 4679 18446744073709551615 4194304 4196468 140734942665968 140572075854064 140572530219650 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20576] ppid=20567 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20576/stat : 20576 (java) S 20567 20567 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 101287111 13900271616 4679 18446744073709551615 4194304 4196468 140734942665968 140572074800288 140572530218709 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20577] ppid=20567 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20577/stat : 20577 (java) S 20567 20567 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 101287112 13900271616 4679 18446744073709551615 4194304 4196468 140734942665968 140572073747248 140572530218709 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20096 KiB

[startup+0.21576 s]*
/proc/loadavg: 2.00 2.06 2.05 3/212 20583
/proc/meminfo: memFree=29858160/32770624 swapFree=67108860/67108860
[pid=20567] ppid=20564 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20567/stat : 20567 (xcsp3-exec) S 20564 20567 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 101287101 9740288 345 18446744073709551615 4194304 5098028 140720431724384 140720431722488 140011232617084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 39165952 140720431731065 140720431731269 140720431731269 140720431734763 0
/proc/20567/statm: 2378 345 289 221 0 87 0
[pid=20569] ppid=20567 vsize=13974352 memory=27644 CPUtime=0.12 cores=1,3,5,7
/proc/20569/stat : 20569 (java) S 20567 20567 13977 0 -1 1077944320 5385 0 0 0 11 1 0 0 20 0 15 0 101287109 14309736448 6911 18446744073709551615 4194304 4196468 140734942665968 140734942648512 140572530208503 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
/proc/20569/statm: 3493588 6911 2826 1 0 3482964 0
[pid=20569/tid=20570] ppid=20567 vsize=13974352 memory=-6297558867281809760 CPUtime=0.08 cores=1,3,5,7
/proc/20569/task/20570/stat : 20570 (java) R 20567 20567 13977 0 -1 4202560 3387 0 0 0 8 0 0 0 20 0 15 0 101287109 14309736448 6911 18446744073709551615 4194304 4196468 140734942665968 140572534441776 140572530220438 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20571] ppid=20567 vsize=13974352 memory=3461490677699122825 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20571/stat : 20571 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101287110 14309736448 6911 18446744073709551615 4194304 4196468 140734942665968 140572472155152 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20572] ppid=20567 vsize=13974352 memory=140073069438592 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20572/stat : 20572 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101287110 14309736448 6911 18446744073709551615 4194304 4196468 140734942665968 140572471102608 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20573] ppid=20567 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20573/stat : 20573 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101287110 14309736448 6911 18446744073709551615 4194304 4196468 140734942665968 140572470049552 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20574] ppid=20567 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20574/stat : 20574 (java) S 20567 20567 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101287110 14309736448 6911 18446744073709551615 4194304 4196468 140734942665968 140572468997008 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20575] ppid=20567 vsize=13974352 memory=140073069438592 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20575/stat : 20575 (java) S 20567 20567 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101287111 14309736448 6911 18446744073709551615 4194304 4196468 140734942665968 140572075854064 140572530219650 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20576] ppid=20567 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20576/stat : 20576 (java) S 20567 20567 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 101287111 14309736448 6911 18446744073709551615 4194304 4196468 140734942665968 140572074800288 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20577] ppid=20567 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20577/stat : 20577 (java) S 20567 20567 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 101287112 14309736448 6911 18446744073709551615 4194304 4196468 140734942665968 140572073747184 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20578] ppid=20567 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20578/stat : 20578 (java) S 20567 20567 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101287114 14309736448 6911 18446744073709551615 4194304 4196468 140734942665968 140572072695760 140572530227099 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20579] ppid=20567 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20579/stat : 20579 (java) S 20567 20567 13977 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 101287114 14309736448 6911 18446744073709551615 4194304 4196468 140734942665968 140572071643888 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20580] ppid=20567 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20580/stat : 20580 (java) S 20567 20567 13977 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 101287114 14309736448 6911 18446744073709551615 4194304 4196468 140734942665968 140572070591344 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20581] ppid=20567 vsize=13974352 memory=140073069438592 CPUtime=0.01 cores=1,3,5,7
/proc/20569/task/20581/stat : 20581 (java) R 20567 20567 13977 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 15 0 101287114 14309736448 6911 18446744073709551615 4194304 4196468 140734942665968 140572069538288 140572514288990 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20582] ppid=20567 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20582/stat : 20582 (java) S 20567 20567 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101287114 14309736448 6911 18446744073709551615 4194304 4196468 140734942665968 140572068485984 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20583] ppid=20567 vsize=13974352 memory=140073069438592 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20583/stat : 20583 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101287118 14309736448 6911 18446744073709551615 4194304 4196468 140734942665968 140572067433008 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29024 KiB

[startup+0.314918 s]*
/proc/loadavg: 2.00 2.06 2.05 5/212 20583
/proc/meminfo: memFree=29843256/32770624 swapFree=67108860/67108860
[pid=20567] ppid=20564 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20567/stat : 20567 (xcsp3-exec) S 20564 20567 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 101287101 9740288 345 18446744073709551615 4194304 5098028 140720431724384 140720431722488 140011232617084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 39165952 140720431731065 140720431731269 140720431731269 140720431734763 0
/proc/20567/statm: 2378 345 289 221 0 87 0
[pid=20569] ppid=20567 vsize=13974352 memory=41152 CPUtime=0.32 cores=1,3,5,7
/proc/20569/stat : 20569 (java) S 20567 20567 13977 0 -1 1077944320 9039 0 0 0 29 3 0 0 20 0 15 0 101287109 14309736448 10288 18446744073709551615 4194304 4196468 140734942665968 140734942648512 140572530208503 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
/proc/20569/statm: 3493588 10288 2984 1 0 3482964 0
[pid=20569/tid=20570] ppid=20567 vsize=13974352 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/20569/task/20570/stat : 20570 (java) D 20567 20567 13977 0 -1 1077944384 6224 0 0 0 17 2 0 0 20 0 15 0 101287109 14309736448 10288 18446744073709551615 4194304 4196468 140734942665968 140572534432672 140572522887725 0 4 1 16800974 18446744072101588516 0 0 -1 5 0 0 3 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20571] ppid=20567 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20571/stat : 20571 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101287110 14309736448 10288 18446744073709551615 4194304 4196468 140734942665968 140572472155152 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20572] ppid=20567 vsize=13974352 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20572/stat : 20572 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101287110 14309736448 10288 18446744073709551615 4194304 4196468 140734942665968 140572471102608 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20573] ppid=20567 vsize=13975376 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20573/stat : 20573 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101287110 14310785024 10288 18446744073709551615 4194304 4196468 140734942665968 140572470049552 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20574] ppid=20567 vsize=13975376 memory=8248408006974860141 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20574/stat : 20574 (java) S 20567 20567 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101287110 14310785024 10353 18446744073709551615 4194304 4196468 140734942665968 140572468997008 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20575] ppid=20567 vsize=13975376 memory=140073069445585 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20575/stat : 20575 (java) S 20567 20567 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101287111 14310785024 10353 18446744073709551615 4194304 4196468 140734942665968 140572075854064 140572530219650 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20576] ppid=20567 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20576/stat : 20576 (java) S 20567 20567 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 101287111 14310785024 10353 18446744073709551615 4194304 4196468 140734942665968 140572074800288 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20577] ppid=20567 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20577/stat : 20577 (java) S 20567 20567 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 101287112 14309736448 10345 18446744073709551615 4194304 4196468 140734942665968 140572073747184 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20578] ppid=20567 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20578/stat : 20578 (java) S 20567 20567 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101287114 14309736448 10345 18446744073709551615 4194304 4196468 140734942665968 140572072695760 140572530227099 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20579] ppid=20567 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20569/task/20579/stat : 20579 (java) S 20567 20567 13977 0 -1 1077944384 446 0 0 0 2 0 0 0 20 0 15 0 101287114 14309736448 10345 18446744073709551615 4194304 4196468 140734942665968 140572071643888 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20580] ppid=20567 vsize=13976468 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20569/task/20580/stat : 20580 (java) S 20567 20567 13977 0 -1 1077944384 326 0 0 0 2 0 0 0 20 0 15 0 101287114 14311903232 10345 18446744073709551615 4194304 4196468 140734942665968 140572070591344 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20581] ppid=20567 vsize=13976468 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20569/task/20581/stat : 20581 (java) S 20567 20567 13977 0 -1 1077944384 737 0 0 0 7 0 0 0 20 0 15 0 101287114 14311903232 10345 18446744073709551615 4194304 4196468 140734942665968 140572069538288 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20582] ppid=20567 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20582/stat : 20582 (java) S 20567 20567 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101287114 14311903232 10345 18446744073709551615 4194304 4196468 140734942665968 140572068485984 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20583] ppid=20567 vsize=13976468 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20583/stat : 20583 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101287118 14311903232 10345 18446744073709551615 4194304 4196468 140734942665968 140572067433008 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 42532 KiB

[startup+0.701785 s]
/proc/loadavg: 2.00 2.06 2.05 4/212 20583
/proc/meminfo: memFree=29833732/32770624 swapFree=67108860/67108860
[pid=20567] ppid=20564 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20567/stat : 20567 (xcsp3-exec) S 20564 20567 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 101287101 9740288 345 18446744073709551615 4194304 5098028 140720431724384 140720431722488 140011232617084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 39165952 140720431731065 140720431731269 140720431731269 140720431734763 0
/proc/20567/statm: 2378 345 289 221 0 87 0
[pid=20569] ppid=20567 vsize=13980732 memory=66148 CPUtime=1.19 cores=1,3,5,7
/proc/20569/stat : 20569 (java) S 20567 20567 13977 0 -1 1077944320 13668 0 0 0 114 5 0 0 20 0 15 0 101287109 14316269568 16537 18446744073709551615 4194304 4196468 140734942665968 140734942648512 140572530208503 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
/proc/20569/statm: 3495183 16537 3163 1 0 3483476 0
[pid=20569/tid=20570] ppid=20567 vsize=13980732 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/20569/task/20570/stat : 20570 (java) R 20567 20567 13977 0 -1 4202560 8338 0 0 0 53 3 0 0 20 0 15 0 101287109 14316269568 16537 18446744073709551615 4194304 4196468 140734942665968 140572534445864 140572152242432 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20571] ppid=20567 vsize=13980732 memory=4644771699044143698 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20571/stat : 20571 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101287110 14316269568 16537 18446744073709551615 4194304 4196468 140734942665968 140572472155152 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20572] ppid=20567 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20572/stat : 20572 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101287110 14316269568 16537 18446744073709551615 4194304 4196468 140734942665968 140572471102608 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20573] ppid=20567 vsize=13980732 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20573/stat : 20573 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101287110 14316269568 16537 18446744073709551615 4194304 4196468 140734942665968 140572470049552 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20574] ppid=20567 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20574/stat : 20574 (java) S 20567 20567 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 101287110 14316269568 16537 18446744073709551615 4194304 4196468 140734942665968 140572468997008 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20575] ppid=20567 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20575/stat : 20575 (java) S 20567 20567 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 101287111 14316269568 16537 18446744073709551615 4194304 4196468 140734942665968 140572075854064 140572530219650 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20576] ppid=20567 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20576/stat : 20576 (java) S 20567 20567 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 101287111 14316269568 16537 18446744073709551615 4194304 4196468 140734942665968 140572074800288 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20577] ppid=20567 vsize=13980732 memory=2 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20577/stat : 20577 (java) S 20567 20567 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 101287112 14316269568 16537 18446744073709551615 4194304 4196468 140734942665968 140572073747184 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20578] ppid=20567 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20578/stat : 20578 (java) S 20567 20567 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101287114 14316269568 16537 18446744073709551615 4194304 4196468 140734942665968 140572072695760 140572530227099 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20579] ppid=20567 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/20569/task/20579/stat : 20579 (java) R 20567 20567 13977 0 -1 4202560 1128 0 0 0 15 0 0 0 20 0 15 0 101287114 14316269568 16537 18446744073709551615 4194304 4196468 140734942665968 140572071629368 140572515334659 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20580] ppid=20567 vsize=13980732 memory=22 CPUtime=0.16 cores=1,3,5,7
/proc/20569/task/20580/stat : 20580 (java) R 20567 20567 13977 0 -1 4202560 1308 0 0 0 16 0 0 0 20 0 15 0 101287114 14316269568 16537 18446744073709551615 4194304 4196468 140734942665968 140572070571752 140572513676538 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20581] ppid=20567 vsize=13980732 memory=3 CPUtime=0.29 cores=1,3,5,7
/proc/20569/task/20581/stat : 20581 (java) S 20567 20567 13977 0 -1 1077944384 1585 0 0 0 29 0 0 0 20 0 15 0 101287114 14316269568 16537 18446744073709551615 4194304 4196468 140734942665968 140572069538288 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20582] ppid=20567 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20582/stat : 20582 (java) S 20567 20567 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101287114 14316269568 16537 18446744073709551615 4194304 4196468 140734942665968 140572068485984 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20583] ppid=20567 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20583/stat : 20583 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101287118 14316269568 16537 18446744073709551615 4194304 4196468 140734942665968 140572067433008 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67528 KiB

[startup+1.50088 s]
/proc/loadavg: 2.00 2.06 2.05 5/212 20583
/proc/meminfo: memFree=29786372/32770624 swapFree=67108860/67108860
[pid=20567] ppid=20564 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20567/stat : 20567 (xcsp3-exec) S 20564 20567 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 101287101 9740288 345 18446744073709551615 4194304 5098028 140720431724384 140720431722488 140011232617084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 39165952 140720431731065 140720431731269 140720431731269 140720431734763 0
/proc/20567/statm: 2378 345 289 221 0 87 0
[pid=20569] ppid=20567 vsize=13980732 memory=121760 CPUtime=3.63 cores=1,3,5,7
/proc/20569/stat : 20569 (java) S 20567 20567 13977 0 -1 1077944320 33474 0 0 0 356 7 0 0 20 0 15 0 101287109 14316269568 30440 18446744073709551615 4194304 4196468 140734942665968 140734942648512 140572530208503 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
/proc/20569/statm: 3495183 30440 3183 1 0 3483476 0
[pid=20569/tid=20570] ppid=20567 vsize=13980732 memory=55140 CPUtime=1.36 cores=1,3,5,7
/proc/20569/task/20570/stat : 20570 (java) R 20567 20567 13977 0 -1 4202560 8465 0 0 0 133 3 0 0 20 0 15 0 101287109 14316269568 30440 18446744073709551615 4194304 4196468 140734942665968 140572534444336 140572152518251 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20571] ppid=20567 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20571/stat : 20571 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101287110 14316269568 30440 18446744073709551615 4194304 4196468 140734942665968 140572472155152 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20572] ppid=20567 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20572/stat : 20572 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101287110 14316269568 30440 18446744073709551615 4194304 4196468 140734942665968 140572471102608 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20573] ppid=20567 vsize=13980732 memory=84352 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20573/stat : 20573 (java) S 20567 20567 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 101287110 14316269568 30440 18446744073709551615 4194304 4196468 140734942665968 140572470049552 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20574] ppid=20567 vsize=13980732 memory=66148 CPUtime=0 cores=1,3,5,7

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

/proc/20569/task/20577/stat : 20577 (java) S 20567 20567 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 101287112 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572073747184 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20578] ppid=20567 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20578/stat : 20578 (java) S 20567 20567 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572072695760 140572530227099 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20579] ppid=20567 vsize=13980732 memory=1380 CPUtime=1.45 cores=1,3,5,7
/proc/20569/task/20579/stat : 20579 (java) S 20567 20567 13977 0 -1 1077944384 13700 0 0 0 143 2 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572071643888 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20580] ppid=20567 vsize=13980732 memory=1380 CPUtime=1.4 cores=1,3,5,7
/proc/20569/task/20580/stat : 20580 (java) S 20567 20567 13977 0 -1 1077944384 14784 0 0 0 138 2 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572070591344 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20581] ppid=20567 vsize=13980732 memory=1380 CPUtime=0.39 cores=1,3,5,7
/proc/20569/task/20581/stat : 20581 (java) S 20567 20567 13977 0 -1 1077944384 4678 0 0 0 38 1 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572069538288 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20582] ppid=20567 vsize=13980732 memory=2414712 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20582/stat : 20582 (java) S 20567 20567 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572068485984 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20583] ppid=20567 vsize=13980732 memory=-8774313645642428999 CPUtime=0.59 cores=1,3,5,7
/proc/20569/task/20583/stat : 20583 (java) S 20567 20567 13977 0 -1 1077944384 1753 0 0 0 26 33 0 0 20 0 15 0 101287118 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572067433008 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
Current children cumulated CPU time: 2408.52 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2416092 KiB

[startup+2442.3 s]
/proc/loadavg: 2.09 1.77 1.79 3/212 20904
/proc/meminfo: memFree=28577872/32770624 swapFree=67108860/67108860
[pid=20567] ppid=20564 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20567/stat : 20567 (xcsp3-exec) S 20564 20567 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 101287101 9740288 345 18446744073709551615 4194304 5098028 140720431724384 140720431722488 140011232617084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 39165952 140720431731065 140720431731269 140720431731269 140720431734763 0
/proc/20567/statm: 2378 345 289 221 0 87 0
[pid=20569] ppid=20567 vsize=13980732 memory=2414712 CPUtime=2468.72 cores=1,3,5,7
/proc/20569/stat : 20569 (java) S 20567 20567 13977 0 -1 1077944320 395047 0 0 0 246549 323 0 0 20 0 15 0 101287109 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140734942648512 140572530208503 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
/proc/20569/statm: 3495183 603678 3236 1 0 3483476 0
[pid=20569/tid=20570] ppid=20567 vsize=13980732 memory=2414712 CPUtime=2432.15 cores=1,3,5,7
/proc/20569/task/20570/stat : 20570 (java) R 20567 20567 13977 0 -1 4202560 145533 0 0 0 243013 202 0 0 20 0 15 0 101287109 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572534447872 140572153104980 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20571] ppid=20567 vsize=13980732 memory=1380 CPUtime=7.78 cores=1,3,5,7
/proc/20569/task/20571/stat : 20571 (java) S 20567 20567 13977 0 -1 1077944384 56487 0 0 0 760 18 0 0 20 0 15 0 101287110 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572472155152 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20572] ppid=20567 vsize=13980732 memory=2414712 CPUtime=7.76 cores=1,3,5,7
/proc/20569/task/20572/stat : 20572 (java) S 20567 20567 13977 0 -1 1077944384 45334 0 0 0 757 19 0 0 20 0 15 0 101287110 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572471102608 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20573] ppid=20567 vsize=13980732 memory=2414712 CPUtime=7.78 cores=1,3,5,7
/proc/20569/task/20573/stat : 20573 (java) S 20567 20567 13977 0 -1 1077944384 49584 0 0 0 761 17 0 0 20 0 15 0 101287110 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572470049552 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20574] ppid=20567 vsize=13980732 memory=228393475919959 CPUtime=7.75 cores=1,3,5,7
/proc/20569/task/20574/stat : 20574 (java) S 20567 20567 13977 0 -1 1077944384 37503 0 0 0 760 15 0 0 20 0 15 0 101287110 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572468997008 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20575] ppid=20567 vsize=13980732 memory=2414712 CPUtime=1.58 cores=1,3,5,7
/proc/20569/task/20575/stat : 20575 (java) S 20567 20567 13977 0 -1 1077944384 24261 0 0 0 133 25 0 0 20 0 15 0 101287111 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572075854064 140572530219650 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20576] ppid=20567 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20576/stat : 20576 (java) S 20567 20567 13977 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 101287111 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572074800288 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20577] ppid=20567 vsize=13980732 memory=55264 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20577/stat : 20577 (java) S 20567 20567 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 101287112 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572073747184 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20578] ppid=20567 vsize=13980732 memory=2414712 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20578/stat : 20578 (java) S 20567 20567 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572072695760 140572530227099 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20579] ppid=20567 vsize=13980732 memory=1380 CPUtime=1.45 cores=1,3,5,7
/proc/20569/task/20579/stat : 20579 (java) S 20567 20567 13977 0 -1 1077944384 13710 0 0 0 143 2 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572071643888 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20580] ppid=20567 vsize=13980732 memory=2414712 CPUtime=1.4 cores=1,3,5,7
/proc/20569/task/20580/stat : 20580 (java) S 20567 20567 13977 0 -1 1077944384 14790 0 0 0 138 2 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572070591344 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20581] ppid=20567 vsize=13980732 memory=55264 CPUtime=0.39 cores=1,3,5,7
/proc/20569/task/20581/stat : 20581 (java) S 20567 20567 13977 0 -1 1077944384 4689 0 0 0 38 1 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572069538288 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20582] ppid=20567 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20582/stat : 20582 (java) S 20567 20567 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572068485984 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20583] ppid=20567 vsize=13980732 memory=1380 CPUtime=0.61 cores=1,3,5,7
/proc/20569/task/20583/stat : 20583 (java) S 20567 20567 13977 0 -1 1077944384 1797 0 0 0 27 34 0 0 20 0 15 0 101287118 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572067433008 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
Current children cumulated CPU time: 2468.72 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2416092 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2493.5 s]
/proc/loadavg: 2.04 1.84 1.81 3/212 20907
/proc/meminfo: memFree=28577764/32770624 swapFree=67108860/67108860
[pid=20567] ppid=20564 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20567/stat : 20567 (xcsp3-exec) S 20564 20567 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 101287101 9740288 345 18446744073709551615 4194304 5098028 140720431724384 140720431722488 140011232617084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 39165952 140720431731065 140720431731269 140720431731269 140720431734763 0
/proc/20567/statm: 2378 345 289 221 0 87 0
[pid=20569] ppid=20567 vsize=13980732 memory=2414712 CPUtime=2520.08 cores=1,3,5,7
/proc/20569/stat : 20569 (java) S 20567 20567 13977 0 -1 1077944320 398620 0 0 0 251684 324 0 0 20 0 15 0 101287109 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140734942648512 140572530208503 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
/proc/20569/statm: 3495183 603678 3236 1 0 3483476 0
[pid=20569/tid=20570] ppid=20567 vsize=13980732 memory=2414712 CPUtime=2483.24 cores=1,3,5,7
/proc/20569/task/20570/stat : 20570 (java) R 20567 20567 13977 0 -1 4202560 146687 0 0 0 248122 202 0 0 20 0 15 0 101287109 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572534447872 140572152381717 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20571] ppid=20567 vsize=13980732 memory=1380 CPUtime=7.84 cores=1,3,5,7
/proc/20569/task/20571/stat : 20571 (java) S 20567 20567 13977 0 -1 1077944384 57065 0 0 0 766 18 0 0 20 0 15 0 101287110 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572472155152 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20572] ppid=20567 vsize=13980732 memory=2414712 CPUtime=7.81 cores=1,3,5,7
/proc/20569/task/20572/stat : 20572 (java) S 20567 20567 13977 0 -1 1077944384 45559 0 0 0 762 19 0 0 20 0 15 0 101287110 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572471102608 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20573] ppid=20567 vsize=13980732 memory=2414712 CPUtime=7.83 cores=1,3,5,7
/proc/20569/task/20573/stat : 20573 (java) S 20567 20567 13977 0 -1 1077944384 50310 0 0 0 766 17 0 0 20 0 15 0 101287110 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572470049552 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20574] ppid=20567 vsize=13980732 memory=1380 CPUtime=7.81 cores=1,3,5,7
/proc/20569/task/20574/stat : 20574 (java) S 20567 20567 13977 0 -1 1077944384 37621 0 0 0 765 16 0 0 20 0 15 0 101287110 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572468997008 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20575] ppid=20567 vsize=13980732 memory=2414712 CPUtime=1.62 cores=1,3,5,7
/proc/20569/task/20575/stat : 20575 (java) S 20567 20567 13977 0 -1 1077944384 24955 0 0 0 137 25 0 0 20 0 15 0 101287111 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572075854064 140572530219650 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20576] ppid=20567 vsize=13980732 memory=2414712 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20576/stat : 20576 (java) S 20567 20567 13977 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 101287111 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572074800288 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20577] ppid=20567 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20577/stat : 20577 (java) S 20567 20567 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 101287112 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572073747184 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20578] ppid=20567 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20578/stat : 20578 (java) S 20567 20567 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572072695760 140572530227099 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20579] ppid=20567 vsize=13980732 memory=4120 CPUtime=1.45 cores=1,3,5,7
/proc/20569/task/20579/stat : 20579 (java) S 20567 20567 13977 0 -1 1077944384 13719 0 0 0 143 2 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572071643888 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20580] ppid=20567 vsize=13980732 memory=1380 CPUtime=1.4 cores=1,3,5,7
/proc/20569/task/20580/stat : 20580 (java) S 20567 20567 13977 0 -1 1077944384 14796 0 0 0 138 2 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572070591344 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20581] ppid=20567 vsize=13980732 memory=2414712 CPUtime=0.39 cores=1,3,5,7
/proc/20569/task/20581/stat : 20581 (java) S 20567 20567 13977 0 -1 1077944384 4695 0 0 0 38 1 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572069538288 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20582] ppid=20567 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20582/stat : 20582 (java) S 20567 20567 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572068485984 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20583] ppid=20567 vsize=13980732 memory=55268 CPUtime=0.62 cores=1,3,5,7
/proc/20569/task/20583/stat : 20583 (java) S 20567 20567 13977 0 -1 1077944384 1854 0 0 0 27 35 0 0 20 0 15 0 101287118 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572067433008 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2416092 KiB

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

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

[startup+2493.52 s]
# the end of solver process 20569 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.85 s, system=3.25906 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+2493.5 s]
/proc/loadavg: 2.04 1.84 1.81 3/212 20907
/proc/meminfo: memFree=28577764/32770624 swapFree=67108860/67108860
[pid=20567] ppid=20564 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20567/stat : 20567 (xcsp3-exec) S 20564 20567 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 101287101 9740288 345 18446744073709551615 4194304 5098028 140720431724384 140720431722488 140011232617084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 39165952 140720431731065 140720431731269 140720431731269 140720431734763 0
/proc/20567/statm: 2378 345 289 221 0 87 0
[pid=20569] ppid=20567 vsize=13980732 memory=2414712 CPUtime=2520.08 cores=1,3,5,7
/proc/20569/stat : 20569 (java) S 20567 20567 13977 0 -1 1077944320 398620 0 0 0 251684 324 0 0 20 0 15 0 101287109 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140734942648512 140572530208503 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
/proc/20569/statm: 3495183 603678 3236 1 0 3483476 0
[pid=20569/tid=20570] ppid=20567 vsize=13980732 memory=2414712 CPUtime=2483.24 cores=1,3,5,7
/proc/20569/task/20570/stat : 20570 (java) R 20567 20567 13977 0 -1 4202560 146687 0 0 0 248122 202 0 0 20 0 15 0 101287109 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572534447872 140572152381717 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20571] ppid=20567 vsize=13980732 memory=1380 CPUtime=7.84 cores=1,3,5,7
/proc/20569/task/20571/stat : 20571 (java) S 20567 20567 13977 0 -1 1077944384 57065 0 0 0 766 18 0 0 20 0 15 0 101287110 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572472155152 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20572] ppid=20567 vsize=13980732 memory=2414712 CPUtime=7.81 cores=1,3,5,7
/proc/20569/task/20572/stat : 20572 (java) S 20567 20567 13977 0 -1 1077944384 45559 0 0 0 762 19 0 0 20 0 15 0 101287110 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572471102608 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20573] ppid=20567 vsize=13980732 memory=2414712 CPUtime=7.83 cores=1,3,5,7
/proc/20569/task/20573/stat : 20573 (java) S 20567 20567 13977 0 -1 1077944384 50310 0 0 0 766 17 0 0 20 0 15 0 101287110 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572470049552 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20574] ppid=20567 vsize=13980732 memory=1380 CPUtime=7.81 cores=1,3,5,7
/proc/20569/task/20574/stat : 20574 (java) S 20567 20567 13977 0 -1 1077944384 37621 0 0 0 765 16 0 0 20 0 15 0 101287110 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572468997008 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20575] ppid=20567 vsize=13980732 memory=2414712 CPUtime=1.62 cores=1,3,5,7
/proc/20569/task/20575/stat : 20575 (java) S 20567 20567 13977 0 -1 1077944384 24955 0 0 0 137 25 0 0 20 0 15 0 101287111 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572075854064 140572530219650 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20576] ppid=20567 vsize=13980732 memory=2414712 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20576/stat : 20576 (java) S 20567 20567 13977 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 101287111 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572074800288 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20577] ppid=20567 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20577/stat : 20577 (java) S 20567 20567 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 101287112 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572073747184 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20578] ppid=20567 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20578/stat : 20578 (java) S 20567 20567 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572072695760 140572530227099 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20579] ppid=20567 vsize=13980732 memory=4120 CPUtime=1.45 cores=1,3,5,7
/proc/20569/task/20579/stat : 20579 (java) S 20567 20567 13977 0 -1 1077944384 13719 0 0 0 143 2 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572071643888 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20580] ppid=20567 vsize=13980732 memory=1380 CPUtime=1.4 cores=1,3,5,7
/proc/20569/task/20580/stat : 20580 (java) S 20567 20567 13977 0 -1 1077944384 14796 0 0 0 138 2 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572070591344 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20581] ppid=20567 vsize=13980732 memory=2414712 CPUtime=0.39 cores=1,3,5,7
/proc/20569/task/20581/stat : 20581 (java) S 20567 20567 13977 0 -1 1077944384 4695 0 0 0 38 1 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572069538288 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20582] ppid=20567 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/20569/task/20582/stat : 20582 (java) S 20567 20567 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 101287114 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572068485984 140572530218709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
[pid=20569/tid=20583] ppid=20567 vsize=13980732 memory=55268 CPUtime=0.62 cores=1,3,5,7
/proc/20569/task/20583/stat : 20583 (java) S 20567 20567 13977 0 -1 1077944384 1854 0 0 0 27 35 0 0 20 0 15 0 101287118 14316269568 603678 18446744073709551615 4194304 4196468 140734942665968 140572067433008 140572530219650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14024704 140734942667185 140734942667361 140734942667361 140734942670799 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2416092 KiB

Child status: 143
Real time (s): 2493.52
CPU time (s): 2520.11
CPU user time (s): 2516.85
CPU system time (s): 3.25906
CPU usage (%): 101.066
Max. virtual memory (cumulated for all children) (KiB): 13992416
Max. memory (cumulated for all children) (KiB): 9606164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.85
system time used= 3.25906
maximum resident set size= 9747948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399697
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94431
involuntary context switches= 2807


# summary of solver processes directly reported to runsolver:
#   pid: 20567,20569
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2516.85
#   total CPU system time (s): 3.25906

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9013 second user time and 21.2158 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-19 09:43:28
IDJOB=4282207
IDBENCH=126865
IDSOLVER=2677
FILE ID=node124/4282207-1503129465
RUNJOBID= node124-1503095780-14042
PBS_JOBID= 
Free space on /tmp= 62020 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Dubois/Dubois-m1-s1/Dubois-080.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-4282207-1503129465/watcher-4282207-1503129465 -o /tmp/evaluation-result-4282207-1503129465/solver-4282207-1503129465 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503095780-14042 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 133526085 HOME/instance-4282207-1503129465.xml

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

MD5SUM BENCH= 48ff124294bde3e8e6ef7a0c7c897a65
RANDOM SEED=133526085

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:        29874692 kB
MemAvailable:   30488368 kB
Buffers:          288436 kB
Cached:           618536 kB
SwapCached:            0 kB
Active:          2079012 kB
Inactive:         362460 kB
Active(anon):    1486936 kB
Inactive(anon):    89140 kB
Active(file):     592076 kB
Inactive(file):   273320 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7840 kB
Writeback:             4 kB
AnonPages:       1534508 kB
Mapped:            69048 kB
Shmem:             41704 kB
Slab:             155344 kB
SReclaimable:     128228 kB
SUnreclaim:        27116 kB
KernelStack:        3472 kB
PageTables:         8092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4097376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1431552 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-19 10:25:02