Trace number 4295428

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PicatSAT 2018-06-15? (TO) 2520.07 2520.01

General information on the benchmark

NameTravelingTournament/
TravelingTournament-a2-galaxy14_c18.xml
MD5SUM289cb43960e2b184f01d0d99cacee99d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16618
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables1470
Number of constraints5725
Number of domains3
Minimum domain size2
Maximum domain size57
Distribution of domain sizes[{"size":2,"count":728},{"size":14,"count":364},{"size":57,"count":378}]
Minimum variable degree2
Maximum variable degree44
Distribution of variable degrees[{"degree":2,"count":742},{"degree":41,"count":336},{"degree":42,"count":364},{"degree":43,"count":26},{"degree":44,"count":2}]
Minimum constraint arity2
Maximum constraint arity26
Distribution of constraint arities[{"arity":2,"count":365},{"arity":3,"count":28},{"arity":4,"count":4200},{"arity":5,"count":350},{"arity":14,"count":390},{"arity":16,"count":364},{"arity":26,"count":28}]
Number of extensional constraints378
Number of intensional constraints4565
Distribution of constraint types[{"type":"extension","count":378},{"type":"intension","count":4565},{"type":"regular","count":14},{"type":"allDifferent","count":26},{"type":"cardinality","count":14},{"type":"element","count":728}]
Optimization problemYES
Type of objectivemin SUM

Solver Data


Verifier Data 

One s line expected

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 (3156 MiB free)
  memory of node 1: 16384 MiB (9605 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295428-1532542934/watcher-4295428-1532542934 -o /tmp/evaluation-result-4295428-1532542934/solver-4295428-1532542934 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532542928-25611 --watchdog 2580 xcsp_picat HOME/instance-4295428-1532542934.xml 

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

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

solver pid=25765, runsolver pid=25762

[startup+0.100115 s]*
/proc/loadavg: 1.00 0.99 1.03 3/189 25766
/proc/meminfo: memFree=13031760/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=119504 memory=26452 CPUtime=0.1 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 1648 0 0 0 10 0 0 0 20 0 1 0 71856509 122372096 6613 33554432000 4194304 5849740 140734271371168 140734271371168 140344663800832 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 29876 6613 618 405 0 26820 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 26452 KiB

[startup+0.209723 s]*
/proc/loadavg: 1.00 0.99 1.03 3/189 25766
/proc/meminfo: memFree=12944568/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=119504 memory=49716 CPUtime=0.21 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 1849 0 0 0 21 0 0 0 20 0 1 0 71856509 122372096 12429 33554432000 4194304 5849740 140734271371168 140734271371168 4572141 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 29876 12429 629 405 0 26820 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 49716 KiB

[startup+0.309726 s]*
/proc/loadavg: 1.00 0.99 1.03 3/189 25766
/proc/meminfo: memFree=12971688/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=119504 memory=68400 CPUtime=0.31 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 1972 0 0 0 31 0 0 0 20 0 1 0 71856509 122372096 17100 33554432000 4194304 5849740 140734271371168 140734271371168 4507566 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 29876 17100 629 405 0 26820 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 68400 KiB

[startup+0.700353 s]
/proc/loadavg: 1.00 0.99 1.03 3/189 25766
/proc/meminfo: memFree=12875932/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=204472 memory=112584 CPUtime=0.7 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 2937 0 0 0 68 2 0 0 20 0 1 0 71856509 209379328 28146 33554432000 4194304 5849740 140734271371168 140734271370472 4488011 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 51118 28146 634 405 0 48062 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 204472 KiB
Current children cumulated memory: 112584 KiB

[startup+1.50034 s]
/proc/loadavg: 1.00 0.99 1.03 3/189 25766
/proc/meminfo: memFree=12751752/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=337288 memory=210660 CPUtime=1.5 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 3886 0 0 0 145 5 0 0 20 0 1 0 71856509 345382912 52665 33554432000 4194304 5849740 140734271371168 140734271370472 4454849 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 84322 52665 634 405 0 81266 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 337288 KiB
Current children cumulated memory: 210660 KiB

[startup+3.10941 s]
/proc/loadavg: 1.00 0.99 1.03 3/189 25766
/proc/meminfo: memFree=12555404/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=602912 memory=398612 CPUtime=3.1 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 5354 0 0 0 299 11 0 0 20 0 1 0 71856509 617381888 99653 33554432000 4194304 5849740 140734271371168 140734271370472 4489830 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 150728 99653 634 405 0 147672 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 602912 KiB
Current children cumulated memory: 398612 KiB

[startup+6.30034 s]
/proc/loadavg: 1.08 1.00 1.04 3/189 25766
/proc/meminfo: memFree=12321940/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=749024 memory=617468 CPUtime=6.3 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 8182 0 0 0 614 16 0 0 20 0 1 0 71856509 767000576 154367 33554432000 4194304 5849740 140734271371168 140734271370488 5252176 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 187256 154367 663 405 0 184200 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 749024 KiB
Current children cumulated memory: 617468 KiB

[startup+12.7002 s]
/proc/loadavg: 1.16 1.02 1.05 3/189 25766
/proc/meminfo: memFree=12256112/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=796808 memory=667520 CPUtime=12.69 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 13647 0 0 0 1171 98 0 0 20 0 1 0 71856509 815931392 166880 33554432000 4194304 5849740 140734271371168 140734271370264 5521452 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 199202 166880 726 405 0 196146 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 796808 KiB
Current children cumulated memory: 667520 KiB

[startup+25.5003 s]
/proc/loadavg: 1.34 1.07 1.06 3/189 25766
/proc/meminfo: memFree=12102088/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=951836 memory=822584 CPUtime=25.49 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 27175 0 0 0 2437 112 0 0 20 0 1 0 71856509 974680064 205646 33554432000 4194304 5849740 140734271371168 140734271369656 4213847 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 237959 205646 751 405 0 234903 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 951836 KiB
Current children cumulated memory: 822584 KiB

[startup+51.1097 s]
/proc/loadavg: 1.57 1.14 1.08 3/189 25766
/proc/meminfo: memFree=12068068/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=975784 memory=846628 CPUtime=51.1 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 64336 0 0 0 4992 118 0 0 20 0 1 0 71856509 999202816 211657 33554432000 4194304 5849740 140734271371168 140734271370040 5338535 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 243946 211657 758 405 0 240890 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 975784 KiB
Current children cumulated memory: 846628 KiB

[startup+102.3 s]
/proc/loadavg: 1.81 1.27 1.13 3/189 25767
/proc/meminfo: memFree=12040864/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=975784 memory=846628 CPUtime=102.29 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 136734 0 0 0 10098 131 0 0 20 0 1 0 71856509 999202816 211657 33554432000 4194304 5849740 140734271371168 140734271370168 5339855 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 243946 211657 758 405 0 240890 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 975784 KiB
Current children cumulated memory: 846628 KiB

[startup+162.3 s]
/proc/loadavg: 1.93 1.41 1.19 3/189 25768
/proc/meminfo: memFree=12003052/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=983104 memory=853948 CPUtime=162.28 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 207472 0 0 0 16083 145 0 0 20 0 1 0 71856509 1006698496 213487 33554432000 4194304 5849740 140734271371168 140734271370328 5437609 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 245776 213487 758 405 0 242720 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 983104 KiB
Current children cumulated memory: 853948 KiB

[startup+222.3 s]
/proc/loadavg: 1.97 1.52 1.24 3/187 25770
/proc/meminfo: memFree=11999800/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=983104 memory=853948 CPUtime=222.29 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 269596 0 0 0 22070 159 0 0 20 0 1 0 71856509 1006698496 213487 33554432000 4194304 5849740 140734271371168 140734271370328 5437408 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 245776 213487 758 405 0 242720 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 983104 KiB
Current children cumulated memory: 853948 KiB

[startup+282.3 s]
/proc/loadavg: 1.93 1.59 1.28 3/187 25771
/proc/meminfo: memFree=12053088/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=949784 memory=820604 CPUtime=282.29 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 308086 0 0 0 27954 275 0 0 20 0 1 0 71856509 972578816 205151 33554432000 4194304 5849740 140734271371168 140734271369656 4211646 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 237446 205151 768 405 0 234390 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 949784 KiB
Current children cumulated memory: 820604 KiB

[startup+342.3 s]
/proc/loadavg: 1.97 1.66 1.33 3/187 25772
/proc/meminfo: memFree=11964132/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=973736 memory=844620 CPUtime=342.3 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 357873 0 0 0 33942 288 0 0 20 0 1 0 71856509 997105664 211155 33554432000 4194304 5849740 140734271371168 140734271370168 140344663822215 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 243434 211155 768 405 0 240378 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 973736 KiB
Current children cumulated memory: 844620 KiB

[startup+402.3 s]
/proc/loadavg: 1.99 1.72 1.37 3/187 25774
/proc/meminfo: memFree=11974944/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=973736 memory=844620 CPUtime=402.29 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 425956 0 0 0 39928 301 0 0 20 0 1 0 71856509 997105664 211155 33554432000 4194304 5849740 140734271371168 140734271370168 5437560 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 243434 211155 768 405 0 240378 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 973736 KiB
Current children cumulated memory: 844620 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.77 1.41 3/187 25775
/proc/meminfo: memFree=11952128/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=981056 memory=851940 CPUtime=462.3 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 495931 0 0 0 45915 315 0 0 20 0 1 0 71856509 1004601344 212985 33554432000 4194304 5849740 140734271371168 140734271370168 5371172 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 245264 212985 768 405 0 242208 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 981056 KiB
Current children cumulated memory: 851940 KiB


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

/proc/25765/statm: 252094 221144 768 405 0 249038 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 1008376 KiB
Current children cumulated memory: 884576 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/187 25820
/proc/meminfo: memFree=11392436/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=1008376 memory=884576 CPUtime=1782.32 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 678820 0 0 0 177618 614 0 0 20 0 1 0 71856509 1032577024 221144 33554432000 4194304 5849740 140734271371168 140734271370168 140344663822215 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 252094 221144 768 405 0 249038 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 1008376 KiB
Current children cumulated memory: 884576 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/187 25821
/proc/meminfo: memFree=11717208/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=1008376 memory=884576 CPUtime=1842.32 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 679911 0 0 0 183607 625 0 0 20 0 1 0 71856509 1032577024 221144 33554432000 4194304 5849740 140734271371168 140734271370168 5320320 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 252094 221144 768 405 0 249038 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 1008376 KiB
Current children cumulated memory: 884576 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/187 25822
/proc/meminfo: memFree=11580820/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=1008376 memory=884576 CPUtime=1902.32 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 680522 0 0 0 189594 638 0 0 20 0 1 0 71856509 1032577024 221144 33554432000 4194304 5849740 140734271371168 140734271370168 140344663822215 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 252094 221144 768 405 0 249038 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 1008376 KiB
Current children cumulated memory: 884576 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/186 25823
/proc/meminfo: memFree=11479272/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=1018740 memory=894940 CPUtime=1962.32 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 682914 0 0 0 195580 652 0 0 20 0 1 0 71856509 1043189760 223735 33554432000 4194304 5849740 140734271371168 140734271370168 140344663822215 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 254685 223735 768 405 0 251629 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 1018740 KiB
Current children cumulated memory: 894940 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/187 25826
/proc/meminfo: memFree=11359512/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=1023656 memory=899856 CPUtime=2022.33 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 687968 0 0 0 201561 672 0 0 20 0 1 0 71856509 1048223744 224964 33554432000 4194304 5849740 140734271371168 140734271370168 140344663822215 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 255914 224964 768 405 0 252858 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 1023656 KiB
Current children cumulated memory: 899856 KiB

[startup+2082.3 s]
/proc/loadavg: 2.22 2.05 1.92 3/187 25827
/proc/meminfo: memFree=11284364/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=1032984 memory=909184 CPUtime=2082.33 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 691202 0 0 0 207547 686 0 0 20 0 1 0 71856509 1057775616 227296 33554432000 4194304 5849740 140734271371168 140734271370168 5437812 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 258246 227296 768 405 0 255190 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 1032984 KiB
Current children cumulated memory: 909184 KiB

[startup+2142.3 s]
/proc/loadavg: 2.36 2.14 1.96 3/187 25828
/proc/meminfo: memFree=11201732/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=1032984 memory=909184 CPUtime=2142.34 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 691518 0 0 0 213536 698 0 0 20 0 1 0 71856509 1057775616 227296 33554432000 4194304 5849740 140734271371168 140734271370168 5437812 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 258246 227296 768 405 0 255190 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 1032984 KiB
Current children cumulated memory: 909184 KiB

[startup+2202.3 s]
/proc/loadavg: 2.13 2.11 1.96 3/187 25830
/proc/meminfo: memFree=11201980/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=1032984 memory=909184 CPUtime=2202.33 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 691878 0 0 0 219528 705 0 0 20 0 1 0 71856509 1057775616 227296 33554432000 4194304 5849740 140734271371168 140734271370168 5438373 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 258246 227296 768 405 0 255190 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 1032984 KiB
Current children cumulated memory: 909184 KiB

[startup+2262.3 s]
/proc/loadavg: 2.05 2.09 1.96 3/187 25831
/proc/meminfo: memFree=11060400/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=1032984 memory=909184 CPUtime=2262.33 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 692190 0 0 0 225518 715 0 0 20 0 1 0 71856509 1057775616 227296 33554432000 4194304 5849740 140734271371168 140734271370168 5335568 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 258246 227296 768 405 0 255190 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 1032984 KiB
Current children cumulated memory: 909184 KiB

[startup+2322.3 s]
/proc/loadavg: 2.02 2.08 1.96 3/188 25840
/proc/meminfo: memFree=11060028/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=1032984 memory=909184 CPUtime=2322.34 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 692527 0 0 0 231507 727 0 0 20 0 1 0 71856509 1057775616 227296 33554432000 4194304 5849740 140734271371168 140734271370168 5313190 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 258246 227296 768 405 0 255190 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 1032984 KiB
Current children cumulated memory: 909184 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.06 1.96 3/189 25864
/proc/meminfo: memFree=11636104/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=1032984 memory=909184 CPUtime=2382.34 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 692865 0 0 0 237495 739 0 0 20 0 1 0 71856509 1057775616 227296 33554432000 4194304 5849740 140734271371168 140734271370168 5335519 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 258246 227296 768 405 0 255190 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 1032984 KiB
Current children cumulated memory: 909184 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.05 1.96 3/189 25865
/proc/meminfo: memFree=11586392/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=1032984 memory=909184 CPUtime=2442.34 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 693203 0 0 0 243485 749 0 0 20 0 1 0 71856509 1057775616 227296 33554432000 4194304 5849740 140734271371168 140734271370168 5360437 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 258246 227296 768 405 0 255190 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 1032984 KiB
Current children cumulated memory: 909184 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 1.96 3/189 25866
/proc/meminfo: memFree=11482376/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=1044452 memory=920584 CPUtime=2502.34 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 697127 0 0 0 249473 761 0 0 20 0 1 0 71856509 1069518848 230146 33554432000 4194304 5849740 140734271371168 140734271370168 5399538 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 261113 230146 768 405 0 258057 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 1044452 KiB
Current children cumulated memory: 920584 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.04 1.96 2/184 25874
/proc/meminfo: memFree=12170760/32770624 swapFree=67108852/67108860
[pid=25765] ppid=25762 vsize=1078168 memory=954368 CPUtime=2520.06 cores=1,3,5,7
/proc/25765/stat : 25765 (xcsp_picat) R 25762 25765 25579 0 -1 4202496 699946 0 0 0 251242 764 0 0 20 0 1 0 71856509 1104044032 238592 33554432000 4194304 5849740 140734271371168 140734271370168 5437831 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 45973504 140734271374518 140734271374596 140734271374596 140734271377354 0
/proc/25765/statm: 269542 238592 768 405 0 266486 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 1078168 KiB
Current children cumulated memory: 954368 KiB

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

[startup+2520.01 s]
# the end of solver process 25765 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2512.42 s, system=7.64523 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2520.07
CPU user time (s): 2512.42
CPU system time (s): 7.64523
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1104308
Max. memory (cumulated for all children) (KiB): 954368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.42
system time used= 7.64523
maximum resident set size= 954368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 699946
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40
involuntary context switches= 780


# summary of solver processes directly reported to runsolver:
#   pid: 25765
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2512.42
#   total CPU system time (s): 7.64523

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.98498 second user time and 18.4795 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-25 20:22:14
IDJOB=4295428
IDBENCH=141545
IDSOLVER=2754
FILE ID=node148/4295428-1532542934
RUNJOBID= node148-1532542928-25611
PBS_JOBID= 21021950
Free space on /tmp= 43260 MiB

SOLVER NAME= PicatSAT 2018-06-15
BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a2-galaxy14_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295428-1532542934/watcher-4295428-1532542934 -o /tmp/evaluation-result-4295428-1532542934/solver-4295428-1532542934 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532542928-25611 --watchdog 2580  xcsp_picat HOME/instance-4295428-1532542934.xml

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

MD5SUM BENCH= 289cb43960e2b184f01d0d99cacee99d
RANDOM SEED=1784528370

node148.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.50
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.50
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.50
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.50
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:        13070316 kB
MemAvailable:   31878736 kB
Buffers:          212088 kB
Cached:         18534232 kB
SwapCached:            8 kB
Active:          2401356 kB
Inactive:       16447572 kB
Active(anon):      56432 kB
Inactive(anon):    74280 kB
Active(file):    2344924 kB
Inactive(file): 16373292 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:              6872 kB
Writeback:             0 kB
AnonPages:         60324 kB
Mapped:            41424 kB
Shmem:             25216 kB
Slab:             546280 kB
SReclaimable:     518664 kB
SUnreclaim:        27616 kB
KernelStack:        3376 kB
PageTables:         4832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     459980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 43260 MiB
End job on node148 at 2018-07-25 21:04:14