Trace number 4302993

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PicatSAT 2018-08-02? (TO) 2520.08 2520.03

General information on the benchmark

NameGraphColoring/
GraphColoring-qg-order60_c18.xml
MD5SUM2b7bed68bca9665ed3be29de24764d77
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark59
Best CPU time to get the best result obtained on this benchmark2519.69
Satisfiable
(Un)Satisfiability was proved
Number of variables3600
Number of constraints212400
Number of domains1
Minimum domain size3600
Maximum domain size3600
Distribution of domain sizes[{"size":3600,"count":3600}]
Minimum variable degree119
Maximum variable degree119
Distribution of variable degrees[{"degree":119,"count":3600}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":212400}]
Number of extensional constraints0
Number of intensional constraints212400
Distribution of constraint types[{"type":"intension","count":212400}]
Optimization problemYES
Type of objectivemin MAXIMUM

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 (14402 MiB free)
  memory of node 1: 16384 MiB (13836 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302993-1533997664/watcher-4302993-1533997664 -o /tmp/evaluation-result-4302993-1533997664/solver-4302993-1533997664 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1533990060-10871 --watchdog 2580 xcsp_picat HOME/instance-4302993-1533997664.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=11671, runsolver pid=11668

[startup+0.100121 s]*
/proc/loadavg: 2.22 2.08 2.06 3/190 11672
/proc/meminfo: memFree=28897280/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2025744 memory=24592 CPUtime=0.1 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 1184 0 0 0 10 0 0 0 20 0 1 0 217329624 2074361856 6148 33554432000 4194304 5849708 140733045431856 140733045431856 140387416824832 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 506436 6148 595 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 24592 KiB

[startup+0.209814 s]*
/proc/loadavg: 2.22 2.08 2.06 3/190 11672
/proc/meminfo: memFree=28887040/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2025744 memory=32784 CPUtime=0.21 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 1188 0 0 0 21 0 0 0 20 0 1 0 217329624 2074361856 8196 33554432000 4194304 5849708 140733045431856 140733045431856 4454729 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 506436 8196 595 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 32784 KiB

[startup+0.309697 s]*
/proc/loadavg: 2.22 2.08 2.06 3/190 11672
/proc/meminfo: memFree=28878848/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2025744 memory=40976 CPUtime=0.31 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 1192 0 0 0 31 0 0 0 20 0 1 0 217329624 2074361856 10244 33554432000 4194304 5849708 140733045431856 140733045431856 140387416824832 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 506436 10244 595 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 40976 KiB

[startup+0.700349 s]
/proc/loadavg: 2.22 2.08 2.06 3/190 11672
/proc/meminfo: memFree=28862464/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2025744 memory=73744 CPUtime=0.69 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 1208 0 0 0 68 1 0 0 20 0 1 0 217329624 2074361856 18436 33554432000 4194304 5849708 140733045431856 140733045431856 4504018 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 506436 18436 595 405 0 503381 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 73744 KiB

[startup+1.50034 s]
/proc/loadavg: 2.22 2.08 2.06 3/190 11672
/proc/meminfo: memFree=28821504/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2025744 memory=143376 CPUtime=1.49 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 1242 0 0 0 147 2 0 0 20 0 1 0 217329624 2074361856 35844 33554432000 4194304 5849708 140733045431856 140733045431856 140387416824832 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 506436 35844 595 405 0 503381 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 143376 KiB

[startup+3.10967 s]
/proc/loadavg: 2.22 2.08 2.06 3/190 11672
/proc/meminfo: memFree=28522948/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2247772 memory=403160 CPUtime=3.1 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 7754 0 0 0 304 6 0 0 20 0 1 0 217329624 2301718528 100790 33554432000 4194304 5849708 140733045431856 140733045431160 5406822 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 561943 100790 651 405 0 558888 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2247772 KiB
Current children cumulated memory: 403160 KiB

[startup+6.30034 s]
/proc/loadavg: 2.20 2.08 2.06 3/190 11672
/proc/meminfo: memFree=28039820/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2722924 memory=878492 CPUtime=6.29 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 30273 0 0 0 615 14 0 0 20 0 1 0 217329624 2788274176 219623 33554432000 4194304 5849708 140733045431856 140733045430952 5378875 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 680731 219623 651 405 0 677676 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2722924 KiB
Current children cumulated memory: 878492 KiB

[startup+12.7003 s]
/proc/loadavg: 2.19 2.08 2.06 3/190 11672
/proc/meminfo: memFree=27855384/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2911236 memory=1062548 CPUtime=12.69 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 89160 0 0 0 1235 34 0 0 20 0 1 0 217329624 2981105664 265637 33554432000 4194304 5849708 140733045431856 140733045430856 5307319 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 727809 265637 675 405 0 724754 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2911236 KiB
Current children cumulated memory: 1062548 KiB

[startup+25.5002 s]
/proc/loadavg: 2.14 2.07 2.06 3/190 11673
/proc/meminfo: memFree=27720160/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=3037584 memory=1186216 CPUtime=25.49 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 167001 0 0 0 2499 50 0 0 20 0 1 0 217329624 3110486016 296554 33554432000 4194304 5849708 140733045431856 140733045430104 4205041 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 759396 296554 679 405 0 756341 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 3037584 KiB
Current children cumulated memory: 1186216 KiB

[startup+51.1097 s]
/proc/loadavg: 2.10 2.07 2.05 3/190 11673
/proc/meminfo: memFree=27682488/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=3037584 memory=1186216 CPUtime=51.1 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 174227 0 0 0 5059 51 0 0 20 0 1 0 217329624 3110486016 296554 33554432000 4194304 5849708 140733045431856 140733045430104 5301858 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 759396 296554 679 405 0 756341 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 3037584 KiB
Current children cumulated memory: 1186216 KiB

[startup+102.3 s]
/proc/loadavg: 2.04 2.06 2.05 3/190 11674
/proc/meminfo: memFree=27795824/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2916860 memory=1072464 CPUtime=102.29 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 289754 0 0 0 10167 62 0 0 20 0 1 0 217329624 2986864640 268116 33554432000 4194304 5849708 140733045431856 140733045430856 5307312 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 729215 268116 682 405 0 726160 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2916860 KiB
Current children cumulated memory: 1072464 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 11683
/proc/meminfo: memFree=27843936/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2916860 memory=1072648 CPUtime=162.3 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 335961 0 0 0 16164 66 0 0 20 0 1 0 217329624 2986864640 268162 33554432000 4194304 5849708 140733045431856 140733045430856 5307573 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 729215 268162 682 405 0 726160 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2916860 KiB
Current children cumulated memory: 1072648 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/191 11684
/proc/meminfo: memFree=27842392/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2916860 memory=1072648 CPUtime=222.3 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 425396 0 0 0 22156 74 0 0 20 0 1 0 217329624 2986864640 268162 33554432000 4194304 5849708 140733045431856 140733045430856 5307610 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 729215 268162 682 405 0 726160 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2916860 KiB
Current children cumulated memory: 1072648 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 11685
/proc/meminfo: memFree=27842544/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2916860 memory=1072656 CPUtime=282.3 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 512451 0 0 0 28148 82 0 0 20 0 1 0 217329624 2986864640 268164 33554432000 4194304 5849708 140733045431856 140733045430856 5335582 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 729215 268164 684 405 0 726160 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2916860 KiB
Current children cumulated memory: 1072656 KiB

[startup+342.3 s]
/proc/loadavg: 1.95 2.01 2.04 3/188 11686
/proc/meminfo: memFree=27806972/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2916860 memory=1072656 CPUtime=342.3 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 573242 0 0 0 34142 88 0 0 20 0 1 0 217329624 2986864640 268164 33554432000 4194304 5849708 140733045431856 140733045430856 5438170 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 729215 268164 684 405 0 726160 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2916860 KiB
Current children cumulated memory: 1072656 KiB

[startup+402.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/188 11687
/proc/meminfo: memFree=27791044/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2932144 memory=1087940 CPUtime=402.3 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 672544 0 0 0 40135 95 0 0 20 0 1 0 217329624 3002515456 271985 33554432000 4194304 5849708 140733045431856 140733045431016 5307248 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 733036 271985 684 405 0 729981 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2932144 KiB
Current children cumulated memory: 1087940 KiB

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 11688
/proc/meminfo: memFree=27859016/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2932144 memory=1087940 CPUtime=462.31 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 760080 0 0 0 46130 101 0 0 20 0 1 0 217329624 3002515456 271985 33554432000 4194304 5849708 140733045431856 140733045431016 5307557 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 733036 271985 684 405 0 729981 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 2932144 KiB
Current children cumulated memory: 1087940 KiB


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

/proc/11671/statm: 729380 268941 696 405 0 726325 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 2917520 KiB
Current children cumulated memory: 1075764 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11728
/proc/meminfo: memFree=27669424/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2917520 memory=1075764 CPUtime=1782.33 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 2085634 0 0 0 177989 244 0 0 20 0 1 0 217329624 2987540480 268941 33554432000 4194304 5849708 140733045431856 140733045430856 5307587 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 729380 268941 696 405 0 726325 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 2917520 KiB
Current children cumulated memory: 1075764 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11730
/proc/meminfo: memFree=27551212/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=3022052 memory=1180296 CPUtime=1842.32 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 2143941 0 0 0 183958 274 0 0 20 0 1 0 217329624 3094581248 295074 33554432000 4194304 5849708 140733045431856 140733045428888 4205068 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 755513 295074 696 405 0 752458 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 3022052 KiB
Current children cumulated memory: 1180296 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11731
/proc/meminfo: memFree=27412596/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=3022052 memory=1187568 CPUtime=1902.32 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 2149089 0 0 0 189958 274 0 0 20 0 1 0 217329624 3094581248 296892 33554432000 4194304 5849708 140733045431856 140733045428888 4205059 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 755513 296892 696 405 0 752458 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 3022052 KiB
Current children cumulated memory: 1187568 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11740
/proc/meminfo: memFree=27405840/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=3022052 memory=1188324 CPUtime=1962.33 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 2154453 0 0 0 195958 275 0 0 20 0 1 0 217329624 3094581248 297081 33554432000 4194304 5849708 140733045431856 140733045428888 4205055 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 755513 297081 696 405 0 752458 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 3022052 KiB
Current children cumulated memory: 1188324 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 11764
/proc/meminfo: memFree=27274272/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=3022052 memory=1188324 CPUtime=2022.33 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 2164644 0 0 0 201957 276 0 0 20 0 1 0 217329624 3094581248 297081 33554432000 4194304 5849708 140733045431856 140733045428888 4205078 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 755513 297081 696 405 0 752458 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 3022052 KiB
Current children cumulated memory: 1188324 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 11765
/proc/meminfo: memFree=27223632/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=3073524 memory=1239796 CPUtime=2082.33 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 2191216 0 0 0 207955 278 0 0 20 0 1 0 217329624 3147288576 309949 33554432000 4194304 5849708 140733045431856 140733045428888 4205078 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 768381 309949 696 405 0 765326 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 3073524 KiB
Current children cumulated memory: 1239796 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 11766
/proc/meminfo: memFree=27443132/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2886820 memory=1053072 CPUtime=2142.33 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 2292625 0 0 0 213945 288 0 0 20 0 1 0 217329624 2956103680 263268 33554432000 4194304 5849708 140733045431856 140733045430856 5307324 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 721705 263268 696 405 0 718650 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 2886820 KiB
Current children cumulated memory: 1053072 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 11767
/proc/meminfo: memFree=27411240/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2886820 memory=1053092 CPUtime=2202.33 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 2330038 0 0 0 219942 291 0 0 20 0 1 0 217329624 2956103680 263273 33554432000 4194304 5849708 140733045431856 140733045430856 5307527 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 721705 263273 696 405 0 718650 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 2886820 KiB
Current children cumulated memory: 1053092 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11768
/proc/meminfo: memFree=27331528/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2886820 memory=1053092 CPUtime=2262.33 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 2406413 0 0 0 225936 297 0 0 20 0 1 0 217329624 2956103680 263273 33554432000 4194304 5849708 140733045431856 140733045430856 5339058 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 721705 263273 696 405 0 718650 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 2886820 KiB
Current children cumulated memory: 1053092 KiB

[startup+2322.3 s]
/proc/loadavg: 2.41 2.14 2.09 3/187 11769
/proc/meminfo: memFree=27331796/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=2886820 memory=1053092 CPUtime=2322.34 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 2477038 0 0 0 231931 303 0 0 20 0 1 0 217329624 2956103680 263273 33554432000 4194304 5849708 140733045431856 140733045430856 5340254 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 721705 263273 696 405 0 718650 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 2886820 KiB
Current children cumulated memory: 1053092 KiB

[startup+2382.3 s]
/proc/loadavg: 2.15 2.12 2.08 3/187 11770
/proc/meminfo: memFree=27203908/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=3014844 memory=1181068 CPUtime=2382.34 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 2618992 0 0 0 237895 339 0 0 20 0 1 0 217329624 3087200256 295267 33554432000 4194304 5849708 140733045431856 140733045428888 4205083 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 753711 295267 696 405 0 750656 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 3014844 KiB
Current children cumulated memory: 1181068 KiB

[startup+2442.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 11771
/proc/meminfo: memFree=27168856/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=3014844 memory=1181116 CPUtime=2442.34 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 2622551 0 0 0 243895 339 0 0 20 0 1 0 217329624 3087200256 295279 33554432000 4194304 5849708 140733045431856 140733045428888 4205068 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 753711 295279 696 405 0 750656 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 3014844 KiB
Current children cumulated memory: 1181116 KiB

[startup+2502.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 11772
/proc/meminfo: memFree=27370420/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=3014844 memory=1181116 CPUtime=2502.34 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 2634863 0 0 0 249894 340 0 0 20 0 1 0 217329624 3087200256 295279 33554432000 4194304 5849708 140733045431856 140733045428888 4205055 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 753711 295279 696 405 0 750656 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 3014844 KiB
Current children cumulated memory: 1181116 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.95 2.06 2.06 3/187 11833
/proc/meminfo: memFree=27996856/32770624 swapFree=67030624/67108860
[pid=11671] ppid=11668 vsize=3055176 memory=1221448 CPUtime=2520.05 cores=1,3,5,7
/proc/11671/stat : 11671 (xcsp_picat) R 11668 11671 10838 0 -1 4202496 2645556 0 0 0 251663 342 0 0 20 0 1 0 217329624 3128500224 305362 33554432000 4194304 5849708 140733045431856 140733045428888 5309600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 25903104 140733045437622 140733045437700 140733045437700 140733045440458 0
/proc/11671/statm: 763794 305362 696 405 0 760739 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 3055176 KiB
Current children cumulated memory: 1221448 KiB

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

[startup+2520.03 s]
# the end of solver process 11671 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.64 s, system=3.44609 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.03
CPU time (s): 2520.08
CPU user time (s): 2516.64
CPU system time (s): 3.44609
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3372864
Max. memory (cumulated for all children) (KiB): 1378924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.64
system time used= 3.44609
maximum resident set size= 1378924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2645557
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= 39
involuntary context switches= 739


# summary of solver processes directly reported to runsolver:
#   pid: 11671
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2516.64
#   total CPU system time (s): 3.44609

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1325 second user time and 18.1386 second system time

The end

Launcher Data 

Begin job on node102 at 2018-08-11 16:27:45
IDJOB=4302993
IDBENCH=141137
IDSOLVER=2778
FILE ID=node102/4302993-1533997664
RUNJOBID= node102-1533990060-10871
PBS_JOBID= 21036939
Free space on /tmp= 38196 MiB

SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order60_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302993-1533997664/watcher-4302993-1533997664 -o /tmp/evaluation-result-4302993-1533997664/solver-4302993-1533997664 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1533990060-10871 --watchdog 2580  xcsp_picat HOME/instance-4302993-1533997664.xml

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

MD5SUM BENCH= 2b7bed68bca9665ed3be29de24764d77
RANDOM SEED=1795204976

node102.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.51
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.51
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.51
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.51
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:        28918148 kB
MemAvailable:   31538100 kB
Buffers:           25268 kB
Cached:          2857876 kB
SwapCached:        51280 kB
Active:          1784928 kB
Inactive:        1531756 kB
Active(anon):     354688 kB
Inactive(anon):   130332 kB
Active(file):    1430240 kB
Inactive(file):  1401424 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108860 kB
SwapFree:       67030624 kB
Dirty:             10480 kB
Writeback:             0 kB
AnonPages:        440204 kB
Mapped:            48184 kB
Shmem:             48948 kB
Slab:             236228 kB
SReclaimable:     208244 kB
SUnreclaim:        27984 kB
KernelStack:        3408 kB
PageTables:         6004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2666136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    296960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 38196 MiB
End job on node102 at 2018-08-11 17:09:45