Trace number 4309464

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameNurseRostering/
NurseRostering-05_c18.xml
MD5SUMb6cc1cad0a6ec682295352adb28466c6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1819
Best CPU time to get the best result obtained on this benchmark2400.21
Satisfiable
(Un)Satisfiability was proved
Number of variables834
Number of constraints2135
Number of domains14
Minimum domain size1
Maximum domain size29
Distribution of domain sizes[{"size":1,"count":34},{"size":2,"count":170},{"size":3,"count":448},{"size":15,"count":10},{"size":17,"count":140},{"size":29,"count":32}]
Minimum variable degree2
Maximum variable degree23
Distribution of variable degrees[{"degree":2,"count":322},{"degree":3,"count":64},{"degree":11,"count":16},{"degree":12,"count":15},{"degree":13,"count":1},{"degree":14,"count":12},{"degree":15,"count":17},{"degree":16,"count":22},{"degree":17,"count":26},{"degree":18,"count":24},{"degree":19,"count":109},{"degree":20,"count":73},{"degree":21,"count":82},{"degree":22,"count":46},{"degree":23,"count":5}]
Minimum constraint arity2
Maximum constraint arity32
Distribution of constraint arities[{"arity":2,"count":782},{"arity":3,"count":692},{"arity":4,"count":166},{"arity":6,"count":230},{"arity":7,"count":132},{"arity":17,"count":84},{"arity":29,"count":48},{"arity":32,"count":1}]
Number of extensional constraints516
Number of intensional constraints266
Distribution of constraint types[{"type":"extension","count":516},{"type":"intension","count":266},{"type":"regular","count":826},{"type":"sum","count":32},{"type":"count","count":494},{"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 (13535 MiB free)
  memory of node 1: 16384 MiB (10705 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309464-1534293218/watcher-4309464-1534293218 -o /tmp/evaluation-result-4309464-1534293218/solver-4309464-1534293218 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534293063-15170 --watchdog 2580 xcsp_picat HOME/instance-4309464-1534293218.xml 

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

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

solver pid=15396, runsolver pid=15393

[startup+0.10014 s]*
/proc/loadavg: 1.92 1.60 1.48 3/194 15397
/proc/meminfo: memFree=24799356/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2033560 memory=27688 CPUtime=0.1 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 1507 0 0 0 10 0 0 0 20 0 1 0 246884984 2082365440 6922 33554432000 4194304 5849940 140727152842880 140727152842880 4839790 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 508390 6922 645 405 0 505334 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 27688 KiB

[startup+0.210571 s]*
/proc/loadavg: 1.92 1.60 1.48 3/194 15397
/proc/meminfo: memFree=24788620/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2033692 memory=36796 CPUtime=0.21 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 1690 0 0 0 21 0 0 0 20 0 1 0 246884984 2082500608 9199 33554432000 4194304 5849940 140727152842880 140727152842880 5471177 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 508423 9199 723 405 0 505367 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033692 KiB
Current children cumulated memory: 36796 KiB

[startup+0.310193 s]*
/proc/loadavg: 1.92 1.60 1.48 3/194 15397
/proc/meminfo: memFree=24788620/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2033692 memory=36796 CPUtime=0.31 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 1692 0 0 0 31 0 0 0 20 0 1 0 246884984 2082500608 9199 33554432000 4194304 5849940 140727152842880 140727152842880 5473371 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 508423 9199 723 405 0 505367 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033692 KiB
Current children cumulated memory: 36796 KiB

[startup+0.700285 s]
/proc/loadavg: 1.92 1.60 1.48 3/194 15397
/proc/meminfo: memFree=24788620/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2035576 memory=38696 CPUtime=0.69 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 2219 0 0 0 67 2 0 0 20 0 1 0 246884984 2084429824 9674 33554432000 4194304 5849940 140727152842880 140727152842880 140500295876487 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 508894 9674 727 405 0 505838 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2035576 KiB
Current children cumulated memory: 38696 KiB

[startup+1.50024 s]
/proc/loadavg: 1.92 1.60 1.48 3/194 15397
/proc/meminfo: memFree=24782664/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2036088 memory=39084 CPUtime=1.49 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 2347 0 0 0 145 4 0 0 20 0 1 0 246884984 2084954112 9771 33554432000 4194304 5849940 140727152842880 140727152842120 140500295876487 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 509022 9771 727 405 0 505966 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2036088 KiB
Current children cumulated memory: 39084 KiB

[startup+3.10968 s]
/proc/loadavg: 1.92 1.60 1.48 3/194 15397
/proc/meminfo: memFree=24773112/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2041184 memory=44292 CPUtime=3.1 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 6996 0 0 0 306 4 0 0 20 0 1 0 246884984 2090172416 11073 33554432000 4194304 5849940 140727152842880 140727152841432 5326416 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 510296 11073 755 405 0 507240 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2041184 KiB
Current children cumulated memory: 44292 KiB

[startup+6.30028 s]
/proc/loadavg: 1.93 1.60 1.48 3/194 15397
/proc/meminfo: memFree=24771756/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2040112 memory=43440 CPUtime=6.29 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 9231 0 0 0 619 10 0 0 20 0 1 0 246884984 2089074688 10860 33554432000 4194304 5849940 140727152842880 140727152841528 5392176 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 510028 10860 768 405 0 506972 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2040112 KiB
Current children cumulated memory: 43440 KiB

[startup+12.7002 s]
/proc/loadavg: 1.93 1.61 1.49 3/194 15397
/proc/meminfo: memFree=24764804/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2044212 memory=47540 CPUtime=12.69 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 11840 0 0 0 1251 18 0 0 20 0 1 0 246884984 2093273088 11885 33554432000 4194304 5849940 140727152842880 140727152841880 5309859 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 511053 11885 768 405 0 507997 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2044212 KiB
Current children cumulated memory: 47540 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 1.63 1.49 3/194 15397
/proc/meminfo: memFree=24767192/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2056040 memory=59368 CPUtime=25.49 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 18051 0 0 0 2513 36 0 0 20 0 1 0 246884984 2105384960 14842 33554432000 4194304 5849940 140727152842880 140727152841608 5335727 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 514010 14842 768 405 0 510954 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2056040 KiB
Current children cumulated memory: 59368 KiB

[startup+51.1099 s]
/proc/loadavg: 1.97 1.66 1.51 3/194 15397
/proc/meminfo: memFree=24743272/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2059808 memory=62928 CPUtime=51.1 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 32176 0 0 0 5045 65 0 0 20 0 1 0 246884984 2109243392 15732 33554432000 4194304 5849940 140727152842880 140727152842040 140500295876487 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 514952 15732 768 405 0 511896 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2059808 KiB
Current children cumulated memory: 62928 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 1.71 1.53 3/193 15398
/proc/meminfo: memFree=24737012/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2066096 memory=69172 CPUtime=102.29 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 51077 0 0 0 10118 111 0 0 20 0 1 0 246884984 2115682304 17293 33554432000 4194304 5849940 140727152842880 140727152841752 5398394 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 516524 17293 768 405 0 513468 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2066096 KiB
Current children cumulated memory: 69172 KiB

[startup+162.3 s]
/proc/loadavg: 2.06 1.79 1.57 3/191 15399
/proc/meminfo: memFree=24743200/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2060036 memory=63476 CPUtime=162.3 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 82660 0 0 0 16054 176 0 0 20 0 1 0 246884984 2109476864 15869 33554432000 4194304 5849940 140727152842880 140727152842040 5437824 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 515009 15869 768 405 0 511953 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2060036 KiB
Current children cumulated memory: 63476 KiB

[startup+222.3 s]
/proc/loadavg: 2.02 1.83 1.60 3/191 15400
/proc/meminfo: memFree=24732820/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2071080 memory=73732 CPUtime=222.3 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 88598 0 0 0 22004 226 0 0 20 0 1 0 246884984 2120785920 18433 33554432000 4194304 5849940 140727152842880 140727152841880 5438429 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 517770 18433 768 405 0 514714 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2071080 KiB
Current children cumulated memory: 73732 KiB

[startup+282.3 s]
/proc/loadavg: 2.05 1.88 1.63 3/190 15464
/proc/meminfo: memFree=24604996/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2092424 memory=101212 CPUtime=282.29 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 94279 0 0 0 27959 270 0 0 20 0 1 0 246884984 2142642176 25303 33554432000 4194304 5849940 140727152842880 140727152841880 5438424 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 523106 25303 768 405 0 520050 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2092424 KiB
Current children cumulated memory: 101212 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 1.90 1.65 3/190 15465
/proc/meminfo: memFree=24584004/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2102032 memory=111520 CPUtime=342.29 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 99427 0 0 0 33925 304 0 0 20 0 1 0 246884984 2152480768 27880 33554432000 4194304 5849940 140727152842880 140727152841880 140500295876487 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 525508 27880 768 405 0 522452 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2102032 KiB
Current children cumulated memory: 111520 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 1.92 1.68 3/191 15474
/proc/meminfo: memFree=24574408/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2108080 memory=117444 CPUtime=402.29 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 105061 0 0 0 39890 339 0 0 20 0 1 0 246884984 2158673920 29361 33554432000 4194304 5849940 140727152842880 140727152841880 140500295876487 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 527020 29361 768 405 0 523964 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2108080 KiB
Current children cumulated memory: 117444 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.93 1.69 3/191 15475
/proc/meminfo: memFree=24536660/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2123876 memory=133320 CPUtime=462.29 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 114441 0 0 0 45856 373 0 0 20 0 1 0 246884984 2174849024 33330 33554432000 4194304 5849940 140727152842880 140727152841880 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 530969 33330 768 405 0 527913 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2123876 KiB
Current children cumulated memory: 133320 KiB


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

/proc/15396/statm: 557653 60002 768 405 0 554597 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 2230612 KiB
Current children cumulated memory: 240008 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 15539
/proc/meminfo: memFree=24443952/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2199120 memory=208724 CPUtime=1782.32 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 272490 0 0 0 177348 884 0 0 20 0 1 0 246884984 2251898880 52181 33554432000 4194304 5849940 140727152842880 140727152842040 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 549780 52181 768 405 0 546724 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 2199120 KiB
Current children cumulated memory: 208724 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 15540
/proc/meminfo: memFree=24467696/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2172296 memory=181900 CPUtime=1842.33 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 275924 0 0 0 183334 899 0 0 20 0 1 0 246884984 2224431104 45475 33554432000 4194304 5849940 140727152842880 140727152841880 140500295876487 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 543074 45475 768 405 0 540018 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 2172296 KiB
Current children cumulated memory: 181900 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 15541
/proc/meminfo: memFree=24390176/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2213144 memory=222748 CPUtime=1902.33 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 289907 0 0 0 189320 913 0 0 20 0 1 0 246884984 2266259456 55687 33554432000 4194304 5849940 140727152842880 140727152841880 5438029 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 553286 55687 768 405 0 550230 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 2213144 KiB
Current children cumulated memory: 222748 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/192 15542
/proc/meminfo: memFree=24412240/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2229236 memory=238840 CPUtime=1962.33 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 290853 0 0 0 195309 924 0 0 20 0 1 0 246884984 2282737664 59710 33554432000 4194304 5849940 140727152842880 140727152842040 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 557309 59710 768 405 0 554253 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 2229236 KiB
Current children cumulated memory: 238840 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 15543
/proc/meminfo: memFree=24404364/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2229236 memory=238840 CPUtime=2022.32 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 304286 0 0 0 201297 935 0 0 20 0 1 0 246884984 2282737664 59710 33554432000 4194304 5849940 140727152842880 140727152841880 5437808 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 557309 59710 768 405 0 554253 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 2229236 KiB
Current children cumulated memory: 238840 KiB

[startup+2082.3 s]
/proc/loadavg: 2.64 2.19 2.02 3/191 15586
/proc/meminfo: memFree=24400580/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2195428 memory=204916 CPUtime=2082.33 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 308472 0 0 0 207288 945 0 0 20 0 1 0 246884984 2248118272 51229 33554432000 4194304 5849940 140727152842880 140727152842040 5437837 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 548857 51229 768 405 0 545801 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 2195428 KiB
Current children cumulated memory: 204916 KiB

[startup+2142.3 s]
/proc/loadavg: 2.23 2.16 2.02 3/191 15587
/proc/meminfo: memFree=24386808/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2222120 memory=222768 CPUtime=2142.33 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 328543 0 0 0 213271 962 0 0 20 0 1 0 246884984 2275450880 55692 33554432000 4194304 5849940 140727152842880 140727152841880 140500295876487 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 555530 55692 768 405 0 552474 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 2222120 KiB
Current children cumulated memory: 222768 KiB

[startup+2202.3 s]
/proc/loadavg: 2.09 2.13 2.02 3/193 15597
/proc/meminfo: memFree=24419808/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2222120 memory=222768 CPUtime=2202.33 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 328548 0 0 0 219260 973 0 0 20 0 1 0 246884984 2275450880 55692 33554432000 4194304 5849940 140727152842880 140727152842040 5335776 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 555530 55692 768 405 0 552474 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 2222120 KiB
Current children cumulated memory: 222768 KiB

[startup+2262.3 s]
/proc/loadavg: 2.03 2.11 2.02 3/193 15598
/proc/meminfo: memFree=24358828/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2239020 memory=239704 CPUtime=2262.33 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 342660 0 0 0 225247 986 0 0 20 0 1 0 246884984 2292756480 59926 33554432000 4194304 5849940 140727152842880 140727152842040 5437928 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 559755 59926 768 405 0 556699 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 2239020 KiB
Current children cumulated memory: 239704 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.09 2.02 3/193 15599
/proc/meminfo: memFree=24405764/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2250144 memory=250828 CPUtime=2322.33 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 343361 0 0 0 231239 994 0 0 20 0 1 0 246884984 2304147456 62707 33554432000 4194304 5849940 140727152842880 140727152841880 5335776 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 562536 62707 768 405 0 559480 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 2250144 KiB
Current children cumulated memory: 250828 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.07 2.02 3/192 15600
/proc/meminfo: memFree=24344384/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2273424 memory=274028 CPUtime=2382.34 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 358088 0 0 0 237229 1005 0 0 20 0 1 0 246884984 2327986176 68507 33554432000 4194304 5849940 140727152842880 140727152841880 140500295876487 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 568356 68507 768 405 0 565300 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 2273424 KiB
Current children cumulated memory: 274028 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.06 2.02 3/192 15601
/proc/meminfo: memFree=24303260/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2301000 memory=310484 CPUtime=2442.34 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 362724 0 0 0 243218 1016 0 0 20 0 1 0 246884984 2356224000 77621 33554432000 4194304 5849940 140727152842880 140727152841880 5437906 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 575250 77621 768 405 0 572194 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 2301000 KiB
Current children cumulated memory: 310484 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/190 15602
/proc/meminfo: memFree=24283216/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2301000 memory=310484 CPUtime=2502.34 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 379302 0 0 0 249208 1026 0 0 20 0 1 0 246884984 2356224000 77621 33554432000 4194304 5849940 140727152842880 140727152841752 5313075 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 575250 77621 768 405 0 572194 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 2301000 KiB
Current children cumulated memory: 310484 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.02 3/190 15603
/proc/meminfo: memFree=24289064/32770624 swapFree=67108840/67108860
[pid=15396] ppid=15393 vsize=2301000 memory=310484 CPUtime=2520.05 cores=1,3,5,7
/proc/15396/stat : 15396 (xcsp_picat) R 15393 15396 15138 0 -1 4202496 394173 0 0 0 250976 1029 0 0 20 0 1 0 246884984 2356224000 77621 33554432000 4194304 5849940 140727152842880 140727152841880 5335774 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 39710720 140727152846006 140727152846084 140727152846084 140727152848842 0
/proc/15396/statm: 575250 77621 768 405 0 572194 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 2301000 KiB
Current children cumulated memory: 310484 KiB

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

[startup+2520.02 s]
# the end of solver process 15396 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2509.77 s, system=10.3022 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.02
CPU time (s): 2520.07
CPU user time (s): 2509.77
CPU system time (s): 10.3022
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2319168
Max. memory (cumulated for all children) (KiB): 328700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.77
system time used= 10.3022
maximum resident set size= 328700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 394173
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= 9
involuntary context switches= 912


# summary of solver processes directly reported to runsolver:
#   pid: 15396
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2509.77
#   total CPU system time (s): 10.3022

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4128 second user time and 18.31 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-15 02:33:38
IDJOB=4309464
IDBENCH=141044
IDSOLVER=2794
FILE ID=node135/4309464-1534293218
RUNJOBID= node135-1534293063-15170
PBS_JOBID= 21038137
Free space on /tmp= 47276 MiB

SOLVER NAME= PicatSAT 2018-08-14
BENCH NAME= XCSP18/NurseRostering/NurseRostering-05_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309464-1534293218/watcher-4309464-1534293218 -o /tmp/evaluation-result-4309464-1534293218/solver-4309464-1534293218 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534293063-15170 --watchdog 2580  xcsp_picat HOME/instance-4309464-1534293218.xml

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

MD5SUM BENCH= b6cc1cad0a6ec682295352adb28466c6
RANDOM SEED=1320551162

node135.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.50
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.50
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.50
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.50
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:        24823404 kB
MemAvailable:   31868704 kB
Buffers:          148092 kB
Cached:          7122604 kB
SwapCached:           20 kB
Active:          3923344 kB
Inactive:        3439056 kB
Active(anon):      40664 kB
Inactive(anon):   103280 kB
Active(file):    3882680 kB
Inactive(file):  3335776 kB
Unevictable:        7240 kB
Mlocked:            7240 kB
SwapTotal:      67108860 kB
SwapFree:       67108840 kB
Dirty:              3192 kB
Writeback:             0 kB
AnonPages:        111212 kB
Mapped:            59648 kB
Shmem:             49804 kB
Slab:             283852 kB
SReclaimable:     255304 kB
SUnreclaim:        28548 kB
KernelStack:        3680 kB
PageTables:         5080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2403188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 47272 MiB
End job on node135 at 2018-08-15 03:15:38