Trace number 4295953

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) 2519.85 2520.03

General information on the benchmark

NameTravellingSalesman/
TravellingSalesman-45-30-00_c18.xml
MD5SUMb72bc3b5ed3d31a5026f863e7681236a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark184
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of constraints46
Number of domains2
Minimum domain size33
Maximum domain size45
Distribution of domain sizes[{"size":33,"count":45},{"size":45,"count":45}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":45},{"degree":3,"count":45}]
Minimum constraint arity3
Maximum constraint arity45
Distribution of constraint arities[{"arity":3,"count":45},{"arity":45,"count":1}]
Number of extensional constraints45
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":45},{"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 (8958 MiB free)
  memory of node 1: 16384 MiB (11270 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295953-1532589213/watcher-4295953-1532589213 -o /tmp/evaluation-result-4295953-1532589213/solver-4295953-1532589213 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532562373-32762 --watchdog 2580 xcsp_picat HOME/instance-4295953-1532589213.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=3491, runsolver pid=3488

[startup+0.100123 s]*
/proc/loadavg: 2.05 2.10 2.08 3/190 3492
/proc/meminfo: memFree=20694688/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=128236 memory=22428 CPUtime=0.1 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 2402 0 0 0 10 0 0 0 20 0 1 0 76484553 131313664 5607 33554432000 4194304 5849740 140724016354976 140724016354976 5606240 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 32059 5607 690 405 0 29003 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 128236 KiB
Current children cumulated memory: 22428 KiB

[startup+0.209692 s]*
/proc/loadavg: 2.05 2.10 2.08 3/190 3492
/proc/meminfo: memFree=20694316/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=128588 memory=22688 CPUtime=0.21 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 2480 0 0 0 21 0 0 0 20 0 1 0 76484553 131674112 5672 33554432000 4194304 5849740 140724016354976 140724016354976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 32147 5672 707 405 0 29091 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 128588 KiB
Current children cumulated memory: 22688 KiB

[startup+0.308875 s]*
/proc/loadavg: 2.05 2.10 2.08 3/190 3492
/proc/meminfo: memFree=20693200/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=129740 memory=23744 CPUtime=0.3 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 2706 0 0 0 30 0 0 0 20 0 1 0 76484553 132853760 5936 33554432000 4194304 5849740 140724016354976 140724016354976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 32435 5936 709 405 0 29379 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 129740 KiB
Current children cumulated memory: 23744 KiB

[startup+0.700239 s]
/proc/loadavg: 2.05 2.10 2.08 3/190 3492
/proc/meminfo: memFree=20691712/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=132048 memory=26144 CPUtime=0.69 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 3346 0 0 0 67 2 0 0 20 0 1 0 76484553 135217152 6536 33554432000 4194304 5849740 140724016354976 140724016354976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 33012 6536 709 405 0 29956 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 132048 KiB
Current children cumulated memory: 26144 KiB

[startup+1.50025 s]
/proc/loadavg: 2.05 2.10 2.08 3/190 3492
/proc/meminfo: memFree=20690596/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=134716 memory=28848 CPUtime=1.49 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 4388 0 0 0 145 4 0 0 20 0 1 0 76484553 137949184 7212 33554432000 4194304 5849740 140724016354976 140724016354976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 33679 7212 710 405 0 30623 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 134716 KiB
Current children cumulated memory: 28848 KiB

[startup+3.10942 s]
/proc/loadavg: 2.05 2.10 2.08 3/190 3492
/proc/meminfo: memFree=20681852/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=140860 memory=35184 CPUtime=3.1 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 5818 0 0 0 301 9 0 0 20 0 1 0 76484553 144240640 8796 33554432000 4194304 5849740 140724016354976 140724016354088 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 35215 8796 710 405 0 32159 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 140860 KiB
Current children cumulated memory: 35184 KiB

[startup+6.30036 s]
/proc/loadavg: 2.05 2.10 2.08 3/190 3492
/proc/meminfo: memFree=20667808/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=155656 memory=49968 CPUtime=6.29 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 10661 0 0 0 613 16 0 0 20 0 1 0 76484553 159391744 12492 33554432000 4194304 5849740 140724016354976 140724016354088 5361726 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 38914 12492 729 405 0 35858 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 155656 KiB
Current children cumulated memory: 49968 KiB

[startup+12.7002 s]
/proc/loadavg: 2.05 2.09 2.08 4/190 3492
/proc/meminfo: memFree=20676176/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=146380 memory=40888 CPUtime=12.69 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 18489 0 0 0 1233 36 0 0 20 0 1 0 76484553 149893120 10222 33554432000 4194304 5849740 140724016354976 140724016354072 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 36595 10222 751 405 0 33539 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 146380 KiB
Current children cumulated memory: 40888 KiB

[startup+25.5004 s]
/proc/loadavg: 2.04 2.09 2.07 3/190 3492
/proc/meminfo: memFree=20633348/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=188184 memory=82692 CPUtime=25.49 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 24993 0 0 0 2501 48 0 0 20 0 1 0 76484553 192700416 20673 33554432000 4194304 5849740 140724016354976 140724016353976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 47046 20673 751 405 0 43990 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 188184 KiB
Current children cumulated memory: 82692 KiB

[startup+51.1096 s]
/proc/loadavg: 2.02 2.08 2.07 3/190 3492
/proc/meminfo: memFree=20633808/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=188184 memory=82692 CPUtime=51.1 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 29699 0 0 0 5037 73 0 0 20 0 1 0 76484553 192700416 20673 33554432000 4194304 5849740 140724016354976 140724016353976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 47046 20673 751 405 0 43990 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 188184 KiB
Current children cumulated memory: 82692 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/190 3493
/proc/meminfo: memFree=20618500/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=188184 memory=82692 CPUtime=102.29 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 40385 0 0 0 10111 118 0 0 20 0 1 0 76484553 192700416 20673 33554432000 4194304 5849740 140724016354976 140724016353976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 47046 20673 751 405 0 43990 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 188184 KiB
Current children cumulated memory: 82692 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/192 3496
/proc/meminfo: memFree=20584088/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=238612 memory=133120 CPUtime=162.29 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 54452 0 0 0 16065 164 0 0 20 0 1 0 76484553 244338688 33280 33554432000 4194304 5849740 140724016354976 140724016353976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 59653 33280 751 405 0 56597 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 238612 KiB
Current children cumulated memory: 133120 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/192 3497
/proc/meminfo: memFree=20563368/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=256504 memory=150780 CPUtime=222.28 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 70249 0 0 0 22014 214 0 0 20 0 1 0 76484553 262660096 37695 33554432000 4194304 5849740 140724016354976 140724016353976 5335559 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 64126 37695 751 405 0 61070 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 256504 KiB
Current children cumulated memory: 150780 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/192 3498
/proc/meminfo: memFree=20574952/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=187024 memory=88464 CPUtime=282.29 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 79741 0 0 0 27946 283 0 0 20 0 1 0 76484553 191512576 22116 33554432000 4194304 5849740 140724016354976 140724016353976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 46756 22116 751 405 0 43700 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 187024 KiB
Current children cumulated memory: 88464 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/192 3499
/proc/meminfo: memFree=20530964/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=203300 memory=104508 CPUtime=342.29 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 86653 0 0 0 33904 325 0 0 20 0 1 0 76484553 208179200 26127 33554432000 4194304 5849740 140724016354976 140724016353976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 50825 26127 751 405 0 47769 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 203300 KiB
Current children cumulated memory: 104508 KiB

[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/192 3507
/proc/meminfo: memFree=20527492/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=214844 memory=116284 CPUtime=402.28 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 94901 0 0 0 39865 363 0 0 20 0 1 0 76484553 220000256 29071 33554432000 4194304 5849740 140724016354976 140724016353976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 53711 29071 751 405 0 50655 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 214844 KiB
Current children cumulated memory: 116284 KiB

[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/190 3508
/proc/meminfo: memFree=20587796/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=222912 memory=124120 CPUtime=462.28 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 104683 0 0 0 45825 403 0 0 20 0 1 0 76484553 228261888 31030 33554432000 4194304 5849740 140724016354976 140724016353976 5437791 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 55728 31030 751 405 0 52672 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 222912 KiB
Current children cumulated memory: 124120 KiB


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

/proc/3491/statm: 173378 148769 751 405 0 170322 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 693512 KiB
Current children cumulated memory: 595076 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 5/192 3674
/proc/meminfo: memFree=20135624/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=693512 memory=595076 CPUtime=1782.2 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 484216 0 0 0 177354 866 0 0 20 0 1 0 76484553 710156288 148769 33554432000 4194304 5849740 140724016354976 140724016353976 5438248 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 173378 148769 751 405 0 170322 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 693512 KiB
Current children cumulated memory: 595076 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/192 3675
/proc/meminfo: memFree=20102840/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=693472 memory=595036 CPUtime=1842.18 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 508477 0 0 0 183342 876 0 0 20 0 1 0 76484553 710115328 148759 33554432000 4194304 5849740 140724016354976 140724016353976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 173368 148759 751 405 0 170312 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 693472 KiB
Current children cumulated memory: 595036 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 5/191 3676
/proc/meminfo: memFree=20102008/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=693472 memory=595036 CPUtime=1902.17 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 549048 0 0 0 189329 888 0 0 20 0 1 0 76484553 710115328 148759 33554432000 4194304 5849740 140724016354976 140724016353976 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 173368 148759 751 405 0 170312 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 693472 KiB
Current children cumulated memory: 595036 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 5/191 3677
/proc/meminfo: memFree=20016888/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=693472 memory=595036 CPUtime=1962.15 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 580010 0 0 0 195314 901 0 0 20 0 1 0 76484553 710115328 148759 33554432000 4194304 5849740 140724016354976 140724016353976 5335568 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 173368 148759 751 405 0 170312 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 693472 KiB
Current children cumulated memory: 595036 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/190 3678
/proc/meminfo: memFree=19990776/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=711944 memory=613508 CPUtime=2022.16 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 602447 0 0 0 201300 916 0 0 20 0 1 0 76484553 729030656 153377 33554432000 4194304 5849740 140724016354976 140724016353848 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 177986 153377 751 405 0 174930 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 711944 KiB
Current children cumulated memory: 613508 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 5/190 3679
/proc/meminfo: memFree=20225928/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=478248 memory=379688 CPUtime=2082.15 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 621726 0 0 0 207280 935 0 0 20 0 1 0 76484553 489725952 94922 33554432000 4194304 5849740 140724016354976 140724016353976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 119562 94922 751 405 0 116506 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 478248 KiB
Current children cumulated memory: 379688 KiB

[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.05 4/190 3680
/proc/meminfo: memFree=20312592/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=520760 memory=422200 CPUtime=2142.16 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 641334 0 0 0 213261 955 0 0 20 0 1 0 76484553 533258240 105550 33554432000 4194304 5849740 140724016354976 140724016353976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 130190 105550 751 405 0 127134 0
Current children cumulated CPU time: 2142.16 s
Current children cumulated vsize: 520760 KiB
Current children cumulated memory: 422200 KiB

[startup+2202.3 s]
/proc/loadavg: 2.03 2.02 2.05 5/191 3689
/proc/meminfo: memFree=20249876/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=560828 memory=462268 CPUtime=2202.15 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 662764 0 0 0 219247 968 0 0 20 0 1 0 76484553 574287872 115567 33554432000 4194304 5849740 140724016354976 140724016353976 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 140207 115567 751 405 0 137151 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 560828 KiB
Current children cumulated memory: 462268 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.01 2.05 4/191 3690
/proc/meminfo: memFree=20276628/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=687956 memory=589396 CPUtime=2262.15 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 685491 0 0 0 225230 985 0 0 20 0 1 0 76484553 704466944 147349 33554432000 4194304 5849740 140724016354976 140724016353976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 171989 147349 751 405 0 168933 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 687956 KiB
Current children cumulated memory: 589396 KiB

[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 4/191 3691
/proc/meminfo: memFree=20206416/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=751388 memory=652828 CPUtime=2322.15 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 714063 0 0 0 231212 1003 0 0 20 0 1 0 76484553 769421312 163207 33554432000 4194304 5849740 140724016354976 140724016353976 5335504 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 187847 163207 751 405 0 184791 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 751388 KiB
Current children cumulated memory: 652828 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 5/191 3692
/proc/meminfo: memFree=20171376/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=787080 memory=688520 CPUtime=2382.14 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 749223 0 0 0 237195 1019 0 0 20 0 1 0 76484553 805969920 172130 33554432000 4194304 5849740 140724016354976 140724016353976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 196770 172130 751 405 0 193714 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 787080 KiB
Current children cumulated memory: 688520 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 5/191 3693
/proc/meminfo: memFree=20043408/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=869292 memory=770732 CPUtime=2442.13 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 786622 0 0 0 243179 1034 0 0 20 0 1 0 76484553 890155008 192683 33554432000 4194304 5849740 140724016354976 140724016353848 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 217323 192683 751 405 0 214267 0
Current children cumulated CPU time: 2442.13 s
Current children cumulated vsize: 869292 KiB
Current children cumulated memory: 770732 KiB

[startup+2502.3 s]
/proc/loadavg: 2.08 2.03 2.05 4/190 3695
/proc/meminfo: memFree=20003848/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=960472 memory=861788 CPUtime=2502.12 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 820271 0 0 0 249166 1046 0 0 20 0 1 0 76484553 983523328 215447 33554432000 4194304 5849740 140724016354976 140724016353976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 240118 215447 751 405 0 237062 0
Current children cumulated CPU time: 2502.12 s
Current children cumulated vsize: 960472 KiB
Current children cumulated memory: 861788 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.05 2.03 2.05 4/190 3695
/proc/meminfo: memFree=19998360/32770624 swapFree=67108860/67108860
[pid=3491] ppid=3488 vsize=960472 memory=861912 CPUtime=2519.82 cores=1,3,5,7
/proc/3491/stat : 3491 (xcsp_picat) R 3488 3491 32730 0 -1 4202496 836296 0 0 0 250931 1051 0 0 20 0 1 0 76484553 983523328 215478 33554432000 4194304 5849740 140724016354976 140724016353976 140291959160711 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 46845952 140724016362678 140724016362756 140724016362756 140724016365514 0
/proc/3491/statm: 240118 215478 751 405 0 237062 0
Current children cumulated CPU time: 2519.82 s
Current children cumulated vsize: 960472 KiB
Current children cumulated memory: 861912 KiB

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

[startup+2520.03 s]
# the end of solver process 3491 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2509.32 s, system=10.5299 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.03
CPU time (s): 2519.85
CPU user time (s): 2509.32
CPU system time (s): 10.5299
CPU usage (%): 99.9929
Max. virtual memory (cumulated for all children) (KiB): 960472
Max. memory (cumulated for all children) (KiB): 861912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.32
system time used= 10.5299
maximum resident set size= 861912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 836297
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= 223
involuntary context switches= 858


# summary of solver processes directly reported to runsolver:
#   pid: 3491
#   total CPU time (s): 2519.85
#   total CPU user time (s): 2509.32
#   total CPU system time (s): 10.5299

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1242 second user time and 18.6152 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-26 09:13:33
IDJOB=4295953
IDBENCH=141620
IDSOLVER=2754
FILE ID=node134/4295953-1532589213
RUNJOBID= node134-1532562373-32762
PBS_JOBID= 21021958
Free space on /tmp= 55560 MiB

SOLVER NAME= PicatSAT 2018-06-15
BENCH NAME= XCSP18/TravellingSalesman/TravellingSalesman-45-30-00_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295953-1532589213/watcher-4295953-1532589213 -o /tmp/evaluation-result-4295953-1532589213/solver-4295953-1532589213 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532562373-32762 --watchdog 2580  xcsp_picat HOME/instance-4295953-1532589213.xml

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

MD5SUM BENCH= b72bc3b5ed3d31a5026f863e7681236a
RANDOM SEED=1032907701

node134.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.68
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.68
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.68
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.68
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:        20714784 kB
MemAvailable:   31767764 kB
Buffers:          221132 kB
Cached:         11092152 kB
SwapCached:            0 kB
Active:          2303736 kB
Inactive:        9255060 kB
Active(anon):     196724 kB
Inactive(anon):    76428 kB
Active(file):    2107012 kB
Inactive(file):  9178632 kB
Unevictable:        7396 kB
Mlocked:            7396 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3104 kB
Writeback:             0 kB
AnonPages:        361572 kB
Mapped:            42900 kB
Shmem:             25248 kB
Slab:             194140 kB
SReclaimable:     166344 kB
SUnreclaim:        27796 kB
KernelStack:        3408 kB
PageTables:         5828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     626452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    282624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55556 MiB
End job on node134 at 2018-07-26 09:55:34