Trace number 4303137

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

General information on the benchmark

NameNurseRostering/
NurseRostering-18_c18.xml
MD5SUM2080050c46f9199df44cd86a0d29de9d
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 variables3286
Number of constraints8967
Number of domains16
Minimum domain size1
Maximum domain size85
Distribution of domain sizes[{"size":1,"count":96},{"size":2,"count":678},{"size":4,"count":1848},{"size":23,"count":588},{"size":41,"count":2},{"size":44,"count":16},{"size":85,"count":58}]
Minimum variable degree2
Maximum variable degree23
Distribution of variable degrees[{"degree":2,"count":1174},{"degree":3,"count":264},{"degree":13,"count":19},{"degree":14,"count":23},{"degree":15,"count":2},{"degree":16,"count":17},{"degree":17,"count":24},{"degree":18,"count":38},{"degree":19,"count":38},{"degree":20,"count":189},{"degree":21,"count":776},{"degree":22,"count":573},{"degree":23,"count":149}]
Minimum constraint arity2
Maximum constraint arity176
Distribution of constraint arities[{"arity":2,"count":3148},{"arity":3,"count":3608},{"arity":4,"count":22},{"arity":5,"count":320},{"arity":6,"count":1422},{"arity":12,"count":22},{"arity":23,"count":336},{"arity":85,"count":88},{"arity":176,"count":1}]
Number of extensional constraints2162
Number of intensional constraints986
Distribution of constraint types[{"type":"extension","count":2162},{"type":"intension","count":986},{"type":"regular","count":3608},{"type":"sum","count":44},{"type":"count","count":2166},{"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 (318 MiB free)
  memory of node 1: 16384 MiB (810 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303137-1533993477/watcher-4303137-1533993477 -o /tmp/evaluation-result-4303137-1533993477/solver-4303137-1533993477 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1533993477-10116 --watchdog 2580 xcsp_picat HOME/instance-4303137-1533993477.xml 

running on 4 cores: 1,3,5,7

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

solver pid=10144, runsolver pid=10138

[startup+0.100162 s]*
/proc/loadavg: 1.00 1.01 1.05 4/188 10147
/proc/meminfo: memFree=1096036/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2025744 memory=36596 CPUtime=0.1 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 1148 0 0 0 10 0 0 0 20 0 1 0 216910922 2074361856 9149 33554432000 4194304 5849708 140729159552288 140729159552288 4488301 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 506436 9149 620 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 36596 KiB

[startup+0.209899 s]*
/proc/loadavg: 1.00 1.01 1.05 4/188 10147
/proc/meminfo: memFree=1064348/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2033560 memory=49380 CPUtime=0.2 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 1311 0 0 0 20 0 0 0 20 0 1 0 216910922 2082365440 12345 33554432000 4194304 5849708 140729159552288 140729159552288 4840207 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 508390 12345 635 405 0 505335 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 49380 KiB

[startup+0.309414 s]*
/proc/loadavg: 1.00 1.01 1.05 3/188 10147
/proc/meminfo: memFree=1051192/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2033560 memory=62432 CPUtime=0.31 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 1487 0 0 0 30 1 0 0 20 0 1 0 216910922 2082365440 15608 33554432000 4194304 5849708 140729159552288 140729159552288 4513895 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 508390 15608 635 405 0 505335 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 62432 KiB

[startup+0.700337 s]
/proc/loadavg: 1.00 1.01 1.05 4/188 10147
/proc/meminfo: memFree=1018384/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2033988 memory=122272 CPUtime=0.69 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 2102 0 0 0 67 2 0 0 20 0 1 0 216910922 2082803712 30568 33554432000 4194304 5849708 140729159552288 140729159551592 140491618217863 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 508497 30568 733 405 0 505442 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033988 KiB
Current children cumulated memory: 122272 KiB

[startup+1.50023 s]
/proc/loadavg: 1.00 1.01 1.05 4/188 10147
/proc/meminfo: memFree=987032/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2034248 memory=122444 CPUtime=1.49 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 2179 0 0 0 147 2 0 0 20 0 1 0 216910922 2083069952 30611 33554432000 4194304 5849708 140729159552288 140729159551592 5606256 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 508562 30611 735 405 0 505507 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2034248 KiB
Current children cumulated memory: 122444 KiB

[startup+3.10947 s]
/proc/loadavg: 1.00 1.01 1.05 4/188 10147
/proc/meminfo: memFree=975392/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2046112 memory=134472 CPUtime=3.1 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 5222 0 0 0 296 14 0 0 20 0 1 0 216910922 2095218688 33618 33554432000 4194304 5849708 140729159552288 140729159551384 140491617750830 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 511528 33618 736 405 0 508473 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2046112 KiB
Current children cumulated memory: 134472 KiB

[startup+6.30023 s]
/proc/loadavg: 1.08 1.03 1.06 4/188 10147
/proc/meminfo: memFree=965348/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2049184 memory=139588 CPUtime=6.28 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 6852 0 0 0 610 18 0 0 20 0 1 0 216910922 2098364416 34897 33554432000 4194304 5849708 140729159552288 140729159551464 140491618217863 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 512296 34897 736 405 0 509241 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2049184 KiB
Current children cumulated memory: 139588 KiB

[startup+12.7002 s]
/proc/loadavg: 1.16 1.05 1.06 4/188 10147
/proc/meminfo: memFree=965232/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2053280 memory=143684 CPUtime=12.69 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 9881 0 0 0 1241 28 0 0 20 0 1 0 216910922 2102558720 35921 33554432000 4194304 5849708 140729159552288 140729159551528 5378873 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 513320 35921 736 405 0 510265 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2053280 KiB
Current children cumulated memory: 143684 KiB

[startup+25.5003 s]
/proc/loadavg: 1.34 1.09 1.08 4/188 10147
/proc/meminfo: memFree=938480/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2068624 memory=159824 CPUtime=25.49 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 27193 0 0 0 2513 36 0 0 20 0 1 0 216910922 2118270976 39956 33554432000 4194304 5849708 140729159552288 140729159551288 5438099 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 517156 39956 768 405 0 514101 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2068624 KiB
Current children cumulated memory: 159824 KiB

[startup+51.1096 s]
/proc/loadavg: 1.57 1.17 1.10 4/188 10147
/proc/meminfo: memFree=930924/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2070060 memory=163048 CPUtime=51.1 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 34639 0 0 0 5053 57 0 0 20 0 1 0 216910922 2119741440 40762 33554432000 4194304 5849708 140729159552288 140729159550776 5309095 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 517515 40762 768 405 0 514460 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2070060 KiB
Current children cumulated memory: 163048 KiB

[startup+102.3 s]
/proc/loadavg: 1.88 1.31 1.16 4/188 10148
/proc/meminfo: memFree=909592/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2077372 memory=171436 CPUtime=102.29 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 48787 0 0 0 10123 106 0 0 20 0 1 0 216910922 2127228928 42859 33554432000 4194304 5849708 140729159552288 140729159550776 140491618217863 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 519343 42859 768 405 0 516288 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2077372 KiB
Current children cumulated memory: 171436 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 1.45 1.21 4/190 10158
/proc/meminfo: memFree=868664/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2102764 memory=197164 CPUtime=162.28 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 62579 0 0 0 16061 167 0 0 20 0 1 0 216910922 2153230336 49291 33554432000 4194304 5849708 140729159552288 140729159551288 5437616 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 525691 49291 768 405 0 522636 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2102764 KiB
Current children cumulated memory: 197164 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.55 1.26 4/190 10159
/proc/meminfo: memFree=866864/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2102748 memory=197148 CPUtime=222.29 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 74040 0 0 0 22009 220 0 0 20 0 1 0 216910922 2153213952 49287 33554432000 4194304 5849708 140729159552288 140729159551288 4221809 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 525687 49287 768 405 0 522632 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2102748 KiB
Current children cumulated memory: 197148 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.63 1.31 4/190 10160
/proc/meminfo: memFree=855524/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2108784 memory=203184 CPUtime=282.29 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 91679 0 0 0 27951 278 0 0 20 0 1 0 216910922 2159394816 50796 33554432000 4194304 5849708 140729159552288 140729159550776 5305413 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 527196 50796 768 405 0 524141 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2108784 KiB
Current children cumulated memory: 203184 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.70 1.35 4/189 10161
/proc/meminfo: memFree=860008/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2109796 memory=204064 CPUtime=342.28 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 108611 0 0 0 33903 325 0 0 20 0 1 0 216910922 2160431104 51016 33554432000 4194304 5849708 140729159552288 140729159551288 140491618217863 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 527449 51016 768 405 0 524394 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2109796 KiB
Current children cumulated memory: 204064 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.75 1.39 4/189 10162
/proc/meminfo: memFree=859944/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2110908 memory=205240 CPUtime=402.29 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 115584 0 0 0 39851 378 0 0 20 0 1 0 216910922 2161569792 51310 33554432000 4194304 5849708 140729159552288 140729159551288 140491618217863 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 527727 51310 768 405 0 524672 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2110908 KiB
Current children cumulated memory: 205240 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.80 1.43 4/188 10164
/proc/meminfo: memFree=856920/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2108716 memory=202964 CPUtime=462.29 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 134020 0 0 0 45806 423 0 0 20 0 1 0 216910922 2159325184 50741 33554432000 4194304 5849708 140729159552288 140729159551288 5339843 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 527179 50741 768 405 0 524124 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2108716 KiB
Current children cumulated memory: 202964 KiB


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

/proc/10144/statm: 539043 62596 777 405 0 535988 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 2156172 KiB
Current children cumulated memory: 250384 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.86 4/187 10203
/proc/meminfo: memFree=747176/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2137104 memory=231364 CPUtime=1782.29 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 431412 0 0 0 176729 1500 0 0 20 0 1 0 216910922 2188394496 57841 33554432000 4194304 5849708 140729159552288 140729159551288 140491618217863 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 534276 57841 777 405 0 531221 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 2137104 KiB
Current children cumulated memory: 231364 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.87 4/187 10204
/proc/meminfo: memFree=718632/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2176688 memory=271124 CPUtime=1842.3 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 467780 0 0 0 182682 1548 0 0 20 0 1 0 216910922 2228928512 67781 33554432000 4194304 5849708 140729159552288 140729159551288 140491618217863 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 544172 67781 777 405 0 541117 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 2176688 KiB
Current children cumulated memory: 271124 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.87 4/187 10205
/proc/meminfo: memFree=723144/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2164008 memory=258220 CPUtime=1902.3 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 482738 0 0 0 188633 1597 0 0 20 0 1 0 216910922 2215944192 64555 33554432000 4194304 5849708 140729159552288 140729159551288 140491618217863 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 541002 64555 777 405 0 537947 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 2164008 KiB
Current children cumulated memory: 258220 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.88 4/188 10214
/proc/meminfo: memFree=786340/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2203792 memory=298228 CPUtime=1962.3 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 501069 0 0 0 194593 1637 0 0 20 0 1 0 216910922 2256683008 74557 33554432000 4194304 5849708 140729159552288 140729159551288 140491618217863 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 550948 74557 777 405 0 547893 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 2203792 KiB
Current children cumulated memory: 298228 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.89 4/188 10215
/proc/meminfo: memFree=689448/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2269452 memory=363888 CPUtime=2022.3 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 529143 0 0 0 200555 1675 0 0 20 0 1 0 216910922 2323918848 90972 33554432000 4194304 5849708 140729159552288 140729159551288 140491618217863 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 567363 90972 777 405 0 564308 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 2269452 KiB
Current children cumulated memory: 363888 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.89 4/188 10216
/proc/meminfo: memFree=714880/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2218380 memory=312816 CPUtime=2082.3 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 553216 0 0 0 206519 1711 0 0 20 0 1 0 216910922 2271621120 78204 33554432000 4194304 5849708 140729159552288 140729159551288 5307480 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 554595 78204 777 405 0 551540 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 2218380 KiB
Current children cumulated memory: 312816 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.90 4/188 10217
/proc/meminfo: memFree=695516/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2238012 memory=332448 CPUtime=2142.3 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 580905 0 0 0 212481 1749 0 0 20 0 1 0 216910922 2291724288 83112 33554432000 4194304 5849708 140729159552288 140729159551288 140491618217863 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 559503 83112 777 405 0 556448 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 2238012 KiB
Current children cumulated memory: 332448 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.90 4/188 10218
/proc/meminfo: memFree=692088/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2214772 memory=309208 CPUtime=2202.3 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 601689 0 0 0 218444 1786 0 0 20 0 1 0 216910922 2267926528 77302 33554432000 4194304 5849708 140729159552288 140729159551160 140491618217863 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 553693 77302 777 405 0 550638 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 2214772 KiB
Current children cumulated memory: 309208 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/187 10220
/proc/meminfo: memFree=721336/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2185876 memory=280108 CPUtime=2262.3 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 641704 0 0 0 224401 1829 0 0 20 0 1 0 216910922 2238337024 70027 33554432000 4194304 5849708 140729159552288 140729159551160 5312851 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 546469 70027 777 405 0 543414 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 2185876 KiB
Current children cumulated memory: 280108 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.92 4/187 10221
/proc/meminfo: memFree=693156/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2213764 memory=308160 CPUtime=2322.3 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 668562 0 0 0 230367 1863 0 0 20 0 1 0 216910922 2266894336 77040 33554432000 4194304 5849708 140729159552288 140729159551288 140491618217863 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 553441 77040 777 405 0 550386 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 2213764 KiB
Current children cumulated memory: 308160 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.92 4/187 10222
/proc/meminfo: memFree=686020/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2220824 memory=315088 CPUtime=2382.3 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 700031 0 0 0 236330 1900 0 0 20 0 1 0 216910922 2274123776 78772 33554432000 4194304 5849708 140729159552288 140729159551288 140491618217863 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 555206 78772 777 405 0 552151 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 2220824 KiB
Current children cumulated memory: 315088 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.93 4/187 10224
/proc/meminfo: memFree=690296/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2216652 memory=311088 CPUtime=2442.3 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 726916 0 0 0 242294 1936 0 0 20 0 1 0 216910922 2269851648 77772 33554432000 4194304 5849708 140729159552288 140729159551288 140491618217863 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 554163 77772 777 405 0 551108 0
Current children cumulated CPU time: 2442.3 s
Current children cumulated vsize: 2216652 KiB
Current children cumulated memory: 311088 KiB

[startup+2502.3 s]
/proc/loadavg: 3.04 2.25 2.02 4/187 10225
/proc/meminfo: memFree=705156/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2201328 memory=295764 CPUtime=2502.31 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 769750 0 0 0 248244 1987 0 0 20 0 1 0 216910922 2254159872 73941 33554432000 4194304 5849708 140729159552288 140729159550776 5329117 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 550332 73941 777 405 0 547277 0
Current children cumulated CPU time: 2502.31 s
Current children cumulated vsize: 2201328 KiB
Current children cumulated memory: 295764 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.95 2.27 2.03 4/187 10225
/proc/meminfo: memFree=667936/32770624 swapFree=67108496/67108860
[pid=10144] ppid=10138 vsize=2220604 memory=314924 CPUtime=2520.01 cores=1,3,5,7
/proc/10144/stat : 10144 (xcsp_picat) R 10138 10144 10084 0 -1 4202496 773835 0 0 0 250003 1998 0 0 20 0 1 0 216910922 2273898496 78731 33554432000 4194304 5849708 140729159552288 140729159551288 140491618217863 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 20283392 140729159554230 140729159554308 140729159554308 140729159557066 0
/proc/10144/statm: 555151 78731 777 405 0 552096 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 2220604 KiB
Current children cumulated memory: 314924 KiB

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

[startup+2520.02 s]
# the end of solver process 10144 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2500.04 s, system=19.9921 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): 2520.03
CPU user time (s): 2500.04
CPU system time (s): 19.9921
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2291936
Max. memory (cumulated for all children) (KiB): 386372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2500.04
system time used= 19.9921
maximum resident set size= 386372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 773836
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= 5
involuntary context switches= 1557


# summary of solver processes directly reported to runsolver:
#   pid: 10144
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2500.04
#   total CPU system time (s): 19.9921

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.57355 second user time and 18.0572 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-11 15:17:57
IDJOB=4303137
IDBENCH=141053
IDSOLVER=2778
FILE ID=node149/4303137-1533993477
RUNJOBID= node149-1533993477-10116
PBS_JOBID= 21036951
Free space on /tmp= 38804 MiB

SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/NurseRostering/NurseRostering-18_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303137-1533993477/watcher-4303137-1533993477 -o /tmp/evaluation-result-4303137-1533993477/solver-4303137-1533993477 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1533993477-10116 --watchdog 2580  xcsp_picat HOME/instance-4303137-1533993477.xml

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

MD5SUM BENCH= 2080050c46f9199df44cd86a0d29de9d
RANDOM SEED=652932103

node149.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.60
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.60
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.60
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.60
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:         1158048 kB
MemAvailable:   31905784 kB
Buffers:          167848 kB
Cached:         30384864 kB
SwapCached:           28 kB
Active:          8323452 kB
Inactive:       22283372 kB
Active(anon):       3124 kB
Inactive(anon):   103152 kB
Active(file):    8320328 kB
Inactive(file): 22180220 kB
Unevictable:        7604 kB
Mlocked:            7604 kB
SwapTotal:      67108860 kB
SwapFree:       67108496 kB
Dirty:              6140 kB
Writeback:             0 kB
AnonPages:         61012 kB
Mapped:            52452 kB
Shmem:             49616 kB
Slab:             702260 kB
SReclaimable:     675648 kB
SUnreclaim:        26612 kB
KernelStack:        3104 kB
PageTables:         5416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     351056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 38796 MiB
End job on node149 at 2018-08-11 15:59:57