Trace number 4309366

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.9 2520.02

General information on the benchmark

NameTravelingTournament/
TravelingTournament-a2-galaxy12_c18.xml
MD5SUM69fcc0210e9a5c86649ea22552bf9d3d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10735
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables1068
Number of constraints3635
Number of domains3
Minimum domain size2
Maximum domain size45
Distribution of domain sizes[{"size":2,"count":528},{"size":12,"count":264},{"size":45,"count":276}]
Minimum variable degree2
Maximum variable degree38
Distribution of variable degrees[{"degree":2,"count":540},{"degree":35,"count":240},{"degree":36,"count":264},{"degree":37,"count":22},{"degree":38,"count":2}]
Minimum constraint arity2
Maximum constraint arity22
Distribution of constraint arities[{"arity":2,"count":265},{"arity":3,"count":24},{"arity":4,"count":2520},{"arity":5,"count":252},{"arity":12,"count":286},{"arity":14,"count":264},{"arity":22,"count":24}]
Number of extensional constraints276
Number of intensional constraints2785
Distribution of constraint types[{"type":"extension","count":276},{"type":"intension","count":2785},{"type":"regular","count":12},{"type":"allDifferent","count":22},{"type":"cardinality","count":12},{"type":"element","count":528}]
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 (10976 MiB free)
  memory of node 1: 16384 MiB (12384 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309366-1534313425/watcher-4309366-1534313425 -o /tmp/evaluation-result-4309366-1534313425/solver-4309366-1534313425 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534293053-324 --watchdog 2580 xcsp_picat HOME/instance-4309366-1534313425.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=3810, runsolver pid=3807
Current StackSize limit: 8192 KiB


[startup+0.100171 s]*
/proc/loadavg: 2.12 2.05 2.05 3/188 3811
/proc/meminfo: memFree=23897232/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2033560 memory=26960 CPUtime=0.1 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 1785 0 0 0 10 0 0 0 20 0 1 0 248905647 2082365440 6740 33554432000 4194304 5849940 140722786803616 140722786803616 4593482 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 508390 6740 628 405 0 505334 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 26960 KiB

[startup+0.209792 s]*
/proc/loadavg: 2.12 2.05 2.05 3/188 3811
/proc/meminfo: memFree=23878304/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2033560 memory=49740 CPUtime=0.2 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 1860 0 0 0 20 0 0 0 20 0 1 0 248905647 2082365440 12435 33554432000 4194304 5849940 140722786803616 140722786803616 4488915 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 508390 12435 628 405 0 505334 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 49740 KiB

[startup+0.309753 s]*
/proc/loadavg: 2.12 2.05 2.05 3/188 3811
/proc/meminfo: memFree=23861920/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2033560 memory=66124 CPUtime=0.3 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 1868 0 0 0 30 0 0 0 20 0 1 0 248905647 2082365440 16531 33554432000 4194304 5849940 140722786803616 140722786803616 4508822 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 508390 16531 628 405 0 505334 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 66124 KiB

[startup+0.700391 s]
/proc/loadavg: 2.12 2.05 2.05 3/188 3811
/proc/meminfo: memFree=23822596/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2033560 memory=129612 CPUtime=0.69 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 1899 0 0 0 68 1 0 0 20 0 1 0 248905647 2082365440 32403 33554432000 4194304 5849940 140722786803616 140722786803616 4488566 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 508390 32403 628 405 0 505334 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 129612 KiB

[startup+1.50041 s]
/proc/loadavg: 2.12 2.05 2.05 3/188 3811
/proc/meminfo: memFree=23738504/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2033560 memory=256680 CPUtime=1.49 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 1977 0 0 0 146 3 0 0 20 0 1 0 248905647 2082365440 64170 33554432000 4194304 5849940 140722786803616 140722786803616 4513895 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 508390 64170 640 405 0 505334 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 256680 KiB

[startup+3.10955 s]
/proc/loadavg: 2.11 2.05 2.05 3/188 3811
/proc/meminfo: memFree=23575360/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2045400 memory=348264 CPUtime=3.1 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 6083 0 0 0 284 26 0 0 20 0 1 0 248905647 2094489600 87066 33554432000 4194304 5849940 140722786803616 140722786803616 140302974050183 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 511350 87066 705 405 0 508294 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2045400 KiB
Current children cumulated memory: 348264 KiB

[startup+6.30027 s]
/proc/loadavg: 2.11 2.05 2.05 3/188 3811
/proc/meminfo: memFree=23556932/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2063552 memory=366484 CPUtime=6.29 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 8655 0 0 0 577 52 0 0 20 0 1 0 248905647 2113077248 91621 33554432000 4194304 5849940 140722786803616 140722786802696 5521660 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 515888 91621 722 405 0 512832 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2063552 KiB
Current children cumulated memory: 366484 KiB

[startup+12.7004 s]
/proc/loadavg: 2.09 2.05 2.05 3/188 3811
/proc/meminfo: memFree=23533904/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2118920 memory=421720 CPUtime=12.69 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 19322 0 0 0 1209 60 0 0 20 0 1 0 248905647 2169774080 105430 33554432000 4194304 5849940 140722786803616 140722786801864 5373295 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 529730 105430 738 405 0 526674 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2118920 KiB
Current children cumulated memory: 421720 KiB

[startup+25.5004 s]
/proc/loadavg: 2.08 2.04 2.05 3/188 3811
/proc/meminfo: memFree=23476440/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2160200 memory=461348 CPUtime=25.49 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 44932 0 0 0 2485 64 0 0 20 0 1 0 248905647 2212044800 115337 33554432000 4194304 5849940 140722786803616 140722786802616 5438465 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 540050 115337 754 405 0 536994 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2160200 KiB
Current children cumulated memory: 461348 KiB

[startup+51.1097 s]
/proc/loadavg: 2.11 2.06 2.05 3/188 3811
/proc/meminfo: memFree=23437444/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2153152 memory=455956 CPUtime=51.1 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 57369 0 0 0 4990 120 0 0 20 0 1 0 248905647 2204827648 113989 33554432000 4194304 5849940 140722786803616 140722786802104 5307941 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 538288 113989 763 405 0 535232 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2153152 KiB
Current children cumulated memory: 455956 KiB

[startup+102.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/188 3812
/proc/meminfo: memFree=23460776/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2162324 memory=465296 CPUtime=102.28 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 72340 0 0 0 10093 135 0 0 20 0 1 0 248905647 2214219776 116324 33554432000 4194304 5849940 140722786803616 140722786802616 5361044 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 540581 116324 763 405 0 537525 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2162324 KiB
Current children cumulated memory: 465296 KiB

[startup+162.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/188 3813
/proc/meminfo: memFree=23430728/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2164496 memory=465432 CPUtime=162.28 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 96044 0 0 0 16074 154 0 0 20 0 1 0 248905647 2216443904 116358 33554432000 4194304 5849940 140722786803616 140722786802616 5340593 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 541124 116358 763 405 0 538068 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2164496 KiB
Current children cumulated memory: 465432 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 3814
/proc/meminfo: memFree=23440488/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2169764 memory=470008 CPUtime=222.28 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 110673 0 0 0 22058 170 0 0 20 0 1 0 248905647 2221838336 117502 33554432000 4194304 5849940 140722786803616 140722786802616 5313043 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 542441 117502 763 405 0 539385 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2169764 KiB
Current children cumulated memory: 470008 KiB

[startup+282.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/187 3875
/proc/meminfo: memFree=23506060/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2169764 memory=472172 CPUtime=282.27 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 125120 0 0 0 28041 186 0 0 20 0 1 0 248905647 2221838336 118043 33554432000 4194304 5849940 140722786803616 140722786802616 5340450 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 542441 118043 763 405 0 539385 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2169764 KiB
Current children cumulated memory: 472172 KiB

[startup+342.3 s]
/proc/loadavg: 2.08 2.07 2.05 3/187 3876
/proc/meminfo: memFree=23468248/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2179624 memory=486700 CPUtime=342.26 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 126265 0 0 0 34026 200 0 0 20 0 1 0 248905647 2231934976 121675 33554432000 4194304 5849940 140722786803616 140722786802616 5438081 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 544906 121675 763 405 0 541850 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2179624 KiB
Current children cumulated memory: 486700 KiB

[startup+402.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/187 3877
/proc/meminfo: memFree=23463984/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2179624 memory=486700 CPUtime=402.26 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 126721 0 0 0 40009 217 0 0 20 0 1 0 248905647 2231934976 121675 33554432000 4194304 5849940 140722786803616 140722786802616 5340576 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 544906 121675 763 405 0 541850 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2179624 KiB
Current children cumulated memory: 486700 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 3878
/proc/meminfo: memFree=23462560/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2190640 memory=487644 CPUtime=462.26 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 128308 0 0 0 45995 231 0 0 20 0 1 0 248905647 2243215360 121911 33554432000 4194304 5849940 140722786803616 140722786802488 5438438 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 547660 121911 763 405 0 544604 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2190640 KiB
Current children cumulated memory: 487644 KiB


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

/proc/3810/statm: 571504 148495 763 405 0 568448 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 2286016 KiB
Current children cumulated memory: 593980 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 3925
/proc/meminfo: memFree=23193252/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2301840 memory=609724 CPUtime=1782.2 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 245493 0 0 0 177597 623 0 0 20 0 1 0 248905647 2357084160 152431 33554432000 4194304 5849940 140722786803616 140722786802776 5354041 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 575460 152431 763 405 0 572404 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 2301840 KiB
Current children cumulated memory: 609724 KiB

[startup+1842.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 3926
/proc/meminfo: memFree=23279036/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2301840 memory=609724 CPUtime=1842.2 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 250604 0 0 0 183576 644 0 0 20 0 1 0 248905647 2357084160 152431 33554432000 4194304 5849940 140722786803616 140722786802616 5354100 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 575460 152431 763 405 0 572404 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 2301840 KiB
Current children cumulated memory: 609724 KiB

[startup+1902.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 3927
/proc/meminfo: memFree=23231324/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2301840 memory=609724 CPUtime=1902.2 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 256434 0 0 0 189546 674 0 0 20 0 1 0 248905647 2357084160 152431 33554432000 4194304 5849940 140722786803616 140722786802616 5438033 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 575460 152431 763 405 0 572404 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 2301840 KiB
Current children cumulated memory: 609724 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 3928
/proc/meminfo: memFree=23281152/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2301840 memory=609724 CPUtime=1962.2 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 261554 0 0 0 195523 697 0 0 20 0 1 0 248905647 2357084160 152431 33554432000 4194304 5849940 140722786803616 140722786802616 5437817 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 575460 152431 763 405 0 572404 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 2301840 KiB
Current children cumulated memory: 609724 KiB

[startup+2022.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 3929
/proc/meminfo: memFree=23211092/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2301840 memory=609724 CPUtime=2022.2 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 273703 0 0 0 201498 722 0 0 20 0 1 0 248905647 2357084160 152431 33554432000 4194304 5849940 140722786803616 140722786802776 5385342 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 575460 152431 763 405 0 572404 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 2301840 KiB
Current children cumulated memory: 609724 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 3930
/proc/meminfo: memFree=23151632/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2301840 memory=609724 CPUtime=2082.19 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 279977 0 0 0 207468 751 0 0 20 0 1 0 248905647 2357084160 152431 33554432000 4194304 5849940 140722786803616 140722786802616 5437815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 575460 152431 763 405 0 572404 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 2301840 KiB
Current children cumulated memory: 609724 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 3931
/proc/meminfo: memFree=23054240/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2430552 memory=738436 CPUtime=2142.2 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 297080 0 0 0 213440 780 0 0 20 0 1 0 248905647 2488885248 184609 33554432000 4194304 5849940 140722786803616 140722786802488 5416781 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 607638 184609 763 405 0 604582 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 2430552 KiB
Current children cumulated memory: 738436 KiB

[startup+2202.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 3932
/proc/meminfo: memFree=22984620/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2470536 memory=778384 CPUtime=2202.19 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 321539 0 0 0 219404 815 0 0 20 0 1 0 248905647 2529828864 194596 33554432000 4194304 5849940 140722786803616 140722786802488 5438057 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 617634 194596 763 405 0 614578 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 2470536 KiB
Current children cumulated memory: 778384 KiB

[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 3933
/proc/meminfo: memFree=22976300/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2476128 memory=784012 CPUtime=2262.19 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 350144 0 0 0 225376 843 0 0 20 0 1 0 248905647 2535555072 196003 33554432000 4194304 5849940 140722786803616 140722786802616 140302974050183 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 619032 196003 763 405 0 615976 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 2476128 KiB
Current children cumulated memory: 784012 KiB

[startup+2322.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 3934
/proc/meminfo: memFree=22927156/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2466460 memory=774344 CPUtime=2322.19 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 371118 0 0 0 231348 871 0 0 20 0 1 0 248905647 2525655040 193586 33554432000 4194304 5849940 140722786803616 140722786802488 5438016 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 616615 193586 763 405 0 613559 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 2466460 KiB
Current children cumulated memory: 774344 KiB

[startup+2382.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 3942
/proc/meminfo: memFree=22828280/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2466460 memory=774344 CPUtime=2382.18 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 395811 0 0 0 237317 901 0 0 20 0 1 0 248905647 2525655040 193586 33554432000 4194304 5849940 140722786803616 140722786802616 5437828 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 616615 193586 763 405 0 613559 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 2466460 KiB
Current children cumulated memory: 774344 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 3943
/proc/meminfo: memFree=22803432/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2466460 memory=774344 CPUtime=2442.18 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 418695 0 0 0 243288 930 0 0 20 0 1 0 248905647 2525655040 193586 33554432000 4194304 5849940 140722786803616 140722786802616 5438016 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 616615 193586 763 405 0 613559 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 2466460 KiB
Current children cumulated memory: 774344 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 3944
/proc/meminfo: memFree=22411364/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2466460 memory=774344 CPUtime=2502.18 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 439272 0 0 0 249261 957 0 0 20 0 1 0 248905647 2525655040 193586 33554432000 4194304 5849940 140722786803616 140722786802616 140302974050183 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 616615 193586 763 405 0 613559 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 2466460 KiB
Current children cumulated memory: 774344 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 3945
/proc/meminfo: memFree=22309720/32770624 swapFree=67108196/67108860
[pid=3810] ppid=3807 vsize=2466460 memory=774344 CPUtime=2519.88 cores=1,3,5,7
/proc/3810/stat : 3810 (xcsp_picat) R 3807 3810 32759 0 -1 4202496 453919 0 0 0 251022 966 0 0 20 0 1 0 248905647 2525655040 193586 33554432000 4194304 5849940 140722786803616 140722786802488 5312986 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 19656704 140722786809014 140722786809092 140722786809092 140722786811850 0
/proc/3810/statm: 616615 193586 763 405 0 613559 0
Current children cumulated CPU time: 2519.88 s
Current children cumulated vsize: 2466460 KiB
Current children cumulated memory: 774344 KiB

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

[startup+2520.02 s]
# the end of solver process 3810 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2510.23 s, system=9.67461 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.02
CPU time (s): 2519.9
CPU user time (s): 2510.23
CPU system time (s): 9.67461
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 2499040
Max. memory (cumulated for all children) (KiB): 806924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.23
system time used= 9.67461
maximum resident set size= 806924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 453919
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= 21
involuntary context switches= 709


# summary of solver processes directly reported to runsolver:
#   pid: 3810
#   total CPU time (s): 2519.9
#   total CPU user time (s): 2510.23
#   total CPU system time (s): 9.67461

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.59961 second user time and 21.0407 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-15 08:10:25
IDJOB=4309366
IDBENCH=141555
IDSOLVER=2794
FILE ID=node151/4309366-1534313425
RUNJOBID= node151-1534293053-324
PBS_JOBID= 21038135
Free space on /tmp= 43900 MiB

SOLVER NAME= PicatSAT 2018-08-14
BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a2-galaxy12_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309366-1534313425/watcher-4309366-1534313425 -o /tmp/evaluation-result-4309366-1534313425/solver-4309366-1534313425 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534293053-324 --watchdog 2580  xcsp_picat HOME/instance-4309366-1534313425.xml

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

MD5SUM BENCH= 69fcc0210e9a5c86649ea22552bf9d3d
RANDOM SEED=1603536050

node151.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.87
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.87
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.87
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.87
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:        23921808 kB
MemAvailable:   31781080 kB
Buffers:          171428 kB
Cached:          7918624 kB
SwapCached:           12 kB
Active:          4244440 kB
Inactive:        4015340 kB
Active(anon):     119452 kB
Inactive(anon):   110776 kB
Active(file):    4124988 kB
Inactive(file):  3904564 kB
Unevictable:        7820 kB
Mlocked:            7820 kB
SwapTotal:      67108860 kB
SwapFree:       67108196 kB
Dirty:              3176 kB
Writeback:             0 kB
AnonPages:        269412 kB
Mapped:            58876 kB
Shmem:             57716 kB
Slab:             287104 kB
SReclaimable:     258180 kB
SUnreclaim:        28924 kB
KernelStack:        3376 kB
PageTables:         5464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2484352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43896 MiB
End job on node151 at 2018-08-15 08:52:25