Trace number 4309463

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PicatSAT 2018-08-14? (TO) 2519.94 2520.02

General information on the benchmark

NameNurseRostering/
NurseRostering-04_c18.xml
MD5SUM3e14d2a5b30f836b117ab38c1a042f13
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2070
Best CPU time to get the best result obtained on this benchmark2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables589
Number of constraints1410
Number of domains13
Minimum domain size1
Maximum domain size29
Distribution of domain sizes[{"size":1,"count":30},{"size":2,"count":111},{"size":3,"count":280},{"size":11,"count":140},{"size":29,"count":28}]
Minimum variable degree2
Maximum variable degree21
Distribution of variable degrees[{"degree":2,"count":269},{"degree":3,"count":40},{"degree":11,"count":9},{"degree":12,"count":11},{"degree":14,"count":8},{"degree":15,"count":10},{"degree":16,"count":15},{"degree":17,"count":23},{"degree":18,"count":18},{"degree":19,"count":79},{"degree":20,"count":85},{"degree":21,"count":22}]
Minimum constraint arity2
Maximum constraint arity29
Distribution of constraint arities[{"arity":2,"count":525},{"arity":3,"count":530},{"arity":4,"count":10},{"arity":6,"count":230},{"arity":11,"count":84},{"arity":20,"count":1},{"arity":29,"count":30}]
Number of extensional constraints354
Number of intensional constraints171
Distribution of constraint types[{"type":"extension","count":354},{"type":"intension","count":171},{"type":"regular","count":520},{"type":"sum","count":20},{"type":"count","count":344},{"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 (10688 MiB free)
  memory of node 1: 16384 MiB (12992 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309463-1534293202/watcher-4309463-1534293202 -o /tmp/evaluation-result-4309463-1534293202/solver-4309463-1534293202 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534293202-13750 --watchdog 2580 xcsp_picat HOME/instance-4309463-1534293202.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
Current StackSize limit: 8192 KiB

solver pid=13771, runsolver pid=13768

[startup+0.100205 s]*
/proc/loadavg: 0.85 1.22 1.35 3/189 13782
/proc/meminfo: memFree=24195248/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2033696 memory=26284 CPUtime=0.1 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 1613 0 0 0 10 0 0 0 20 0 1 0 246883383 2082504704 6571 33554432000 4194304 5849940 140730013728352 140730013728352 139804144119687 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 508424 6571 725 405 0 505368 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033696 KiB
Current children cumulated memory: 26284 KiB

[startup+0.209785 s]*
/proc/loadavg: 0.85 1.22 1.35 3/189 13782
/proc/meminfo: memFree=24164280/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2033696 memory=26284 CPUtime=0.21 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 1636 0 0 0 21 0 0 0 20 0 1 0 246883383 2082504704 6571 33554432000 4194304 5849940 140730013728352 140730013728352 5471895 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 508424 6571 725 405 0 505368 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033696 KiB
Current children cumulated memory: 26284 KiB

[startup+0.309309 s]*
/proc/loadavg: 0.85 1.22 1.35 3/189 13782
/proc/meminfo: memFree=24138216/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2035464 memory=27936 CPUtime=0.31 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 2105 0 0 0 30 1 0 0 20 0 1 0 246883383 2084315136 6984 33554432000 4194304 5849940 140730013728352 140730013728352 139804144119687 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 508866 6984 728 405 0 505810 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2035464 KiB
Current children cumulated memory: 27936 KiB

[startup+0.700342 s]
/proc/loadavg: 0.85 1.22 1.35 3/189 13782
/proc/meminfo: memFree=24092788/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2035728 memory=28360 CPUtime=0.69 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 2153 0 0 0 68 1 0 0 20 0 1 0 246883383 2084585472 7090 33554432000 4194304 5849940 140730013728352 140730013728352 5521648 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 508932 7090 728 405 0 505876 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2035728 KiB
Current children cumulated memory: 28360 KiB

[startup+1.50034 s]
/proc/loadavg: 0.85 1.22 1.35 3/189 13782
/proc/meminfo: memFree=24005092/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2035696 memory=28360 CPUtime=1.49 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 2167 0 0 0 148 1 0 0 20 0 1 0 246883383 2084552704 7090 33554432000 4194304 5849940 140730013728352 140730013726984 139804144120812 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 508924 7090 728 405 0 505868 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2035696 KiB
Current children cumulated memory: 28360 KiB

[startup+3.10952 s]
/proc/loadavg: 0.85 1.22 1.35 3/189 13782
/proc/meminfo: memFree=23781608/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2038324 memory=32256 CPUtime=3.1 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 4945 0 0 0 307 3 0 0 20 0 1 0 246883383 2087243776 8064 33554432000 4194304 5849940 140730013728352 140730013726600 5359362 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 509581 8064 744 405 0 506525 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038324 KiB
Current children cumulated memory: 32256 KiB

[startup+6.30033 s]
/proc/loadavg: 0.86 1.21 1.35 3/189 13782
/proc/meminfo: memFree=23409328/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2035856 memory=30700 CPUtime=6.29 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 6509 0 0 0 624 5 0 0 20 0 1 0 246883383 2084716544 7675 33554432000 4194304 5849940 140730013728352 140730013727464 139804144119687 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 508964 7675 769 405 0 505908 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2035856 KiB
Current children cumulated memory: 30700 KiB

[startup+12.7003 s]
/proc/loadavg: 0.95 1.23 1.35 3/189 13782
/proc/meminfo: memFree=23332892/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2043464 memory=39636 CPUtime=12.69 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 10771 0 0 0 1254 15 0 0 20 0 1 0 246883383 2092507136 9909 33554432000 4194304 5849940 140730013728352 140730013726840 139804144119687 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 510866 9909 769 405 0 507810 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2043464 KiB
Current children cumulated memory: 39636 KiB

[startup+25.5004 s]
/proc/loadavg: 1.19 1.26 1.36 3/189 13782
/proc/meminfo: memFree=23305112/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2053628 memory=51904 CPUtime=25.49 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 16120 0 0 0 2519 30 0 0 20 0 1 0 246883383 2102915072 12976 33554432000 4194304 5849940 140730013728352 140730013727352 139804144119687 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 513407 12976 769 405 0 510351 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2053628 KiB
Current children cumulated memory: 51904 KiB

[startup+51.1093 s]
/proc/loadavg: 1.46 1.32 1.38 3/189 13782
/proc/meminfo: memFree=23284928/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2035848 memory=34944 CPUtime=51.09 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 27761 0 0 0 5055 54 0 0 20 0 1 0 246883383 2084708352 8736 33554432000 4194304 5849940 140730013728352 140730013727448 5606448 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 508962 8736 769 405 0 505906 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2035848 KiB
Current children cumulated memory: 34944 KiB

[startup+102.3 s]
/proc/loadavg: 1.77 1.43 1.41 3/188 13783
/proc/meminfo: memFree=23093068/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2062956 memory=62168 CPUtime=102.28 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 39863 0 0 0 10129 99 0 0 20 0 1 0 246883383 2112466944 15542 33554432000 4194304 5849940 140730013728352 140730013727224 5395317 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 515739 15542 769 405 0 512683 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2062956 KiB
Current children cumulated memory: 62168 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.55 1.46 3/188 13784
/proc/meminfo: memFree=23058676/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2097580 memory=96780 CPUtime=162.28 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 56694 0 0 0 16101 127 0 0 20 0 1 0 246883383 2147921920 24195 33554432000 4194304 5849940 140730013728352 140730013727352 139804144119687 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 524395 24195 769 405 0 521339 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2097580 KiB
Current children cumulated memory: 96780 KiB

[startup+222.3 s]
/proc/loadavg: 2.03 1.64 1.50 3/188 13785
/proc/meminfo: memFree=23042472/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2113392 memory=112604 CPUtime=222.28 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 69632 0 0 0 22084 144 0 0 20 0 1 0 246883383 2164113408 28151 33554432000 4194304 5849940 140730013728352 140730013727352 139804144119687 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 528348 28151 769 405 0 525292 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2113392 KiB
Current children cumulated memory: 112604 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 1.71 1.53 3/188 13786
/proc/meminfo: memFree=23083548/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2106408 memory=105620 CPUtime=282.28 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 89177 0 0 0 28068 160 0 0 20 0 1 0 246883383 2156961792 26405 33554432000 4194304 5849940 140730013728352 140730013727352 139804144119687 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 526602 26405 769 405 0 523546 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2106408 KiB
Current children cumulated memory: 105620 KiB

[startup+342.3 s]
/proc/loadavg: 2.08 1.78 1.56 3/187 13787
/proc/meminfo: memFree=23074824/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2114752 memory=113800 CPUtime=342.28 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 92493 0 0 0 34054 174 0 0 20 0 1 0 246883383 2165506048 28450 33554432000 4194304 5849940 140730013728352 140730013727352 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 528688 28450 769 405 0 525632 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2114752 KiB
Current children cumulated memory: 113800 KiB

[startup+402.3 s]
/proc/loadavg: 2.03 1.82 1.59 3/188 13796
/proc/meminfo: memFree=23036940/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2136464 memory=135676 CPUtime=402.27 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 103985 0 0 0 40041 186 0 0 20 0 1 0 246883383 2187739136 33919 33554432000 4194304 5849940 140730013728352 140730013727224 5399875 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 534116 33919 769 405 0 531060 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2136464 KiB
Current children cumulated memory: 135676 KiB

[startup+462.3 s]
/proc/loadavg: 2.04 1.87 1.62 3/188 13797
/proc/meminfo: memFree=22992484/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2181716 memory=180924 CPUtime=462.27 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 107350 0 0 0 46028 199 0 0 20 0 1 0 246883383 2234077184 45231 33554432000 4194304 5849940 140730013728352 140730013727352 139804144119687 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 545429 45231 769 405 0 542373 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2181716 KiB
Current children cumulated memory: 180924 KiB


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

/proc/13771/statm: 578984 78787 769 405 0 575928 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 2315936 KiB
Current children cumulated memory: 315148 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/189 13859
/proc/meminfo: memFree=22800748/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2315936 memory=315148 CPUtime=1782.24 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 456582 0 0 0 177833 391 0 0 20 0 1 0 246883383 2371518464 78787 33554432000 4194304 5849940 140730013728352 140730013727352 5438533 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 578984 78787 769 405 0 575928 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 2315936 KiB
Current children cumulated memory: 315148 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/189 13860
/proc/meminfo: memFree=22781100/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2315936 memory=315148 CPUtime=1842.23 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 485128 0 0 0 183824 399 0 0 20 0 1 0 246883383 2371518464 78787 33554432000 4194304 5849940 140730013728352 140730013727512 5438016 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 578984 78787 769 405 0 575928 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 2315936 KiB
Current children cumulated memory: 315148 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/189 13861
/proc/meminfo: memFree=22749372/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2368616 memory=367828 CPUtime=1902.23 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 530289 0 0 0 189812 411 0 0 20 0 1 0 246883383 2425462784 91957 33554432000 4194304 5849940 140730013728352 140730013727352 139804144119687 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 592154 91957 769 405 0 589098 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 2368616 KiB
Current children cumulated memory: 367828 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/189 13862
/proc/meminfo: memFree=22734912/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2368616 memory=367828 CPUtime=1962.23 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 558739 0 0 0 195804 419 0 0 20 0 1 0 246883383 2425462784 91957 33554432000 4194304 5849940 140730013728352 140730013727224 5312859 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 592154 91957 769 405 0 589098 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 2368616 KiB
Current children cumulated memory: 367828 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/189 13863
/proc/meminfo: memFree=22729704/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2368616 memory=367828 CPUtime=2022.22 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 592368 0 0 0 201797 425 0 0 20 0 1 0 246883383 2425462784 91957 33554432000 4194304 5849940 140730013728352 140730013727512 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 592154 91957 769 405 0 589098 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 2368616 KiB
Current children cumulated memory: 367828 KiB

[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 1.96 3/192 13888
/proc/meminfo: memFree=22893292/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2208288 memory=207500 CPUtime=2082.22 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 636387 0 0 0 207788 434 0 0 20 0 1 0 246883383 2261286912 51875 33554432000 4194304 5849940 140730013728352 140730013727352 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 552072 51875 769 405 0 549016 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 2208288 KiB
Current children cumulated memory: 207500 KiB

[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 1.96 3/188 13907
/proc/meminfo: memFree=22863748/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2209688 memory=208900 CPUtime=2142.22 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 656402 0 0 0 213778 444 0 0 20 0 1 0 246883383 2262720512 52225 33554432000 4194304 5849940 140730013728352 140730013727352 139804144119687 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 552422 52225 769 405 0 549366 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 2209688 KiB
Current children cumulated memory: 208900 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/189 13916
/proc/meminfo: memFree=22844696/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2230444 memory=229556 CPUtime=2202.22 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 660139 0 0 0 219765 457 0 0 20 0 1 0 246883383 2283974656 57389 33554432000 4194304 5849940 140730013728352 140730013727352 5437917 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 557611 57389 769 405 0 554555 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 2230444 KiB
Current children cumulated memory: 229556 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/189 13917
/proc/meminfo: memFree=22862512/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2230444 memory=229656 CPUtime=2262.22 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 680690 0 0 0 225752 470 0 0 20 0 1 0 246883383 2283974656 57414 33554432000 4194304 5849940 140730013728352 140730013727352 139804144119687 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 557611 57414 769 405 0 554555 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 2230444 KiB
Current children cumulated memory: 229656 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/189 13918
/proc/meminfo: memFree=22782024/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2295980 memory=295192 CPUtime=2322.21 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 683297 0 0 0 231740 481 0 0 20 0 1 0 246883383 2351083520 73798 33554432000 4194304 5849940 140730013728352 140730013727352 139804144119687 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 573995 73798 769 405 0 570939 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 2295980 KiB
Current children cumulated memory: 295192 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/189 13919
/proc/meminfo: memFree=22807156/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2280196 memory=279408 CPUtime=2382.22 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 717260 0 0 0 237731 491 0 0 20 0 1 0 246883383 2334920704 69852 33554432000 4194304 5849940 140730013728352 140730013727352 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 570049 69852 769 405 0 566993 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 2280196 KiB
Current children cumulated memory: 279408 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 13920
/proc/meminfo: memFree=22744528/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2345732 memory=344944 CPUtime=2442.21 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 739287 0 0 0 243722 499 0 0 20 0 1 0 246883383 2402029568 86236 33554432000 4194304 5849940 140730013728352 140730013727352 5438453 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 586433 86236 769 405 0 583377 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 2345732 KiB
Current children cumulated memory: 344944 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 13921
/proc/meminfo: memFree=22729828/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2345732 memory=344944 CPUtime=2502.21 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 764243 0 0 0 249715 506 0 0 20 0 1 0 246883383 2402029568 86236 33554432000 4194304 5849940 140730013728352 140730013727352 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 586433 86236 769 405 0 583377 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 2345732 KiB
Current children cumulated memory: 344944 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.96 3/187 13921
/proc/meminfo: memFree=22727052/32770624 swapFree=67059124/67108860
[pid=13771] ppid=13768 vsize=2345732 memory=344944 CPUtime=2519.92 cores=0,2,4,6
/proc/13771/stat : 13771 (xcsp_picat) R 13768 13771 13719 0 -1 4202496 769596 0 0 0 251484 508 0 0 20 0 1 0 246883383 2402029568 86236 33554432000 4194304 5849940 140730013728352 140730013727352 5438368 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39088128 140730013734070 140730013734148 140730013734148 140730013736906 0
/proc/13771/statm: 586433 86236 769 405 0 583377 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 2345732 KiB
Current children cumulated memory: 344944 KiB

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

[startup+2520.02 s]
# the end of solver process 13771 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.84 s, system=5.09884 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.94
CPU user time (s): 2514.84
CPU system time (s): 5.09884
CPU usage (%): 99.9968
Max. virtual memory (cumulated for all children) (KiB): 2368616
Max. memory (cumulated for all children) (KiB): 367828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.84
system time used= 5.09884
maximum resident set size= 367828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 769597
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= 3
involuntary context switches= 3173


# summary of solver processes directly reported to runsolver:
#   pid: 13771
#   total CPU time (s): 2519.94
#   total CPU user time (s): 2514.84
#   total CPU system time (s): 5.09884

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.545 second user time and 15.5387 second system time

The end

Launcher Data 

Begin job on node103 at 2018-08-15 02:33:22
IDJOB=4309463
IDBENCH=141042
IDSOLVER=2794
FILE ID=node103/4309463-1534293202
RUNJOBID= node103-1534293202-13750
PBS_JOBID= 21038140
Free space on /tmp= 37340 MiB

SOLVER NAME= PicatSAT 2018-08-14
BENCH NAME= XCSP18/NurseRostering/NurseRostering-04_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309463-1534293202/watcher-4309463-1534293202 -o /tmp/evaluation-result-4309463-1534293202/solver-4309463-1534293202 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534293202-13750 --watchdog 2580  xcsp_picat HOME/instance-4309463-1534293202.xml

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

MD5SUM BENCH= 3e14d2a5b30f836b117ab38c1a042f13
RANDOM SEED=351618726

node103.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.48
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.48
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.48
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.48
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:        24252528 kB
MemAvailable:   31944352 kB
Buffers:          182528 kB
Cached:          7702900 kB
SwapCached:         5152 kB
Active:          4161704 kB
Inactive:        3735572 kB
Active(anon):       4124 kB
Inactive(anon):    59292 kB
Active(file):    4157580 kB
Inactive(file):  3676280 kB
Unevictable:        7772 kB
Mlocked:            7772 kB
SwapTotal:      67108860 kB
SwapFree:       67059124 kB
Dirty:              3516 kB
Writeback:             0 kB
AnonPages:         15844 kB
Mapped:            52848 kB
Shmem:             48720 kB
Slab:             314984 kB
SReclaimable:     286424 kB
SUnreclaim:        28560 kB
KernelStack:        3120 kB
PageTables:         5424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     360064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 37332 MiB
End job on node103 at 2018-08-15 03:15:22