Trace number 4303103

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-02? (TO) 2519.99 2520.02

General information on the benchmark

NameQuadraticAssignment/
QuadraticAssignment-esc32a_c18.xml
MD5SUMca8832984a17c67db3e889c6d91adcf4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark69
Best CPU time to get the best result obtained on this benchmark2520.02
Satisfiable
(Un)Satisfiability was proved
Number of variables1056
Number of constraints75
Number of domains2
Minimum domain size5
Maximum domain size32
Distribution of domain sizes[{"size":5,"count":74},{"size":32,"count":32}]
Minimum variable degree0
Maximum variable degree11
Distribution of variable degrees[{"degree":0,"count":950},{"degree":1,"count":7},{"degree":2,"count":75},{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":4},{"degree":7,"count":8},{"degree":8,"count":6},{"degree":9,"count":2},{"degree":11,"count":1}]
Minimum constraint arity3
Maximum constraint arity32
Distribution of constraint arities[{"arity":3,"count":74},{"arity":32,"count":1}]
Number of extensional constraints74
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":74},{"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 (10017 MiB free)
  memory of node 1: 16384 MiB (7036 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303103-1534008031/watcher-4303103-1534008031 -o /tmp/evaluation-result-4303103-1534008031/solver-4303103-1534008031 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1533991241-25513 --watchdog 2580 xcsp_picat HOME/instance-4303103-1534008031.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=27810, runsolver pid=27807
Current StackSize limit: 8192 KiB


[startup+0.1009 s]*
/proc/loadavg: 2.03 2.07 2.07 4/192 27811
/proc/meminfo: memFree=17443456/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2026704 memory=21836 CPUtime=0.1 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 2091 0 0 0 10 0 0 0 20 0 1 0 218366266 2075344896 5459 33554432000 4194304 5849708 140732031318464 140732031317576 140474447626119 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 506676 5459 692 405 0 503621 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026704 KiB
Current children cumulated memory: 21836 KiB

[startup+0.209913 s]*
/proc/loadavg: 2.03 2.07 2.07 3/192 27811
/proc/meminfo: memFree=17443456/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2027216 memory=22348 CPUtime=0.2 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 2219 0 0 0 20 0 0 0 20 0 1 0 218366266 2075869184 5587 33554432000 4194304 5849708 140732031318464 140732031317576 140474447626119 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 506804 5587 692 405 0 503749 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027216 KiB
Current children cumulated memory: 22348 KiB

[startup+0.309058 s]*
/proc/loadavg: 2.03 2.07 2.07 3/192 27811
/proc/meminfo: memFree=17442372/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2028240 memory=23392 CPUtime=0.31 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 2475 0 0 0 30 1 0 0 20 0 1 0 218366266 2076917760 5848 33554432000 4194304 5849708 140732031318464 140732031317576 140474447626119 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 507060 5848 692 405 0 504005 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2028240 KiB
Current children cumulated memory: 23392 KiB

[startup+0.700236 s]
/proc/loadavg: 2.03 2.07 2.07 3/192 27811
/proc/meminfo: memFree=17440884/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2032336 memory=27520 CPUtime=0.69 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 3499 0 0 0 67 2 0 0 20 0 1 0 218366266 2081112064 6880 33554432000 4194304 5849708 140732031318464 140732031317576 140474447626119 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 508084 6880 692 405 0 505029 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2032336 KiB
Current children cumulated memory: 27520 KiB

[startup+1.50026 s]
/proc/loadavg: 2.03 2.07 2.07 3/192 27811
/proc/meminfo: memFree=17434684/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2038480 memory=33664 CPUtime=1.49 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 4524 0 0 0 143 6 0 0 20 0 1 0 218366266 2087403520 8416 33554432000 4194304 5849708 140732031318464 140732031317400 140474447626119 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 509620 8416 692 405 0 506565 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2038480 KiB
Current children cumulated memory: 33664 KiB

[startup+3.10976 s]
/proc/loadavg: 2.03 2.07 2.07 3/192 27811
/proc/meminfo: memFree=17420688/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2027592 memory=23060 CPUtime=3.09 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 5973 0 0 0 303 6 0 0 20 0 1 0 218366266 2076254208 5765 33554432000 4194304 5849708 140732031318464 140732031317560 140474447626119 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 506898 5765 733 405 0 503843 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2027592 KiB
Current children cumulated memory: 23060 KiB

[startup+6.30032 s]
/proc/loadavg: 2.03 2.07 2.07 3/192 27811
/proc/meminfo: memFree=17387452/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2050744 memory=46044 CPUtime=6.28 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 8858 0 0 0 615 13 0 0 20 0 1 0 218366266 2099961856 11511 33554432000 4194304 5849708 140732031318464 140732031317336 140474447626119 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 512686 11511 733 405 0 509631 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2050744 KiB
Current children cumulated memory: 46044 KiB

[startup+12.7003 s]
/proc/loadavg: 2.03 2.07 2.07 3/192 27811
/proc/meminfo: memFree=17337364/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2058940 memory=54444 CPUtime=12.68 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 14621 0 0 0 1245 23 0 0 20 0 1 0 218366266 2108354560 13611 33554432000 4194304 5849708 140732031318464 140732031317464 5312673 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 514735 13611 735 405 0 511680 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2058940 KiB
Current children cumulated memory: 54444 KiB

[startup+25.5004 s]
/proc/loadavg: 2.02 2.07 2.07 3/192 27811
/proc/meminfo: memFree=17279732/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2058940 memory=54444 CPUtime=25.48 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 22431 0 0 0 2511 37 0 0 20 0 1 0 218366266 2108354560 13611 33554432000 4194304 5849708 140732031318464 140732031317464 5312656 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 514735 13611 735 405 0 511680 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2058940 KiB
Current children cumulated memory: 54444 KiB

[startup+51.1098 s]
/proc/loadavg: 2.01 2.06 2.06 3/192 27811
/proc/meminfo: memFree=17280144/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2067132 memory=62636 CPUtime=51.09 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 29936 0 0 0 5048 61 0 0 20 0 1 0 218366266 2116743168 15659 33554432000 4194304 5849708 140732031318464 140732031317464 140474447626119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 516783 15659 735 405 0 513728 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2067132 KiB
Current children cumulated memory: 62636 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/192 27812
/proc/meminfo: memFree=17254144/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2058812 memory=54316 CPUtime=102.28 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 44531 0 0 0 10115 113 0 0 20 0 1 0 218366266 2108223488 13579 33554432000 4194304 5849708 140732031318464 140732031317464 140474447626119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 514703 13579 735 405 0 511648 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2058812 KiB
Current children cumulated memory: 54316 KiB

[startup+162.3 s]
/proc/loadavg: 2.40 2.14 2.09 3/192 27813
/proc/meminfo: memFree=17154256/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2067004 memory=62292 CPUtime=162.27 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 56882 0 0 0 16059 168 0 0 20 0 1 0 218366266 2116612096 15573 33554432000 4194304 5849708 140732031318464 140732031317464 140474447626119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 516751 15573 735 405 0 513696 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2067004 KiB
Current children cumulated memory: 62292 KiB

[startup+222.3 s]
/proc/loadavg: 2.33 2.18 2.11 3/192 27815
/proc/meminfo: memFree=17417288/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2084784 memory=80072 CPUtime=222.28 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 69498 0 0 0 22010 218 0 0 20 0 1 0 218366266 2134818816 20018 33554432000 4194304 5849708 140732031318464 140732031317464 140474447626119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 521196 20018 735 405 0 518141 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2084784 KiB
Current children cumulated memory: 80072 KiB

[startup+282.3 s]
/proc/loadavg: 2.12 2.15 2.10 3/191 27817
/proc/meminfo: memFree=17365692/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2086036 memory=81540 CPUtime=282.27 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 77990 0 0 0 27967 260 0 0 20 0 1 0 218366266 2136100864 20385 33554432000 4194304 5849708 140732031318464 140732031317464 5395448 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 521509 20385 735 405 0 518454 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2086036 KiB
Current children cumulated memory: 81540 KiB

[startup+342.3 s]
/proc/loadavg: 2.04 2.12 2.10 3/191 27818
/proc/meminfo: memFree=17221788/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2084948 memory=80444 CPUtime=342.27 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 87179 0 0 0 33927 300 0 0 20 0 1 0 218366266 2134986752 20111 33554432000 4194304 5849708 140732031318464 140732031317624 140474447626119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 521237 20111 735 405 0 518182 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2084948 KiB
Current children cumulated memory: 80444 KiB

[startup+402.3 s]
/proc/loadavg: 2.18 2.15 2.11 3/191 27879
/proc/meminfo: memFree=17873192/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2090572 memory=83536 CPUtime=402.27 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 89850 0 0 0 39879 348 0 0 20 0 1 0 218366266 2140745728 20884 33554432000 4194304 5849708 140732031318464 140732031317464 140474447626119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 522643 20884 735 405 0 519588 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2090572 KiB
Current children cumulated memory: 83536 KiB

[startup+462.3 s]
/proc/loadavg: 2.06 2.12 2.10 3/191 27881
/proc/meminfo: memFree=17606956/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2109392 memory=108148 CPUtime=462.27 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 100099 0 0 0 45847 380 0 0 20 0 1 0 218366266 2160017408 27037 33554432000 4194304 5849708 140732031318464 140732031317464 140474447626119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 527348 27037 735 405 0 524293 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2109392 KiB
Current children cumulated memory: 108148 KiB


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

/proc/27810/statm: 594542 94217 735 405 0 591487 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 2378168 KiB
Current children cumulated memory: 376868 KiB

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/192 27931
/proc/meminfo: memFree=17266292/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2449344 memory=447992 CPUtime=1782.26 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 505311 0 0 0 177510 716 0 0 20 0 1 0 218366266 2508128256 111998 33554432000 4194304 5849708 140732031318464 140732031317464 140474447626119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 612336 111998 735 405 0 609281 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 2449344 KiB
Current children cumulated memory: 447992 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 27932
/proc/meminfo: memFree=17591348/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2449344 memory=447916 CPUtime=1842.25 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 541082 0 0 0 183499 726 0 0 20 0 1 0 218366266 2508128256 111979 33554432000 4194304 5849708 140732031318464 140732031317464 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 612336 111979 735 405 0 609281 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 2449344 KiB
Current children cumulated memory: 447916 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 27933
/proc/meminfo: memFree=17438416/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2301424 memory=300108 CPUtime=1902.26 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 560674 0 0 0 189485 741 0 0 20 0 1 0 218366266 2356658176 75027 33554432000 4194304 5849708 140732031318464 140732031317464 140474447626119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 575356 75027 735 405 0 572301 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 2301424 KiB
Current children cumulated memory: 300108 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 27934
/proc/meminfo: memFree=17371372/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2333388 memory=332080 CPUtime=1962.26 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 580354 0 0 0 195468 758 0 0 20 0 1 0 218366266 2389389312 83020 33554432000 4194304 5849708 140732031318464 140732031317464 5312843 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 583347 83020 735 405 0 580292 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 2333388 KiB
Current children cumulated memory: 332080 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 27935
/proc/meminfo: memFree=17371256/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2333388 memory=332088 CPUtime=2022.26 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 598944 0 0 0 201449 777 0 0 20 0 1 0 218366266 2389389312 83022 33554432000 4194304 5849708 140732031318464 140732031317464 140474447626119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 583347 83022 735 405 0 580292 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 2333388 KiB
Current children cumulated memory: 332088 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 27937
/proc/meminfo: memFree=17369304/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2334780 memory=333480 CPUtime=2082.25 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 621377 0 0 0 207434 791 0 0 20 0 1 0 218366266 2390814720 83370 33554432000 4194304 5849708 140732031318464 140732031317464 140474447626119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 583695 83370 735 405 0 580640 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 2334780 KiB
Current children cumulated memory: 333480 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 27938
/proc/meminfo: memFree=17308636/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2397316 memory=396016 CPUtime=2142.26 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 639398 0 0 0 213419 807 0 0 20 0 1 0 218366266 2454851584 99004 33554432000 4194304 5849708 140732031318464 140732031317464 5335582 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 599329 99004 735 405 0 596274 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 2397316 KiB
Current children cumulated memory: 396016 KiB

[startup+2202.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/190 27940
/proc/meminfo: memFree=17308100/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2397316 memory=396016 CPUtime=2202.26 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 651623 0 0 0 219408 818 0 0 20 0 1 0 218366266 2454851584 99004 33554432000 4194304 5849708 140732031318464 140732031317464 140474447626119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 599329 99004 735 405 0 596274 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 2397316 KiB
Current children cumulated memory: 396016 KiB

[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/191 27943
/proc/meminfo: memFree=17307808/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2397316 memory=396016 CPUtime=2262.26 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 674285 0 0 0 225396 830 0 0 20 0 1 0 218366266 2454851584 99004 33554432000 4194304 5849708 140732031318464 140732031317464 140474447626119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 599329 99004 735 405 0 596274 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 2397316 KiB
Current children cumulated memory: 396016 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 27944
/proc/meminfo: memFree=17263008/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2442696 memory=441396 CPUtime=2322.26 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 687597 0 0 0 231384 842 0 0 20 0 1 0 218366266 2501320704 110349 33554432000 4194304 5849708 140732031318464 140732031317336 5392294 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 610674 110349 735 405 0 607619 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 2442696 KiB
Current children cumulated memory: 441396 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 27953
/proc/meminfo: memFree=17192612/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2511708 memory=510408 CPUtime=2382.26 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 716620 0 0 0 237376 850 0 0 20 0 1 0 218366266 2571988992 127602 33554432000 4194304 5849708 140732031318464 140732031317464 5437736 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 627927 127602 735 405 0 624872 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 2511708 KiB
Current children cumulated memory: 510408 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 27976
/proc/meminfo: memFree=17191476/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2511708 memory=510408 CPUtime=2442.25 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 750791 0 0 0 243368 857 0 0 20 0 1 0 218366266 2571988992 127602 33554432000 4194304 5849708 140732031318464 140732031317464 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 627927 127602 735 405 0 624872 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 2511708 KiB
Current children cumulated memory: 510408 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 27977
/proc/meminfo: memFree=17192428/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2511708 memory=510408 CPUtime=2502.25 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 770090 0 0 0 249361 864 0 0 20 0 1 0 218366266 2571988992 127602 33554432000 4194304 5849708 140732031318464 140732031317464 140474447626119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 627927 127602 735 405 0 624872 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 2511708 KiB
Current children cumulated memory: 510408 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 27978
/proc/meminfo: memFree=16930712/32770624 swapFree=67108688/67108860
[pid=27810] ppid=27807 vsize=2511708 memory=510408 CPUtime=2519.97 cores=1,3,5,7
/proc/27810/stat : 27810 (xcsp_picat) R 27807 27810 25480 0 -1 4202496 771495 0 0 0 251130 867 0 0 20 0 1 0 218366266 2571988992 127602 33554432000 4194304 5849708 140732031318464 140732031317464 5437714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 41775104 140732031321270 140732031321348 140732031321348 140732031324106 0
/proc/27810/statm: 627927 127602 735 405 0 624872 0
Current children cumulated CPU time: 2519.97 s
Current children cumulated vsize: 2511708 KiB
Current children cumulated memory: 510408 KiB

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

[startup+2520.02 s]
# the end of solver process 27810 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2511.3 s, system=8.68691 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.99
CPU user time (s): 2511.3
CPU system time (s): 8.68691
CPU usage (%): 99.9987
Max. virtual memory (cumulated for all children) (KiB): 2511708
Max. memory (cumulated for all children) (KiB): 510408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.3
system time used= 8.68691
maximum resident set size= 510408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 771495
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= 7
involuntary context switches= 1104


# summary of solver processes directly reported to runsolver:
#   pid: 27810
#   total CPU time (s): 2519.99
#   total CPU user time (s): 2511.3
#   total CPU system time (s): 8.68691

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.65012 second user time and 19.9502 second system time

The end

Launcher Data 

Begin job on node134 at 2018-08-11 19:20:31
IDJOB=4303103
IDBENCH=141247
IDSOLVER=2778
FILE ID=node134/4303103-1534008031
RUNJOBID= node134-1533991241-25513
PBS_JOBID= 21036944
Free space on /tmp= 42312 MiB

SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-esc32a_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303103-1534008031/watcher-4303103-1534008031 -o /tmp/evaluation-result-4303103-1534008031/solver-4303103-1534008031 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1533991241-25513 --watchdog 2580  xcsp_picat HOME/instance-4303103-1534008031.xml

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

MD5SUM BENCH= ca8832984a17c67db3e889c6d91adcf4
RANDOM SEED=112165908

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:        17464300 kB
MemAvailable:   30994568 kB
Buffers:          171308 kB
Cached:         13507768 kB
SwapCached:           52 kB
Active:          5332000 kB
Inactive:        9311588 kB
Active(anon):     913432 kB
Inactive(anon):   103132 kB
Active(file):    4418568 kB
Inactive(file):  9208456 kB
Unevictable:        7392 kB
Mlocked:            7392 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:              3168 kB
Writeback:             0 kB
AnonPages:        943216 kB
Mapped:            55680 kB
Shmem:             49652 kB
Slab:             360404 kB
SReclaimable:     331704 kB
SUnreclaim:        28700 kB
KernelStack:        3440 kB
PageTables:         6896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3262876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    794624 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= 42308 MiB
End job on node134 at 2018-08-11 20:02:31