Trace number 4292988

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

General information on the benchmark

NameNurseRostering/
NurseRostering-11_c18.xml
MD5SUM05c4130aaeb0756e89b7f80c2b4d0b20
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark9322
Best CPU time to get the best result obtained on this benchmark2520.13
Satisfiable
(Un)Satisfiability was proved
Number of variables2678
Number of constraints6759
Number of domains17
Minimum domain size1
Maximum domain size51
Distribution of domain sizes[{"size":1,"count":124},{"size":2,"count":536},{"size":7,"count":1400},{"size":29,"count":254},{"size":51,"count":364}]
Minimum variable degree2
Maximum variable degree31
Distribution of variable degrees[{"degree":2,"count":1078},{"degree":3,"count":200},{"degree":19,"count":42},{"degree":20,"count":50},{"degree":21,"count":8},{"degree":22,"count":36},{"degree":23,"count":52},{"degree":24,"count":78},{"degree":25,"count":85},{"degree":26,"count":95},{"degree":27,"count":362},{"degree":28,"count":348},{"degree":29,"count":159},{"degree":30,"count":69},{"degree":31,"count":16}]
Minimum constraint arity2
Maximum constraint arity100
Distribution of constraint arities[{"arity":2,"count":2382},{"arity":3,"count":2340},{"arity":4,"count":300},{"arity":6,"count":920},{"arity":7,"count":270},{"arity":29,"count":350},{"arity":51,"count":196},{"arity":100,"count":1}]
Number of extensional constraints1546
Number of intensional constraints836
Distribution of constraint types[{"type":"extension","count":1546},{"type":"intension","count":836},{"type":"regular","count":2590},{"type":"sum","count":100},{"type":"count","count":1686},{"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 (10118 MiB free)
  memory of node 1: 16384 MiB (12175 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292988-1532300171/watcher-4292988-1532300171 -o /tmp/evaluation-result-4292988-1532300171/solver-4292988-1532300171 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532297650-6631 --watchdog 2580 xcsp_picat HOME/instance-4292988-1532300171.xml 

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

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


[startup+0.100144 s]*
/proc/loadavg: 2.00 2.01 1.95 3/187 6861
/proc/meminfo: memFree=22768004/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=111688 memory=36436 CPUtime=0.1 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 1618 0 0 0 10 0 0 0 20 0 1 0 47580262 114368512 9109 33554432000 4194304 5849740 140737271120832 140737271120136 4476499 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 27922 9109 620 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 36436 KiB

[startup+0.209768 s]*
/proc/loadavg: 2.00 2.01 1.95 3/187 6861
/proc/meminfo: memFree=22738112/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=119504 memory=53540 CPUtime=0.21 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 1790 0 0 0 20 1 0 0 20 0 1 0 47580262 122372096 13385 33554432000 4194304 5849740 140737271120832 140737271120136 4655796 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 29876 13385 635 405 0 26820 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 53540 KiB

[startup+0.309551 s]*
/proc/loadavg: 2.00 2.01 1.95 3/187 6861
/proc/meminfo: memFree=22700940/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=119504 memory=66080 CPUtime=0.31 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 1895 0 0 0 30 1 0 0 20 0 1 0 47580262 122372096 16520 33554432000 4194304 5849740 140737271120832 140737271120136 4658507 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 29876 16520 635 405 0 26820 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 66080 KiB

[startup+0.700381 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6861
/proc/meminfo: memFree=22623000/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=170404 memory=98528 CPUtime=0.7 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 4224 0 0 0 67 3 0 0 20 0 1 0 47580262 174493696 24632 33554432000 4194304 5849740 140737271120832 140737271120136 4819671 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 42601 24632 672 405 0 39545 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 170404 KiB
Current children cumulated memory: 98528 KiB

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6861
/proc/meminfo: memFree=22565048/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=251644 memory=119244 CPUtime=1.49 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 5298 0 0 0 144 5 0 0 20 0 1 0 47580262 257683456 29811 33554432000 4194304 5849740 140737271120832 140737271119928 140634772234119 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 62911 29811 737 405 0 59855 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 251644 KiB
Current children cumulated memory: 119244 KiB

[startup+3.10917 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6861
/proc/meminfo: memFree=22607508/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=272636 memory=140240 CPUtime=3.1 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 10166 0 0 0 300 10 0 0 20 0 1 0 47580262 279179264 35060 33554432000 4194304 5849740 140737271120832 140737271120072 5472462 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 68159 35060 738 405 0 65103 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 272636 KiB
Current children cumulated memory: 140240 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6861
/proc/meminfo: memFree=22594408/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=272636 memory=140240 CPUtime=6.29 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 10669 0 0 0 615 14 0 0 20 0 1 0 47580262 279179264 35060 33554432000 4194304 5849740 140737271120832 140737271120072 140634772234119 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 68159 35060 738 405 0 65103 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 272636 KiB
Current children cumulated memory: 140240 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6861
/proc/meminfo: memFree=22553392/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=313600 memory=181300 CPUtime=12.69 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 16993 0 0 0 1250 19 0 0 20 0 1 0 47580262 321126400 45325 33554432000 4194304 5849740 140737271120832 140737271119992 5406144 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 78400 45325 762 405 0 75344 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 313600 KiB
Current children cumulated memory: 181300 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6861
/proc/meminfo: memFree=22569192/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=297216 memory=164948 CPUtime=25.49 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 24489 0 0 0 2528 21 0 0 20 0 1 0 47580262 304349184 41237 33554432000 4194304 5849740 140737271120832 140737271119320 5308384 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 74304 41237 770 405 0 71248 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 297216 KiB
Current children cumulated memory: 164948 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6861
/proc/meminfo: memFree=22565696/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=297216 memory=164948 CPUtime=51.1 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 37364 0 0 0 5075 35 0 0 20 0 1 0 47580262 304349184 41237 33554432000 4194304 5849740 140737271120832 140737271119832 4226613 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 74304 41237 770 405 0 71248 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 297216 KiB
Current children cumulated memory: 164948 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6862
/proc/meminfo: memFree=22565888/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=300572 memory=165084 CPUtime=102.28 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 46902 0 0 0 10170 58 0 0 20 0 1 0 47580262 307785728 41271 33554432000 4194304 5849740 140737271120832 140737271119320 5310062 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 75143 41271 770 405 0 72087 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 300572 KiB
Current children cumulated memory: 165084 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6864
/proc/meminfo: memFree=22530880/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=300572 memory=173704 CPUtime=162.29 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 52311 0 0 0 16134 95 0 0 20 0 1 0 47580262 307785728 43426 33554432000 4194304 5849740 140737271120832 140737271119320 140634772234119 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 75143 43426 770 405 0 72087 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 300572 KiB
Current children cumulated memory: 173704 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6865
/proc/meminfo: memFree=22501800/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=319260 memory=192120 CPUtime=222.28 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 58303 0 0 0 22096 132 0 0 20 0 1 0 47580262 326922240 48030 33554432000 4194304 5849740 140737271120832 140737271119992 140634772234119 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 79815 48030 770 405 0 76759 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 319260 KiB
Current children cumulated memory: 192120 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 6874
/proc/meminfo: memFree=22538560/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=279220 memory=149100 CPUtime=282.28 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 67740 0 0 0 28053 175 0 0 20 0 1 0 47580262 285921280 37275 33554432000 4194304 5849740 140737271120832 140737271120072 5606187 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 69805 37275 780 405 0 66749 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 279220 KiB
Current children cumulated memory: 149100 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 6900
/proc/meminfo: memFree=22500284/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=296712 memory=169048 CPUtime=342.28 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 76727 0 0 0 34020 208 0 0 20 0 1 0 47580262 303833088 42262 33554432000 4194304 5849740 140737271120832 140737271119320 5360560 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 74178 42262 780 405 0 71122 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 296712 KiB
Current children cumulated memory: 169048 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 6901
/proc/meminfo: memFree=22493988/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=301992 memory=175296 CPUtime=402.28 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 82967 0 0 0 39984 244 0 0 20 0 1 0 47580262 309239808 43824 33554432000 4194304 5849740 140737271120832 140737271119832 140634772234119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 75498 43824 780 405 0 72442 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 301992 KiB
Current children cumulated memory: 175296 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 6902
/proc/meminfo: memFree=22459984/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=320748 memory=193848 CPUtime=462.27 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 90152 0 0 0 45950 277 0 0 20 0 1 0 47580262 328445952 48462 33554432000 4194304 5849740 140737271120832 140737271119832 5438248 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 80187 48462 780 405 0 77131 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 320748 KiB
Current children cumulated memory: 193848 KiB


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

/proc/6855/statm: 91816 60128 780 405 0 88760 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 367264 KiB
Current children cumulated memory: 240512 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6940
/proc/meminfo: memFree=22395736/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=373452 memory=246700 CPUtime=1782.24 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 218355 0 0 0 177103 1121 0 0 20 0 1 0 47580262 382414848 61675 33554432000 4194304 5849740 140737271120832 140737271119992 5437808 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 93363 61675 780 405 0 90307 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 373452 KiB
Current children cumulated memory: 246700 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6941
/proc/meminfo: memFree=22402320/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=364568 memory=237664 CPUtime=1842.23 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 222993 0 0 0 183063 1160 0 0 20 0 1 0 47580262 373317632 59416 33554432000 4194304 5849740 140737271120832 140737271119832 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 91142 59416 780 405 0 88086 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 364568 KiB
Current children cumulated memory: 237664 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6942
/proc/meminfo: memFree=22359004/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=395816 memory=268860 CPUtime=1902.23 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 228095 0 0 0 189031 1192 0 0 20 0 1 0 47580262 405315584 67215 33554432000 4194304 5849740 140737271120832 140737271119832 140634772234119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 98954 67215 780 405 0 95898 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 395816 KiB
Current children cumulated memory: 268860 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6944
/proc/meminfo: memFree=22350976/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=364776 memory=237980 CPUtime=1962.23 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 235532 0 0 0 194976 1247 0 0 20 0 1 0 47580262 373530624 59495 33554432000 4194304 5849740 140737271120832 140737271119832 140634772234119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 91194 59495 780 405 0 88138 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 364776 KiB
Current children cumulated memory: 237980 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6945
/proc/meminfo: memFree=22278784/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=404624 memory=277716 CPUtime=2022.24 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 245392 0 0 0 200929 1295 0 0 20 0 1 0 47580262 414334976 69429 33554432000 4194304 5849740 140737271120832 140737271119832 140634772234119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 101156 69429 780 405 0 98100 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 404624 KiB
Current children cumulated memory: 277716 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6953
/proc/meminfo: memFree=22339140/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=400760 memory=274064 CPUtime=2082.23 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 257510 0 0 0 206878 1345 0 0 20 0 1 0 47580262 410378240 68516 33554432000 4194304 5849740 140737271120832 140737271119992 5438106 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 100190 68516 780 405 0 97134 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 400760 KiB
Current children cumulated memory: 274064 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6954
/proc/meminfo: memFree=22331116/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=396912 memory=270156 CPUtime=2142.23 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 270133 0 0 0 212850 1373 0 0 20 0 1 0 47580262 406437888 67539 33554432000 4194304 5849740 140737271120832 140737271119832 140634772234119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 99228 67539 780 405 0 96172 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 396912 KiB
Current children cumulated memory: 270156 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6955
/proc/meminfo: memFree=22345760/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=396552 memory=269648 CPUtime=2202.23 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 283553 0 0 0 218811 1412 0 0 20 0 1 0 47580262 406069248 67412 33554432000 4194304 5849740 140737271120832 140737271119832 140634772234119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 99138 67412 780 405 0 96082 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 396552 KiB
Current children cumulated memory: 269648 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6956
/proc/meminfo: memFree=22316172/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=398904 memory=272040 CPUtime=2262.23 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 297288 0 0 0 224769 1454 0 0 20 0 1 0 47580262 408477696 68010 33554432000 4194304 5849740 140737271120832 140737271119832 5438056 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 99726 68010 780 405 0 96670 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 398904 KiB
Current children cumulated memory: 272040 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6957
/proc/meminfo: memFree=22327652/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=397040 memory=270212 CPUtime=2322.23 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 306968 0 0 0 230734 1489 0 0 20 0 1 0 47580262 406568960 67553 33554432000 4194304 5849740 140737271120832 140737271119832 5311410 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 99260 67553 780 405 0 96204 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 397040 KiB
Current children cumulated memory: 270212 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 6958
/proc/meminfo: memFree=22345196/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=396196 memory=269500 CPUtime=2382.23 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 320032 0 0 0 236695 1528 0 0 20 0 1 0 47580262 405704704 67375 33554432000 4194304 5849740 140737271120832 140737271119704 4233628 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 99049 67375 780 405 0 95993 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 396196 KiB
Current children cumulated memory: 269500 KiB

[startup+2442.3 s]
/proc/loadavg: 2.77 2.20 2.02 3/187 6959
/proc/meminfo: memFree=22369452/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=376184 memory=249488 CPUtime=2442.22 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 332152 0 0 0 242661 1561 0 0 20 0 1 0 47580262 385212416 62372 33554432000 4194304 5849740 140737271120832 140737271119992 5437609 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 94046 62372 780 405 0 90990 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 376184 KiB
Current children cumulated memory: 249488 KiB

[startup+2502.3 s]
/proc/loadavg: 2.51 2.25 2.05 3/187 6960
/proc/meminfo: memFree=22279220/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=405824 memory=278904 CPUtime=2502.22 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 346019 0 0 0 248606 1616 0 0 20 0 1 0 47580262 415563776 69726 33554432000 4194304 5849740 140737271120832 140737271119832 140634772234119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 101456 69726 780 405 0 98400 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 405824 KiB
Current children cumulated memory: 278904 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.36 2.23 2.05 3/187 6960
/proc/meminfo: memFree=22323556/32770624 swapFree=67108860/67108860
[pid=6855] ppid=6851 vsize=417400 memory=290500 CPUtime=2519.93 cores=1,3,5,7
/proc/6855/stat : 6855 (xcsp_picat) R 6851 6855 6599 0 -1 4202496 346873 0 0 0 250367 1626 0 0 20 0 1 0 47580262 427417600 72625 33554432000 4194304 5849740 140737271120832 140737271119832 140634772234119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 23457792 140737271129270 140737271129348 140737271129348 140737271132106 0
/proc/6855/statm: 104350 72625 780 405 0 101294 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 417400 KiB
Current children cumulated memory: 290500 KiB

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

[startup+2520.01 s]
# the end of solver process 6855 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2503.68 s, system=16.2687 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.95
CPU user time (s): 2503.68
CPU system time (s): 16.2687
CPU usage (%): 99.9973
Max. virtual memory (cumulated for all children) (KiB): 435044
Max. memory (cumulated for all children) (KiB): 308148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2503.68
system time used= 16.2687
maximum resident set size= 308148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346873
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= 31
involuntary context switches= 1116


# summary of solver processes directly reported to runsolver:
#   pid: 6855
#   total CPU time (s): 2519.95
#   total CPU user time (s): 2503.68
#   total CPU system time (s): 16.2687

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.39778 second user time and 18.2725 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-23 00:56:11
IDJOB=4292988
IDBENCH=141054
IDSOLVER=2754
FILE ID=node138/4292988-1532300171
RUNJOBID= node138-1532297650-6631
PBS_JOBID= 21018993
Free space on /tmp= 59108 MiB

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

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

MD5SUM BENCH= 05c4130aaeb0756e89b7f80c2b4d0b20
RANDOM SEED=961868515

node138.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22831280 kB
MemAvailable:   31952400 kB
Buffers:          251584 kB
Cached:          9110852 kB
SwapCached:            0 kB
Active:          2334420 kB
Inactive:        7086924 kB
Active(anon):      62064 kB
Inactive(anon):    16960 kB
Active(file):    2272356 kB
Inactive(file):  7069964 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6604 kB
Writeback:             0 kB
AnonPages:        110832 kB
Mapped:            35672 kB
Shmem:             17036 kB
Slab:             216812 kB
SReclaimable:     189272 kB
SUnreclaim:        27540 kB
KernelStack:        3360 kB
PageTables:         4828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     318188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 59104 MiB
End job on node138 at 2018-07-23 01:38:11