Trace number 4395104

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 NameAnswerCPU timeWall clock time
PicatSAT 2019-09-12? (TO) 2519.95 2520.02

General information on the benchmark

NameGracefulGraph/GracefulGraph-m1-s1/
GracefulGraph-K09-P07.xml
MD5SUM77d215e563c424ff51075488b165aa80
Bench CategoryCSP (decision 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 variables684
Number of constraints308
Number of domains2
Minimum domain size306
Maximum domain size307
Distribution of domain sizes[{"size":306,"count":306},{"size":307,"count":63}]
Minimum variable degree0
Maximum variable degree11
Distribution of variable degrees[{"degree":0,"count":315},{"degree":2,"count":306},{"degree":10,"count":18},{"degree":11,"count":45}]
Minimum constraint arity3
Maximum constraint arity306
Distribution of constraint arities[{"arity":3,"count":306},{"arity":63,"count":1},{"arity":306,"count":1}]
Number of extensional constraints0
Number of intensional constraints306
Distribution of constraint types[{"type":"intension","count":306},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

14.99/15.02	c xcsp_picat version 2.7b12 (9/12/2019)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395104-1568324103/watcher-4395104-1568324103 -o /tmp/evaluation-result-4395104-1568324103/solver-4395104-1568324103 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568323917-28816 --watchdog 2580 xcsp_picat HOME/instance-4395104-1568324103.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100355 s]*
/proc/loadavg: 1.94 1.75 1.89 3/201 29042
/proc/meminfo: memFree=28557008/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2031716 memory=31888 CPUtime=0.09 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 1540 0 0 0 9 0 0 0 20 0 1 0 408678149 2080477184 7972 33554432000 4194304 5870510 140735452905472 140735452904840 4527865 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 507929 7972 864 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 31888 KiB

[startup+0.209824 s]*
/proc/loadavg: 1.94 1.75 1.89 4/201 29042
/proc/meminfo: memFree=28536188/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2038592 memory=54880 CPUtime=0.21 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 2152 0 0 0 20 1 0 0 20 0 1 0 408678149 2087518208 13720 33554432000 4194304 5870510 140735452905472 140735452904120 5306705 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 509648 13720 887 410 0 505121 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2038592 KiB
Current children cumulated memory: 54880 KiB

[startup+0.309859 s]*
/proc/loadavg: 1.94 1.75 1.89 3/201 29042
/proc/meminfo: memFree=28498108/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2078984 memory=90256 CPUtime=0.31 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 11178 0 0 0 29 2 0 0 20 0 1 0 408678149 2128879616 22564 33554432000 4194304 5870510 140735452905472 140735452904120 5287596 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 519746 22564 891 410 0 515219 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2078984 KiB
Current children cumulated memory: 90256 KiB

[startup+0.700333 s]
/proc/loadavg: 1.94 1.75 1.89 3/201 29042
/proc/meminfo: memFree=28461708/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2144108 memory=152816 CPUtime=0.69 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 24905 0 0 0 64 5 0 0 20 0 1 0 408678149 2195566592 38204 33554432000 4194304 5870510 140735452905472 140735452904120 4442080 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 536027 38204 892 410 0 531500 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2144108 KiB
Current children cumulated memory: 152816 KiB

[startup+1.50034 s]
/proc/loadavg: 1.95 1.76 1.90 3/201 29042
/proc/meminfo: memFree=28408804/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2234892 memory=214012 CPUtime=1.48 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 35136 0 0 0 141 7 0 0 20 0 1 0 408678149 2288529408 53503 33554432000 4194304 5870510 140735452905472 140735452904120 4466902 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 558723 53503 944 410 0 554196 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2234892 KiB
Current children cumulated memory: 214012 KiB

[startup+3.10947 s]
/proc/loadavg: 1.95 1.76 1.90 3/200 29042
/proc/meminfo: memFree=28328676/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2262936 memory=254228 CPUtime=3.1 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 70953 0 0 0 299 11 0 0 20 0 1 0 408678149 2317246464 63557 33554432000 4194304 5870510 140735452905472 140735452903976 5337297 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 565734 63557 951 410 0 561207 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2262936 KiB
Current children cumulated memory: 254228 KiB

[startup+6.30033 s]
/proc/loadavg: 1.95 1.76 1.90 3/200 29042
/proc/meminfo: memFree=28353276/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2243860 memory=228720 CPUtime=6.29 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 79562 0 0 0 616 13 0 0 20 0 1 0 408678149 2297712640 57180 33554432000 4194304 5870510 140735452905472 140735452904728 140548296349532 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 560965 57180 975 410 0 556438 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2243860 KiB
Current children cumulated memory: 228720 KiB

[startup+12.7003 s]
/proc/loadavg: 1.95 1.77 1.90 3/200 29042
/proc/meminfo: memFree=28349024/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2243860 memory=232900 CPUtime=12.69 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 118235 0 0 0 1253 16 0 0 20 0 1 0 408678149 2297712640 58225 33554432000 4194304 5870510 140735452905472 140735452904728 5282578 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 560965 58225 975 410 0 556438 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2243860 KiB
Current children cumulated memory: 232900 KiB

[startup+25.5004 s]
/proc/loadavg: 1.96 1.77 1.90 3/200 29042
/proc/meminfo: memFree=28336860/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2243860 memory=245224 CPUtime=25.48 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 142699 0 0 0 2531 17 0 0 20 0 1 0 408678149 2297712640 61306 33554432000 4194304 5870510 140735452905472 140735452904584 140548296438322 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 560965 61306 977 410 0 556438 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2243860 KiB
Current children cumulated memory: 245224 KiB

[startup+51.1096 s]
/proc/loadavg: 2.04 1.81 1.91 3/200 29045
/proc/meminfo: memFree=28314884/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2293948 memory=259916 CPUtime=51.09 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 173076 0 0 0 5086 23 0 0 20 0 1 0 408678149 2349002752 64979 33554432000 4194304 5870510 140735452905472 140735452904424 140548296366670 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 573487 64979 977 410 0 568960 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2293948 KiB
Current children cumulated memory: 259916 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 1.83 1.91 3/200 29050
/proc/meminfo: memFree=28318628/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2243860 memory=255156 CPUtime=102.28 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 231671 0 0 0 10194 34 0 0 20 0 1 0 408678149 2297712640 63789 33554432000 4194304 5870510 140735452905472 140735452904488 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 560965 63789 977 410 0 556438 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2243860 KiB
Current children cumulated memory: 255156 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.86 1.91 3/200 29054
/proc/meminfo: memFree=28310928/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2252864 memory=256084 CPUtime=162.27 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 262392 0 0 0 16184 43 0 0 20 0 1 0 408678149 2306932736 64021 33554432000 4194304 5870510 140735452905472 140735452903832 5282781 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 563216 64021 977 410 0 558689 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2252864 KiB
Current children cumulated memory: 256084 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.88 1.92 3/200 29058
/proc/meminfo: memFree=28290256/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2312880 memory=278508 CPUtime=222.28 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 274254 0 0 0 22175 53 0 0 20 0 1 0 408678149 2368389120 69627 33554432000 4194304 5870510 140735452905472 140735452903832 5262793 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 578220 69627 977 410 0 573693 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2312880 KiB
Current children cumulated memory: 278508 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.90 1.92 3/200 29064
/proc/meminfo: memFree=28249500/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2322164 memory=306492 CPUtime=282.27 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 313856 0 0 0 28165 62 0 0 20 0 1 0 408678149 2377895936 76623 33554432000 4194304 5870510 140735452905472 140735452903768 5258443 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 580541 76623 977 410 0 576014 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2322164 KiB
Current children cumulated memory: 306492 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.92 1.93 3/201 29076
/proc/meminfo: memFree=28268664/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2280420 memory=285644 CPUtime=342.27 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 355966 0 0 0 34154 73 0 0 20 0 1 0 408678149 2335150080 71411 33554432000 4194304 5870510 140735452905472 140735452903896 5281824 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 570105 71411 977 410 0 565578 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2280420 KiB
Current children cumulated memory: 285644 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.94 1.93 3/200 29080
/proc/meminfo: memFree=28243080/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2338764 memory=313520 CPUtime=402.27 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 401188 0 0 0 40144 83 0 0 20 0 1 0 408678149 2394894336 78380 33554432000 4194304 5870510 140735452905472 140735452903832 5277475 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 584691 78380 977 410 0 580164 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2338764 KiB
Current children cumulated memory: 313520 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.95 1.94 3/200 29086
/proc/meminfo: memFree=28245944/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2344108 memory=308560 CPUtime=462.26 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 438726 0 0 0 46129 97 0 0 20 0 1 0 408678149 2400366592 77140 33554432000 4194304 5870510 140735452905472 140735452904008 5282295 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 586027 77140 977 410 0 581500 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2344108 KiB
Current children cumulated memory: 308560 KiB


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

/proc/29041/statm: 586885 90492 977 410 0 582358 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 2347540 KiB
Current children cumulated memory: 361968 KiB

[startup+1782.3 s]
/proc/loadavg: 2.02 2.09 2.05 3/201 29306
/proc/meminfo: memFree=26793172/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2347540 memory=364020 CPUtime=1782.22 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 858710 0 0 0 177940 282 0 0 20 0 1 0 408678149 2403880960 91005 33554432000 4194304 5870510 140735452905472 140735452904424 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 586885 91005 977 410 0 582358 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 2347540 KiB
Current children cumulated memory: 364020 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.07 2.05 3/200 29310
/proc/meminfo: memFree=26791064/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2347540 memory=364024 CPUtime=1842.22 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 883882 0 0 0 183931 291 0 0 20 0 1 0 408678149 2403880960 91006 33554432000 4194304 5870510 140735452905472 140735452904488 5258777 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 586885 91006 977 410 0 582358 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 2347540 KiB
Current children cumulated memory: 364024 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/200 29316
/proc/meminfo: memFree=26795300/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2347540 memory=354056 CPUtime=1902.22 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 895469 0 0 0 189922 300 0 0 20 0 1 0 408678149 2403880960 88514 33554432000 4194304 5870510 140735452905472 140735452904488 5282747 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 586885 88514 977 410 0 582358 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 2347540 KiB
Current children cumulated memory: 354056 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/199 29320
/proc/meminfo: memFree=26804612/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2347540 memory=355848 CPUtime=1962.22 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 906760 0 0 0 195916 306 0 0 20 0 1 0 408678149 2403880960 88962 33554432000 4194304 5870510 140735452905472 140735452904488 5281854 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 586885 88962 977 410 0 582358 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 2347540 KiB
Current children cumulated memory: 355848 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 29325
/proc/meminfo: memFree=26778028/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2397628 memory=368228 CPUtime=2022.22 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 935288 0 0 0 201907 315 0 0 20 0 1 0 408678149 2455171072 92057 33554432000 4194304 5870510 140735452905472 140735452904424 5288794 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 599407 92057 977 410 0 594880 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 2397628 KiB
Current children cumulated memory: 368228 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 29331
/proc/meminfo: memFree=26742608/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2397628 memory=391868 CPUtime=2082.22 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 959224 0 0 0 207899 323 0 0 20 0 1 0 408678149 2455171072 97967 33554432000 4194304 5870510 140735452905472 140735452904424 5283106 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 599407 97967 977 410 0 594880 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 2397628 KiB
Current children cumulated memory: 391868 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/201 29345
/proc/meminfo: memFree=26762448/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2397628 memory=369276 CPUtime=2142.22 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 968599 0 0 0 213891 331 0 0 20 0 1 0 408678149 2455171072 92319 33554432000 4194304 5870510 140735452905472 140735452904424 5308227 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 599407 92319 977 410 0 594880 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 2397628 KiB
Current children cumulated memory: 369276 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 29349
/proc/meminfo: memFree=26773532/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2397628 memory=367228 CPUtime=2202.21 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 997286 0 0 0 219882 339 0 0 20 0 1 0 408678149 2455171072 91807 33554432000 4194304 5870510 140735452905472 140735452904424 5262912 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 599407 91807 977 410 0 594880 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 2397628 KiB
Current children cumulated memory: 367228 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 29355
/proc/meminfo: memFree=26755064/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2397628 memory=381628 CPUtime=2262.22 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 1019908 0 0 0 225876 346 0 0 20 0 1 0 408678149 2455171072 95407 33554432000 4194304 5870510 140735452905472 140735452904424 5282251 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 599407 95407 977 410 0 594880 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 2397628 KiB
Current children cumulated memory: 381628 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 29359
/proc/meminfo: memFree=26774844/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2347540 memory=353800 CPUtime=2322.22 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 1026384 0 0 0 231868 354 0 0 20 0 1 0 408678149 2403880960 88450 33554432000 4194304 5870510 140735452905472 140735452904424 5282429 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 586885 88450 977 410 0 582358 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 2347540 KiB
Current children cumulated memory: 353800 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 29363
/proc/meminfo: memFree=26771008/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2347540 memory=357896 CPUtime=2382.22 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 1036882 0 0 0 237863 359 0 0 20 0 1 0 408678149 2403880960 89474 33554432000 4194304 5870510 140735452905472 140735452904488 140548296369032 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 586885 89474 977 410 0 582358 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 2347540 KiB
Current children cumulated memory: 357896 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29369
/proc/meminfo: memFree=26771176/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2347540 memory=353800 CPUtime=2442.22 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 1049347 0 0 0 243855 367 0 0 20 0 1 0 408678149 2403880960 88450 33554432000 4194304 5870510 140735452905472 140735452904488 5282667 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 586885 88450 977 410 0 582358 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 2347540 KiB
Current children cumulated memory: 353800 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29373
/proc/meminfo: memFree=26733640/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2477768 memory=465240 CPUtime=2502.22 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 1064865 0 0 0 249847 375 0 0 20 0 1 0 408678149 2537234432 116310 33554432000 4194304 5870510 140735452905472 140735452904040 5271723 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 619442 116310 977 410 0 614915 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 2477768 KiB
Current children cumulated memory: 465240 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 29377
/proc/meminfo: memFree=26732464/32770624 swapFree=67004752/67108860
[pid=29041] ppid=29038 vsize=2397628 memory=387772 CPUtime=2519.93 cores=0,2,4,6
/proc/29041/stat : 29041 (xcsp_picat) R 29038 29041 28785 0 -1 4202496 1084727 0 0 0 251615 378 0 0 20 0 1 0 408678149 2455171072 96943 33554432000 4194304 5870510 140735452905472 140735452904424 5278096 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 44736512 140735452906527 140735452906605 140735452906605 140735452909514 0
/proc/29041/statm: 599407 96943 977 410 0 594880 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 2397628 KiB
Current children cumulated memory: 387772 KiB

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

[startup+2520.02 s]
# the end of solver process 29041 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.16 s, system=3.79197 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): 2519.95
CPU user time (s): 2516.16
CPU system time (s): 3.79197
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 2786228
Max. memory (cumulated for all children) (KiB): 595012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.16
system time used= 3.79196
maximum resident set size= 608140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1084727
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= 71
involuntary context switches= 2159


# summary of solver processes directly reported to runsolver:
#   pid: 29041
#   total CPU time (s): 2519.95
#   total CPU user time (s): 2516.16
#   total CPU system time (s): 3.79197

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4448 second user time and 18.6538 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-12 23:34:26
IDJOB=4395104
IDBENCH=120766
IDSOLVER=2844
FILE ID=node126/4395104-1568324103
RUNJOBID= node126-1568323917-28816
PBS_JOBID= 21701150
Free space on /tmp= 55384 MiB

SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K09-P07.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395104-1568324103/watcher-4395104-1568324103 -o /tmp/evaluation-result-4395104-1568324103/solver-4395104-1568324103 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568323917-28816 --watchdog 2580  xcsp_picat HOME/instance-4395104-1568324103.xml

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

MD5SUM BENCH= 77d215e563c424ff51075488b165aa80
RANDOM SEED=427820469

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28583536 kB
MemAvailable:   31758808 kB
Buffers:          117640 kB
Cached:          3308468 kB
SwapCached:         2860 kB
Active:          1947800 kB
Inactive:        1591184 kB
Active(anon):     111144 kB
Inactive(anon):    43292 kB
Active(file):    1836656 kB
Inactive(file):  1547892 kB
Unevictable:      109112 kB
Mlocked:          109112 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:              2968 kB
Writeback:             0 kB
AnonPages:        219656 kB
Mapped:            46248 kB
Shmem:             32816 kB
Slab:             243052 kB
SReclaimable:     213120 kB
SUnreclaim:        29932 kB
KernelStack:        3600 kB
PageTables:         6080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2628228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 55368 MiB
End job on node126 at 2019-09-13 00:16:26