Trace number 4292976

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

General information on the benchmark

NameNurseRostering/
NurseRostering-03_c18.xml
MD5SUMeb17d19b145b92a5bb64f51f86380189
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1249
Best CPU time to get the best result obtained on this benchmark2400.37
Satisfiable
(Un)Satisfiability was proved
Number of variables576
Number of constraints1322
Number of domains14
Minimum domain size1
Maximum domain size21
Distribution of domain sizes[{"size":1,"count":28},{"size":2,"count":104},{"size":3,"count":3},{"size":4,"count":280},{"size":6,"count":10},{"size":15,"count":53},{"size":21,"count":98}]
Minimum variable degree2
Maximum variable degree25
Distribution of variable degrees[{"degree":2,"count":256},{"degree":3,"count":40},{"degree":12,"count":5},{"degree":13,"count":15},{"degree":14,"count":16},{"degree":15,"count":6},{"degree":16,"count":19},{"degree":17,"count":22},{"degree":18,"count":38},{"degree":19,"count":31},{"degree":20,"count":35},{"degree":21,"count":37},{"degree":22,"count":36},{"degree":23,"count":9},{"degree":24,"count":7},{"degree":25,"count":4}]
Minimum constraint arity2
Maximum constraint arity21
Distribution of constraint arities[{"arity":2,"count":575},{"arity":3,"count":360},{"arity":4,"count":75},{"arity":6,"count":135},{"arity":7,"count":40},{"arity":15,"count":80},{"arity":20,"count":1},{"arity":21,"count":56}]
Number of extensional constraints316
Number of intensional constraints174
Distribution of constraint types[{"type":"extension","count":316},{"type":"intension","count":174},{"type":"regular","count":480},{"type":"sum","count":40},{"type":"count","count":311},{"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 (10912 MiB free)
  memory of node 1: 16384 MiB (8653 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292976-1532299654/watcher-4292976-1532299654 -o /tmp/evaluation-result-4292976-1532299654/solver-4292976-1532299654 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532294350-7318 --watchdog 2580 xcsp_picat HOME/instance-4292976-1532299654.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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7993, runsolver pid=7990
Current StackSize limit: 8192 KiB


[startup+0.101077 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 7994
/proc/meminfo: memFree=20006072/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=136464 memory=33284 CPUtime=0.09 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 3077 0 0 0 9 0 0 0 20 0 1 0 47528563 139739136 8321 33554432000 4194304 5849740 140736701063136 140736701062104 140027874168711 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 34116 8321 671 405 0 31060 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 136464 KiB
Current children cumulated memory: 33284 KiB

[startup+0.209685 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 7994
/proc/meminfo: memFree=20005812/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=136596 memory=33624 CPUtime=0.2 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 3125 0 0 0 20 0 0 0 20 0 1 0 47528563 139874304 8406 33554432000 4194304 5849740 140736701063136 140736701062232 5471844 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 34149 8406 731 405 0 31093 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 136596 KiB
Current children cumulated memory: 33624 KiB

[startup+0.30912 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 7994
/proc/meminfo: memFree=20005440/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=137352 memory=34412 CPUtime=0.3 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 3310 0 0 0 28 2 0 0 20 0 1 0 47528563 140648448 8603 33554432000 4194304 5849740 140736701063136 140736701062232 140027874168711 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 34338 8603 734 405 0 31282 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 137352 KiB
Current children cumulated memory: 34412 KiB

[startup+0.70023 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 7994
/proc/meminfo: memFree=20004448/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=138632 memory=35468 CPUtime=0.68 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 3630 0 0 0 66 2 0 0 20 0 1 0 47528563 141959168 8867 33554432000 4194304 5849740 140736701063136 140736701062232 5606222 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 34658 8867 734 405 0 31602 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 138632 KiB
Current children cumulated memory: 35468 KiB

[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 7994
/proc/meminfo: memFree=20004448/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=138632 memory=35468 CPUtime=1.48 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 3630 0 0 0 146 2 0 0 20 0 1 0 47528563 141959168 8867 33554432000 4194304 5849740 140736701063136 140736701062232 5471874 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 34658 8867 734 405 0 31602 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 138632 KiB
Current children cumulated memory: 35468 KiB

[startup+3.1094 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 7994
/proc/meminfo: memFree=19999240/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=143756 memory=40712 CPUtime=3.09 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 5919 0 0 0 305 4 0 0 20 0 1 0 47528563 147206144 10178 33554432000 4194304 5849740 140736701063136 140736701061784 4221603 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 35939 10178 753 405 0 32883 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 143756 KiB
Current children cumulated memory: 40712 KiB

[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 7994
/proc/meminfo: memFree=20176756/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=139656 memory=36968 CPUtime=6.28 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 7247 0 0 0 621 7 0 0 20 0 1 0 47528563 143007744 9242 33554432000 4194304 5849740 140736701063136 140736701062376 140027874168711 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 34914 9242 775 405 0 31858 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 139656 KiB
Current children cumulated memory: 36968 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 7994
/proc/meminfo: memFree=20173044/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=143772 memory=40864 CPUtime=12.68 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 9358 0 0 0 1253 15 0 0 20 0 1 0 47528563 147222528 10216 33554432000 4194304 5849740 140736701063136 140736701062136 140027874168711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 35943 10216 775 405 0 32887 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 143772 KiB
Current children cumulated memory: 40864 KiB

[startup+25.5003 s]
/proc/loadavg: 1.93 2.00 2.03 3/187 7994
/proc/meminfo: memFree=20170936/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=146880 memory=44004 CPUtime=25.48 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 14460 0 0 0 2518 30 0 0 20 0 1 0 47528563 150405120 11001 33554432000 4194304 5849740 140736701063136 140736701062296 140027874168711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 36720 11001 775 405 0 33664 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 146880 KiB
Current children cumulated memory: 44004 KiB

[startup+51.1095 s]
/proc/loadavg: 1.96 2.00 2.03 3/187 7994
/proc/meminfo: memFree=20144000/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=160200 memory=57476 CPUtime=51.09 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 20647 0 0 0 5052 57 0 0 20 0 1 0 47528563 164044800 14369 33554432000 4194304 5849740 140736701063136 140736701062136 140027874168711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 40050 14369 775 405 0 36994 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 160200 KiB
Current children cumulated memory: 57476 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.03 3/187 7995
/proc/meminfo: memFree=20124568/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=175260 memory=72576 CPUtime=102.28 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 30446 0 0 0 10123 105 0 0 20 0 1 0 47528563 179466240 18144 33554432000 4194304 5849740 140736701063136 140736701062296 140027874168711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 43815 18144 775 405 0 40759 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 175260 KiB
Current children cumulated memory: 72576 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/188 8004
/proc/meminfo: memFree=20068120/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=177644 memory=74660 CPUtime=162.27 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 47615 0 0 0 16074 153 0 0 20 0 1 0 47528563 181907456 18665 33554432000 4194304 5849740 140736701063136 140736701062136 140027874168711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 44411 18665 776 405 0 41355 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 177644 KiB
Current children cumulated memory: 74660 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 8005
/proc/meminfo: memFree=20092172/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=185232 memory=82612 CPUtime=222.26 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 67226 0 0 0 22032 194 0 0 20 0 1 0 47528563 189677568 20653 33554432000 4194304 5849740 140736701063136 140736701062136 5437607 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 46308 20653 776 405 0 43252 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 185232 KiB
Current children cumulated memory: 82612 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 8066
/proc/meminfo: memFree=20317992/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=161428 memory=64320 CPUtime=282.26 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 74947 0 0 0 27977 249 0 0 20 0 1 0 47528563 165302272 16080 33554432000 4194304 5849740 140736701063136 140736701062136 140027874168711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 40357 16080 776 405 0 37301 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 161428 KiB
Current children cumulated memory: 64320 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 8067
/proc/meminfo: memFree=20260296/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=198504 memory=100000 CPUtime=342.24 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 77938 0 0 0 33928 296 0 0 20 0 1 0 47528563 203268096 25000 33554432000 4194304 5849740 140736701063136 140736701062136 140027874168711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 49626 25000 776 405 0 46570 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 198504 KiB
Current children cumulated memory: 100000 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 8068
/proc/meminfo: memFree=20199532/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=246280 memory=152116 CPUtime=402.24 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 81361 0 0 0 39894 330 0 0 20 0 1 0 47528563 252190720 38029 33554432000 4194304 5849740 140736701063136 140736701062136 140027874168711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 61570 38029 776 405 0 58514 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 246280 KiB
Current children cumulated memory: 152116 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 8070
/proc/meminfo: memFree=20186068/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=246280 memory=152116 CPUtime=462.24 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 83448 0 0 0 45876 348 0 0 20 0 1 0 47528563 252190720 38029 33554432000 4194304 5849740 140736701063136 140736701062136 140027874168711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 61570 38029 776 405 0 58514 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 246280 KiB
Current children cumulated memory: 152116 KiB


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

/proc/7993/statm: 90164 66678 776 405 0 87108 0
Current children cumulated CPU time: 1722.06 s
Current children cumulated vsize: 360656 KiB
Current children cumulated memory: 266712 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8135
/proc/meminfo: memFree=19894408/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=360656 memory=266712 CPUtime=1782.06 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 312602 0 0 0 177591 615 0 0 20 0 1 0 47528563 369311744 66678 33554432000 4194304 5849740 140736701063136 140736701062296 5438192 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 90164 66678 776 405 0 87108 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 360656 KiB
Current children cumulated memory: 266712 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8136
/proc/meminfo: memFree=19943784/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=360656 memory=266712 CPUtime=1842.05 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 328137 0 0 0 183582 623 0 0 20 0 1 0 47528563 369311744 66678 33554432000 4194304 5849740 140736701063136 140736701062136 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 90164 66678 776 405 0 87108 0
Current children cumulated CPU time: 1842.05 s
Current children cumulated vsize: 360656 KiB
Current children cumulated memory: 266712 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8137
/proc/meminfo: memFree=19895244/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=360656 memory=266712 CPUtime=1902.04 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 343680 0 0 0 189572 632 0 0 20 0 1 0 47528563 369311744 66678 33554432000 4194304 5849740 140736701063136 140736701062136 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 90164 66678 776 405 0 87108 0
Current children cumulated CPU time: 1902.04 s
Current children cumulated vsize: 360656 KiB
Current children cumulated memory: 266712 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8147
/proc/meminfo: memFree=19945520/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=360656 memory=266712 CPUtime=1962.04 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 359300 0 0 0 195562 642 0 0 20 0 1 0 47528563 369311744 66678 33554432000 4194304 5849740 140736701063136 140736701062136 140027874168711 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 90164 66678 776 405 0 87108 0
Current children cumulated CPU time: 1962.04 s
Current children cumulated vsize: 360656 KiB
Current children cumulated memory: 266712 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8148
/proc/meminfo: memFree=19914272/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=413260 memory=319316 CPUtime=2022.03 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 378560 0 0 0 201549 654 0 0 20 0 1 0 47528563 423178240 79829 33554432000 4194304 5849740 140736701063136 140736701062136 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 103315 79829 776 405 0 100259 0
Current children cumulated CPU time: 2022.03 s
Current children cumulated vsize: 413260 KiB
Current children cumulated memory: 319316 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8149
/proc/meminfo: memFree=19773080/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=478796 memory=384852 CPUtime=2082.02 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 381325 0 0 0 207541 661 0 0 20 0 1 0 47528563 490287104 96213 33554432000 4194304 5849740 140736701063136 140736701062136 5335585 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 119699 96213 776 405 0 116643 0
Current children cumulated CPU time: 2082.02 s
Current children cumulated vsize: 478796 KiB
Current children cumulated memory: 384852 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8150
/proc/meminfo: memFree=19838464/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=493704 memory=399760 CPUtime=2142.02 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 387472 0 0 0 213531 671 0 0 20 0 1 0 47528563 505552896 99940 33554432000 4194304 5849740 140736701063136 140736701062136 5312761 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 123426 99940 776 405 0 120370 0
Current children cumulated CPU time: 2142.02 s
Current children cumulated vsize: 493704 KiB
Current children cumulated memory: 399760 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8151
/proc/meminfo: memFree=19785184/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=493704 memory=399760 CPUtime=2202.01 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 389979 0 0 0 219523 678 0 0 20 0 1 0 47528563 505552896 99940 33554432000 4194304 5849740 140736701063136 140736701062136 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 123426 99940 776 405 0 120370 0
Current children cumulated CPU time: 2202.01 s
Current children cumulated vsize: 493704 KiB
Current children cumulated memory: 399760 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8153
/proc/meminfo: memFree=19851520/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=493704 memory=399760 CPUtime=2262 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 392323 0 0 0 225514 686 0 0 20 0 1 0 47528563 505552896 99940 33554432000 4194304 5849740 140736701063136 140736701062136 5438218 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 123426 99940 776 405 0 120370 0
Current children cumulated CPU time: 2262 s
Current children cumulated vsize: 493704 KiB
Current children cumulated memory: 399760 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8154
/proc/meminfo: memFree=19796152/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=493704 memory=399760 CPUtime=2321.99 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 394705 0 0 0 231508 691 0 0 20 0 1 0 47528563 505552896 99940 33554432000 4194304 5849740 140736701063136 140736701062296 5437705 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 123426 99940 776 405 0 120370 0
Current children cumulated CPU time: 2321.99 s
Current children cumulated vsize: 493704 KiB
Current children cumulated memory: 399760 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8155
/proc/meminfo: memFree=19856280/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=493704 memory=399760 CPUtime=2381.99 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 397037 0 0 0 237500 699 0 0 20 0 1 0 47528563 505552896 99940 33554432000 4194304 5849740 140736701063136 140736701062136 5437766 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 123426 99940 776 405 0 120370 0
Current children cumulated CPU time: 2381.99 s
Current children cumulated vsize: 493704 KiB
Current children cumulated memory: 399760 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8157
/proc/meminfo: memFree=19791084/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=493704 memory=399760 CPUtime=2441.98 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 399468 0 0 0 243493 705 0 0 20 0 1 0 47528563 505552896 99940 33554432000 4194304 5849740 140736701063136 140736701062136 5437591 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 123426 99940 776 405 0 120370 0
Current children cumulated CPU time: 2441.98 s
Current children cumulated vsize: 493704 KiB
Current children cumulated memory: 399760 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8158
/proc/meminfo: memFree=19874892/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=493704 memory=399760 CPUtime=2501.98 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 401832 0 0 0 249486 712 0 0 20 0 1 0 47528563 505552896 99940 33554432000 4194304 5849740 140736701063136 140736701062136 5438245 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 123426 99940 776 405 0 120370 0
Current children cumulated CPU time: 2501.98 s
Current children cumulated vsize: 493704 KiB
Current children cumulated memory: 399760 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 8158
/proc/meminfo: memFree=19840156/32770624 swapFree=67108860/67108860
[pid=7993] ppid=7990 vsize=493704 memory=399760 CPUtime=2519.69 cores=0,2,4,6
/proc/7993/stat : 7993 (xcsp_picat) R 7990 7993 7287 0 -1 4202496 402072 0 0 0 251255 714 0 0 20 0 1 0 47528563 505552896 99940 33554432000 4194304 5849740 140736701063136 140736701062136 5438192 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 30937088 140736701064374 140736701064452 140736701064452 140736701067210 0
/proc/7993/statm: 123426 99940 776 405 0 120370 0
Current children cumulated CPU time: 2519.69 s
Current children cumulated vsize: 493704 KiB
Current children cumulated memory: 399760 KiB

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

[startup+2520.01 s]
# the end of solver process 7993 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2512.56 s, system=7.14435 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.7
CPU user time (s): 2512.56
CPU system time (s): 7.14435
CPU usage (%): 99.9877
Max. virtual memory (cumulated for all children) (KiB): 503016
Max. memory (cumulated for all children) (KiB): 409072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.56
system time used= 7.14435
maximum resident set size= 409072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 402073
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= 104
involuntary context switches= 3171


# summary of solver processes directly reported to runsolver:
#   pid: 7993
#   total CPU time (s): 2519.7
#   total CPU user time (s): 2512.56
#   total CPU system time (s): 7.14435

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1566 second user time and 18.2624 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-23 00:47:34
IDJOB=4292976
IDBENCH=141051
IDSOLVER=2754
FILE ID=node151/4292976-1532299654
RUNJOBID= node151-1532294350-7318
PBS_JOBID= 21018981
Free space on /tmp= 55068 MiB

SOLVER NAME= PicatSAT 2018-06-15
BENCH NAME= XCSP18/NurseRostering/NurseRostering-03_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292976-1532299654/watcher-4292976-1532299654 -o /tmp/evaluation-result-4292976-1532299654/solver-4292976-1532299654 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532294350-7318 --watchdog 2580  xcsp_picat HOME/instance-4292976-1532299654.xml

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

MD5SUM BENCH= eb17d19b145b92a5bb64f51f86380189
RANDOM SEED=240279755

node151.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.87
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.87
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.87
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.87
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:        20036016 kB
MemAvailable:   31431992 kB
Buffers:          251296 kB
Cached:         11292956 kB
SwapCached:            0 kB
Active:          1572080 kB
Inactive:       10530960 kB
Active(anon):     561988 kB
Inactive(anon):    16936 kB
Active(file):    1010092 kB
Inactive(file): 10514024 kB
Unevictable:        7940 kB
Mlocked:            7940 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3112 kB
Writeback:             0 kB
AnonPages:        661012 kB
Mapped:            38088 kB
Shmem:             17032 kB
Slab:             327304 kB
SReclaimable:     300320 kB
SUnreclaim:        26984 kB
KernelStack:        3360 kB
PageTables:         6444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     927140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    442368 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= 55064 MiB
End job on node151 at 2018-07-23 01:29:34