Trace number 4309383

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-08-14? (TO) 2519.76 2520.04

General information on the benchmark

NameTravellingSalesman/
TravellingSalesman-35-30-00_c18.xml
MD5SUM558ee623558ef43f0bbab0563f00ef08
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark148
Best CPU time to get the best result obtained on this benchmark2520.11
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of constraints36
Number of domains2
Minimum domain size33
Maximum domain size35
Distribution of domain sizes[{"size":33,"count":35},{"size":35,"count":35}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":35},{"degree":3,"count":35}]
Minimum constraint arity3
Maximum constraint arity35
Distribution of constraint arities[{"arity":3,"count":35},{"arity":35,"count":1}]
Number of extensional constraints35
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":35},{"type":"allDifferent","count":1}]
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 (13567 MiB free)
  memory of node 1: 16384 MiB (10335 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309383-1534317486/watcher-4309383-1534317486 -o /tmp/evaluation-result-4309383-1534317486/solver-4309383-1534317486 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534293063-15169 --watchdog 2580 xcsp_picat HOME/instance-4309383-1534317486.xml 

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

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=18584, runsolver pid=18581

[startup+0.100301 s]*
/proc/loadavg: 2.00 2.02 2.05 3/190 18585
/proc/meminfo: memFree=24459308/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2026068 memory=19704 CPUtime=0.09 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 2060 0 0 0 9 0 0 0 20 0 1 0 249311773 2074693632 4926 33554432000 4194304 5849940 140721704894000 140721704893240 139952984244103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 506517 4926 703 405 0 503461 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2026068 KiB
Current children cumulated memory: 19704 KiB

[startup+0.209744 s]*
/proc/loadavg: 2.00 2.02 2.05 3/190 18585
/proc/meminfo: memFree=24458564/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2026716 memory=20304 CPUtime=0.21 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 2254 0 0 0 20 1 0 0 20 0 1 0 249311773 2075357184 5076 33554432000 4194304 5849940 140721704894000 140721704893240 139952984244103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 506679 5076 705 405 0 503623 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026716 KiB
Current children cumulated memory: 20304 KiB

[startup+0.30894 s]*
/proc/loadavg: 2.00 2.02 2.05 3/190 18585
/proc/meminfo: memFree=24458564/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2026972 memory=20560 CPUtime=0.3 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 2318 0 0 0 29 1 0 0 20 0 1 0 249311773 2075619328 5140 33554432000 4194304 5849940 140721704894000 140721704893240 139952984244103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 506743 5140 705 405 0 503687 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026972 KiB
Current children cumulated memory: 20560 KiB

[startup+0.700236 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 18585
/proc/meminfo: memFree=24458192/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2029020 memory=22628 CPUtime=0.68 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 2830 0 0 0 66 2 0 0 20 0 1 0 249311773 2077716480 5657 33554432000 4194304 5849940 140721704894000 140721704893240 139952984244103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 507255 5657 705 405 0 504199 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2029020 KiB
Current children cumulated memory: 22628 KiB

[startup+1.50024 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 18585
/proc/meminfo: memFree=24456520/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2032224 memory=25832 CPUtime=1.48 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 3631 0 0 0 143 5 0 0 20 0 1 0 249311773 2080997376 6458 33554432000 4194304 5849940 140721704894000 140721704893096 139952984244103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 508056 6458 705 405 0 505000 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2032224 KiB
Current children cumulated memory: 25832 KiB

[startup+3.10968 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 18585
/proc/meminfo: memFree=24446484/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2039060 memory=32688 CPUtime=3.09 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 7108 0 0 0 302 7 0 0 20 0 1 0 249311773 2087997440 8172 33554432000 4194304 5849940 140721704894000 140721704892552 5356094 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 509765 8172 723 405 0 506709 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2039060 KiB
Current children cumulated memory: 32688 KiB

[startup+6.30024 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 18585
/proc/meminfo: memFree=24444844/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2041960 memory=35848 CPUtime=6.28 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 10148 0 0 0 613 15 0 0 20 0 1 0 249311773 2090967040 8962 33554432000 4194304 5849940 140721704894000 140721704893096 5394681 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 510490 8962 746 405 0 507434 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2041960 KiB
Current children cumulated memory: 35848 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 18585
/proc/meminfo: memFree=24377976/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2054320 memory=48212 CPUtime=12.69 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 12587 0 0 0 1247 22 0 0 20 0 1 0 249311773 2103623680 12053 33554432000 4194304 5849940 140721704894000 140721704893000 139952984244103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 513580 12053 746 405 0 510524 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2054320 KiB
Current children cumulated memory: 48212 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 18585
/proc/meminfo: memFree=24357708/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2054320 memory=48212 CPUtime=25.48 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 15468 0 0 0 2510 38 0 0 20 0 1 0 249311773 2103623680 12053 33554432000 4194304 5849940 140721704894000 140721704893000 139952984244103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 513580 12053 746 405 0 510524 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2054320 KiB
Current children cumulated memory: 48212 KiB

[startup+51.1096 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 18585
/proc/meminfo: memFree=24345176/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2068224 memory=61896 CPUtime=51.09 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 25024 0 0 0 5046 63 0 0 20 0 1 0 249311773 2117861376 15474 33554432000 4194304 5849940 140721704894000 140721704893000 5437928 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 517056 15474 746 405 0 514000 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2068224 KiB
Current children cumulated memory: 61896 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18587
/proc/meminfo: memFree=24411360/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2077200 memory=71092 CPUtime=102.28 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 45193 0 0 0 10120 108 0 0 20 0 1 0 249311773 2127052800 17773 33554432000 4194304 5849940 140721704894000 140721704893000 5312859 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 519300 17773 746 405 0 516244 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2077200 KiB
Current children cumulated memory: 71092 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 18596
/proc/meminfo: memFree=24448844/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2093156 memory=87000 CPUtime=162.27 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 66572 0 0 0 16078 149 0 0 20 0 1 0 249311773 2143391744 21750 33554432000 4194304 5849940 140721704894000 140721704892872 5437894 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 523289 21750 746 405 0 520233 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2093156 KiB
Current children cumulated memory: 87000 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 18597
/proc/meminfo: memFree=24405520/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2109196 memory=102984 CPUtime=222.26 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 83055 0 0 0 22041 185 0 0 20 0 1 0 249311773 2159816704 25746 33554432000 4194304 5849940 140721704894000 140721704893000 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 527299 25746 746 405 0 524243 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2109196 KiB
Current children cumulated memory: 102984 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 18598
/proc/meminfo: memFree=24399292/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2112288 memory=106176 CPUtime=282.26 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 111781 0 0 0 28002 224 0 0 20 0 1 0 249311773 2162982912 26544 33554432000 4194304 5849940 140721704894000 140721704892872 5438438 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 528072 26544 746 405 0 525016 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2112288 KiB
Current children cumulated memory: 106176 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 18599
/proc/meminfo: memFree=24402584/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2066772 memory=60580 CPUtime=342.25 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 116647 0 0 0 33944 281 0 0 20 0 1 0 249311773 2116374528 15145 33554432000 4194304 5849940 140721704894000 140721704893000 5437784 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 516693 15145 746 405 0 513637 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2066772 KiB
Current children cumulated memory: 60580 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18600
/proc/meminfo: memFree=24392340/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2088232 memory=82060 CPUtime=402.24 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 116912 0 0 0 39902 322 0 0 20 0 1 0 249311773 2138349568 20515 33554432000 4194304 5849940 140721704894000 140721704893000 139952984244103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 522058 20515 746 405 0 519002 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2088232 KiB
Current children cumulated memory: 82060 KiB

[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/190 18602
/proc/meminfo: memFree=24390128/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2109088 memory=102844 CPUtime=462.24 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 122400 0 0 0 45867 357 0 0 20 0 1 0 249311773 2159706112 25711 33554432000 4194304 5849940 140721704894000 140721704893160 139952984244103 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 527272 25711 746 405 0 524216 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2109088 KiB
Current children cumulated memory: 102844 KiB


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

/proc/18584/statm: 640688 139820 746 405 0 637632 0
Current children cumulated CPU time: 1722.1 s
Current children cumulated vsize: 2562752 KiB
Current children cumulated memory: 559280 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 18704
/proc/meminfo: memFree=23925644/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2562752 memory=559476 CPUtime=1782.09 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 548883 0 0 0 177508 701 0 0 20 0 1 0 249311773 2624258048 139869 33554432000 4194304 5849940 140721704894000 140721704893000 5438404 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 640688 139869 746 405 0 637632 0
Current children cumulated CPU time: 1782.09 s
Current children cumulated vsize: 2562752 KiB
Current children cumulated memory: 559476 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 18705
/proc/meminfo: memFree=23925508/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2562752 memory=559476 CPUtime=1842.08 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 599262 0 0 0 183498 710 0 0 20 0 1 0 249311773 2624258048 139869 33554432000 4194304 5849940 140721704894000 140721704893000 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 640688 139869 746 405 0 637632 0
Current children cumulated CPU time: 1842.08 s
Current children cumulated vsize: 2562752 KiB
Current children cumulated memory: 559476 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 18706
/proc/meminfo: memFree=23831236/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2662188 memory=658912 CPUtime=1902.08 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 659920 0 0 0 189484 724 0 0 20 0 1 0 249311773 2726080512 164728 33554432000 4194304 5849940 140721704894000 140721704893000 5437928 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 665547 164728 746 405 0 662491 0
Current children cumulated CPU time: 1902.08 s
Current children cumulated vsize: 2662188 KiB
Current children cumulated memory: 658912 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 18717
/proc/meminfo: memFree=23838092/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2662188 memory=658912 CPUtime=1962.07 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 695878 0 0 0 195475 732 0 0 20 0 1 0 249311773 2726080512 164728 33554432000 4194304 5849940 140721704894000 140721704893000 5438400 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 665547 164728 746 405 0 662491 0
Current children cumulated CPU time: 1962.07 s
Current children cumulated vsize: 2662188 KiB
Current children cumulated memory: 658912 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 18718
/proc/meminfo: memFree=23732144/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2662188 memory=658912 CPUtime=2022.07 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 763818 0 0 0 201464 743 0 0 20 0 1 0 249311773 2726080512 164728 33554432000 4194304 5849940 140721704894000 140721704893000 5335720 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 665547 164728 746 405 0 662491 0
Current children cumulated CPU time: 2022.07 s
Current children cumulated vsize: 2662188 KiB
Current children cumulated memory: 658912 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 18719
/proc/meminfo: memFree=23843184/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2662188 memory=658912 CPUtime=2082.06 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 831632 0 0 0 207452 754 0 0 20 0 1 0 249311773 2726080512 164728 33554432000 4194304 5849940 140721704894000 140721704893000 5438033 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 665547 164728 746 405 0 662491 0
Current children cumulated CPU time: 2082.06 s
Current children cumulated vsize: 2662188 KiB
Current children cumulated memory: 658912 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 18720
/proc/meminfo: memFree=23754932/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2734460 memory=731184 CPUtime=2142.06 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 914630 0 0 0 213433 773 0 0 20 0 1 0 249311773 2800087040 182796 33554432000 4194304 5849940 140721704894000 140721704893000 5438453 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 683615 182796 746 405 0 680559 0
Current children cumulated CPU time: 2142.06 s
Current children cumulated vsize: 2734460 KiB
Current children cumulated memory: 731184 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 18721
/proc/meminfo: memFree=23693648/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2773800 memory=770524 CPUtime=2202.05 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 972842 0 0 0 219414 791 0 0 20 0 1 0 249311773 2840371200 192631 33554432000 4194304 5849940 140721704894000 140721704893160 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 693450 192631 746 405 0 690394 0
Current children cumulated CPU time: 2202.05 s
Current children cumulated vsize: 2773800 KiB
Current children cumulated memory: 770524 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 18723
/proc/meminfo: memFree=23652700/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2773800 memory=770524 CPUtime=2262.05 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 1045069 0 0 0 225399 806 0 0 20 0 1 0 249311773 2840371200 192631 33554432000 4194304 5849940 140721704894000 140721704893000 139952983832491 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 693450 192631 746 405 0 690394 0
Current children cumulated CPU time: 2262.05 s
Current children cumulated vsize: 2773800 KiB
Current children cumulated memory: 770524 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 18726
/proc/meminfo: memFree=23721028/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2773800 memory=770524 CPUtime=2322.03 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 1095374 0 0 0 231385 818 0 0 20 0 1 0 249311773 2840371200 192631 33554432000 4194304 5849940 140721704894000 140721704893000 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 693450 192631 746 405 0 690394 0
Current children cumulated CPU time: 2322.03 s
Current children cumulated vsize: 2773800 KiB
Current children cumulated memory: 770524 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 18727
/proc/meminfo: memFree=23638592/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2839336 memory=835992 CPUtime=2382.03 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 1182082 0 0 0 237366 837 0 0 20 0 1 0 249311773 2907480064 208998 33554432000 4194304 5849940 140721704894000 140721704893000 5335720 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 709834 208998 746 405 0 706778 0
Current children cumulated CPU time: 2382.03 s
Current children cumulated vsize: 2839336 KiB
Current children cumulated memory: 835992 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 18729
/proc/meminfo: memFree=23699436/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2790028 memory=786752 CPUtime=2442.03 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 1244158 0 0 0 243350 853 0 0 20 0 1 0 249311773 2856988672 196688 33554432000 4194304 5849940 140721704894000 140721704893000 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 697507 196688 746 405 0 694451 0
Current children cumulated CPU time: 2442.03 s
Current children cumulated vsize: 2790028 KiB
Current children cumulated memory: 786752 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 18730
/proc/meminfo: memFree=23557292/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2902548 memory=899188 CPUtime=2502.02 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 1337653 0 0 0 249327 875 0 0 20 0 1 0 249311773 2972209152 224797 33554432000 4194304 5849940 140721704894000 140721704893000 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 725637 224797 746 405 0 722581 0
Current children cumulated CPU time: 2502.02 s
Current children cumulated vsize: 2902548 KiB
Current children cumulated memory: 899188 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/193 18738
/proc/meminfo: memFree=23621864/32770624 swapFree=67108840/67108860
[pid=18584] ppid=18581 vsize=2837012 memory=833736 CPUtime=2519.72 cores=0,2,4,6
/proc/18584/stat : 18584 (xcsp_picat) R 18581 18584 15138 0 -1 4202496 1368383 0 0 0 251093 879 0 0 20 0 1 0 249311773 2905100288 208434 33554432000 4194304 5849940 140721704894000 140721704893160 5437906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 28192768 140721704899766 140721704899844 140721704899844 140721704902602 0
/proc/18584/statm: 709253 208434 746 405 0 706197 0
Current children cumulated CPU time: 2519.72 s
Current children cumulated vsize: 2837012 KiB
Current children cumulated memory: 833736 KiB

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

[startup+2520.04 s]
# the end of solver process 18584 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2510.94 s, system=8.82507 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.04
CPU time (s): 2519.76
CPU user time (s): 2510.94
CPU system time (s): 8.82507
CPU usage (%): 99.9891
Max. virtual memory (cumulated for all children) (KiB): 2902548
Max. memory (cumulated for all children) (KiB): 899272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.94
system time used= 8.82507
maximum resident set size= 899272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1368383
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= 12
involuntary context switches= 2247


# summary of solver processes directly reported to runsolver:
#   pid: 18584
#   total CPU time (s): 2519.76
#   total CPU user time (s): 2510.94
#   total CPU system time (s): 8.82507

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2682 second user time and 18.3636 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-15 09:18:06
IDJOB=4309383
IDBENCH=141624
IDSOLVER=2794
FILE ID=node135/4309383-1534317486
RUNJOBID= node135-1534293063-15169
PBS_JOBID= 21038137
Free space on /tmp= 47276 MiB

SOLVER NAME= PicatSAT 2018-08-14
BENCH NAME= XCSP18/TravellingSalesman/TravellingSalesman-35-30-00_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309383-1534317486/watcher-4309383-1534317486 -o /tmp/evaluation-result-4309383-1534317486/solver-4309383-1534317486 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534293063-15169 --watchdog 2580  xcsp_picat HOME/instance-4309383-1534317486.xml

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

MD5SUM BENCH= 558ee623558ef43f0bbab0563f00ef08
RANDOM SEED=1070285238

node135.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:        24476328 kB
MemAvailable:   31537180 kB
Buffers:          155540 kB
Cached:          7139880 kB
SwapCached:           20 kB
Active:          4250772 kB
Inactive:        3458140 kB
Active(anon):     363300 kB
Inactive(anon):   111472 kB
Active(file):    3887472 kB
Inactive(file):  3346668 kB
Unevictable:        7240 kB
Mlocked:            7240 kB
SwapTotal:      67108860 kB
SwapFree:       67108840 kB
Dirty:              3016 kB
Writeback:             0 kB
AnonPages:        421248 kB
Mapped:            60880 kB
Shmem:             57996 kB
Slab:             283480 kB
SReclaimable:     255172 kB
SUnreclaim:        28308 kB
KernelStack:        3376 kB
PageTables:         6196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2711564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    315392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 47272 MiB
End job on node135 at 2018-08-15 10:00:06