Trace number 4303135

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) 2519.63 2520.01

General information on the benchmark

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

Solver Data


Verifier Data 

One s line expected

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (4078 MiB free)
  memory of node 1: 16384 MiB (4753 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303135-1533992715/watcher-4303135-1533992715 -o /tmp/evaluation-result-4303135-1533992715/solver-4303135-1533992715 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1533989978-12842 --watchdog 2580 xcsp_picat HOME/instance-4303135-1533992715.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=13546, runsolver pid=13543
Current StackSize limit: 8192 KiB


[startup+0.100166 s]*
/proc/loadavg: 2.00 2.01 1.95 3/187 13547
/proc/meminfo: memFree=9015992/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2033560 memory=32568 CPUtime=0.1 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 1648 0 0 0 10 0 0 0 20 0 1 0 216834330 2082365440 8142 33554432000 4194304 5849708 140722069909488 140722069909488 4513968 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 508390 8142 635 405 0 505335 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 32568 KiB

[startup+0.209792 s]*
/proc/loadavg: 2.00 2.01 1.95 3/187 13547
/proc/meminfo: memFree=9000912/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2033560 memory=47672 CPUtime=0.21 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 1866 0 0 0 20 1 0 0 20 0 1 0 216834330 2082365440 11918 33554432000 4194304 5849708 140722069909488 140722069909488 4667056 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 508390 11918 637 405 0 505335 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 47672 KiB

[startup+0.309833 s]*
/proc/loadavg: 2.00 2.01 1.95 3/187 13547
/proc/meminfo: memFree=8977624/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2033560 memory=68400 CPUtime=0.31 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 1934 0 0 0 30 1 0 0 20 0 1 0 216834330 2082365440 17100 33554432000 4194304 5849708 140722069909488 140722069909488 4454259 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 508390 17100 653 405 0 505335 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 68400 KiB

[startup+0.700275 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 13547
/proc/meminfo: memFree=8965388/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2033876 memory=81272 CPUtime=0.69 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 2101 0 0 0 68 1 0 0 20 0 1 0 216834330 2082689024 20318 33554432000 4194304 5849708 140722069909488 140722069908600 5521460 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 508469 20318 734 405 0 505414 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033876 KiB
Current children cumulated memory: 81272 KiB

[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 13547
/proc/meminfo: memFree=8964792/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2041060 memory=88416 CPUtime=1.49 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 3917 0 0 0 141 8 0 0 20 0 1 0 216834330 2090045440 22104 33554432000 4194304 5849708 140722069909488 140722069908584 5521468 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 510265 22104 735 405 0 507210 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2041060 KiB
Current children cumulated memory: 88416 KiB

[startup+3.10958 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 13547
/proc/meminfo: memFree=8952352/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2041572 memory=89164 CPUtime=3.1 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 4181 0 0 0 301 9 0 0 20 0 1 0 216834330 2090569728 22291 33554432000 4194304 5849708 140722069909488 140722069908584 139980713295751 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 510393 22291 735 405 0 507338 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2041572 KiB
Current children cumulated memory: 89164 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 13547
/proc/meminfo: memFree=8950420/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2043620 memory=91212 CPUtime=6.29 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 5244 0 0 0 617 12 0 0 20 0 1 0 216834330 2092666880 22803 33554432000 4194304 5849708 140722069909488 140722069908600 5472991 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 510905 22803 735 405 0 507850 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2043620 KiB
Current children cumulated memory: 91212 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 13547
/proc/meminfo: memFree=8928896/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2061468 memory=109048 CPUtime=12.69 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 18273 0 0 0 1251 18 0 0 20 0 1 0 216834330 2110943232 27262 33554432000 4194304 5849708 140722069909488 140722069907032 5302810 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 515367 27262 763 405 0 512312 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2061468 KiB
Current children cumulated memory: 109048 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 13547
/proc/meminfo: memFree=8934680/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2053524 memory=100280 CPUtime=25.48 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 23866 0 0 0 2515 33 0 0 20 0 1 0 216834330 2102808576 25070 33554432000 4194304 5849708 140722069909488 140722069908488 139980713295751 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 513381 25070 767 405 0 510326 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2053524 KiB
Current children cumulated memory: 100280 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 13547
/proc/meminfo: memFree=8907860/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2074808 memory=122172 CPUtime=51.08 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 37426 0 0 0 5041 67 0 0 20 0 1 0 216834330 2124603392 30543 33554432000 4194304 5849708 140722069909488 140722069908488 139980713295751 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 518702 30543 767 405 0 515647 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2074808 KiB
Current children cumulated memory: 122172 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 13548
/proc/meminfo: memFree=8916864/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2070860 memory=116384 CPUtime=102.27 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 45706 0 0 0 10107 120 0 0 20 0 1 0 216834330 2120560640 29096 33554432000 4194304 5849708 140722069909488 140722069908488 5437592 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 517715 29096 776 405 0 514660 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2070860 KiB
Current children cumulated memory: 116384 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 13549
/proc/meminfo: memFree=8910540/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2077528 memory=123488 CPUtime=162.25 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 52332 0 0 0 16051 174 0 0 20 0 1 0 216834330 2127388672 30872 33554432000 4194304 5849708 140722069909488 140722069908488 5437604 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 519382 30872 776 405 0 516327 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2077528 KiB
Current children cumulated memory: 123488 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 13550
/proc/meminfo: memFree=8864132/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2087492 memory=134996 CPUtime=222.24 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 54427 0 0 0 21997 227 0 0 20 0 1 0 216834330 2137591808 33749 33554432000 4194304 5849708 140722069909488 140722069908488 139980713295751 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 521873 33749 776 405 0 518818 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2087492 KiB
Current children cumulated memory: 134996 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 13551
/proc/meminfo: memFree=8893224/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2103880 memory=151512 CPUtime=282.22 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 62459 0 0 0 27940 282 0 0 20 0 1 0 216834330 2154373120 37878 33554432000 4194304 5849708 140722069909488 140722069908488 139980713295751 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 525970 37878 776 405 0 522915 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 2103880 KiB
Current children cumulated memory: 151512 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 13560
/proc/meminfo: memFree=8838548/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2113000 memory=160632 CPUtime=342.21 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 72450 0 0 0 33888 333 0 0 20 0 1 0 216834330 2163712000 40158 33554432000 4194304 5849708 140722069909488 140722069908488 139980713295751 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 528250 40158 776 405 0 525195 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 2113000 KiB
Current children cumulated memory: 160632 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 13561
/proc/meminfo: memFree=8761348/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2113000 memory=160632 CPUtime=402.19 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 82282 0 0 0 39838 381 0 0 20 0 1 0 216834330 2163712000 40158 33554432000 4194304 5849708 140722069909488 140722069908488 139980713295751 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 528250 40158 776 405 0 525195 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 2113000 KiB
Current children cumulated memory: 160632 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 13562
/proc/meminfo: memFree=8746136/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2113000 memory=160632 CPUtime=462.18 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 83375 0 0 0 45788 430 0 0 20 0 1 0 216834330 2163712000 40158 33554432000 4194304 5849708 140722069909488 140722069908488 139980713295751 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 528250 40158 776 405 0 525195 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 2113000 KiB
Current children cumulated memory: 160632 KiB


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

/proc/13546/statm: 545889 59082 776 405 0 542834 0
Current children cumulated CPU time: 1721.99 s
Current children cumulated vsize: 2183556 KiB
Current children cumulated memory: 236328 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 13663
/proc/meminfo: memFree=8614380/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2204008 memory=256692 CPUtime=1781.98 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 255105 0 0 0 176864 1334 0 0 20 0 1 0 216834330 2256904192 64173 33554432000 4194304 5849708 140722069909488 140722069908488 139980713295751 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 551002 64173 776 405 0 547947 0
Current children cumulated CPU time: 1781.98 s
Current children cumulated vsize: 2204008 KiB
Current children cumulated memory: 256692 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 13664
/proc/meminfo: memFree=8638212/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2179024 memory=231636 CPUtime=1841.98 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 261284 0 0 0 182829 1369 0 0 20 0 1 0 216834330 2231320576 57909 33554432000 4194304 5849708 140722069909488 140722069908648 5437623 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 544756 57909 776 405 0 541701 0
Current children cumulated CPU time: 1841.98 s
Current children cumulated vsize: 2179024 KiB
Current children cumulated memory: 231636 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 13665
/proc/meminfo: memFree=8575524/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2208232 memory=260816 CPUtime=1901.97 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 283908 0 0 0 188792 1405 0 0 20 0 1 0 216834330 2261229568 65204 33554432000 4194304 5849708 140722069909488 140722069908488 139980713295751 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 552058 65204 776 405 0 549003 0
Current children cumulated CPU time: 1901.97 s
Current children cumulated vsize: 2208232 KiB
Current children cumulated memory: 260816 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 13666
/proc/meminfo: memFree=8595036/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2209616 memory=262296 CPUtime=1961.96 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 291210 0 0 0 194759 1437 0 0 20 0 1 0 216834330 2262646784 65574 33554432000 4194304 5849708 140722069909488 140722069908488 139980713295751 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 552404 65574 776 405 0 549349 0
Current children cumulated CPU time: 1961.96 s
Current children cumulated vsize: 2209616 KiB
Current children cumulated memory: 262296 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 13667
/proc/meminfo: memFree=8578736/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2203248 memory=255804 CPUtime=2021.96 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 312983 0 0 0 200717 1479 0 0 20 0 1 0 216834330 2256125952 63951 33554432000 4194304 5849708 140722069909488 140722069908648 139980713295751 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 550812 63951 776 405 0 547757 0
Current children cumulated CPU time: 2021.96 s
Current children cumulated vsize: 2203248 KiB
Current children cumulated memory: 255804 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 13668
/proc/meminfo: memFree=8564004/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2206544 memory=259144 CPUtime=2081.96 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 327940 0 0 0 206682 1514 0 0 20 0 1 0 216834330 2259501056 64786 33554432000 4194304 5849708 140722069909488 140722069908360 5438282 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 551636 64786 776 405 0 548581 0
Current children cumulated CPU time: 2081.96 s
Current children cumulated vsize: 2206544 KiB
Current children cumulated memory: 259144 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 13676
/proc/meminfo: memFree=8543832/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2213516 memory=266240 CPUtime=2141.95 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 335729 0 0 0 212646 1549 0 0 20 0 1 0 216834330 2266640384 66560 33554432000 4194304 5849708 140722069909488 140722069908648 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 553379 66560 776 405 0 550324 0
Current children cumulated CPU time: 2141.95 s
Current children cumulated vsize: 2213516 KiB
Current children cumulated memory: 266240 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 13677
/proc/meminfo: memFree=8588168/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2210832 memory=263524 CPUtime=2201.94 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 357287 0 0 0 218602 1592 0 0 20 0 1 0 216834330 2263891968 65881 33554432000 4194304 5849708 140722069909488 140722069908488 5314256 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 552708 65881 776 405 0 549653 0
Current children cumulated CPU time: 2201.94 s
Current children cumulated vsize: 2210832 KiB
Current children cumulated memory: 263524 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 13678
/proc/meminfo: memFree=8607536/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2216044 memory=268776 CPUtime=2261.93 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 365848 0 0 0 224556 1637 0 0 20 0 1 0 216834330 2269229056 67194 33554432000 4194304 5849708 140722069909488 140722069908488 139980713295751 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 554011 67194 776 405 0 550956 0
Current children cumulated CPU time: 2261.93 s
Current children cumulated vsize: 2216044 KiB
Current children cumulated memory: 268776 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 13679
/proc/meminfo: memFree=8571032/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2214492 memory=267264 CPUtime=2321.94 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 382383 0 0 0 230525 1669 0 0 20 0 1 0 216834330 2267639808 66816 33554432000 4194304 5849708 140722069909488 140722069908488 139980713295751 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 553623 66816 776 405 0 550568 0
Current children cumulated CPU time: 2321.94 s
Current children cumulated vsize: 2214492 KiB
Current children cumulated memory: 267264 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 13680
/proc/meminfo: memFree=8583208/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2205876 memory=258508 CPUtime=2381.93 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 387935 0 0 0 236485 1708 0 0 20 0 1 0 216834330 2258817024 64627 33554432000 4194304 5849708 140722069909488 140722069908488 5437483 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 551469 64627 776 405 0 548414 0
Current children cumulated CPU time: 2381.93 s
Current children cumulated vsize: 2205876 KiB
Current children cumulated memory: 258508 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 13681
/proc/meminfo: memFree=8614432/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2182660 memory=235404 CPUtime=2441.91 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 402436 0 0 0 242453 1738 0 0 20 0 1 0 216834330 2235043840 58851 33554432000 4194304 5849708 140722069909488 140722069908488 5335584 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 545665 58851 776 405 0 542610 0
Current children cumulated CPU time: 2441.91 s
Current children cumulated vsize: 2182660 KiB
Current children cumulated memory: 235404 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 13682
/proc/meminfo: memFree=8551508/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2232056 memory=284800 CPUtime=2501.91 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 421202 0 0 0 248414 1777 0 0 20 0 1 0 216834330 2285625344 71200 33554432000 4194304 5849708 140722069909488 140722069908488 139980713295751 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 558014 71200 776 405 0 554959 0
Current children cumulated CPU time: 2501.91 s
Current children cumulated vsize: 2232056 KiB
Current children cumulated memory: 284800 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.96 3/187 13683
/proc/meminfo: memFree=8553360/32770624 swapFree=67108688/67108860
[pid=13546] ppid=13543 vsize=2212264 memory=264788 CPUtime=2519.62 cores=1,3,5,7
/proc/13546/stat : 13546 (xcsp_picat) R 13543 13546 12810 0 -1 4202496 422358 0 0 0 250176 1786 0 0 20 0 1 0 216834330 2265358336 66197 33554432000 4194304 5849708 140722069909488 140722069908488 139980713295751 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 31526912 140722069914806 140722069914884 140722069914884 140722069917642 0
/proc/13546/statm: 553066 66197 776 405 0 550011 0
Current children cumulated CPU time: 2519.62 s
Current children cumulated vsize: 2212264 KiB
Current children cumulated memory: 264788 KiB

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

[startup+2520.01 s]
# the end of solver process 13546 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2501.76 s, system=17.8704 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.63
CPU user time (s): 2501.76
CPU system time (s): 17.8704
CPU usage (%): 99.985
Max. virtual memory (cumulated for all children) (KiB): 2348064
Max. memory (cumulated for all children) (KiB): 400720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2501.76
system time used= 17.8704
maximum resident set size= 400720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 422359
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= 26
involuntary context switches= 3099


# summary of solver processes directly reported to runsolver:
#   pid: 13546
#   total CPU time (s): 2519.63
#   total CPU user time (s): 2501.76
#   total CPU system time (s): 17.8704

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0944 second user time and 18.442 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-11 15:05:15
IDJOB=4303135
IDBENCH=141046
IDSOLVER=2778
FILE ID=node106/4303135-1533992715
RUNJOBID= node106-1533989978-12842
PBS_JOBID= 21036938
Free space on /tmp= 39660 MiB

SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/NurseRostering/NurseRostering-16_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303135-1533992715/watcher-4303135-1533992715 -o /tmp/evaluation-result-4303135-1533992715/solver-4303135-1533992715 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1533989978-12842 --watchdog 2580  xcsp_picat HOME/instance-4303135-1533992715.xml

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

MD5SUM BENCH= 0b8e9565fd0b9c632a2b7d0ba913c3ff
RANDOM SEED=1266688968

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:         9044476 kB
MemAvailable:   31855636 kB
Buffers:          175480 kB
Cached:         22654172 kB
SwapCached:            0 kB
Active:          9932552 kB
Inactive:       13002480 kB
Active(anon):      52356 kB
Inactive(anon):   105352 kB
Active(file):    9880196 kB
Inactive(file): 12897128 kB
Unevictable:        6996 kB
Mlocked:            6996 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:              3184 kB
Writeback:             0 kB
AnonPages:        115624 kB
Mapped:            56084 kB
Shmem:             49632 kB
Slab:             490652 kB
SReclaimable:     462296 kB
SUnreclaim:        28356 kB
KernelStack:        3424 kB
PageTables:         5308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2417692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 39656 MiB
End job on node106 at 2018-08-11 15:47:15