Trace number 4292956

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.88 2520.01

General information on the benchmark

NameNurseRostering/
NurseRostering-16_c18.xml
MD5SUM0b8e9565fd0b9c632a2b7d0ba913c3ff
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2088
Number of constraints5489
Number of domains13
Minimum domain size1
Maximum domain size57
Distribution of domain sizes[{"size":1,"count":71},{"size":2,"count":440},{"size":4,"count":1120},{"size":21,"count":392},{"size":57,"count":65}]
Minimum variable degree2
Maximum variable degree23
Distribution of variable degrees[{"degree":2,"count":808},{"degree":3,"count":160},{"degree":13,"count":15},{"degree":14,"count":21},{"degree":15,"count":4},{"degree":16,"count":12},{"degree":17,"count":24},{"degree":18,"count":25},{"degree":19,"count":41},{"degree":20,"count":43},{"degree":21,"count":430},{"degree":22,"count":403},{"degree":23,"count":102}]
Minimum constraint arity2
Maximum constraint arity120
Distribution of constraint arities[{"arity":2,"count":1964},{"arity":3,"count":2160},{"arity":4,"count":20},{"arity":6,"count":1020},{"arity":8,"count":20},{"arity":21,"count":224},{"arity":57,"count":80},{"arity":120,"count":1}]
Number of extensional constraints1324
Number of intensional constraints640
Distribution of constraint types[{"type":"extension","count":1324},{"type":"intension","count":640},{"type":"regular","count":2160},{"type":"sum","count":40},{"type":"count","count":1324},{"type":"instantiation","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 (10113 MiB free)
  memory of node 1: 16384 MiB (12176 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292956-1532297650/watcher-4292956-1532297650 -o /tmp/evaluation-result-4292956-1532297650/solver-4292956-1532297650 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532297650-6631 --watchdog 2580 xcsp_picat HOME/instance-4292956-1532297650.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=6661, runsolver pid=6658
Current StackSize limit: 8192 KiB


[startup+0.100235 s]*
/proc/loadavg: 1.17 1.29 1.31 4/189 6662
/proc/meminfo: memFree=22766056/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=119504 memory=36948 CPUtime=0.1 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 1756 0 0 0 10 0 0 0 20 0 1 0 47328187 122372096 9237 33554432000 4194304 5849740 140730277455200 140730277454504 4567118 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 29876 9237 625 405 0 26820 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 36948 KiB

[startup+0.209444 s]*
/proc/loadavg: 1.17 1.29 1.31 4/189 6662
/proc/meminfo: memFree=22736640/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=119504 memory=47188 CPUtime=0.21 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 1766 0 0 0 21 0 0 0 20 0 1 0 47328187 122372096 11797 33554432000 4194304 5849740 140730277455200 140730277454504 4778304 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 29876 11797 625 405 0 26820 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 47188 KiB

[startup+0.309477 s]*
/proc/loadavg: 1.17 1.29 1.31 4/189 6662
/proc/meminfo: memFree=22710640/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=145516 memory=69640 CPUtime=0.3 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 3452 0 0 0 30 0 0 0 20 0 1 0 47328187 149008384 17410 33554432000 4194304 5849740 140730277455200 140730277454504 5249929 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 36379 17410 672 405 0 33323 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 145516 KiB
Current children cumulated memory: 69640 KiB

[startup+0.700359 s]
/proc/loadavg: 1.17 1.29 1.31 4/189 6662
/proc/meminfo: memFree=22676512/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=146864 memory=85600 CPUtime=0.69 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 3963 0 0 0 68 1 0 0 20 0 1 0 47328187 150388736 21400 33554432000 4194304 5849740 140730277455200 140730277454504 5473600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 36716 21400 736 405 0 33660 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 146864 KiB
Current children cumulated memory: 85600 KiB

[startup+1.50037 s]
/proc/loadavg: 1.17 1.29 1.31 4/189 6662
/proc/meminfo: memFree=22644204/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=156584 memory=95364 CPUtime=1.49 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 6391 0 0 0 142 7 0 0 20 0 1 0 47328187 160342016 23841 33554432000 4194304 5849740 140730277455200 140730277454296 5472760 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 39146 23841 738 405 0 36090 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 156584 KiB
Current children cumulated memory: 95364 KiB

[startup+3.10929 s]
/proc/loadavg: 1.24 1.31 1.32 4/189 6662
/proc/meminfo: memFree=22624460/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=156584 memory=95400 CPUtime=3.1 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 7221 0 0 0 301 9 0 0 20 0 1 0 47328187 160342016 23850 33554432000 4194304 5849740 140730277455200 140730277454440 140490349543303 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 39146 23850 738 405 0 36090 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 156584 KiB
Current children cumulated memory: 95400 KiB

[startup+6.30035 s]
/proc/loadavg: 1.24 1.31 1.32 4/189 6662
/proc/meminfo: memFree=22617884/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=160680 memory=98824 CPUtime=6.29 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 8268 0 0 0 616 13 0 0 20 0 1 0 47328187 164536320 24706 33554432000 4194304 5849740 140730277455200 140730277454296 140490349543303 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 40170 24706 738 405 0 37114 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 160680 KiB
Current children cumulated memory: 98824 KiB

[startup+12.7004 s]
/proc/loadavg: 1.30 1.32 1.32 4/189 6662
/proc/meminfo: memFree=22568936/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=170168 memory=109100 CPUtime=12.68 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 12939 0 0 0 1252 16 0 0 20 0 1 0 47328187 174252032 27275 33554432000 4194304 5849740 140730277455200 140730277453688 5339632 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 42542 27275 767 405 0 39486 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 170168 KiB
Current children cumulated memory: 109100 KiB

[startup+25.5004 s]
/proc/loadavg: 1.38 1.33 1.33 4/189 6662
/proc/meminfo: memFree=22576568/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=170168 memory=109112 CPUtime=25.48 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 20625 0 0 0 2517 31 0 0 20 0 1 0 47328187 174252032 27278 33554432000 4194304 5849740 140730277455200 140730277453928 5309603 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 42542 27278 770 405 0 39486 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 170168 KiB
Current children cumulated memory: 109112 KiB

[startup+51.1094 s]
/proc/loadavg: 1.59 1.39 1.34 4/189 6662
/proc/meminfo: memFree=22558828/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=188208 memory=126904 CPUtime=51.1 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 30959 0 0 0 5041 69 0 0 20 0 1 0 47328187 192724992 31726 33554432000 4194304 5849740 140730277455200 140730277454200 5360768 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 47052 31726 770 405 0 43996 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 188208 KiB
Current children cumulated memory: 126904 KiB

[startup+102.3 s]
/proc/loadavg: 1.82 1.48 1.38 4/188 6663
/proc/meminfo: memFree=22541200/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=200364 memory=139308 CPUtime=102.28 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 41249 0 0 0 10084 144 0 0 20 0 1 0 47328187 205172736 34827 33554432000 4194304 5849740 140730277455200 140730277454200 140490349543303 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 50091 34827 770 405 0 47035 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 200364 KiB
Current children cumulated memory: 139308 KiB

[startup+162.3 s]
/proc/loadavg: 1.94 1.58 1.42 4/188 6664
/proc/meminfo: memFree=22509972/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=223276 memory=167520 CPUtime=162.27 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 47121 0 0 0 15995 232 0 0 20 0 1 0 47328187 228634624 41880 33554432000 4194304 5849740 140730277455200 140730277454200 140490349543303 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 55819 41880 770 405 0 52763 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 223276 KiB
Current children cumulated memory: 167520 KiB

[startup+222.3 s]
/proc/loadavg: 2.04 1.67 1.46 4/188 6665
/proc/meminfo: memFree=22509248/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=221992 memory=168284 CPUtime=222.27 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 60488 0 0 0 21926 301 0 0 20 0 1 0 47328187 227319808 42071 33554432000 4194304 5849740 140730277455200 140730277454200 140490349543303 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 55498 42071 770 405 0 52442 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 221992 KiB
Current children cumulated memory: 168284 KiB

[startup+282.3 s]
/proc/loadavg: 2.02 1.73 1.49 4/188 6666
/proc/meminfo: memFree=22491044/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=219536 memory=165768 CPUtime=282.26 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 82757 0 0 0 27852 374 0 0 20 0 1 0 47328187 224804864 41442 33554432000 4194304 5849740 140730277455200 140730277454200 140490349543303 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 54884 41442 770 405 0 51828 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 219536 KiB
Current children cumulated memory: 165768 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 1.78 1.52 4/187 6667
/proc/meminfo: memFree=22510852/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=177064 memory=123404 CPUtime=342.26 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 99661 0 0 0 33778 448 0 0 20 0 1 0 47328187 181313536 30851 33554432000 4194304 5849740 140730277455200 140730277454200 140490349543303 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 44266 30851 780 405 0 41210 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 177064 KiB
Current children cumulated memory: 123404 KiB

[startup+402.3 s]
/proc/loadavg: 2.04 1.83 1.56 4/188 6676
/proc/meminfo: memFree=22495180/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=193100 memory=139340 CPUtime=402.26 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 104667 0 0 0 39717 509 0 0 20 0 1 0 47328187 197734400 34835 33554432000 4194304 5849740 140730277455200 140730277454200 5312851 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 48275 34835 780 405 0 45219 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 193100 KiB
Current children cumulated memory: 139340 KiB

[startup+462.3 s]
/proc/loadavg: 2.08 1.89 1.60 4/188 6677
/proc/meminfo: memFree=22538188/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=197796 memory=143084 CPUtime=462.26 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 105994 0 0 0 45657 569 0 0 20 0 1 0 47328187 202543104 35771 33554432000 4194304 5849740 140730277455200 140730277454200 5438080 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 49449 35771 780 405 0 46393 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 197796 KiB
Current children cumulated memory: 143084 KiB


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

/proc/6661/statm: 74797 61339 780 405 0 71741 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 299188 KiB
Current children cumulated memory: 245356 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 1.95 4/188 6718
/proc/meminfo: memFree=22389748/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=266844 memory=213164 CPUtime=1782.18 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 264468 0 0 0 176538 1680 0 0 20 0 1 0 47328187 273248256 53291 33554432000 4194304 5849740 140730277455200 140730277454200 5312592 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 66711 53291 780 405 0 63655 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 266844 KiB
Current children cumulated memory: 213164 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 1.95 4/188 6719
/proc/meminfo: memFree=22387464/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=270080 memory=216272 CPUtime=1842.18 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 272952 0 0 0 182494 1724 0 0 20 0 1 0 47328187 276561920 54068 33554432000 4194304 5849740 140730277455200 140730277454200 140490349543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 67520 54068 780 405 0 64464 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 270080 KiB
Current children cumulated memory: 216272 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 1.95 4/187 6720
/proc/meminfo: memFree=22404028/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=278088 memory=224428 CPUtime=1902.18 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 285263 0 0 0 188442 1776 0 0 20 0 1 0 47328187 284762112 56107 33554432000 4194304 5849740 140730277455200 140730277454200 5312898 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 69522 56107 780 405 0 66466 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 278088 KiB
Current children cumulated memory: 224428 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 1.95 4/187 6721
/proc/meminfo: memFree=22410172/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=272324 memory=218632 CPUtime=1962.18 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 296183 0 0 0 194402 1816 0 0 20 0 1 0 47328187 278859776 54658 33554432000 4194304 5849740 140730277455200 140730277454200 140490349543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 68081 54658 780 405 0 65025 0
Current children cumulated CPU time: 1962.18 s
Current children cumulated vsize: 272324 KiB
Current children cumulated memory: 218632 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 1.95 4/187 6722
/proc/meminfo: memFree=22371024/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=302472 memory=248716 CPUtime=2022.18 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 306579 0 0 0 200361 1857 0 0 20 0 1 0 47328187 309731328 62179 33554432000 4194304 5849740 140730277455200 140730277454200 140490349543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 75618 62179 780 405 0 72562 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 302472 KiB
Current children cumulated memory: 248716 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 6723
/proc/meminfo: memFree=22331288/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=307628 memory=253776 CPUtime=2082.17 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 318432 0 0 0 206313 1904 0 0 20 0 1 0 47328187 315011072 63444 33554432000 4194304 5849740 140730277455200 140730277454200 140490349543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 76907 63444 780 405 0 73851 0
Current children cumulated CPU time: 2082.17 s
Current children cumulated vsize: 307628 KiB
Current children cumulated memory: 253776 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 6724
/proc/meminfo: memFree=22364956/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=277724 memory=223944 CPUtime=2142.18 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 334327 0 0 0 212263 1955 0 0 20 0 1 0 47328187 284389376 55986 33554432000 4194304 5849740 140730277455200 140730277454200 140490349543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 69431 55986 780 405 0 66375 0
Current children cumulated CPU time: 2142.18 s
Current children cumulated vsize: 277724 KiB
Current children cumulated memory: 223944 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 6733
/proc/meminfo: memFree=22327184/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=307144 memory=253444 CPUtime=2202.18 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 347649 0 0 0 218217 2001 0 0 20 0 1 0 47328187 314515456 63361 33554432000 4194304 5849740 140730277455200 140730277454200 140490349543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 76786 63361 780 405 0 73730 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 307144 KiB
Current children cumulated memory: 253444 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 6734
/proc/meminfo: memFree=22410040/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=279604 memory=225944 CPUtime=2262.17 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 356658 0 0 0 224177 2040 0 0 20 0 1 0 47328187 286314496 56486 33554432000 4194304 5849740 140730277455200 140730277454072 5394809 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 69901 56486 780 405 0 66845 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 279604 KiB
Current children cumulated memory: 225944 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 6735
/proc/meminfo: memFree=22319616/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=335120 memory=281460 CPUtime=2322.17 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 367990 0 0 0 230136 2081 0 0 20 0 1 0 47328187 343162880 70365 33554432000 4194304 5849740 140730277455200 140730277454200 5335568 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 83780 70365 780 405 0 80724 0
Current children cumulated CPU time: 2322.17 s
Current children cumulated vsize: 335120 KiB
Current children cumulated memory: 281460 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 6736
/proc/meminfo: memFree=22396324/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=267828 memory=213952 CPUtime=2382.17 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 376568 0 0 0 236097 2120 0 0 20 0 1 0 47328187 274255872 53488 33554432000 4194304 5849740 140730277455200 140730277454360 140490349543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 66957 53488 780 405 0 63901 0
Current children cumulated CPU time: 2382.17 s
Current children cumulated vsize: 267828 KiB
Current children cumulated memory: 213952 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 6737
/proc/meminfo: memFree=22345516/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=284072 memory=230412 CPUtime=2442.17 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 390223 0 0 0 242059 2158 0 0 20 0 1 0 47328187 290889728 57603 33554432000 4194304 5849740 140730277455200 140730277454360 140490349543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 71018 57603 780 405 0 67962 0
Current children cumulated CPU time: 2442.17 s
Current children cumulated vsize: 284072 KiB
Current children cumulated memory: 230412 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 6739
/proc/meminfo: memFree=22373560/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=305484 memory=251820 CPUtime=2502.16 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 396970 0 0 0 248019 2197 0 0 20 0 1 0 47328187 312815616 62955 33554432000 4194304 5849740 140730277455200 140730277454360 140490349543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 76371 62955 780 405 0 73315 0
Current children cumulated CPU time: 2502.16 s
Current children cumulated vsize: 305484 KiB
Current children cumulated memory: 251820 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.95 4/187 6739
/proc/meminfo: memFree=22347800/32770624 swapFree=67108860/67108860
[pid=6661] ppid=6658 vsize=298884 memory=245096 CPUtime=2519.87 cores=1,3,5,7
/proc/6661/stat : 6661 (xcsp_picat) R 6658 6661 6599 0 -1 4202496 400430 0 0 0 249774 2213 0 0 20 0 1 0 47328187 306057216 61274 33554432000 4194304 5849740 140730277455200 140730277454200 140490349543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 22364160 140730277459126 140730277459204 140730277459204 140730277461962 0
/proc/6661/statm: 74721 61274 780 405 0 71665 0
Current children cumulated CPU time: 2519.87 s
Current children cumulated vsize: 298884 KiB
Current children cumulated memory: 245096 KiB

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

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.88
CPU user time (s): 2497.74
CPU system time (s): 22.1392
CPU usage (%): 99.9949
Max. virtual memory (cumulated for all children) (KiB): 345856
Max. memory (cumulated for all children) (KiB): 292196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2497.74
system time used= 22.1392
maximum resident set size= 292196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 400430
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= 51
involuntary context switches= 1789


# summary of solver processes directly reported to runsolver:
#   pid: 6661
#   total CPU time (s): 2519.88
#   total CPU user time (s): 2497.74
#   total CPU system time (s): 22.1392

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.08267 second user time and 17.6171 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-23 00:14:10
IDJOB=4292956
IDBENCH=141046
IDSOLVER=2754
FILE ID=node138/4292956-1532297650
RUNJOBID= node138-1532297650-6631
PBS_JOBID= 21018993
Free space on /tmp= 59104 MiB

SOLVER NAME= PicatSAT 2018-06-15
BENCH NAME= XCSP18/NurseRostering/NurseRostering-16_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292956-1532297650/watcher-4292956-1532297650 -o /tmp/evaluation-result-4292956-1532297650/solver-4292956-1532297650 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532297650-6631 --watchdog 2580  xcsp_picat HOME/instance-4292956-1532297650.xml

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

MD5SUM BENCH= 0b8e9565fd0b9c632a2b7d0ba913c3ff
RANDOM SEED=1746314991

node138.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.71
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.71
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.71
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.71
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:        22830528 kB
MemAvailable:   31951060 kB
Buffers:          251400 kB
Cached:          9109792 kB
SwapCached:            0 kB
Active:          2334396 kB
Inactive:        7085684 kB
Active(anon):      61348 kB
Inactive(anon):    16960 kB
Active(file):    2273048 kB
Inactive(file):  7068724 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6244 kB
Writeback:             0 kB
AnonPages:         65948 kB
Mapped:            36108 kB
Shmem:             17036 kB
Slab:             216948 kB
SReclaimable:     189192 kB
SUnreclaim:        27756 kB
KernelStack:        3200 kB
PageTables:         4816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     319420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 59104 MiB
End job on node138 at 2018-07-23 00:56:10