Trace number 4293428

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 2018-06-15? (TO) 2519.98 2520.02

General information on the benchmark

NameGracefulGraph/
GracefulGraph-K07-P03_c18.xml
MD5SUMca21bb45cdf77f5b8e0b27a9f8e7d69e
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 variables182
Number of constraints79
Number of domains2
Minimum domain size77
Maximum domain size78
Distribution of domain sizes[{"size":77,"count":77},{"size":78,"count":21}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":84},{"degree":2,"count":77},{"degree":8,"count":14},{"degree":9,"count":7}]
Minimum constraint arity3
Maximum constraint arity77
Distribution of constraint arities[{"arity":3,"count":77},{"arity":21,"count":1},{"arity":77,"count":1}]
Number of extensional constraints0
Number of intensional constraints77
Distribution of constraint types[{"type":"intension","count":77},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293428-1532317524/watcher-4293428-1532317524 -o /tmp/evaluation-result-4293428-1532317524/solver-4293428-1532317524 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532296553-30442 --watchdog 2580 xcsp_picat HOME/instance-4293428-1532317524.xml 

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

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


[startup+0.100158 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 1145
/proc/meminfo: memFree=16233360/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=130024 memory=22592 CPUtime=0.09 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 2325 0 0 0 9 0 0 0 20 0 1 0 49315573 133144576 5648 33554432000 4194304 5849740 140736231487696 140736231487696 4454714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 32506 5648 680 405 0 29450 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 130024 KiB
Current children cumulated memory: 22592 KiB

[startup+0.209721 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 1145
/proc/meminfo: memFree=16248000/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=131984 memory=24672 CPUtime=0.2 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 3546 0 0 0 20 0 0 0 20 0 1 0 49315573 135151616 6168 33554432000 4194304 5849740 140736231487696 140736231487696 5369499 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 32996 6168 696 405 0 29940 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 131984 KiB
Current children cumulated memory: 24672 KiB

[startup+0.309323 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 1145
/proc/meminfo: memFree=16247736/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=131984 memory=24672 CPUtime=0.31 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 4190 0 0 0 30 1 0 0 20 0 1 0 49315573 135151616 6168 33554432000 4194304 5849740 140736231487696 140736231487696 5303784 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 32996 6168 696 405 0 29940 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 131984 KiB
Current children cumulated memory: 24672 KiB

[startup+0.700285 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1145
/proc/meminfo: memFree=16213424/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=133444 memory=26136 CPUtime=0.69 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 6476 0 0 0 68 1 0 0 20 0 1 0 49315573 136646656 6534 33554432000 4194304 5849740 140736231487696 140736231486248 5360891 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 33361 6534 699 405 0 30305 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 133444 KiB
Current children cumulated memory: 26136 KiB

[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1145
/proc/meminfo: memFree=16211368/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=136876 memory=29108 CPUtime=1.49 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 7529 0 0 0 148 1 0 0 20 0 1 0 49315573 140161024 7277 33554432000 4194304 5849740 140736231487696 140736231486248 4208596 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 34219 7277 710 405 0 31163 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 136876 KiB
Current children cumulated memory: 29108 KiB

[startup+3.10907 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1145
/proc/meminfo: memFree=16208516/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=136876 memory=29184 CPUtime=3.1 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 8189 0 0 0 309 1 0 0 20 0 1 0 49315573 140161024 7296 33554432000 4194304 5849740 140736231487696 140736231485944 5319712 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 34219 7296 710 405 0 31163 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 136876 KiB
Current children cumulated memory: 29184 KiB

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1145
/proc/meminfo: memFree=16208864/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=136876 memory=29184 CPUtime=6.29 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 8984 0 0 0 628 1 0 0 20 0 1 0 49315573 140161024 7296 33554432000 4194304 5849740 140736231487696 140736231485944 4212035 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 34219 7296 710 405 0 31163 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 136876 KiB
Current children cumulated memory: 29184 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 1145
/proc/meminfo: memFree=16206852/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=136876 memory=29184 CPUtime=12.69 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 9771 0 0 0 1268 1 0 0 20 0 1 0 49315573 140161024 7296 33554432000 4194304 5849740 140736231487696 140736231485944 4211602 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 34219 7296 710 405 0 31163 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 136876 KiB
Current children cumulated memory: 29184 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1145
/proc/meminfo: memFree=16247756/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=136876 memory=29184 CPUtime=25.49 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 11292 0 0 0 2548 1 0 0 20 0 1 0 49315573 140161024 7296 33554432000 4194304 5849740 140736231487696 140736231485944 4211646 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 34219 7296 710 405 0 31163 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 136876 KiB
Current children cumulated memory: 29184 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1145
/proc/meminfo: memFree=16236472/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=136876 memory=31004 CPUtime=51.1 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 13595 0 0 0 5103 7 0 0 20 0 1 0 49315573 140161024 7751 33554432000 4194304 5849740 140736231487696 140736231486184 139925244252039 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 34219 7751 714 405 0 31163 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 136876 KiB
Current children cumulated memory: 31004 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1146
/proc/meminfo: memFree=16175892/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=162840 memory=63616 CPUtime=102.29 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 41027 0 0 0 10173 56 0 0 20 0 1 0 49315573 166748160 15904 33554432000 4194304 5849740 140736231487696 140736231486696 139925244252039 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 40710 15904 714 405 0 37654 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 162840 KiB
Current children cumulated memory: 63616 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1147
/proc/meminfo: memFree=16152276/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=167516 memory=68412 CPUtime=162.3 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 85287 0 0 0 16121 109 0 0 20 0 1 0 49315573 171536384 17103 33554432000 4194304 5849740 140736231487696 140736231486696 139925244252039 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 41879 17103 714 405 0 38823 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 167516 KiB
Current children cumulated memory: 68412 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1148
/proc/meminfo: memFree=16138604/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=181032 memory=81996 CPUtime=222.3 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 139921 0 0 0 22071 159 0 0 20 0 1 0 49315573 185376768 20499 33554432000 4194304 5849740 140736231487696 140736231486184 139925244252039 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 45258 20499 714 405 0 42202 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 181032 KiB
Current children cumulated memory: 81996 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1157
/proc/meminfo: memFree=16164472/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=191224 memory=92168 CPUtime=282.3 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 181014 0 0 0 28024 206 0 0 20 0 1 0 49315573 195813376 23042 33554432000 4194304 5849740 140736231487696 140736231486856 139925244252039 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 47806 23042 714 405 0 44750 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 191224 KiB
Current children cumulated memory: 92168 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1158
/proc/meminfo: memFree=16153612/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=166652 memory=67496 CPUtime=342.29 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 224642 0 0 0 33973 256 0 0 20 0 1 0 49315573 170651648 16874 33554432000 4194304 5849740 140736231487696 140736231486856 139925244252039 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 41663 16874 714 405 0 38607 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 166652 KiB
Current children cumulated memory: 67496 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1159
/proc/meminfo: memFree=16104460/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=215656 memory=116480 CPUtime=402.3 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 268578 0 0 0 39929 301 0 0 20 0 1 0 49315573 220831744 29120 33554432000 4194304 5849740 140736231487696 140736231486696 5311425 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 53914 29120 714 405 0 50858 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 215656 KiB
Current children cumulated memory: 116480 KiB

[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 1160
/proc/meminfo: memFree=16080892/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=213412 memory=114276 CPUtime=462.3 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 309736 0 0 0 45882 348 0 0 20 0 1 0 49315573 218533888 28569 33554432000 4194304 5849740 140736231487696 140736231486696 139925244252039 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 53353 28569 714 405 0 50297 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 213412 KiB
Current children cumulated memory: 114276 KiB


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

/proc/1144/statm: 160292 135539 714 405 0 157236 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 641168 KiB
Current children cumulated memory: 542156 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1223
/proc/meminfo: memFree=15323876/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=803412 memory=704424 CPUtime=1782.29 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 833953 0 0 0 177347 882 0 0 20 0 1 0 49315573 822693888 176106 33554432000 4194304 5849740 140736231487696 140736231486696 5438192 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 200853 176106 714 405 0 197797 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 803412 KiB
Current children cumulated memory: 704424 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1224
/proc/meminfo: memFree=15323676/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=803412 memory=704424 CPUtime=1842.29 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 903012 0 0 0 183333 896 0 0 20 0 1 0 49315573 822693888 176106 33554432000 4194304 5849740 140736231487696 140736231486696 139925244252039 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 200853 176106 714 405 0 197797 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 803412 KiB
Current children cumulated memory: 704424 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1225
/proc/meminfo: memFree=15323956/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=803412 memory=704424 CPUtime=1902.29 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 974479 0 0 0 189315 914 0 0 20 0 1 0 49315573 822693888 176106 33554432000 4194304 5849740 140736231487696 140736231486568 5438257 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 200853 176106 714 405 0 197797 0
Current children cumulated CPU time: 1902.29 s
Current children cumulated vsize: 803412 KiB
Current children cumulated memory: 704424 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1226
/proc/meminfo: memFree=15422116/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=803412 memory=704424 CPUtime=1962.28 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 1032815 0 0 0 195289 939 0 0 20 0 1 0 49315573 822693888 176106 33554432000 4194304 5849740 140736231487696 140736231486856 5437560 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 200853 176106 714 405 0 197797 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 803412 KiB
Current children cumulated memory: 704424 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1288
/proc/meminfo: memFree=15338684/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=1010968 memory=911980 CPUtime=2022.26 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 1113913 0 0 0 201264 962 0 0 20 0 1 0 49315573 1035231232 227995 33554432000 4194304 5849740 140736231487696 140736231486856 139925244252039 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 252742 227995 714 405 0 249686 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 1010968 KiB
Current children cumulated memory: 911980 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1297
/proc/meminfo: memFree=15344940/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=1010968 memory=911980 CPUtime=2082.26 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 1136048 0 0 0 207254 972 0 0 20 0 1 0 49315573 1035231232 227995 33554432000 4194304 5849740 140736231487696 140736231486696 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 252742 227995 714 405 0 249686 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 1010968 KiB
Current children cumulated memory: 911980 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1298
/proc/meminfo: memFree=15345356/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=1010968 memory=911980 CPUtime=2142.27 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 1178628 0 0 0 213243 984 0 0 20 0 1 0 49315573 1035231232 227995 33554432000 4194304 5849740 140736231487696 140736231486856 139925244252039 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 252742 227995 714 405 0 249686 0
Current children cumulated CPU time: 2142.27 s
Current children cumulated vsize: 1010968 KiB
Current children cumulated memory: 911980 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1299
/proc/meminfo: memFree=15345240/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=1010968 memory=911980 CPUtime=2202.25 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 1228390 0 0 0 219230 995 0 0 20 0 1 0 49315573 1035231232 227995 33554432000 4194304 5849740 140736231487696 140736231486696 5437808 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 252742 227995 714 405 0 249686 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 1010968 KiB
Current children cumulated memory: 911980 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1300
/proc/meminfo: memFree=15849444/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=502560 memory=403700 CPUtime=2262.25 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 1273546 0 0 0 225214 1011 0 0 20 0 1 0 49315573 514621440 100925 33554432000 4194304 5849740 140736231487696 140736231486568 5438196 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 125640 100925 714 405 0 122584 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 502560 KiB
Current children cumulated memory: 403700 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1301
/proc/meminfo: memFree=15746728/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=588340 memory=489480 CPUtime=2322.25 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 1299720 0 0 0 231193 1032 0 0 20 0 1 0 49315573 602460160 122370 33554432000 4194304 5849740 140736231487696 140736231486696 5437648 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 147085 122370 714 405 0 144029 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 588340 KiB
Current children cumulated memory: 489480 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1303
/proc/meminfo: memFree=15736732/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=593236 memory=494376 CPUtime=2382.25 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 1324297 0 0 0 237180 1045 0 0 20 0 1 0 49315573 607473664 123594 33554432000 4194304 5849740 140736231487696 140736231486696 139925244252039 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 148309 123594 714 405 0 145253 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 593236 KiB
Current children cumulated memory: 494376 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1304
/proc/meminfo: memFree=15766576/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=607096 memory=508236 CPUtime=2442.26 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 1348662 0 0 0 243167 1059 0 0 20 0 1 0 49315573 621666304 127059 33554432000 4194304 5849740 140736231487696 140736231486696 139925244252039 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 151774 127059 714 405 0 148718 0
Current children cumulated CPU time: 2442.26 s
Current children cumulated vsize: 607096 KiB
Current children cumulated memory: 508236 KiB

[startup+2502.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 1305
/proc/meminfo: memFree=15736216/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=607096 memory=508236 CPUtime=2502.26 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 1372564 0 0 0 249156 1070 0 0 20 0 1 0 49315573 621666304 127059 33554432000 4194304 5849740 140736231487696 140736231486856 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 151774 127059 714 405 0 148718 0
Current children cumulated CPU time: 2502.26 s
Current children cumulated vsize: 607096 KiB
Current children cumulated memory: 508236 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.05 2.03 2.05 3/187 1305
/proc/meminfo: memFree=15735844/32770624 swapFree=67108860/67108860
[pid=1144] ppid=1141 vsize=607096 memory=508236 CPUtime=2519.96 cores=1,3,5,7
/proc/1144/stat : 1144 (xcsp_picat) R 1141 1144 30410 0 -1 4202496 1379442 0 0 0 250923 1073 0 0 20 0 1 0 49315573 621666304 127059 33554432000 4194304 5849740 140736231487696 140736231486856 5312857 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 33550336 140736231490742 140736231490820 140736231490820 140736231493578 0
/proc/1144/statm: 151774 127059 714 405 0 148718 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 607096 KiB
Current children cumulated memory: 508236 KiB

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

[startup+2520.02 s]
# the end of solver process 1144 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2509.24 s, system=10.7405 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.98
CPU user time (s): 2509.24
CPU system time (s): 10.7405
CPU usage (%): 99.9985
Max. virtual memory (cumulated for all children) (KiB): 1010968
Max. memory (cumulated for all children) (KiB): 911980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.24
system time used= 10.7405
maximum resident set size= 911980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1379442
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= 227
involuntary context switches= 1489


# summary of solver processes directly reported to runsolver:
#   pid: 1144
#   total CPU time (s): 2519.98
#   total CPU user time (s): 2509.24
#   total CPU system time (s): 10.7405

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2355 second user time and 18.2591 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-23 05:45:24
IDJOB=4293428
IDBENCH=141174
IDSOLVER=2754
FILE ID=node105/4293428-1532317524
RUNJOBID= node105-1532296553-30442
PBS_JOBID= 21018989
Free space on /tmp= 44848 MiB

SOLVER NAME= PicatSAT 2018-06-15
BENCH NAME= XCSP18/GracefulGraph/GracefulGraph-K07-P03_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293428-1532317524/watcher-4293428-1532317524 -o /tmp/evaluation-result-4293428-1532317524/solver-4293428-1532317524 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532296553-30442 --watchdog 2580  xcsp_picat HOME/instance-4293428-1532317524.xml

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

MD5SUM BENCH= ca21bb45cdf77f5b8e0b27a9f8e7d69e
RANDOM SEED=146221295

node105.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.32
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.32
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.32
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.32
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:        16253516 kB
MemAvailable:   31851928 kB
Buffers:          185412 kB
Cached:         15388284 kB
SwapCached:            0 kB
Active:          1465180 kB
Inactive:       14249120 kB
Active(anon):      93160 kB
Inactive(anon):    67432 kB
Active(file):    1372020 kB
Inactive(file): 14181688 kB
Unevictable:        7276 kB
Mlocked:            7276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3164 kB
Writeback:             0 kB
AnonPages:        148104 kB
Mapped:            38628 kB
Shmem:             17036 kB
Slab:             500572 kB
SReclaimable:     473164 kB
SUnreclaim:        27408 kB
KernelStack:        3296 kB
PageTables:         4992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     519920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 44848 MiB
End job on node105 at 2018-07-23 06:27:24